frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Regarding Prollyferation: Followup to "People Keep Inventing Prolly Trees"

https://www.dolthub.com/blog/2025-07-03-regarding-prollyferation/
40•ingve•3d ago

Comments

Syzygies•25m ago
People keep inventing Merkle trees, too.

I made the short bibliography of the original bitcoin paper because of Merkle trees. Damn, I wish I'd put $1,000 into bitcoins then; I'd be a billionaire. I thought bitcoin was a Ponzi scheme.

A pure mathematician far from CS, I nevertheless wondered about digital timestamps, and convinced myself they were impossible. Then I went to a talk by Stuart Haber, supported by a paper with funny quotes starting each section. He explained the purpose of an observer to make timestamps work, but they were using a linear linked list.

As a coauthor of the original Macaulay computer algebra system, with some low-level coding chops, it was obvious to me a tree would help here. And there had just been a NYTimes story about how the nascent internet was accelerating research in CS, people would be on vacation for a week and miss entire start-to-finish events.

I stayed up to dawn writing a polite parody of their paper, introducing the use of a tree, emailed it to everyone I recalled had been at the talk, and went to sleep. That's all I ever contributed; I ended up on the joint paper even though my contribution turned out to be a "Merkle tree".

Postgres LISTEN/NOTIFY does not scale

https://www.recall.ai/blog/postgres-listen-notify-does-not-scale
289•davidgu•3d ago•109 comments

Show HN: Pangolin – Open source alternative to Cloudflare Tunnels

https://github.com/fosrl/pangolin
26•miloschwartz•4h ago•3 comments

Show HN: Open source alternative to Perplexity Comet

https://www.browseros.com/
155•felarof•8h ago•52 comments

What is Realtalk’s relationship to AI? (2024)

https://dynamicland.org/2024/FAQ/#What_is_Realtalks_relationship_to_AI
231•prathyvsh•10h ago•78 comments

Batch Mode in the Gemini API: Process More for Less

https://developers.googleblog.com/en/scale-your-ai-workloads-batch-mode-gemini-api/
21•xnx•3d ago•4 comments

FOKS: Federated Open Key Service

https://foks.pub/
176•ubj•13h ago•42 comments

Graphical Linear Algebra

https://graphicallinearalgebra.net/
179•hyperbrainer•10h ago•12 comments

Flix – A powerful effect-oriented programming language

https://flix.dev/
216•freilanzer•12h ago•88 comments

Measuring the impact of AI on experienced open-source developer productivity

https://metr.org/blog/2025-07-10-early-2025-ai-experienced-os-dev-study/
514•dheerajvs•9h ago•325 comments

Red Hat Technical Writing Style Guide

https://stylepedia.net/style/
159•jumpocelot•11h ago•71 comments

Yamlfmt: An extensible command line tool or library to format YAML files

https://github.com/google/yamlfmt
24•zdw•3d ago•12 comments

Belkin ending support for older Wemo products

https://www.belkin.com/support-article/?articleNum=335419
52•apparent•7h ago•46 comments

Turkey bans Grok over Erdoğan insults

https://www.politico.eu/article/turkey-ban-elon-musk-grok-recep-tayyip-erdogan-insult/
82•geox•2h ago•57 comments

Launch HN: Leaping (YC W25) – Self-Improving Voice AI

49•akyshnik•8h ago•25 comments

How to prove false statements: Practical attacks on Fiat-Shamir

https://www.quantamagazine.org/computer-scientists-figure-out-how-to-prove-lies-20250709/
198•nsoonhui•16h ago•153 comments

Regarding Prollyferation: Followup to "People Keep Inventing Prolly Trees"

https://www.dolthub.com/blog/2025-07-03-regarding-prollyferation/
40•ingve•3d ago•1 comments

Show HN: Cactus – Ollama for Smartphones

107•HenryNdubuaku•7h ago•45 comments

eBPF: Connecting with Container Runtimes

https://h0x0er.github.io/blog/2025/06/29/ebpf-connecting-with-container-runtimes/
34•forxtrot•7h ago•0 comments

Grok 4

https://simonwillison.net/2025/Jul/10/grok-4/
177•coloneltcb•6h ago•147 comments

Not So Fast: AI Coding Tools Can Reduce Productivity

https://secondthoughts.ai/p/ai-coding-slowdown
54•gk1•2h ago•30 comments

Analyzing database trends through 1.8M Hacker News headlines

https://camelai.com/blog/hn-database-hype/
116•vercantez•2d ago•61 comments

Diffsitter – A Tree-sitter based AST difftool to get meaningful semantic diffs

https://github.com/afnanenayet/diffsitter
89•mihau•13h ago•26 comments

Matt Trout has died

https://www.shadowcat.co.uk/2025/07/09/ripples-they-cause-in-the-world/
139•todsacerdoti•19h ago•41 comments

Is Gemini 2.5 good at bounding boxes?

https://simedw.com/2025/07/10/gemini-bounding-boxes/
259•simedw•13h ago•57 comments

The ChompSaw: A Benchtop Power Tool That's Safe for Kids to Use

https://www.core77.com/posts/137602/The-ChompSaw-A-Benchtop-Power-Tool-Thats-Safe-for-Kids-to-Use
80•surprisetalk•3d ago•64 comments

Foundations of Search: A Perspective from Computer Science (2012) [pdf]

https://staffwww.dcs.shef.ac.uk/people/J.Marshall/publications/SFR09_16%20Marshall%20&%20Neumann_PP.pdf
3•mooreds•3d ago•0 comments

Show HN: Typeform was too expensive so I built my own forms

https://www.ikiform.com/
166•preetsuthar17•17h ago•86 comments

Final report on Alaska Airlines Flight 1282 in-flight exit door plug separation

https://www.ntsb.gov:443/investigations/Pages/DCA24MA063.aspx
130•starkparker•5h ago•141 comments

Radiocarbon dating reveals Rapa Nui not as isolated as previously thought

https://phys.org/news/2025-06-radiocarbon-dating-reveals-rapa-nui.html
16•pseudolus•3d ago•7 comments

Optimizing a Math Expression Parser in Rust

https://rpallas.xyz/math-parser/
127•serial_dev•16h ago•55 comments