frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

The Vampire Theorem Prover

https://github.com/vprover/vampire
1•modinfo•57m ago

Google DeepMind's WeatherNext model achieves breakthrough forecasting cyclones

https://deepmind.google/blog/weathernext-ai-model-achieves-breakthrough-in-forecasting-cyclones/
1•bhavansig•2m ago•1 comments

Thimbleweed Park 2 Dev Blog

https://blog2.thimbleweedpark.com/twp2_tech/
1•MrVandemar•6m ago•0 comments

Show HN: Draw Your Room. Share Your Plan

https://freeroomplanner.com/
1•wowinter15•12m ago•0 comments

The phone book that led us to Assad's spy chief in hiding

https://www.bbc.co.uk/news/articles/c4gyrzn8p94o
1•justworks•16m ago•0 comments

Show HN: I mapped business competition density across NYC, block by block

https://worththespot.com/
1•losas28066•17m ago•0 comments

Show HN: Lensa – Open-source MCP connectors and skills for ChatGPT

https://github.com/mitrotasios/lensa-mcp
1•amitrotasios•18m ago•0 comments

Don't Build Mindreading

https://keller.substack.com/p/dont-build-mindreading
1•celer•24m ago•0 comments

Show HN: Hosted LLM Wiki

https://getmana.md/
2•zintus•32m ago•0 comments

Rcarmo/wrdp: Experimental xrdp/sesman-like setup for Wayland-backed desktops

https://github.com/rcarmo/wrdp
1•rcarmo•36m ago•0 comments

World-class higher education targeting <$10k for degree

https://khanted.org
1•JSR_FDED•37m ago•0 comments

CATL Secures 2GWh Sodium-Ion Storage Deal with Solarpro for Eastern Europe

https://fuelcellsworks.com/2026/07/21/battery/catl-secures-2gwh-sodium-ion-storage-deal-with-sola...
1•jamesblonde•37m ago•1 comments

Tlbic v11.0 (French Edition): Bottom-Up Governance and AI Audit

https://drive.google.com/file/d/1XLbJ-tTlnFNgrzRxlYXE4FmVSpSoQMIm/view?usp=drive_link
1•michikawa59•39m ago•1 comments

Grammelot

https://en.wikipedia.org/wiki/Grammelot
1•schandmaul•43m ago•0 comments

The Fifteen-Minute Principal Engineer

https://markatwood.substack.com/p/the-fifteen-minute-principal-engineer
1•slyall•46m ago•0 comments

Building my own project management tool on Cloudflare

https://tom-dickson.com/blog/projektor-mcp-issue-tracker-cloudflare-workers/
1•tajd•46m ago•1 comments

Code harness for DeepSeek V4? OpenCode vs. pi vs. jcode vs. reasonix

https://grigio.org/which-is-the-best-coding-harness-for-deepseek-v4-opencode-vs-pi-vs-jcode-vs-re...
1•grigio•47m ago•0 comments

Google doesn't need the LLM crown

https://www.semafor.com/article/08/07/2026/google-doesnt-need-the-llm-crown
1•theanonymousone•51m ago•1 comments

Show HN: Appealr – 15s live face-offs ranked by human votes (not AI)

https://appealr.vercel.app
1•arian_•56m ago•0 comments

The Vampire Theorem Prover

https://github.com/vprover/vampire
1•modinfo•57m ago•0 comments

American oil company prepares to drill in Greenland

https://www.theguardian.com/world/2026/aug/08/greenland-iwarning-trump-linked-oil-firm-prepares-d...
2•qprofyeh•1h ago•0 comments

The screwdriver test, or What separates real engineers from the rest

https://carette.xyz/posts/a_story_of_screwdriver_drivers/
6•LucidLynx•1h ago•0 comments

Show HN: I updated my unofficial Substack Posting API

https://apisubstack.com/
2•bigmuzzy•1h ago•1 comments

From constraint models to playable puzzle games

https://zayenz.se/blog/post/constraint-generated-puzzle-games/
2•thunderbong•1h ago•0 comments

Conway's Law

https://martinfowler.com/bliki/ConwaysLaw.html
1•pykello•1h ago•0 comments

Big Ball of Mud

https://www.laputan.org/mud/mud.html
1•pykello•1h ago•0 comments

Grindr CEO Says AI Is Doing the Work of 200 Engineers

https://ai-updates.net/grindr-ceo-says-ai-is-doing-the-work-of-200-engineers/
5•ashurandi•1h ago•14 comments

How to Be a Consultant, a Freelancer, or an Independent Contractor (2011)

https://jacquesmattheij.com/be-consultant/
1•downbad_•1h ago•0 comments

Show HN: Non-custodial Monero->BTC/LTC atomic swaps in the browser (testnet)

https://testnetswap.com/
1•Tech1k•1h ago•0 comments

I'm leaving OpenAI to build Jurassic Park

https://taylor.town/leaving-openai
7•birdculture•1h ago•1 comments

How to Keep Thinking

https://www.seangoedecke.com/how-to-keep-thinking/
1•vinhnx•1h ago•0 comments