frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

What makes a theorem "fundamental" in mathematics? (2014)

https://math.stackexchange.com/questions/947442/what-makes-a-theorem-fundamental
1•vismit2000•1h ago

Show HN: SigMap – deterministic repo maps for AI coding agents

1•manoj079•25s ago•0 comments

A design system for Rust/egui where token violations fail the build

https://ouroboros-ui.typezerolabs.com
1•mauriciojuba•52s ago•0 comments

The Perfect Cripple: A User Guide to Being Palatable

https://www.salient.org.nz/post/the-perfect-cripple-a-user-guide-to-being-palatable
1•speckx•1m ago•0 comments

Discovery helps explain why solid-state batteries often fail

https://news.mit.edu/2026/discovery-helps-explain-why-solid-state-batteries-often-fail-0706
1•gmays•2m ago•0 comments

Amazon Returns to US Bond Market to Fund AI Infrastructure Build

https://www.bloomberg.com/news/articles/2026-07-07/amazon-returns-to-us-bond-market-to-fund-ai-in...
2•thm•3m ago•0 comments

The Popup That Says the Quiet Part Out Loud

https://blog.ppb1701.com/the-popup-that-says-the-quiet-part-out-loud
1•ExMachina73•3m ago•0 comments

I was wrong about Duff's device

https://unsung.aresluna.org/i-was-wrong-about-duffs-device/
1•colejohnson66•3m ago•0 comments

Agents don't need smarter models, they need a map

https://horiacristescu.github.io/karto-plugin/
1•visarga•5m ago•0 comments

Dua Lipa opens library for banned and censored books in Portugal

https://www.euronews.com/culture/2026/06/29/dua-lipa-opens-library-for-banned-and-censored-books-...
2•pax•5m ago•0 comments

Gladia-CLI: A command-line tool for audio transcription

https://github.com/gladiaio/gladia-cli
2•mgaudin•7m ago•0 comments

Effects as Capabilities

https://nrinaudo.github.io/talks/capabilities.html
1•marvinborner•7m ago•0 comments

Yamanote.fun – A complete soundscape for Tokyo's Yamanote line

https://www.yamanote.fun/
1•madebymagnolia•8m ago•0 comments

98% Isn't Much

https://whynothugo.nl/journal/2026/07/03/98-isnt-very-much/
15•speckx•11m ago•2 comments

A better way to tie your gym shorts. (Or any drawstring) [video]

https://www.youtube.com/watch?v=3R0Lp86GEBk
1•surprisetalk•11m ago•0 comments

Entering the Agentocene: A Statistical Investigation of AI-Era Coding

https://jauu.net/posts/2026-07-05-entering-the-agentocene/
1•hgn•11m ago•0 comments

Why is integration so much harder than differentiation? (2020)

https://math.stackexchange.com/questions/20578/why-is-integration-so-much-harder-than-differentia...
2•vismit2000•12m ago•0 comments

Best iOS Weight Lifting App for iPhone and Apple Watch (2026)

https://musklr.com/blog/2026/best-ios-weight-lifting-app-apple-watch/
1•badgag•12m ago•0 comments

Turn commodity WiFi signals into real-time spatial intelligence

https://github.com/ruvnet/RuView
1•adithyaharish•13m ago•1 comments

Show HN: What if your personal website was ChatGPT?

https://antonlorani.de/en-us/conversation
1•mrbnprck•13m ago•1 comments

Gemini Interactions API

https://ai.google.dev/gemini-api/docs/interactions-overview
2•lovelearning•15m ago•0 comments

Show HN: PostgreSQL performance and cost across 23 EC2 instance types

https://postgres.saneengineer.com
4•anivan_•15m ago•0 comments

The Dream of v2

https://duggan.ie/posts/the-dream-of-v2
1•duggan•16m ago•0 comments

StreetComplete: Fixing OpenStreetMap, one tiny quest at a time

https://streetcomplete.app/
2•kls0e•17m ago•0 comments

Slint, the ideal language for vibe coding UIs?

https://slint.dev/blog/slint-and-AI-MCP
1•NigelBres•19m ago•0 comments

Abject Praise

https://infrequently.org/2026/07/abject-praise/
1•genericlemon24•19m ago•0 comments

Close look at the halo–and how it 'saved Hamilton's neck' in Monza crash (2021)

https://www.formula1.com/en/latest/article/tech-tuesday-a-close-look-at-the-halo-and-how-it-saved...
1•thunderbong•21m ago•0 comments

Show HN: After a layoff I built the tool I needed – find jobs, tailor resumes

https://jobfyt.com/ats-checker
1•chrisadam•21m ago•0 comments

Autonomous cars do not have to turn Britain into an America-style hellscape

https://takes.jamesomalley.co.uk/p/no-hellscape-no-problem
1•writerJames•21m ago•0 comments

Show HN: Open-source desktop agent that uses a local folder as its memory

https://github.com/zqiren/Orbital
2•10keane•22m ago•0 comments

What "Project Hail Mary" Taught Me About Working in Tech (Part 1)

https://adatosystems.com/2026/07/01/what-project-hail-mary-taught-me-about-working-in-tech-part-1/
1•mooreds•22m ago•0 comments