frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Vibe Under Constraint - Claude Code writing Lean 4

https://ngrislain.github.io/projects/2026-6-22-vibe-under-constraint/
1•ngrislain•1h ago

Comments

ngrislain•1h ago
Vibe coding is great. You describe what you want, the agent writes it, the tests pass, you ship. It keeps working right up to the moment it does not: the job gets killed by the OOM reaper in production, or it opens ten thousand file descriptors and falls over, or it runs fine on the sample and melts on the real dataset.

German Rail Service Suspended Due to Radio Interference

https://www.bluewin.ch/en/news/german-rail-service-suspended-due-to-radio-interference-li.3295297
1•sva_•3m ago•0 comments

Old Man's Journey

https://store.steampowered.com/app/581270/Old_Mans_Journey/
1•doener•4m ago•0 comments

All train services in Germany halted after train radio communications disruption

https://english.news.cn/20260624/65f1b6192cd947e28849776a5aef05c6/c.html
3•sva_•8m ago•1 comments

Lobu: Build AI teammates that watch and act

https://lobu.ai/
1•handfuloflight•11m ago•0 comments

Expert-aware quantisation: near-Q4 quality at near-Q2 size?

https://martinalderson.com/posts/expert-aware-quantisation/
1•martinald•11m ago•0 comments

How to Increase Your Luck Surface Area (2010)

https://www.codusoperandi.com/posts/increasing-your-luck-surface-area
2•chistev•13m ago•0 comments

No AI Co-Authors. A Manifesto

https://no-ai-coauthors.dev
4•zethraeus•13m ago•2 comments

Key activities for sustainable engineering team

https://blog.incrementalforgetting.tech/p/key-activities-for-sustainable-engineering
2•mooreds•13m ago•0 comments

Closing the Loop: What to Do After a Design Critique Ends

https://www.nngroup.com/articles/after-design-critique/
1•mooreds•14m ago•0 comments

Pg_graphwright: A Postgres knowledge-graph index that inherits row-level-SEC

https://github.com/hoofader/pg_graphwright
2•hoofader•15m ago•0 comments

A new novel parser architecture is being put into Oxc (Reported 2-3x Speedup)

https://twitter.com/boshen_c/status/2069379302987014616
1•wseagar•18m ago•0 comments

Memiry Check-In Agents

https://memiry.com
1•sammykao•18m ago•0 comments

Svoxx.com

https://svoxx.com/int/en
1•kilincarslan•19m ago•1 comments

Brussels Clears €76M German Chip Subsidy for Munich

https://fivetakes.news/eu-approves-76-million-german-state-aid-for-quantumdiamonds-gmbhs-munich-s...
1•mmeirovich•20m ago•0 comments

4 years as a content writer working with AI

https://www.getibex.com/blog/4-years-as-a-content-writer-working-with-ai
1•f3b5•20m ago•1 comments

When is an AI agent's approval prompt a security boundary?

https://gist.github.com/NikosRig/b4330ceb780fe22bf3c14f38d7d90795
1•nrig•21m ago•0 comments

Halvar's Guide to Entrepreneurship

https://thomasdullien.github.io/guides/entrepreneurship/
1•Darkstryder•22m ago•0 comments

Visualizing multi-dimensional array shapes recursively

https://arrayvis.netlify.app/
1•biraj-rocks•22m ago•1 comments

Anthropic gives Claude a permanent seat in your Slack channels

https://thenewstack.io/anthropic-claude-tag-slack/
1•r_singh•23m ago•1 comments

SovietRxiv: Rediscovering the Soviet scientific archive, in English

https://sovietrxiv.org
1•SUPERustam•25m ago•0 comments

UN commission of inquiry says Israel committing genocide by targeting children

https://www.bbc.com/news/articles/c0jy96w6pw2o
2•lorecore•26m ago•3 comments

New car registrations: +4% year-to-date; battery-electric 20% market share [pdf]

https://www.acea.auto/files/Press_release_car_registrations_May_2026.pdf
1•haunter•26m ago•1 comments

Quartz Crystals: The Heartbeat of Our Digital World

https://www.arkcrystals.com/blogs/articles/quartz-crystals-the-heartbeat-of-our-digital-world
1•andrewstuart•27m ago•0 comments

Show HN: Foundation models that predict patient response in clinical trials

https://atlasdiscovery.bio/clinical-trial-response-prediction
1•shaamilkarim•29m ago•0 comments

I received a fake job offer. The NPM package was a full info-stealer

https://aydinnyunus.github.io/2026/06/22/fake-job-offer-npm-supply-chain-malware-foxtopia/
1•bobsoap•29m ago•0 comments

Show HN: AI Torah Chervuta

https://www.yochai.wiki/chat
5•Philosopheril•29m ago•0 comments

Polymarket's viral videos showed people winning big, but the bets were fake

https://www.techsentiments.com/article/2026/06/22/polymarkets-viral-videos-showed-people-winning-...
2•rajsuper123•29m ago•0 comments

Memory Retrieval with Code?

https://piyussh.substack.com/p/memory-retrieval-with-code
1•piyussh•30m ago•0 comments

Nvidia Announces BioNeMo Agent Toolkit

https://nvidianews.nvidia.com/news/nvidia-launches-bionemo-agent-toolkit-giving-ai-agents-the-too...
2•teepo•30m ago•0 comments

Aside: The AI Browser

https://aside.com
1•handfuloflight•30m ago•0 comments