Comparing Python Type Checkers: Typing Spec Conformance
Obsession with growth is destroying nature, 150 countries warn
Bringing Semiconductors to Kazakhstan
Czech Man's Stone in Barn's Foundations Is Rare Bronze Age Spearhead Mold
Lazycut: A simple terminal video trimmer using FFmpeg
Nango (YC W23, API Access for Agents and Apps) Is Hiring
Polymarket gamblers threaten to kill me over Iran missile story
What if Python was natively distributable?
MoD sources warn Palantir role at heart of government is threat to UK security
I Simulated 38,612 Countryle Games to Find the Best Strategy
Corruption erodes social trust more in democracies than in autocracies
I Love FreeBSD
Scientists discover a surprising way to quiet the anxious mind (2025)
Just Put It on a Map
Toward automated verification of unreviewed AI-generated code
Linux 7.1 to Retire UDP-Lite โ Allows for Better Performance with Cleansed Code
Ask HN: What is it like being in a CS major program these days?
LoKI โ Local AI Assistant for Linux and WSL
Why Cloudflare rule order matters?
Building a Reader for the Smallest Hard Drive
I may 'hire' AI instead of a graduate student
Show HN: Browser grand strategy game for hundreds of players on huge maps
Starlink Mini as a Failover
A curated list of AI slops
I reverse-engineered the TiinyAI Pocket Lab from marketing photos
ASCII and Unicode quotation marks (2007)
AI tools are making me lose interest in CS fundamentals
Federal Right to Privacy Act โ Draft legislation
"How I write software with LLMs"
Quillx is an open standard for disclosing AI involvement in software projects
I built an ephemeral P2P chat with WebRTC, without servers
What Is Agentic Engineering?
An experiment to use GitHub Actions as a control plane for a PaaS
White House administration set to be paid $10B for brokering TikTok deal
Cannabinoids remove plaque-forming Alzheimer's proteins from brain cells
The Linux Programming Interface as a university course text
How the Eon Team Produced a Virtual Embodied Fly
Excel incorrectly assumes that the year 1900 is a leap year
Show HN: Open-source playground to red-team AI agents with exploits published
Nasdaq's Shame