Software

Finding forall-exists Hyperbugs using Symbolic Execution

Hacker News - Tue, 2026-02-17 02:57
Comments
Categories: Software

Thinking Hard Burns Almost No Calories–But Destroys Your Next Workout

Hacker News - Tue, 2026-02-17 02:55
Comments
Categories: Software

Instagram boss says 16 hours of daily use is 'problematic' not addiction

Hacker News - Tue, 2026-02-17 02:28
Comments
Categories: Software

Dark web agent spotted bedroom wall clue to rescue girl from abuse

Hacker News - Tue, 2026-02-17 02:01
Comments
Categories: Software

AI is destroying Open Source, and it's not even good yet

Hacker News - Tue, 2026-02-17 01:26
Comments
Categories: Software

Lilush – LuaJIT static runtime and shell

Hacker News - Tue, 2026-02-17 01:14
Comments
Categories: Software

Show HN: Andrej Karpathy's microgpt.py to C99 microgpt.c – 4,600x faster

Hacker News - Tue, 2026-02-17 01:06
Comments
Categories: Software

Building for an audience of one: starting and finishing side projects with AI

Hacker News - Tue, 2026-02-17 01:00
Comments
Categories: Software

Show HN: Journey – A Custom 2D ECS Game Engine Written in Rust and WGPU

Hacker News - Tue, 2026-02-17 00:41
Comments
Categories: Software

Show HN: Scanned 1927-1945 Daily USFS Work Diary

Hacker News - Tue, 2026-02-17 00:40
Comments
Categories: Software

Running NanoClaw in a Docker Shell Sandbox

Hacker News - Mon, 2026-02-16 23:53
Comments
Categories: Software

My 1981 adventure game is now a multimedia extravaganza

Hacker News - Mon, 2026-02-16 23:35
Comments
Categories: Software

The Mongol Khans of Medieval France

Hacker News - Mon, 2026-02-16 23:27
Comments
Categories: Software

10 years building vertical software: are we cooked?

Hacker News - Mon, 2026-02-16 22:48
Comments
Categories: Software

Kim Dotcom says Palantir allegedly hacked

Hacker News - Mon, 2026-02-16 22:45
Comments
Categories: Software

Rise of the Triforce

Hacker News - Mon, 2026-02-16 22:24
Comments
Categories: Software

Study: Self-generated Agent Skills are useless

Hacker News - Mon, 2026-02-16 22:15
Comments
Categories: Software

Show HN: Wildex – we built Pokémon Go for real wildlife

Hacker News - Mon, 2026-02-16 22:12
Comments
Categories: Software

Show HN: Free Alternative to Wispr Flow, Superwhisper, and Monologue

Hacker News - Mon, 2026-02-16 22:10
Comments
Categories: Software

Turing Labs (YC W20) Is Hiring – GTM Sales Hacker

Hacker News - Mon, 2026-02-16 22:00
Comments
Categories: Software

Pages