iambrj
Re:When the prison banned board games, we played chess in our minds
on Tuesday March 09, 2021 @03:38AM (#26396658)
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".
Re:Do You Love Me? [video]
on Tuesday December 29, 2020 @08:23PM (#25577254)
> 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.
Re:Lisp and Haskell (2015)
on Thursday October 08, 2020 @05:37AM (#24717457)
One man's hack is another man's elegance
Re:Lisp and Haskell (2015)
on Thursday October 08, 2020 @05:35AM (#24717452)
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 from the types.
Re:Mathematics for Programmers [pdf]
on Thursday September 24, 2020 @04:42AM (#24576610)
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.
Sperner's Lemma for the Layman
Re:Mathematicians will never stop proving the Prime Number Theorem
on Wednesday July 22, 2020 @01:21PM (#23919322)
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."
Re:How to Understand Things
on Sunday July 12, 2020 @08:13PM (#23815854)
I think a good example would be Lagrange's theorem[0]. Once you have this[1] picture in mind, it becomes trivial.
Re:Street-Fighting Mathematics
on Thursday June 25, 2020 @10:14AM (#23640970)
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.amazon.in/Abstract-Algebra-3ed-David-Dummit/dp/8...
Re:On Coding, Ego and Attention
on Tuesday June 16, 2020 @01:29PM (#23541717)
“The safest general characterization of the European philosophical tradition is that it consists of a series of footnotes to Plato” - Alfred North Whitehead
Re:Two Forms of Mathematical Beauty
on Tuesday June 16, 2020 @09:29AM (#23538901)
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 trappings of painting or music, yet sublimely pure, and capable of a stern perfection such as only the greatest art can show.”
Re:Stories about the B5000 and people who were there (1979)
on Sunday June 14, 2020 @02:37PM (#23520057)
> Don said that he would not need the card reader or
looks like they slipped up
Re:The Holy Men of India
on Sunday June 14, 2020 @08:19AM (#23517148)
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
Re:Bertrand Russell’s infinite sock drawer
on Saturday June 13, 2020 @06:51AM (#23508547)
Logicomix[0] is an interesting graphic novel which talks
about Russell's work and life in case anybody wants to learn more
Re:Ask HN: What kind of math do you study in your free time?
on Thursday June 11, 2020 @02:09PM (#23491641)
Another good category theory read is Pierce's Category Theory for Computer Scientists
Re:Finally, I Closed My LinkedIn
on Thursday June 11, 2020 @07:19AM (#23487599)
> 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 dropping a tv series in between, in which case they can indeed add value to the discussion - why they dropped the series etc.
Re:A crash course in compilers (2018)
on Thursday April 02, 2020 @09:33PM (#22765613)
"People who like this sort of thing will find this the sort of thing they like."
Show HN: A fast and memory efficient C++ associative array
Music and Mathematics
Re:Ask HN: Haven't worked for a while, best guide/advice to start a ho...
on Wednesday December 25, 2019 @06:40AM (#21878105)
You can see this[1] for ideas
Re:Crows could be the smartest animal other than primates
on Thursday December 12, 2019 @09:27AM (#21772067)
something related: https://www.nytimes.com/2008/08/26/science/26crow.html
tldr: study suggests crows recognize human faces
Re:Show HN: Web components to create OS-like web apps
on Monday November 11, 2019 @04:05AM (#21503177)
Something similar - https://aaronos.dev/AaronOS/aosBeta.php