Viewing profile — iambrj

Indeed, Morphy once said "The ability to play chess is the sign of a gentleman. The ability to play chess well is the sign of a wasted life".

> How much did slack go for? 30 billion? For a shiny chat client with fewer features than the 25 year old tech they ape. IMO they pay for the customer base more than the app itself…

One man's hack is another man's elegance

For the curious, I suggest reading Philp Wadler's "Theorems for free!" which explains how to derive a theorem for a given type. Practically, this helps compilers make certain optim…

I disagree, it depends on the kind of programming you do. Build fancy typeclasses to do black magic in Haskell? Then _perhaps_. Write kernel modules for custom functionality in C? …

The mathematician Paul Erdős often referred to "The Book" in which God keeps the most elegant proof of each mathematical theorem. He once said "You don't have to believe in God, bu…

I think a good example would be Lagrange's theorem[0]. Once you have this[1] picture in mind, it becomes trivial. [0] https://en.wikipedia.org/wiki/Lagrange%27s_theorem [1] https:/…

Pretty sure it wasn't piracy. For instance see this[0] book (not affiliated), at the bottom left it says "Restricted! For sale only in India, Bangladesh, Nepal, Pakistan, Sri Lanka…

“The safest general characterization of the European philosophical tradition is that it consists of a series of footnotes to Plato” - Alfred North Whitehead

Reminds me of Russell's quote - “Mathematics, rightly viewed, possesses not only truth, but supreme beauty—a beauty cold and austere, like that of sculpture, without appeal to any …

> Don said that he would not need the card reader or looks like they slipped up

Ramana's experience with a near death incident reminds me of Wittgenstein enrolling in the army for the war so that he can have a near death experience himself

Logicomix[0] is an interesting graphic novel which talks about Russell's work and life in case anybody wants to learn more [0] https://en.wikipedia.org/wiki/Logicomix

Another good category theory read is Pierce's Category Theory for Computer Scientists

> It's the equivalent of a person making a blog post about a tv series they don't watch but have seen the trailer for; no actual value to add to the discussion about the topic. IMO…

https://lmgtfy.com/?q=stanford+compilers

"People who like this sort of thing will find this the sort of thing they like."

You can see this[1] for ideas [1] https://github.com/danistefanovic/build-your-own-x

something related: https://www.nytimes.com/2008/08/26/science/26crow.html tldr: study suggests crows recognize human faces

Something similar - https://aaronos.dev/AaronOS/aosBeta.php