Formal Methods Only Solve Half My Problems
IT 2026-01-03

The creator of Claude Code's Claude setup
IT 2026-01-02

Sergey Brin's Unretirement
IT 2026-01-01

Electronic nose for indoor mold detection and identification
IT 2026-01-07

Microsoft probably killed my Snapdragon Dev Kit
IT 2026-01-07

Stop Doom Scrolling, Start Doom Coding: Build via the terminal from your phone
IT 2026-01-06

A 30B Qwen model walks into a Raspberry Pi and runs in real time
IT 2026-01-06

Spherical Snake
IT 2026-01-01

Calling All Hackers: How money works (2024)
IT 2026-01-06

Oral microbiome sequencing after taking probiotics
IT 2026-01-06

Comparing AI agents to cybersecurity professionals in real-world pen testing
IT 2026-01-06

CES 2026: Taking the Lids Off AMD's Venice and MI400 SoCs
IT 2026-01-06

Vienam bans unskippable ads
IT 2026-01-06

Launch HN: Tamarind Bio (YC W24) – AI Inference Provider for Drug Discovery
IT 2026-01-06

Locating a Photo of a Vehicle in 30 Seconds with GeoSpy
IT 2026-01-06

Dude, where's my supersonic jet?
IT 2026-01-06

Show HN: Prism.Tools – Free and privacy-focused developer utilities
IT 2026-01-06

AWS raises GPU prices 15% on a Saturday, hopes you weren't paying attention
IT 2026-01-06

Why German Strings Are Everywhere?
IT 2026-01-06

enclose.horse
IT 2026-01-06

The Post-American Internet
IT 2026-01-06

SCiZE's Classic Warez Collection
IT 2026-01-06

Tube trains could navigate the Underground using the rules of Quantum Physics
IT 2026-01-06

GBC Boot Animation 88×31 Web Button
IT 2026-01-06

Donut Lab’s all-solid-state battery delivers 400 Wh/kg of energy density
IT 2026-01-05

I/O is no longer the bottleneck? (2022)
IT 2026-01-06

Six-decade math puzzle solved by Korean mathematician
IT 2026-01-04

There were BGP anomalies during the Venezuela blackout
IT 2026-01-05

A Year of Clean Energy Milestones
IT 2026-01-05

Try to take my position: The best promotion advice I ever got
IT 2026-01-02