frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

LLM-as-a-Verifier: A General-Purpose Verification Framework

https://arxiv.org/abs/2607.05391
3•root-parent•1h ago

Show HN: Stillwind – PCB part selection as constraint solving

https://stillwind.ai
1•hannesfur•25s ago•0 comments

Codex Micro – Work Louder x OpenAI

https://worklouder.cc/codex-micro
1•ChrisArchitect•28s ago•0 comments

Show HN: Summa, a tool that annotates over whatever you're reading

https://summa.josephruocco.net
1•jruocco•47s ago•0 comments

Vacuum of the Imagination: Why Space Rockets Could Have Flown Centuries Earlier

https://angadh.com/rockets-1
1•angadh•1m ago•0 comments

Show HN: Painterly – Turn pictures into digital paintings without generative AI

https://github.com/jbunke/painterly
1•flinkerflitzer•2m ago•0 comments

The Download: a useful quantum machine and a record-breaking subsea tunnel

https://www.technologyreview.com/2026/07/15/1140498/the-download-useful-quantum-computer-subsea-t...
1•joozio•2m ago•0 comments

Reverse Engineering Crazy Taxi, Part 3

https://wretched.computer/post/crazytaxi3
1•marklit•4m ago•0 comments

I Switched from Hugo to Astro

https://hmmr.online/posts/why-astro-not-hugo/
1•ZanderHammer•5m ago•0 comments

Rustwright: Playwright rewritten in Rust that uses 70% less memory

https://github.com/Skyvern-AI/rustwright
1•suchintan•6m ago•0 comments

Show HN: Zappio – a native iOS player for M3U/Xtream playlists

https://zappio.maritsol.at
1•zappio_iptv•7m ago•0 comments

RL post-training on 14 Macs across 4 countries

https://pluralis.ai/blog/rl-post-training-on-macs/
2•erfan_mhi•10m ago•0 comments

Nearly 200 Economists and Tech Leaders Warn of A.I. Threats

https://www.nytimes.com/2026/07/13/business/economists-ai-threat-jobs.html
2•Vaslo•11m ago•0 comments

The digital euro could be a major boost for European integration

https://blogs.lse.ac.uk/europpblog/2026/07/15/digital-euro-boost-european-integration/
1•jruohonen•13m ago•1 comments

Query Latency in the Age of AI Agents

https://cube.dev/blog/query-latency-in-the-age-of-ai-agents
2•skadamat•15m ago•0 comments

Calibrating Alignment Evals

https://www.lesswrong.com/posts/mWpo4Tu87ZSFzwFWB/calibrating-alignment-evals
2•gmays•15m ago•0 comments

Ray Kurzweil and Hans Moravec: Spiritual Machines, Transcendent Minds

https://medium.com/@timventura/ray-kurzweil-and-hans-moravec-spiritual-machines-transcendent-mind...
1•timventura•15m ago•0 comments

Rare Autopsy Finds Alzheimer's Drugs Only Work in Some Parts of the Brain

https://www.sciencealert.com/rare-brain-autopsy-hints-at-why-alzheimers-drugs-are-failing
2•johntb86•15m ago•0 comments

Books that are just right for children might not be the best approach to learn

https://theconversation.com/children-learn-to-read-with-books-that-are-just-right-for-them-but-th...
1•obscurette•16m ago•0 comments

Carl Sagan and the 4th Dimension [video]

https://www.youtube.com/watch?v=UnURElCzGc0
2•jonbaer•16m ago•0 comments

Job Hunters Are Using AI to Cheat in Interviews, and Failing at the Office

https://www.bloomberg.com/news/articles/2026-07-14/ai-tools-can-help-job-hunters-cheat-on-intervi...
1•rainhacker•17m ago•1 comments

Herb Sutter's Effective Concurrency Archive

https://github.com/g-berthiaume/effective_concurrency
1•vitaminCPP•17m ago•0 comments

The US just passed the biggest housing law in 36 years

https://www.ft.com/content/dd52cee1-8a35-4065-a4d0-06df0d4f8613
2•marojejian•19m ago•2 comments

YouTube and X Have Become 'Gateways' to Nudify Apps

https://www.wired.com/story/youtube-and-x-have-become-gateways-to-nudify-apps/
2•syed_qutub3•20m ago•0 comments

Homebound – self-host your social-media history, search it, talk to it

https://github.com/vyakunin/homebound
1•vyakunin•20m ago•0 comments

An open intent-based control architecture for personal VTOL

https://zenodo.org/records/21328318
1•vasyliev_r•20m ago•1 comments

Candidate for President 2028

https://www.jjjohnson2028.com/
1•AMILLI_AI_CORP•21m ago•3 comments

Show HN: Hedy runs its real-time meeting AI on-device (Mac/Windows/iOS)

https://www.hedy.ai/post/local-ai-meetings-hedy-3-2/
2•julp•22m ago•0 comments

Show HN: Figmaboy – Tauri Figma Clone with a Built in MCP-Enabled CLI for Codex

https://0xmiki.github.io/figmaboy/
2•mikiyas•22m ago•0 comments

SuperCritical lands US Gov't licence for seawater uranium

https://www.mining.com/supercritical-lands-us-govt-licence-for-seawater-uranium/
2•mpweiher•23m ago•0 comments

Show HN: Running a Website Inside a Website

https://nonogra.ph/running-a-website-inside-a-website-07-15-2026
2•smalltorch•23m ago•0 comments