Discover

Curated articles from sources across the web

8605 articles from 16 sources
All Business Design Lifestyle Science Sports Technology World
Ars Technica BBC News DEV Community ESPN Hacker News Harvard Business Review Lifehacker MIT Technology Review NASA Breaking News Nature News Reuters World Smashing Magazine TechCrunch The Guardian The Verge Wired
H
Hacker News · Technology

Exapunks

Article URL: https://www.zachtronics.com/exapunks/ Comments URL: https://news.ycombinator.com/item?id=48765663 Points: 7 # Comments: 0

yu3zhou4
Read
Vulkan is now available on NetBSD
H
Hacker News · Technology

Vulkan is now available on NetBSD

Article URL: https://github.com/segaboy/vulkan-netbsd Comments URL: https://news.ycombinator.com/item?id=48765607 Points: 9 # Comments: 1

segaboy81
Read
Show HN: QUALITY.md – open format/specification, agent skill, and CLI
H
Hacker News · Technology

Show HN: QUALITY.md – open format/specification, agent skill, and CLI

Hello all, I created QUALITY.md to help build a holistic quality evaluation process for my projects. Turns out it's also ideal for loop engineering. I'm hoping this provides a valuable contribution to the conversation around quality and craft and having AI help us in the effort. I hope to shift the...

craigsmitham
Read
Show HN: ctx – Search the coding agent history already on your machine
H
Hacker News · Technology

Show HN: ctx – Search the coding agent history already on your machine

Coding agents don't have long-term memory.But you do have months of full-fidelity agent transcripts stored on your machine.A simple solution that goes a long way: ingest those transcripts and logs into a structured SQLite database, then search them with ranked text match. Everything is fully local...

luca-ctx
Read
H
Hacker News · Technology

Flexible metaprogramming with Rhombus

Article URL: https://lwn.net/SubscriberLink/1079001/67840550991151ed/ Comments URL: https://news.ycombinator.com/item?id=48763291 Points: 16 # Comments: 1

spdegabrielle
Read
Show HN: zkGolf, competitive optimization of formally verified circuits.
H
Hacker News · Technology

Show HN: zkGolf, competitive optimization of formally verified circuits.

Zero-Knowledge Proofs (ZKPs) let an untrusted proved show that computation was executed correctly without revealing the inputs to the verifier. However to prove anything, the computation first has to be expressed as a circuit: a system of polynomial equations (constraints) over a finite field. Cir...

rot256
Read
Launch HN: Manufact (YC S25) – MCP Cloud
H
Hacker News · Technology

Launch HN: Manufact (YC S25) – MCP Cloud

Hi HN, we are Pietro and Luigi, cofounders of Manufact (https://manufact.com), a cloud for MCP apps and servers. We used to be called mcp-use, and still build open source SDKs for MCP under that name: https://github.com/mcp-use/mcp-use. We did a Show HN about that last year: https://news.ycombinato...

pzullo
Read
Podman v6.0.0
H
Hacker News · Technology

Podman v6.0.0

Article URL: https://blog.podman.io/2026/07/introducing-podman-v6-0-0/ Comments URL: https://news.ycombinator.com/item?id=48762098 Points: 80 # Comments: 3

soheilpro
Read
H
Hacker News · Technology

No LLM Code in Dependencies

Article URL: https://joeyh.name/blog/entry/no_LLM_code_in_dependencies/ Comments URL: https://news.ycombinator.com/item?id=48762008 Points: 34 # Comments: 12

edward
Read

Reading List