frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Making Sense of Proof by Contradiction [pdf]

https://www.foster77.co.uk/Foster,%20Scottish%20Mathematical%20Council%20Journal,%20Making%20sense%20of%20proof%20by%20contradiction.pdf
2•surprisetalk•1h ago

A simple physics-inspired model sheds light on how AI learns

https://techxplore.com/news/2026-05-simple-physics-ai.html
1•doener•28s ago•0 comments

MSG Made Dossier on Activists Who Opposed Facial Recognition

https://www.404media.co/madison-square-garden-made-dossier-on-activists-who-opposed-facial-recogn...
2•cdrnsf•2m ago•0 comments

AI and Math State of the Art

https://stunning-naiad-817d91.netlify.app
2•dawdler-purge•3m ago•1 comments

I Built an NPM package to stop AI agents from burning through API credits

https://www.npmjs.com/package/budget-agent
1•alienhead•5m ago•0 comments

Airship

https://en.wikipedia.org/wiki/Airship
1•simonebrunozzi•6m ago•0 comments

The (Quantum) Revolution That Should Have Been – and Still Could Be

https://conjectureinstitute.org/articles/fellow-spotlight/paul-raymond-robichaud
1•anotherpaulg•7m ago•0 comments

Show HN: Route LLM prompts to cheapest capable model – pydantic-AI and litellm

https://github.com/Reactance0083/pydantic-ai-multi-llm-cost-optimizer
1•reactance0083•8m ago•0 comments

Vector Graphics in Lil

https://beyondloom.com/blog/vectorgraphics.html
1•surprisetalk•8m ago•0 comments

Show HN: Synergy Check – paste two companies, get "should you take the meeting?"

https://intergrate-q86q.onrender.com/scout
1•kevinluddy39•8m ago•0 comments

Show HN: Open-geo – Skill for Claude Code which shows your AI Visibility

https://github.com/Pupok462/open-geo
1•pupok46•8m ago•0 comments

Show HN: FuckUI – Stop feeding agents raw DOM. An accessibility-tree CLI

https://fuckui.com
1•keepamovin•9m ago•0 comments

Show HN: Cerver is infra for AI sessions

https://cerver.ai
1•eyalgoren•12m ago•0 comments

Bluerails – Know if AI agents can find and book your business

https://www.bluerails.com
1•gurveenghai•13m ago•1 comments

Alphabet Shares Drop After Second AI Star Departs for a Rival

https://finance.yahoo.com/technology/ai/articles/alphabet-shares-drop-second-ai-163538654.html
1•ivewonyoung•15m ago•0 comments

Why the Human Genome's Tangled Physicality May Confound AI

https://www.quantamagazine.org/why-the-human-genomes-tangled-physicality-may-confound-ai-20260618/
1•bookofjoe•15m ago•0 comments

A cycling game whose mountains, weather, rider and night sky are all vector code

https://cycling318.com/media
1•dengjiuhong•16m ago•0 comments

Ask HN: Anyone else's company ban use of Chinese models?

3•seahorseemoji•18m ago•0 comments

Workplace Democracy

https://en.wikipedia.org/wiki/Workplace_democracy
1•hamburgererror•18m ago•0 comments

NASA's Nancy Grace Roman Space Telescope Arrives in Florida

https://spaceflightnow.com/2026/06/22/nasas-nancy-grace-roman-space-telescope-arrives-in-florida/
1•smurda•18m ago•0 comments

Meta Glasses

https://about.fb.com/news/2026/06/meta-essilorluxottica-partner-launch-meta-glasses/
2•gotmedium•18m ago•0 comments

Deadcert: A zero-dependency Go CLI to check TLS cert expiry

https://github.com/zuhayr-barhoumi/deadcert
1•ZuhayrBarhoumi•20m ago•0 comments

Show HN: perl-lsp – annotation free static analysis for Perl

https://github.com/tree-sitter-perl/perl-lsp
2•rabbiveesh•20m ago•0 comments

The Flying Pigeon: The Single Most Produced Vehicle in History [video]

https://www.youtube.com/watch?v=p2d2ifuUcCM
2•nxobject•20m ago•0 comments

PixelSmash – Critical FFmpeg Vulnerability Turns Media Files into Weapons

https://jfrog.com/blog/pixelsmash-critical-ffmpeg-vulnerability-turns-media-files-into-weapons/
1•croes•21m ago•0 comments

What is Gavin Newsom doing?

https://www.natesilver.net/p/what-is-gavin-newsom-doing
2•7777777phil•22m ago•0 comments

Show HN: Open-source tool for reverse engineering ChatGPT queries about brands

https://github.com/syntropicsignal-ai/ai-visibility-audit
1•biduskamil•23m ago•0 comments

A Review of Grand Theft Auto Xxiiv

https://taylor.town/gta23
1•surprisetalk•23m ago•0 comments

AI Raises the Floor, but It Lowers the Ceiling

https://www.tilomitra.com/blog/ai-raises-the-floor-but-lowers-the-ceiling
2•speckx•24m ago•0 comments

Pg_hardstorage: PostgreSQL Backup, Done Right

https://github.com/cybertec-postgresql/pg_hardstorage
2•adastral•25m ago•0 comments

Show HN: Phrony – declare an agent in a manifest, run it, trace every call

https://phrony.com/
2•MaxBols_Rivero•25m ago•0 comments