baruchel

7 ms·

91.
Is mathematics mostly chaos or mostly order?(quantamagazine.org)
117 points by baruchel 1y ago|88 comments
92.
André Seznec Receives the 2025 ACM-IEEE CS Eckert-Mauchly Award(acm.org)
1 points by baruchel 1y ago|0 comments
93.
There's no cheating this random number generator(sciencenews.org)
4 points by baruchel 1y ago|0 comments
94.
IBM to build first large-scale, error-corrected quantum computer by 2028(technologyreview.com)
13 points by baruchel 1y ago|3 comments
95.
New Quantum Algorithm Factors Numbers with One Qubit(quantamagazine.org)
3 points by baruchel 1y ago|0 comments
96.
The new Gödel Prize winner tastes great and is less filling(blog.computationalcomplexity.org)
110 points by baruchel 1y ago|47 comments
97.
Platform for Formalizing Sequences from Online Encyclopedia of Integer Sequences(provables.github.io)
1 points by baruchel 1y ago|0 comments
98.
by baruchel 1y ago
Just my two cents: a very interesting website for playing chess variants — https://greenchess.net/ . It has a simple, efficient, and uncluttered interface with no ads and many variants available. Unfortunately, the number o
99.
Quantum Universe(scientificamerican.com)
2 points by baruchel 1y ago|0 comments
100.
The Core of Fermat's Last Theorem Just Got Superpowered(quantamagazine.org)
2 points by baruchel 1y ago|0 comments
101.
Why You Should Care About Functional Programming(borkar.substack.com)
3 points by baruchel 1y ago|0 comments
102.
by baruchel 1y ago
So you want to write a fugue? https://m.youtube.com/watch?v=8sogUjiqg2c
103.
by baruchel 1y ago
I have always been fond of the following quote by Jacobi: “Mathematics exists solely for the honor of the human mind”
104.
Dimension 126 Contains Twisted Shapes, Mathematicians Prove(quantamagazine.org)
143 points by baruchel 1y ago|84 comments
105.
by baruchel 1y ago
"It has, I believe, been often remarked that a hen is only an egg's way of making another egg." (Samuel Butler)
106.
by baruchel 2y ago
A more straightforward way to do it, IMHO, is to use Thorium in conjunction with a Python script called lcpdedrm. If I remember well, that script isn't available directly any longer, but it is easy to look around and find copies of it.
107.
Rocq 9.0.0(rocq-prover.org)
4 points by baruchel 2y ago|0 comments
108.
Boris Spassky (1937-2025) Chess World Champion and Legendary Grandmaster(europechess.org)
6 points by baruchel 2y ago|0 comments
109.
Lambda Calculus and Lisp, part 2 (recursion excursion)(babbagefiles.xyz)
5 points by baruchel 2y ago|0 comments
110.
Lambda Calculus and Lisp, part 1(babbagefiles.xyz)
107 points by baruchel 2y ago|17 comments
111.
by baruchel 2y ago
DWM is obviously not competing with GNOME or KDE and is quite a niche window manager. However, by focusing on being a simple, hackable tool—rather than adding menus, settings, help pages, and so on—it remains reliable and easy to maintain.
112.
by baruchel 2y ago
I'm not entirely sure about the claim in your second sentence, as Bergson was very skeptical of scientific metaphors, analogies, and similar concepts. I'm fairly certain that his ideas are carefully defined to explain free will wi
113.
by baruchel 2y ago
By coincidence, today's xkcd comic matches this topic perfectly! https://xkcd.com/3046/
114.
by baruchel 2y ago
The most classical book is certainly "Fictions": https://en.wikipedia.org/wiki/Ficciones . One of the most known stories in it is "The library of Babel": https://en.wikipedia.org/wiki
115.
by baruchel 2y ago
Some stories by Ted Chiang share similarities with those of Borges.
116.
by baruchel 2y ago
I recall presenting a problem to my students a few years ago based on the 'Library Sort' algorithm. I still clearly remember the title of the original paper: 'Insertion Sort is O(n log n)'.
117.
by baruchel 2y ago
Mandatory reference: https://xkcd.com/327/
118.
by baruchel 2y ago
Without a doubt, "Exact thinking in demented timed".
119.
by baruchel 2y ago
Hi, my two cents; you claim "Although mathematicians believe their proof is correct, it is too complex to verify without computer assistance", but I'm not sure "believe" is the correct verb since the proof has been
120.
When is it worth the time and effort to verify a proof FORMALLY?(blog.computationalcomplexity.org)
2 points by baruchel 3y ago|0 comments

More ›