THE HACKER NEWS

Poudlardo
13 hours ago
Leanstral: Open-source agent for trustworthy coding and formal proof engineering
First open-source code agent for Lean 4....
A DAY AGO
ENZ
Why I love FreeBSD
4 DAYS AGO
SNIDE
Claude Tips for 3D Work
4 DAYS AGO
MR_FATALYST
Show HN: Oxyde – Pydantic-native async ORM with a Rust core
4 DAYS AGO
P0U4A
In space, no one can hear you kernel panic (2020)
21 HOURS AGO
SSIJAK
AirPods Max 2
13 HOURS AGO
AYUSH4921
AnswerThis (YC F25) Is Hiring
2 DAYS AGO
ITEM
The bureaucracy blocking the chance at a cure
A DAY AGO
MASTERPOS
Lazycut: A simple terminal video trimmer using FFmpeg
4 DAYS AGO
WHTSPC64
Show HN: Droeftoeter, a Terminal Coding Toy
7 HOURS AGO
0XKATO
Boot ROM Security on Silicon Macs (M1/M2/M3)
2 DAYS AGO
ZDW
Cert Authorities Check for DNSSEC from Today
2 DAYS AGO
OPENGRASS
Bill C-22, the Lawful Access Act: Dangerous backdoor surveillance risks remain
19 HOURS AGO
GERTJANDEWILDE
Apideck CLI – An AI-agent interface with much lower context consumption than MCP
7 HOURS AGO
0XKATO
Boot ROM Security on Silicon Macs (M1/M2/M3)
18 HOURS AGO
HTDT
Show HN: Claude Code skills that build complete Godot games
2 DAYS AGO
ZDW
Cert Authorities Check for DNSSEC from Today
A DAY AGO
VRGANJ
MoD sources warn Palantir role at heart of government is threat to UK security
2 DAYS AGO
OPENGRASS
Bill C-22, the Lawful Access Act: Dangerous backdoor surveillance risks remain
A DAY AGO
OCAMOSS
Comparing Python Type Checkers: Typing Spec Conformance
trueduke
31 minutes ago
Kagi Small Web
Discover the small web - personal blogs, independent YouTube channels, and webcomics from genuine humans on the internet.
image
ashirviskas
an hour ago
Grace Hopper's Revenge
What the machines teach us about our software tools...
tosh
4 days ago
Pyodide: a Python distribution based on WebAssembly
Pyodide is a Python distribution for the browser and Node.js based on WebAssembly - pyodide/pyodide...
Vaslo
21 hours ago
My Journey to a reliable and enjoyable locally hosted voice assistant (2025)
I have been watching HomeAssistant’s progress with assist for some time. We previously used Google Home via Nest Minis, and have switched to using fully local assist backed by local first + ...
rexroad
17 hours ago
The American Healthcare Conundrum
Investigative data journalism: quantifying fixable waste in US healthcare, one issue at a time. Open-source analysis of CMS, OECD, and federal datasets. $98.6B in savings identified so far. ...
divbzero
4 days ago
Gitana 18: the new flying Ultim trimaran
_ She's unlike any other racing trimaran. Gitana 18 has just been unveiled in Lorient. A 32-meter, 100% flying platform that redefines offshore standards....
shad42
5 days ago
What CI looks like at a 100-person team (PostHog)
575K CI jobs, 1.18 billion log lines, 33 million test executions — in one week. What we learned building an AI agent for PostHog's CI at scale....
hahahacorn
16 hours ago
Meta’s renewed commitment to jemalloc
Meta recognizes the long-term benefits of jemalloc, a high-performance memory allocator, in its software infrastructure. We are renewing focus on jemalloc, aiming to reduce maintenance needs...
https://engineering.fb.com/2026/03/02/data-infrastructure/investing-in-infrastructure-metas-renewed-commitment-to-jemalloc/
pabs3
4 days ago
Fatal Core Dump Game
I decided to make a somewhat educational murder mystery game, with debugging a core dump as the main piece of evidence. ...
aresant
6 hours ago
Monkey Island for Commodore 64 Ground Up
Joachim Ljunggren/Pixeldust is a Designer, Title Sequence and Motion Graphics Producer based in Gothenburg, Sweden. Over the past 15 years Joachim has designed, directed and produced title s...
jkpe
a day ago
Starlink Mini as a failover
I recently picked up a Starlink Mini to use as a backup connection for my home network. The underlying technology is fascinating - thousands of satellites in low Earth orbit delivering broad...
howlett
4 days ago
Show HN: Thermal Receipt Printers – Markdown and Web UI
Contribute to sadreck/ThermalMarky development by creating an account on GitHub....
antics
4 days ago
Lies I was told about collaborative editing, Part 2: Why we don't use Yjs
wek
17 hours ago
Speed at the cost of quality: Study of use of Cursor AI in open source projects (2025)
Large language models (LLMs) have demonstrated the promise to revolutionize the field of software engineering. Among other things, LLM agents are rapidly gaining momentum in software develop...
jryio
17 hours ago
Language model teams as distributed systems
Large language models (LLMs) are growing increasingly capable, prompting recent interest in LLM teams. Yet, despite increased deployment of LLM teams at scale, we lack a principled framework...
PaulHoule
a day ago
Corruption erodes social trust more in democracies than in autocracies
IntroductionWhile corruption exists in both democracies and autocracies, its social consequences may differ fundamentally across regime types. Democratic nor......