frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Formalizing a proof in Lean using Claude and o4 - Terence Tao [video]

https://www.youtube.com/watch?v=zZr54G7ec7A
4•nill0•5h ago

No One Can Explain Why Planes Stay in the Air (2020)

https://www.scientificamerican.com/video/no-one-can-explain-why-planes-stay-in-the-air/
1•Tomte•1m ago•0 comments

Anti-Inductive Dice

https://apieceofthepi.substack.com/p/anti-inductive-dice
1•Tomte•1m ago•0 comments

Gnosis Evolve MCP for Claude Desktop

https://github.com/kordless/gnosis-evolve/blob/main/README.md
1•kordlessagain•2m ago•0 comments

A Pauseless Garbage Collector for .NET

https://github.com/dotnet/runtime/issues/96213
1•bj-rn•3m ago•0 comments

at://wormhole

https://bsky.app/profile/dame.is/post/3lpcnyrwuzc24
1•Kye•5m ago•0 comments

Philips Fixables will let you 3D print replacement parts for razors and trimmers

https://www.engadget.com/home/philips-fixables-will-let-you-3d-print-replacement-parts-for-your-electric-razors-and-trimmers-233025245.html
2•gnabgib•8m ago•0 comments

Withnail and I (2001)

https://www.criterion.com/current/posts/122-withnail-and-i
1•dcminter•9m ago•0 comments

Radia and U.S. Department of Defense collaborate on WindRunner cargo aircraft

https://www.airlogisticsinternational.com/content/news/radia-and-us-department-of-defense-collaborate-on-windrunner-cargo-aircraft/
1•rbanffy•11m ago•0 comments

A Simulation in C++ of Joseph Weizenbaum's 1966 Eliza

https://github.com/anthay/ELIZA
1•m1guelpf•11m ago•0 comments

Applying "Make Invalid States Unrepresentable" (2020)

https://kevinmahoney.co.uk/articles/applying-misu/
1•mkl95•17m ago•0 comments

Show HN: TripJam – Travel group chat with collaborative map and itinerary

https://tripjam.app/
2•kenforthewin•17m ago•0 comments

Mr. Secretary, Reclassify the Statin

https://www.alexkesin.com/p/mr-secretary-reclassify-the-statin
2•paulpauper•20m ago•0 comments

Building Drones–For the Children?

https://www.newyorker.com/news/the-lede/building-drones-for-the-children
1•paulpauper•20m ago•0 comments

Trump administration working on plan to move 1M Palestinians to Libya

https://www.nbcnews.com/politics/national-security/trump-administration-working-plan-move-1-million-palestinians-libya-rcna207224
8•MilnerRoute•24m ago•0 comments

Sequoia AI Ascent 2025 Keynote [video]

https://www.youtube.com/watch?v=v9JBMnxuPX8
1•gregzeng95•24m ago•0 comments

WSJ: Some Apple Vision Pro Buyers 'Feel Total Regret'

https://www.macrumors.com/2025/05/16/vision-pro-buyers-feel-total-regret/
3•retskrad•24m ago•1 comments

The Misguided Quest for Mechanistic AI Interpretability

https://www.ai-frontiers.org/articles/the-misguided-quest-for-mechanistic-ai-interpretability
1•polrjoy•28m ago•0 comments

The Lost Art of Warez (2019)

https://www.vice.com/en/article/the-lost-art-of-warez/
2•felineflock•28m ago•0 comments

What is my fuzzer doing?

https://tweedegolf.nl/en/blog/154/what-is-my-fuzzer-doing
1•weinzierl•31m ago•0 comments

RFK Jr plan to ban fluoride supplements will "hurt rural America," dentists say

https://arstechnica.com/health/2025/05/rfk-jr-wants-to-ban-fluoride-supplements-based-on-nonsense/
2•rntn•33m ago•0 comments

Grok Pivots from 'White Genocide' to Being 'Skeptical' About the Holocaust

https://www.rollingstone.com/culture/culture-news/elon-musk-x-grok-white-genocide-holocaust-1235341267/
6•ceejayoz•34m ago•1 comments

Remarks on AI from NZ

https://nealstephenson.substack.com/p/remarks-on-ai-from-nz
1•bookofjoe•34m ago•0 comments

An LLM for the Raspberry Pi

https://hackaday.com/2025/05/10/an-llm-for-the-raspberry-pi/
1•gnabgib•35m ago•0 comments

How to start a startup as a vibe coder??

1•eveuroy•35m ago•0 comments

Tamper

https://tamper.dev/
2•handfuloflight•36m ago•0 comments

Everydle: Play every game of Wordle at once

https://everydle.jakeo.dev/
2•thunderbong•37m ago•0 comments

The Unreasonable Effectiveness of Mathematics (1980)

https://ned.ipac.caltech.edu/level5/March02/Hamming/Hamming.html
2•sonabinu•37m ago•0 comments

A metagenomic 'dark matter' enzyme catalyses oxidative cellulose conversion

https://www.nature.com/articles/s41586-024-08553-z
3•PaulHoule•37m ago•0 comments

How Kubernetes Is Built

https://newsletter.pragmaticengineer.com/p/how-kubernetes-is-built-with-kat
2•ZeroTalent•38m ago•0 comments

Mysterious Morel Mushrooms at Center of Food Poisoning Outbreak (2023)

https://kffhealthnews.org/news/article/morel-mushrooms-food-poisoning-outbreak-sushi-raw/
2•andy99•39m ago•1 comments