frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Show HN: Untyped – check recorded agent runs against a TLA+ spec

https://github.com/untyped-ai/untyped
2•damianabramov•59m ago
Hi, lots of talk about TLA+ lately, so I just published my work on the topic. The tool checks an agent harness design and its recorded runs to find invariant breaks. I believe it will help make your code hold up under retries and crashes. Sure you know your invariants?

The AI Pascal's Wager

https://ploum.net/2026-10-01-pascal_wager.html
1•latexr•1m ago•0 comments

Show HN: Surka, a no-signup deal sheet for newsletter and product swaps

https://surka.vercel.app/start
1•arian_•2m ago•0 comments

GVisor is being donated to CNCF

https://gvisor.dev/blog/2026/10/02/gvisor-cncf/
1•birdculture•3m ago•0 comments

System design, in depth. Read it, watch it, run it, build it

https://vedgupta.in/blog/system-design-in-depth/
3•yugtripathi•5m ago•0 comments

Show HN: Create Git workflows using Jev

https://github.com/Ayush0054/metis
1•yusveng•5m ago•0 comments

How to Get Your Product Cited by ChatGPT and Perplexity

https://cuescout.com/blog/generative-engine-optimization-geo-guide
2•cuescout•9m ago•0 comments

DOGE vs. Civic Tech

https://donmoynihan.substack.com/p/doge-vs-civic-tech
2•hn_acker•9m ago•0 comments

Billionaires Are Suddenly Dressing Like They Deal Weed

https://slate.com/technology/2026/10/meta-ai-alexandr-wang-outfit.html
2•bookofjoe•9m ago•1 comments

Reverse Engineering NovaLogic's Comanche Terrain Maps

https://pikuma.com/blog/comanche-maps-reverse-engineering
1•myth_drannon•9m ago•0 comments

NASA Agency 'Sizzle' Presentation [video]

https://www.youtube.com/watch?v=uQSpWE5rmZE
1•Eridanus2•9m ago•0 comments

Run Osier to track how your AI coding agent does

https://www.npmjs.com/package/osier-dev
1•mdstrobe•10m ago•0 comments

Why Linux is picking up at a rapid pace for AI usage?

3•keshwanianup•11m ago•2 comments

Tourismusflipper

https://www.youtube.com/watch?v=wdcisNOr-xQ
1•xg15•11m ago•1 comments

Stories of Ukraine's Defenders

https://www.pravda.com.ua/eng/articles/2026/10/04/8056397/
1•firefax•15m ago•0 comments

Show HN: Astera: An ad-free stargazing app for Android

https://play.google.com/store/apps/details?id=net.mrlatte.astera&hl=en_US
1•jongha•15m ago•0 comments

Why Adults Are Playing with Toys

https://www.newyorker.com/culture/the-lede/why-adults-are-playing-with-toys
1•pseudolus•15m ago•2 comments

Understanding Agent Drift

https://sdarchitect.blog/2026/10/03/ai-risk-a-users-guide-part-iv-understanding-agent-drift/
1•SanjeevSharma•17m ago•0 comments

The first ever competition of AI personal agents on the internet is kicking off

https://twitter.com/ddaniel3141/status/2106748777826529457
2•ddaniel10•17m ago•0 comments

AI Makes Me Happy

https://devinprater.substack.com/p/ai-makes-me-happy
1•devinprater•17m ago•0 comments

Dozens of dead nuclear reactors orbit Earth (2016)

https://www.businessinsider.com/nuclear-powered-satellites-space-2016-3
1•greesil•18m ago•0 comments

Getting into Craft Coffee

https://drewsh.com/starting-craft-coffee
1•meysamazad•20m ago•0 comments

The energy transition is starting to feed itself

https://www.reuters.com/commentary/reuters-open-interest/energy-transition-is-starting-feed-itsel...
1•geox•21m ago•0 comments

Dora Compliance for Email

https://dmarcguard.io/blog/dora-email-authentication/
1•meysamazad•21m ago•0 comments

A Shark Was Spotted Swimming Through the Flooded Streets of New Jersey

https://www.smithsonianmag.com/smart-news/a-shark-was-spotted-swimming-through-the-flooded-street...
2•pseudolus•23m ago•0 comments

What If Earth Suddenly Stopped Spinning?

https://www.youtube.com/watch?v=DAB1zJn693c
1•mikeirvine•24m ago•1 comments

Dnsrecords.io

https://dnsrecords.io/
1•rc_kas•24m ago•0 comments

DOI vs. COI: The Pointless Word War

https://www.spamresource.com/2026/10/doi-vs-coi-pointless-word-war.html
1•meysamazad•24m ago•0 comments

RevaCSS 1.0.0 Is Out

https://github.com/eristavi/RevaCSS
1•eristavi•25m ago•0 comments

Webdesk: Web-based remote desktop for Linux using SSH

https://github.com/rmegi/webdesk
1•thunderbong•26m ago•0 comments

FF7 Revelation director says he "did his best" to fight for a full disc release

https://www.eurogamer.net/final-fantasy-7-revelation-naoki-hamaguchi-disc-release-physical-media
1•ksec•28m ago•0 comments