← Back to news
H

Hacker News

Leanstral: Open-source agent for trustworthy coding and formal proof engineering

H

Nvidia Launches Vera CPU, Purpose-Built for Agentic AI

H

Palestinian boy, 12, describes how Israeli forces killed his family in car

H

The return-to-the-office trend backfires

H

Meta’s renewed commitment to jemalloc

H

Agent Skills – Open Security Database

H

Language model teams as distributed systems

H

The “small web” is bigger than you might think

H

The American Healthcare Conundrum

H

Launch HN: Chamber (YC W26) – An AI Teammate for GPU Infrastructure

H

Speed at the cost of quality: Study of use of Cursor AI in open source projects (2025)

H

Kaizen (YC P25) Hiring Eng, GTM, Cos to Automate BPOs

H

Launch HN: Voygr (YC W26) – A better maps API for agents and AI apps

H

Show HN: Claude Code skills that build complete Godot games

H

Apideck CLI – An AI-agent interface with much lower context consumption than MCP

H

US Job Market Visualizer

H

Show HN: Hecate – Call an AI from Signal

H

Event Publisher enables event integration between Keycloak and OpenFGA

H

Skillfile, the declarative skill manager, now with search for 110K+ skills

H

AirPods Max 2

H

My Journey to a reliable and enjoyable locally hosted voice assistant (2025)

H

'Pokémon Go' players unknowingly trained delivery robots with 30B images

H

Show HN: Hackerbrief – Top posts on Hacker News summarized daily

H

Even faster asin() was staring right at me

H

Comparing Python Type Checkers: Typing Spec Conformance

H

Obsession with growth is destroying nature, 150 countries warn

H

Bringing Semiconductors to Kazakhstan

H

Lazycut: A simple terminal video trimmer using FFmpeg

H

Nango (YC W23, API Access for Agents and Apps) Is Hiring

H

Polymarket gamblers threaten to kill me over Iran missile story

H

MoD sources warn Palantir role at heart of government is threat to UK security

H

Corruption erodes social trust more in democracies than in autocracies

H

Why I love FreeBSD

H

Scientists discover a surprising way to quiet the anxious mind (2025)

H

Linux 7.1 to Retire UDP-Lite – Allows for Better Performance with Cleansed Code

H

Ask HN: What is it like being in a CS major program these days?

H

I may 'hire' AI instead of a graduate student

H

Starlink Mini as a failover

H

A curated list of AI slops

H

ASCII and Unicode quotation marks (2007)

H

Federal Right to Privacy Act – Draft legislation

H

How I write software with LLMs

H

Quillx is an open standard for disclosing AI involvement in software projects

H

An experiment to use GitHub Actions as a control plane for a PaaS

H

Cannabinoids remove plaque-forming Alzheimer's proteins from brain cells (2016)

H

The Linux Programming Interface as a university course text

H

Nasdaq's Shame

H

A new Bigfoot documentary helps explain our conspiracy-minded era

H

Cert Authorities Check for DNSSEC from Today

H

Canada's bill C-22 mandates mass metadata surveillance

H