← Back to news
H

Hacker News

An Introduction to Formal Logic(2020) [pdf]

H

UK AISI / Caisi Preliminary Assessment of Kimi K3's Cyber Capabilities

H

Taylor Farms Called White House to Try to Delay Cyclospora Recall

H

Hannah Fry Wins the Leelavati Prize in 2026 for Mathematics Outreach

H

Sperm Whales blow bubbles to achieve restful, vertical sleep

H

SpaceX Starship Flight 13 livestream [video]

H

AIs don't do what you want. This is bad

H

Greenland's Ice Sheet Was Supposed to Be Rapidly Melting Away. It Hasn't Been

H

Show HN: Max Studio Tools – C++ DSP Modules for Max and Ableton Live

H

Opus 5 is currently #1 on Artificial Analysis Intelligence Leaderboard

H

Postgres LISTEN/NOTIFY actually scales

H

BGP ORIGIN attribute manipulation and its impact on the Internet

H

I got into YC Startup School by hacking it

H

Gsxui – Shadcn-style components for Go

H

Build Systems Discussion

H

The Kids' Guide to Piracy

H

PySINDy – A package for the sparse identification of nonlinear dynamical systems

H

The small, real, original web

H

DuckPGQ – A DuckDB community extension for graph workloads

H

Claude Opus 5

H

JEP 541: Deprecate the macOS/x64 Port for Removal

H

Don't Take the Black Pill [video]

H

Online Historical Encyclopaedia of Programming Languages

H

Must have tool for agentic workspace and Mac users

H

Cloning Mifare Classic Cards via Proxmark3

H

Apple won't let me show my app

H

The rise and fall of language diversity through the Holocene

H

Drone-Bench: Tracking simple drone surveillance capabilities of frontier models

H

Be skeptical of OpenAI's rogue hacker agent story

H

Proving a human wrote something

H

Unitree As2-W

H

Micro-SaaS Is Dead. Service With A Software Replaces It

H

Asked Codex to redesign a page; it pushed my repo to OpenAI infra

H

The front end framework for correctness: built on Effect, architected like Elm

H

Codeberg Divides

H

Government orders GitHub to remove Bluetooth-based chat app Bitchat: Jack Dorsey

H

Co-Opting Linux Processes for High-Performance Network Simulation (2022)

H

Mag Computer: A Mag History of RAM (1960–2025)

H

3GPP Version 19

H

Preventing line breaks in elements

H

Writing a Debugger from Scratch

H

WebGPU Unleashed: A Practical Tutorial

H

Open Weights and American AI Leadership [pdf]

H

Plants vs. Zombies for PlayStation 2

H

Interview with a Maintainer

H

PCI DSS DMARC Requirement: What Section 5.4.1 Requires

H

My Emacs Configuration (Dired)

H

Kaizen #4: Overhauled Homelab

H

The linear algebra and calculus behind every model

H