← Back to news
H

Hacker News

Broken Proofs and Broken Provers

H

The world is more equal than you think

H

Show HN: Ghidra MCP Server – 110 tools for AI-assisted reverse engineering

H

The full history of Windows widgets, from 1997 to today

H

Petition for Recognition of Work on Open-Source as Volunteering in Germany

H

I miss thinking hard

H

A programmer's guide to leaving GitHub

H

Why poor countries stopped catching up

H

Ultra-processed foods should be treated more like cigarettes than food – study

H

Illinois joins WHO global outbreak network after U.S. withdraws

H

GPT-5.2 and GPT-5.2-Codex are now 40% faster

H

Valve wants to hold [patent troll] Leigh Rothschild personally liable

H

TikTok System Design:(Step-by-Step Guide)

H

Notepad++ supply chain attack breakdown

H

FlashAttention-T: Towards Tensorized Attention

H

Tractor

H

AI and Trust (2023)

H

Anthropic AI tool sparks selloff from software to broader market

H

How Vibe Coding Is Killing Open Source

H

When rust ≠ performance. a lesson in developer experience

H

Data centers in space makes no sense

H

China Moon Mission: Aiming for 2030 lunar landing

H

OpenClaw is basically a cascade of LLMs in prime position to mess stuff up

H

AliSQL: Alibaba's open-source MySQL with vector and DuckDB engines

H

Have we tried asking women about the 'birth rate crisis' yet?

H

Y Combinator will let founders receive funds in stablecoins

H

Xcode 26.3 – Developers can leverage coding agents directly in Xcode

H

I made 20 GDPR deletion requests. 12 were ignored

H

Sandboxing AI Agents in Linux

H

Deno Sandbox

H

Migrate Wizard – IMAP Based Email Migration Tool

H

Young adults report lower life satisfaction in Sweden

H

Defining Safe Hardware Design [pdf]

H

Show HN: Octosphere, a tool to decentralise scientific publishing

H

Show HN: I built "AI Wattpad" to eval LLMs on fiction

H

221 Cannon is Not For Sale

H

1 kilobyte is precisely 1000 bytes?

H

Show HN: PII-Shield – Log Sanitization Sidecar with JSON Integrity (Go, Entropy)

H

France dumps Zoom and Teams as Europe seeks digital autonomy from the US

H

Prek: A better, faster, drop-in pre-commit replacement, engineered in Rust

H

Tadpole – A modular and extensible DSL built for web scraping

H

X offices raided in France

H

Show HN: C discrete event SIM w stackful coroutines runs 45x faster than SimPy

H

Launch HN: Modelence (YC S25) – App Builder with TypeScript / MongoDB Framework

H

Qwen3-Coder-Next

H

ICE Begins Buying 'Mega' Warehouse Detention Centers Across US

H

AI Didn't Break Copyright Law, It Just Exposed How Broken It Was

H

New York’s budget bill would require “blocking technology” on all 3D printers

H

Anthropic is Down

H