baruchel

6 ms·

31.
50 years of proof assistants(lawrencecpaulson.github.io)
144 points by baruchel 10mo ago|30 comments
32.
New Font Release: Bhs(fsd.it)
1 points by baruchel 10mo ago|0 comments
33.
The Little Theorems(blog.computationalcomplexity.org)
1 points by baruchel 11mo ago|0 comments
34.
by baruchel 11mo ago
> Typography nerds are some of my favourite nerds. A very detailed summary for another font (by the creator of the font), including ancient materials as well: https://mass-driver.com/article/md-nichrome-on-spacing-an
35.
Set theory with types(lawrencecpaulson.github.io)
125 points by baruchel 11mo ago|19 comments
36.
A New Bridge Links the Math of Infinity to Computer Science(quantamagazine.org)
7 points by baruchel 11mo ago|0 comments
37.
by baruchel 11mo ago
I don’t want to argue about the overall trend based on a single example, but Terence Tao’s substantial use of Mastodon for communication does change the picture a bit.
38.
To Have Machines Make Math Proofs, Turn Them into a Puzzle(quantamagazine.org)
2 points by baruchel 11mo ago|0 comments
39.
Steven Heller's Font of the Month: Archive Matrix(ilovetypography.com)
59 points by baruchel 11mo ago|5 comments
40.
by baruchel 11mo ago
As some readers may not be familiar with the name Xavier Leroy, I just want to emphasize that he is one of the people behind OCaml and a leading figure promoting Rocq/Coq.
41.
by baruchel 11mo ago
Shameless plug: eight years ago, I created the following website for posting plots of complex functions using similar gradients: https://kettenreihen.wordpress.com/
42.
by baruchel 11mo ago
I wrote the main application for my wife's business — she's a psychologist. That was only a few years ago, but as a senior lecturer in the more theoretical parts of computer science, I never really needed fancy UIs with flashy gra
43.
Why don't you use dependent types?(lawrencecpaulson.github.io)
269 points by baruchel 11mo ago|116 comments
44.
by baruchel 1y ago
Which is why functional programmers believe in the separation of Church and state. https://wiki.c2.com/?SeparationOfChurchAndState
45.
by baruchel 1y ago
> It really is mind bending how fast this function grows. While the BB function is obviously a well-defined function over the integers, I find it helpful to think of it as a function over qualitatively heterogeneous items—such as stones,
46.
by baruchel 1y ago
May I suggest the Greenchess website? https://greenchess.net/ It certainly has some huge potential: nice minimalist interface and probably about 50 or 60 chess variants for all tastes. Some of them are obviously more or les
47.
What Is the Funniest Number?(futilitycloset.com)
2 points by baruchel 1y ago|1 comments
48.
Terence Tao on non-monotonicity in research(mathstodon.xyz)
2 points by baruchel 1y ago|0 comments
49.
by baruchel 1y ago
Without paywall: https://www.removepaywall.com/search?url=https://www.scienti...
50.
Mathematicians discover prime number pattern in fractal chaos(scientificamerican.com)
177 points by baruchel 1y ago|46 comments
51.
Terence Tao on Crowdsourced Effort(mathstodon.xyz)
3 points by baruchel 1y ago|0 comments
52.
Clyde Kruskal talks about his Father Martin on Martin's 100th birthday(blog.computationalcomplexity.org)
2 points by baruchel 1y ago|0 comments
53.
New Math Revives Geometry's Oldest Problems(quantamagazine.org)
4 points by baruchel 1y ago|0 comments
54.
A simple way to measure knots has come unraveled(quantamagazine.org)
127 points by baruchel 1y ago|64 comments
55.
The Quest to Find the Longest-Running Simple Computer Program(wired.com)
4 points by baruchel 1y ago|1 comments
56.
Self-Assembly Gets Automated in Reverse of 'Game of Life'(quantamagazine.org)
8 points by baruchel 1y ago|1 comments
57.
by baruchel 1y ago
Without paywall: https://www.removepaywall.com/search?url=https://www.scienti...
58.
New knot theory discovery overturns long-held mathematical assumption(scientificamerican.com)
141 points by baruchel 1y ago|37 comments
59.
Lisp Still Matters(funcall.blogspot.com)
29 points by baruchel 1y ago|0 comments
60.
What Happens When a Scientific Field Changes Its Mind – Scientific American(scientificamerican.com)
4 points by baruchel 1y ago|2 comments

More ›