frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Show HN: CakeML-based self-verifying, self-improving system

https://emberian.github.io/svenvs/
3•cmrx64•1h ago
based on a conversation I had with Ramana Kumar in 2016.

Patching my guitar amp's firmware

https://mforney.org/blog/2026-05-28-patching-my-guitar-amps-firmware.html
1•birdculture•1m ago•0 comments

Show HN: Missed Connections Site Replacing Craigslist

https://ivmissed.com/SF
2•Loyae•2m ago•0 comments

The Agentic Mesh: Cognitive Automation at Scale

https://blog.owulveryck.info/2026/05/31/the-agentic-mesh-cognitive-automation-at-scale.html
2•owulveryck•2m ago•0 comments

California Academy of Sciences is a world class museum. Here’s how it dies

https://www.sfchronicle.com/opinion/openforum/article/california-academy-sciences-museum-22280835...
2•thebigship•3m ago•0 comments

April in Servo: new Android UI, focus, forms, security fixes, and more

https://servo.org/blog/2026/05/31/april-in-servo/
2•dabinat•4m ago•0 comments

Researchers let AI models run a simulated society

https://fortune.com/2026/05/28/ai-model-simulation-claude-chatgpt-grok-gemini/
3•ilkkao•7m ago•0 comments

Two Kinds of Programs: Closed Worlds and Open Worlds

https://blog.sturdystatistics.com/posts/open_world/
2•kianN•8m ago•0 comments

The Pewdiepie Agent Framework

https://pewdiepie-archdaemon.github.io/odysseus/#features
2•christkv•9m ago•1 comments

After decades on Linux, FreeBSD gave me a reason to switch operating systems

https://www.zdnet.com/article/freebsd-linux-review/
2•rodrigo975•10m ago•0 comments

100 Officers Hunt Down Armed Cop Killer [video][20 mins]

https://www.youtube.com/watch?v=BH4k_jllNks
2•Bender•10m ago•0 comments

Euro-Office Alternative to Microsoft Office and Google Docs, Launches June 9

https://www.zdnet.com/article/euro-office-a-sovereign-cloud-based-office-suite-google-microsoft-a...
2•abdelhousni•15m ago•0 comments

Monal IM 6.4.21 released – open-source Jabber/XMPP client for macOS and iOS

https://monal-im.org/
2•neustradamus•16m ago•0 comments

Headroom compresses everything your AI agent reads before it reaches the LLM

https://pypi.org/project/headroom-ai/
2•mooreds•17m ago•0 comments

Toby Wilkinson on Ptolemaic Egypt and the First Great Commercial Civilization

https://conversationswithtyler.com/episodes/toby-wilkinson/
2•mooreds•18m ago•0 comments

It's a Good Life (The Twilight Zone)

https://en.wikipedia.org/wiki/It%27s_a_Good_Life_(The_Twilight_Zone)
2•mooreds•18m ago•0 comments

I forced codex to use blender using MCP and computer use

https://marknefedov.github.io/codex-blender-bench/
3•marknefedov•20m ago•0 comments

Human Flesh Search Engine

https://en.wikipedia.org/wiki/Human_flesh_search_engine
3•firefax•22m ago•0 comments

Web-AI-SDK 0.5: Writer, Rewriter, Proofreader and Prompt API improvements

https://web-ai-sdk.dev/
2•obetomuniz•24m ago•1 comments

Ask HN: Does your website show up when ChatGPT recommends tools in your field?

3•rishikoneru•26m ago•0 comments

China's AI Heist

https://www.foreignaffairs.com/china/chinas-ai-heist
4•chvid•28m ago•0 comments

Automatia Update: Better Living Through Alchemy

https://libriscv.no/blog/better-living-through-alchemy/
2•fwsgonzo•30m ago•0 comments

The Life of an Instruction Set [video]

https://vimeo.com/450406346
2•hasheddan•30m ago•0 comments

Disrupting the Road Logistics Network of RU in the Occupied Territories of UA

https://tochnyi.info/2026/05/logistics-lockdown-disrupting-the-road-logistics-network-of-russia-i...
5•Teever•30m ago•0 comments

Computer scientists clear a path to stream 3D 'volumetric' video

https://www.brown.edu/news/2026-05-28/volumetric-video
4•geox•36m ago•0 comments

A SpaceX/Tesla merger could trigger Musk's $1T pay package automatically

https://electrek.co/2026/05/31/a-spacex-tesla-merger-could-trigger-musks-1t-pay-package-automatic...
7•MilnerRoute•40m ago•1 comments

Nearly Half of Home Insurance Claims Result in Zero Payout

https://www.wsj.com/finance/the-home-insurance-coin-flip-nearly-half-of-claims-result-in-zero-pay...
6•bookofjoe•42m ago•1 comments

No one wants to go to your URL

https://twitter.com/mahendrakerr/status/2061170896090644706
3•rohanmahen•42m ago•1 comments

[Tip] ILOVEYOU Worm Sendmail Rules (2000)

https://undeadly.org/cgi?action=article;sid=20000505050138
3•jruohonen•43m ago•0 comments

The Ghost Who Solved a Theorem

https://abakcus.com/articles/thomason-trobaugh
2•Michelangelo11•43m ago•0 comments

Tolkien explains why the Fellowship didn't fly the Eagles to Mordor [video]

https://www.youtube.com/watch?v=1-Uz0LMbWpI
2•ViktorRay•43m ago•0 comments