Doctor: I'm terribly sorry but the tests are back. Your child is artistic.
Doctor: Now don't worry, it's not the end of the world. Your child will never have the mind of an executive, but with modern innovations like Etsy, Patreon and Kickstarter, they may be able to pay rent well into their mid-20s.
Parent: Did... did crayons do this
Doctor: Who can say? We're exposed to so many forms of art every day: music, poetry, language, geometry..
Parent: We're getting crayons BANNED
Idea: C++, but the template metaprogramming and static introspection are formalized by dependent type theory
notation & complexity Show more
In ancient times, the formulas were basically indistinguishable from plain text, and contained a very simple, by modern standards, idea.
Modern math formulas are super dense, few symbols may describe a whole universe, but the complexity is still there: to interpret these few symbols correctly, one may need to spend years, if not decades…
"Another way of thinking about this is that if a company can only stay in business by externalizing the cost of security, maybe it shouldn’t stay in business. Those companies don’t ask the public to pay their employees’ salaries, so why should we have to pay for their security failures? It’s like a factory that can only stay in business by illegally polluting; we’d all be better off if we closed it down."
Is there a #Coq library for vector/module arithmetic, say, over Z? Addition/subtraction, multiplication by scalar, multiplication with a "table", and so forth.
I (hopefully) have a rudimentary version, based on the "recursion principles" for vectors (rect, rect2), but implementing it is… a good exercise…
Decided to try something different and have zero state in my elm web app. No cookies. API key is passed as a querystring to pages that need it.
Feels cleaner this way. No sessions/logging in all the time. Can just bookmark any page and it just works.
There are only two mysteries: time and sleep. Everything else is just noise.
time, duh Show more
At least for most people, adulthood implies the routine takes most of the time, only a couple hours a day may be spent on something more or less interesting.
So it makes a lot of sense, to choose what to spend these couple hours on, more carefully. While most of the activities that first come to mind are not worth it.
I wish google spent at least half as much effort on preventing spam being sent from their servers as they do on spam boxing self-hosted email providers...
joke Show more
When I encounter "&#NN;" in a text, my first thought it's swearing… then I realize it's more likely just an improperly decoded XML/SGML…
Stop saying RSS is dead people. I'm literally using it to read your shitty article about how it's dead
Ancient Egyptians. Masters of:
productivity joke Show more
Q: How to get a lot of things done in time?
A: Subject yourself to an acceleration, much bigger than that on the Earth's surface; e.g. orbit a black hole for a while, close to it's event horizon.
history of terminology, FP Show more
Some 50-75 years (2-3 generations) ago, program/ming basically meant plan/ning, and functional only meant dealing with regular operations, as opposed to standalone projects.
So the term functional programming might well exist, but most likely was associated with a practical routine.
functional.cafe is an instance for people interested in functional programming and languages.