AI cracks 80-year-old mathematics challenge — researchers are astonished
(feeds.nature.com)
1.
2.
IBM CEO Arvind Krishna on his first job and the lessons he learned from it
(feeds.feedburner.com)
3.
Why I still reach for Lisp and Scheme instead of Haskell
(news.ycombinator.com)
4.
Automatic Textbook Formalization
(news.ycombinator.com)
5.
Heisuke Hironaka Has Died
(news.ycombinator.com)
6.
Lily Programming Language
(news.ycombinator.com)
7.
The most famous transcendental numbers
(news.ycombinator.com)
8.
Fifteen Most Famous Transcendental Numbers
(news.ycombinator.com)
9.
An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf]
(news.ycombinator.com)
10.
What is algebraic about algebraic effects?
(news.ycombinator.com)