Feed aggregator

Automated Verification of Monotonic Data Structure Traversals in C

Hacker News - Tue, 2025-05-27 23:12
Comments
Categories: Software

Show HN: My LLM CLI tool can run tools now, from Python code or plugins

Hacker News - Tue, 2025-05-27 22:53
Comments
Categories: Software

Concatenative programming and stack-based languages (2023) [video]

Hacker News - Tue, 2025-05-27 22:18
Comments
Categories: Software

In Vietnam, an unlikely outpost for Chicano culture

Hacker News - Tue, 2025-05-27 22:09
Comments
Categories: Software

They used Xenon to climb Everest in days – is it the future of mountaineering?

Hacker News - Tue, 2025-05-27 22:09
Comments
Categories: Software

Chuuchuu - Train travel, made smart

Hacker News - Tue, 2025-05-27 22:02
Comments
Categories: Software

Why the Original Macintosh Had a Screen Resolution of 512×324

Hacker News - Tue, 2025-05-27 22:02
Comments
Categories: Software

Show HN: Maestro – A Framework to Orchestrate and Ground Competing AI Models

Hacker News - Tue, 2025-05-27 20:51
Comments
Categories: Software

Running GPT-2 in WebGL: Rediscovering the Lost Art of GPU Shader Programming

Hacker News - Tue, 2025-05-27 20:02
Comments
Categories: Software

US pauses new student visa interviews as it mulls expanding social media vetting

Hacker News - Tue, 2025-05-27 20:02
Comments
Categories: Software

Women 3x More Likely to Lose Job to AI Than Men, UN Study Finds

Hacker News - Tue, 2025-05-27 20:00
Comments
Categories: Software

Roundtable (YC S23) Is Hiring a Member of Technical Staff

Hacker News - Tue, 2025-05-27 19:42
Comments
Categories: Software

Signal to Windows Recall: Drop Dead

Hacker News - Tue, 2025-05-27 19:41
Comments
Categories: Software

The atmospheric memory that feeds billions of people: Monsoon rainfall mechanism

Hacker News - Tue, 2025-05-27 19:34
Comments
Categories: Software

Car Physics for Games (2003)

Hacker News - Tue, 2025-05-27 18:44
Comments
Categories: Software

Vrs: Personal Software Runtime inspired by Emacs, Plan 9, Erlang, Hypermedia

Hacker News - Tue, 2025-05-27 18:19
Comments
Categories: Software

I Salvaged $6k of Luxury Items Discarded by Duke Students

Hacker News - Tue, 2025-05-27 17:59
Comments
Categories: Software

Launch HN: Relace (YC W23) – Models for fast and reliable codegen

Hacker News - Tue, 2025-05-27 17:59
Comments
Categories: Software

Why Is Everybody Knitting Chickens?

Hacker News - Tue, 2025-05-27 17:52
Comments
Categories: Software

Square Theory

Hacker News - Tue, 2025-05-27 17:33
Comments
Categories: Software

Pages