iambrj

13 ms·

1.
by iambrj 6y ago
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".
2.
by iambrj 6y ago
> 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.
3.
Lisp - What is the difference between quote and list?(stackoverflow.com)
1 points by iambrj 6y ago|0 comments
4.
by iambrj 6y ago
One man's hack is another man's elegance
5.
by iambrj 6y ago
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 optimizations based on the theorems it derives fro
6.
by iambrj 6y ago
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? Then learning ct is like a fish learning to climb a tree.
7.
Sperner's Lemma for the Layman(notion.so)
1 points by iambrj 6y ago|0 comments
8.
by iambrj 6y ago
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, but you should believe in The Book."
9.
by iambrj 6y ago
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://i.stack.imgur.com&#x2
10.
by iambrj 6y ago
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 & Bhutan" [0] https://www.ama
11.
by iambrj 6y ago
“The safest general characterization of the European philosophical tradition is that it consists of a series of footnotes to Plato” - Alfred North Whitehead
12.
by iambrj 6y ago
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 part of our weaker nature, without the gorgeous trappin
13.
by iambrj 6y ago
> Don said that he would not need the card reader or looks like they slipped up
14.
by iambrj 6y ago
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
15.
by iambrj 6y ago
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
16.
by iambrj 6y ago
Another good category theory read is Pierce's Category Theory for Computer Scientists
17.
by iambrj 6y ago
> 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 a more accurate analogy would be a person drop
18.
by iambrj 6y ago
"People who like this sort of thing will find this the sort of thing they like."
19.
Show HN: A fast and memory efficient C++ associative array(github.com)
4 points by iambrj 6y ago|0 comments
20.
Music and Mathematics(en.wikipedia.org)
1 points by iambrj 7y ago|0 comments
21.
by iambrj 7y ago
You can see this[1] for ideas [1] https://github.com/danistefanovic/build-your-own-x
22.
by iambrj 7y ago
something related: https://www.nytimes.com/2008/08/26/science/26crow.html tldr: study suggests crows recognize human faces
23.
by iambrj 7y ago
Something similar - https://aaronos.dev/AaronOS/aosBeta.php