Hacker News: baruchel

New comment by baruchel in "Yet another way to invoke functions without parentheses"

baruchel — Fri, 16 Oct 2026 13:54:15 +0000

Forth (or Postscript by the way) works exactly like that, but writing the function first also makes sense in functional programming, specifically when you care about currying functions: writing "f(g(h(x)))" (or "f g h x" or whetever) makes more sense, since you are not supposed to put all expected arguments at once.

New comment by baruchel in "SDF Public Access Unix System ... est. 1987"

baruchel — Thu, 01 Oct 2026 15:37:04 +0000

I use it for several purposes : a few PHP scripts serving custom RSS files, easy temporary space for exchanging epub books between my phone and my e-reader, etc.

Ordinal definability–how did Gödel do it?

baruchel — Sun, 20 Sep 2026 18:25:43 +0000

Article URL: https://www.infinitelymore.xyz/p/ordinal-definability-historical-conundrum

Comments URL: https://news.ycombinator.com/item?id=49778491

Points: 2

# Comments: 0

Why I didn’t sign the Fields medallists’ letter

baruchel — Thu, 17 Sep 2026 16:58:47 +0000

Article URL: https://terrytao.wordpress.com/2026/09/17/why-i-didnt-sign-the-fields-medallists-letter/

Comments URL: https://news.ycombinator.com/item?id=49743534

Points: 45

# Comments: 7

New comment by baruchel in "Bomb fishing is wreaking havoc on Indonesia's coral reefs"

baruchel — Thu, 27 Aug 2026 12:42:04 +0000

https://xkcd.com/2929/

How I came to write that paper with Leslie Lamport

baruchel — Fri, 21 Aug 2026 14:46:01 +0000

https://www.microsoft.com/en-us/research/publication/specifi...

Comments URL: https://news.ycombinator.com/item?id=49388963

Points: 58

# Comments: 11

The computer that helped win World War II

baruchel — Wed, 22 Jul 2026 19:40:44 +0000

Article URL: https://spectrum.ieee.org/colossus-computer-ieee-milestone

Comments URL: https://news.ycombinator.com/item?id=49012309

Points: 208

# Comments: 79

Create Your Own Variants • PyChess

baruchel — Tue, 14 Jul 2026 13:25:16 +0000

Article URL: https://www.pychess.org/blogs/@/gbtami/create-your-own-variants/cL0m9kzc

Comments URL: https://news.ycombinator.com/item?id=48906499

Points: 1

# Comments: 0

New comment by baruchel in "A stray "j" ruined my evening"

baruchel — Sun, 28 Jun 2026 09:41:35 +0000

https://zippythepinhead.com/Merchant2/merchant.mv?Screen=PRO...

The million-dollar math problem hardly anyone is trying to solve

baruchel — Tue, 19 May 2026 10:32:32 +0000

Article URL: https://www.scientificamerican.com/article/the-riemann-hypothesis-is-a-million-dollar-math-problem-hardly-anyone-is-trying-to-solve/

Comments URL: https://news.ycombinator.com/item?id=48191564

Points: 2

# Comments: 2

What Do Gödel's Incompleteness Theorems Mean?

baruchel — Mon, 18 May 2026 17:59:53 +0000

Article URL: https://www.quantamagazine.org/what-do-godels-incompleteness-theorems-truly-mean-20260518/

Comments URL: https://news.ycombinator.com/item?id=48183097

Points: 163

# Comments: 65

The mathematician who doesn't exist

baruchel — Fri, 08 May 2026 10:30:02 +0000

Article URL: https://www.newscientist.com/article/2525614-the-mathematician-who-doesnt-exist/

Comments URL: https://news.ycombinator.com/item?id=48061170

Points: 3

# Comments: 0

From Probable to Provable: What Automated Reasoning Means for the Board

baruchel — Wed, 06 May 2026 15:59:58 +0000

Article URL: https://mariothomas.com/blog/automated-reasoning-explainer/

Comments URL: https://news.ycombinator.com/item?id=48037736

Points: 1

# Comments: 0

Mikan: a proof assistant for cubical type theory (forked from Agda)

baruchel — Tue, 05 May 2026 17:11:01 +0000

Article URL: https://mathstodon.xyz/@jonmsterling/116522692709243649

Comments URL: https://news.ycombinator.com/item?id=48025418

Points: 2

# Comments: 0

Why Not Use Lean?

baruchel — Thu, 23 Apr 2026 17:21:35 +0000

Article URL: https://lawrencecpaulson.github.io//2026/04/23/Why_not_Lean.html

Comments URL: https://news.ycombinator.com/item?id=47878504

Points: 6

# Comments: 0

Rocq 9.2.0 Released

baruchel — Tue, 07 Apr 2026 11:41:57 +0000

Article URL: https://rocq-prover.org/doc/v9.2/refman/changes.html#version-9-2

Comments URL: https://news.ycombinator.com/item?id=47673663

Points: 2

# Comments: 1

Eniac, the First General-Purpose Digital Computer, Turns 80

baruchel — Thu, 19 Mar 2026 05:53:04 +0000

Article URL: https://spectrum.ieee.org/eniac-80-ieee-milestone

Comments URL: https://news.ycombinator.com/item?id=47435453

Points: 127

# Comments: 53

New comment by baruchel in "Using Thunderbird for RSS"

baruchel — Sat, 14 Mar 2026 09:32:00 +0000

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 issues (for some reason, the "right click / mark as read" never correctly worked on my computers, or at least with huge lags of several seconds). When my free TT-RSS provider closed, I decided to switch to FreshRSS and could compare several apps for Android; I finally set up the following workflow: free FreshRSS account + "Read You" (found on F-Droid also), and managed to achieve a very similar workflow than previously (with a much better web app).

New comment by baruchel in "Tony Hoare has died"

baruchel — Tue, 10 Mar 2026 15:09:10 +0000

Yes, but don't forget his formal work also (Hoare logic).

New comment by baruchel in "Self-Portrait by Ernst Mach (1886)"

baruchel — Sat, 07 Mar 2026 21:20:22 +0000

If I remember correctly, this picture is commented in the very good book "Exact thinking in demented times", together with Mach's ideas.