30
3
LeanScreen: Lean Verification
https://www.millenniumresearch.ai/leanscreen.html
25 minutes ago
29
13
The Difference Between a Button and a Link
https://unplannedobsolescence.com/blog/buttons-vs-links/
1 hour ago
6
Hubbele: Open-source notetaking app for you and your agents
https://www.hubble.md/
19
Show HN: Manim (3Blue1Brown's animation engine) in the browser via WebGPU
https://studio.academa.ai/
12
1
A U.S. Citizen Deleted His Phone's Data. Now He Faces a Felony Charge
https://www.nytimes.com/2026/07/28/us/duress-password-phone-wipe-charge.html
10
0
Lightweight Spring Boot Monitoring Without Prometheus and Grafana
https://pvrlabs.xyz/articles/lightweight-spring-boot-monitoring.html
8
Multiple Mouse Cursors in Wayland
https://blinry.org/multi-seat-wayland/
7
2
"Google and Reddit do not own the Internet," web scraper says after court win
https://arstechnica.com/tech-policy/2026/07/google-wont-give-up-odd-war-against-ai-web-scraping-despite-court-loss/
Trump's diversity crackdown reverberates through US boardrooms
https://www.reuters.com/legal/government/trumps-diversity-crackdown-reverberates-through-us-boardrooms-2026-07-28/
45 minutes ago
Most Americans favor political changes that require amending the Constitution
https://www.pewresearch.org/short-reads/2026/07/28/most-americans-favor-big-changes-to-the-political-system-that-likely-would-require-amending-the-constitution/
Tesla sues Cybertruck supplier Angstrom amid standoff keeping production hostage
https://electrek.co/2026/07/28/tesla-sues-cybertruck-supplier-angstrom-tooling/
5
Show HN: Learning Rust by writing a Markdown to HTML compiler
https://andreadimatteo.com/md-to-html-compiler.html
Industry Brief: Private 5G for Manufacturing and Industrial Sites [pdf]
https://framerusercontent.com/assets/HV1dtfKZyXK2aknO6go8Cemejl8.pdf
4
Sam Altman is ready to decelerate
https://techcrunch.com/2026/07/28/sam-altman-is-ready-to-decelerate/
775
207
7.1 Earthquake in Japan
https://www.data.jma.go.jp/multi/quake/quake_detail.html?eventID=20260728163528&lang=en
18 hours ago
567
240
New HIV vaccine shows unprecedented success in preclinical study
https://www.lji.org/news-events/news/post/new-hiv-vaccine-shows-unprecedented-success-in-preclinical-study/
12 hours ago
521
187
Stop Killing the Internet: No Digital ID and No Age Verification
https://citizens-initiative.europa.eu/initiatives/details/2026/000011_en
11 hours ago
416
214
Substack writers, you need a website
https://elizabethtai.com/2026/06/10/substack-writers-you-need-a-website/
9 hours ago
347
105
OpenAI just open-sourced Codex Security
https://github.com/openai/codex-security
★ 1.3kTypeScriptApache-2.0–5 hours ago
314
44
Kimi K3 Architecture Overview and Notes
https://sebastianraschka.com/blog/2026/kimi-k3-architecture-notes.html
10 hours ago
OpenAI just open-sourced Codex Security