frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Formal Methods and the Future of Programming

https://blog.janestreet.com/formal-methods-at-jane-street-index/
3•dcre•1h ago

Comments

Jtsummers•1h ago
https://news.ycombinator.com/item?id=48526633 - Discussion here, still active.

People Like This? [video]

https://www.youtube.com/watch?v=gf0-L5om_HM
1•ThatDumbGirl•5m ago•0 comments

Gemini 3.5 Flash Looks Good for How Fast It Is

https://thezvi.wordpress.com/2026/05/22/gemini-3-5-flash-looks-good-for-how-fast-it-is/
1•gmays•6m ago•0 comments

Polypost: Draft once, format for every platform. Made by Mark Russinovich

https://markrussinovich.github.io/Polypost/
1•annjose•9m ago•0 comments

U.S. and Iran agree on peace deal to end the war, Trump and Pakistan say

https://www.cnbc.com/2026/06/14/us-iran-war-peace-deal.html
1•shinryudbz•13m ago•0 comments

Sell Digital Goods Anywhere

https://zwely.com
2•fenderdude•15m ago•0 comments

Swiss voters reject proposal to cap population at 10M

https://www.theguardian.com/world/2026/jun/14/switzerland-referendum-population-cap-svp
2•pseudolus•15m ago•0 comments

Grist

https://www.getgrist.com/
2•jawns•17m ago•0 comments

Vinyl Cache and Varnish Cache

https://vinyl-cache.org/organization/on_vinyl_cache_and_varnish_cache.html#org-vinyl-varnish
2•embedding-shape•17m ago•0 comments

Amdahl's Law in Software Engineering

https://lawsofsoftwareengineering.com/laws/amdahls-law/
2•_josh_meyer_•21m ago•1 comments

Trump announces a deal with Iran has been reached [video]

https://www.youtube.com/watch?v=-FWZLUs-hSQ
3•Bender•40m ago•0 comments

OpenAI Partner Network

https://openai.com/index/introducing-openai-partner-network/
3•ilreb•41m ago•0 comments

21 years and counting of 'eight fallacies of distributed computing' (2025)

https://blog.apnic.net/2025/12/08/21-years-and-counting-of-eight-fallacies-of-distributed-computing/
3•teleforce•42m ago•0 comments

The Agentic Development Lifecycle

https://www.voodootikigod.com/series/adlc
5•voodootikigod•47m ago•1 comments

Data Brokers: Unregulated Forensic Analysis

https://nooneshappy.com/article/data-brokers-unregulated-forensic-analysis/
2•njrc•49m ago•0 comments

The Joys of NMAP (2011)

https://theserpent.co.uk/posts/the-joys-of-nmap/
2•Eridanus2•51m ago•1 comments

Cosmos Claw: Hack on a Boat in SF (Nvidia Cosmos Based Social Media Manager)

https://github.com/manas15/cosmos-claw
2•manas95•52m ago•0 comments

Neurophos OPU

https://www.neurophos.com
2•peter_d_sherman•59m ago•0 comments

Show HN: My developer portfolio – web apps, dev tools and open-source projects

https://p32929.github.io
2•heliskyr2•1h ago•0 comments

Re-Reading Who Moved My Cheese

https://thuva4.com/blog/re-reading-who-moved-my-cheese/
2•thuva4•1h ago•0 comments

Show HN: Coding agent with algebraic memory (VSA) instead of RAG

https://github.com/vitaliyfedotovpro-art/raidho
3•astrumverum•1h ago•0 comments

ENS Domains .eth .box

https://ens.domains
2•modinfo•1h ago•0 comments

Show HN: Wtdb – give every Git worktree its own database

https://github.com/willhackett/wtdb
2•whh•1h ago•0 comments

Water Fluoridation in Australia

https://en.wikipedia.org/wiki/Water_fluoridation_in_Australia
2•nomilk•1h ago•0 comments

Tlbic: A shared prompt for humanity and the future of ASI

2•michikawa59•1h ago•0 comments

Mike Stonebraker: Disagreeing with Google, Postgres and Future Problems [video]

https://www.youtube.com/watch?v=YPObBOwIrHk
2•teleforce•1h ago•0 comments

Oracle Cloud might start charing for their forever-free instances

https://old.reddit.com/r/oraclecloud/comments/1u4lzkk/new_free_tier_limits_confirmed_by_oracle_su...
3•bel8•1h ago•1 comments

Show HN: A-C Coupling – Deterministic Data Decomposition in O(n) with No Search

https://zenodo.org/records/20693980
3•A19dammer91•1h ago•0 comments

From Hookswitch to Grave

https://computer.rip/2026-06-14-hookswitch-to-grave.html
3•K7PJP•1h ago•0 comments

Terminal UIs Are an Abomination. AI Needs Better UX

https://medium.com/@balajibal/terminal-uis-are-an-abomination-so-are-chatbots-ai-needs-better-ux-...
3•rafaepta•1h ago•1 comments

Image Toolbox (T8RIN)

https://github.com/T8RIN/ImageToolbox/
3•unexpectedVCR•1h ago•1 comments