baruchel

4 ms·

1.
by baruchel 21d ago
https://xkcd.com/2929/
2.
How I came to write that paper with Leslie Lamport(lawrencecpaulson.github.io)
58 points by baruchel 26d ago|11 comments
3.
The computer that helped win World War II(spectrum.ieee.org)
208 points by baruchel 2mo ago|79 comments
4.
Create Your Own Variants • PyChess(pychess.org)
1 points by baruchel 2mo ago|0 comments
5.
by baruchel 3mo ago
https://zippythepinhead.com/Merchant2/merchant.mv?Screen=PRO...
6.
The million-dollar math problem hardly anyone is trying to solve(scientificamerican.com)
2 points by baruchel 4mo ago|2 comments
7.
What Do Gödel's Incompleteness Theorems Mean?(quantamagazine.org)
163 points by baruchel 4mo ago|65 comments
8.
The mathematician who doesn't exist(newscientist.com)
3 points by baruchel 4mo ago|0 comments
9.
From Probable to Provable: What Automated Reasoning Means for the Board(mariothomas.com)
1 points by baruchel 4mo ago|0 comments
10.
Mikan: a proof assistant for cubical type theory (forked from Agda)(mathstodon.xyz)
2 points by baruchel 4mo ago|0 comments
11.
Why Not Use Lean?(lawrencecpaulson.github.io)
6 points by baruchel 5mo ago|0 comments
12.
Rocq 9.2.0 Released(rocq-prover.org)
2 points by baruchel 5mo ago|1 comments
13.
Eniac, the First General-Purpose Digital Computer, Turns 80(spectrum.ieee.org)
127 points by baruchel 6mo ago|53 comments
14.
by baruchel 6mo ago
I can confirm the TT-RSS app (found on F-Droid) is very good. I have used it for years. On the other hand, the web app is not very good, and each time I wanted to read articles on my computer from the web interface, I encountered huge issue
15.
by baruchel 6mo ago
Yes, but don't forget his formal work also (Hoare logic).
16.
by baruchel 6mo ago
If I remember correctly, this picture is commented in the very good book "Exact thinking in demented times", together with Mach's ideas.
17.
Can the Most Abstract Math Make the World a Better Place?(quantamagazine.org)
5 points by baruchel 7mo ago|0 comments
18.
How many steps in a "chain of victories" separate you from your favorite player?(mastodon.online)
2 points by baruchel 7mo ago|0 comments
19.
Assigning Open Problems in Class(blog.computationalcomplexity.org)
18 points by baruchel 7mo ago|5 comments
20.
Mathematicians find largest prime number to date(fediscience.org)
1 points by baruchel 7mo ago|2 comments
21.
Any chess position with 8 pieces on board and one pair of pawns has been solved(mastodon.online)
18 points by baruchel 7mo ago|2 comments
22.
by baruchel 8mo ago
I’ve practiced array languages extensively myself, including for code golfing, and I fully understand the intellectual joy they can provide. But as I’ve gotten older, I’ve come to see a deep mismatch between what these languages present as
23.
by baruchel 9mo ago
When you compute some nice and elegant result, dissipated heat is an undesired side effect. But let's face it: we are speaking about proof of work. Proof of work means that a computed has run during some "required" time. In o
24.
by baruchel 9mo ago
Exact thinking in demented times by Karl Sigmund
25.
The Year in Mathematics(quantamagazine.org)
3 points by baruchel 9mo ago|0 comments
26.
Ramanujan's 100-year-old pi formula is still revealing the Universe(sciencedaily.com)
3 points by baruchel 9mo ago|0 comments
27.
The Year in Computer Science(quantamagazine.org)
3 points by baruchel 9mo ago|0 comments
28.
Apples(xkcd.com)
2 points by baruchel 9mo ago|0 comments
29.
50 years of proof assistants(lawrencecpaulson.github.io)
144 points by baruchel 9mo ago|30 comments
30.
New Font Release: Bhs(fsd.it)
1 points by baruchel 10mo ago|0 comments

More ›