← Back to news
H

Hacker News

Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects

H

Chip stocks slide in US and Asia as AI jitters rattle investors

H

LearnVector – Andrew Ng's AI company building one‑to‑one learning experiences

H

Show HN: Learning Rust by writing a Markdown to HTML compiler

H

Multiple Mouse Cursors in Wayland

H

Industry Brief: Private 5G for Manufacturing and Industrial Sites [pdf]

H

Lightweight Spring Boot Monitoring Without Prometheus and Grafana

H

The Difference Between a Button and a Link

H

Hubble: Open-source notetaking app for you and your agents

H

Show HN: Manim (3Blue1Brown's animation engine) in the browser via WebGPU

H

ReFrame – The EPaper Camera

H

AE Studio recruiting pirates to recover treasure located by AI

H

Schools are adding pepper-spraying drones to help combat active shooters

H

Leeaky Catches hidden fees draining your travel budget

H

Banning AI will not make it go away

H

Underwater oxygen loss threatens earth's stability, researchers warn

H

Offer rates for tech jobs fell from 51% to 39% since 2015

H

Show HN: I was tired of opening 2 tabs for every HN link, so I made a userscript

H

Running Kimi K3 on a M1 Max

H

Anthropic publishes a practical key-recovery attack on HAWK-256

H

Half-Life ported to Mac OS 9

H

Codex Security

H

Toolcraft

H

Recursion is lying to you

H

Pacing the frontier

H

Hulios: An eBPF-powered, transparent Tor gateway for Linux

H

Uv 0.12.0

H

Donate to GrapheneOS

H

Deflock Casa Grande

H

MCP 2026-07-28 Specification: transport going stateless

H

The iPhone Upgrade Program is being replaced by Apple Upgrade

H

Discovering Cryptographic Weaknesses with Claude

H

Scientific computing in the age of agentic AI

H

Steel Bank Common Lisp version 2.6.7

H

WOFF 1.0: a milestone on W3C's journey of fonts on the web

H

Coding Tools MCP (v0.2.2):Give any AI chat or agent a pair of hands on your code

H

Substack writers, you need a website

H

Xenharmlib (music theory library) adds support for Just Intonation

H

A walk through of the DeltaNet family of linear attention variants

H

How Do I Profile eBPF Code?

H

Show HN: XY – A Fast, composable, GPU-accelerated interactive plotting library

H

Delayed Gratification – Proud to Be 'Last to Breaking News'

H

Kimi K3 Architecture Overview and Notes

H

Zig's Incremental Compilation Internals

H

So, you want to make a game engine (2023)

H

Show HN: Flashpaper – Self-destructing secret sharing with no database

H

Setup Script Should Support Git Worktrees

H

Harmony Explained: Progress Towards a Scientific Theory of Music (2012)

H

GrapheneOS Defends Data-Wiping Function That Blocked US Border Search

H

Anthropeum – Where in the world, and when, does this human artifact belong?

H