frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

The Fall of the Theorem Economy

https://davidbessis.substack.com/p/the-fall-of-the-theorem-economy
3•fuglede_•1h ago

Comments

btilly•1h ago
I highly recommend Bill Thurston's Proof and Progress in Mathematics, available at https://www.math.toronto.edu/mccann/199/thurston.pdf, to better understand that human element in mathematics.

Unfortunately, while mathematics should be about a human element, research has focused into little cliques of up to a dozen or so people who are essentially unintelligible outside of the clique. That wasn't historically the culture, but the trend towards it accelerated after WW 2.

Hardy's curse is one of the underlying causes of this. The resulting extreme social isolation was why I chose to leave mathematics. My inclination was very much to try to explain and popularize. See, for example, the discussion at https://news.ycombinator.com/item?id=44269822. However such an inclination has been actively punished for decades within academia. The key to tenure is sufficient work within a clique to get solid recommendations from the most prominent members of that clique.

I agree with the article on how AI will transform and destroy what's left of mathematics. But I see it as the logical conclusion to what the fragmentation of mathematics has already done.

Tensorlake is now an official Harbor environment runtime

https://www.tensorlake.ai/blog/tensorlake-harbor-environment-runtime
1•cooleel•3m ago•0 comments

AI Field Notes on the DGX Spark

https://manavsehgal.github.io/ai-field-notes/
1•manavsehgal2025•3m ago•0 comments

The Art of Crossword Creation

https://llama.gs/blog/index.php/2026/04/24/the-forgotten-art-of-crossword-creation/
2•major4x•4m ago•0 comments

Ask HN: I wanna hear about your experience with Claude Code and Codex

1•redaantar•4m ago•0 comments

Full Stack Open: Deep Dive into Modern Web Development

https://fullstackopen.com/en/
1•eustoria•4m ago•0 comments

Zodiac Killer may be tied to Black Dahlia case after 'code cracked,' DNA taken

https://www.foxnews.com/us/zodiac-killer-may-tied-black-dahlia-case-code-cracked-new-suspect-emerges
2•keepamovin•5m ago•0 comments

PIX – Share Images Without the Cloud

https://www.fainimade.blog/2026/03/pix-share-images-without-cloud.html
2•eustoria•8m ago•0 comments

Retrieval-Augmented Generation Is an Engineering Problem, Not a Model Problem

https://www.forbes.com/councils/forbestechcouncil/2026/04/24/retrieval-augmented-generation-is-an...
2•jamesgill•8m ago•0 comments

Variant – Endless designs for your ideas, just scroll

https://variant.com/
2•eustoria•9m ago•0 comments

Intel shutters open-source evangelism program, archives key community projects

https://www.tomshardware.com/software/intel-shutters-open-source-evangelism-program-and-archives-...
2•maxloh•10m ago•0 comments

A Catechism for Robots

https://kk.org/thetechnium/a-catechism-for-robots/
2•rafaelc•11m ago•0 comments

Show HN: Porting Open3D to Python without writing a LoC

https://chico.dev/Mirror-Bridge-Open3D-71-Lines/
2•fthiesen•13m ago•0 comments

Tesla (TSLA) discloses $2B AI hardware company acquisition buried

https://electrek.co/2026/04/23/tesla-tsla-quietly-discloses-2-billion-ai-hardware-acquisition-10q/
5•Bender•13m ago•2 comments

AI models, power, politics, and performance

https://dominiccummings.substack.com/p/1-ai-models-power-politics-and-performance
2•nowflux•14m ago•0 comments

A deep dive into the wild world of GitHub Actions' tagging formats

https://www.jvt.me/posts/2026/04/24/github-actions-tagging/
2•Brajeshwar•15m ago•0 comments

Relatives of dead or missing scientists grapple with impact of wild speculation

https://www.bbc.com/news/articles/cwyw9rpdl4po
4•cf100clunk•17m ago•1 comments

How do you handle context compression cloud workflows?

https://cloudgo.ai/
2•gtram20•18m ago•1 comments

'Scattered Spider' Member 'Tylerb' Pleads Guilty

https://krebsonsecurity.com/2026/04/scattered-spider-member-tylerb-pleads-guilty/
2•Bender•19m ago•0 comments

JackDanger/gzippy ·The fastest gzip on any hardware

https://github.com/JackDanger/gzippy
2•pkaeding•19m ago•0 comments

Redesigning the Recurse Center application to inspire curious programmers

https://www.recurse.com/blog/192-redesigning-the-recurse-center-application
2•nicholasjbs•20m ago•0 comments

Which one is more important: more parameters or more computation? (2021)

https://parl.ai/projects/params_vs_compute/
3•jxmorris12•20m ago•0 comments

Show HN: Claude proxy to record interactions-browse, search sessions, usage, MCP

https://github.com/tillahoffmann/cctape
2•tillahoffmann•21m ago•1 comments

Oral Argument Preview: Chatrie vs. United States

https://www.lawfaremedia.org/article/oral-argument-preview--chatrie-v.-united-states
2•hn_acker•24m ago•0 comments

I built PixelGuard – a privacy tool to blur faces in videos

https://pixelguard.video/
2•mindgeek002•25m ago•2 comments

Why BookScan Is Different from Book Sales (Different from Royalty Statements)

https://countercraft.substack.com/p/why-bookscan-is-different-from-book
2•crescit_eundo•26m ago•1 comments

AI Progress doesn't feel as fast as we're told

https://backnotprop.com/blog/ai-progress-doesnt-feel-as-fast-as-were-told/
3•ramoz•26m ago•1 comments

Ask HN: Is code quality and design systems the new SWE?

https://old.reddit.com/r/cscareerquestions/comments/1sukvlf/is_learning_code_quality_and_design_s...
2•SantiDev•28m ago•1 comments

Tiny 1000bhp 13Kg YASA Motor Cuts 200kg from EVs [video]

https://www.youtube.com/watch?v=B2Hl4c1iZK0
3•Lio•29m ago•1 comments

Tenth Circuit Broadens CFAA 'Loss' Beyond Technological Harm–Moxie vs. Nielsen

https://blog.ericgoldman.org/archives/2026/04/tenth-circuit-broadens-cfaa-loss-beyond-technologic...
1•hn_acker•30m ago•0 comments

Rust-coreutils – Program Security Assesment [pdf]

https://github.com/Zellic/publications/blob/master/uutils%20coreutils%20-%20Zellic%20Audit%20Repo...
1•delamon•30m ago•1 comments