Software

Broken Proofs and Broken Provers

Hacker News - Wed, 2026-02-04 10:00
Comments
Categories: Software

Ktkit: A Kotlin toolkit for building server applications with Ktor

Hacker News - Wed, 2026-02-04 09:56
Comments
Categories: Software

The €10 Mirror: Why Enterprise Security Looks Like a Kid's Toy

Hacker News - Wed, 2026-02-04 08:56
Comments
Categories: Software

The world is more equal than you think

Hacker News - Wed, 2026-02-04 08:33
Comments
Categories: Software

How to squeeze a lexicon (2001) [pdf]

Hacker News - Wed, 2026-02-04 08:28
Comments
Categories: Software

Show HN: Ghidra MCP Server – 110 tools for AI-assisted reverse engineering

Hacker News - Wed, 2026-02-04 07:51
Comments
Categories: Software

Microsoft Has Killed Widgets Six Times. Here's Why They Keep Coming Back

Hacker News - Wed, 2026-02-04 07:22
Comments
Categories: Software

Petition for Recognition of Work on Open-Source as Volunteering in Germany

Hacker News - Wed, 2026-02-04 05:46
Comments
Categories: Software

I miss thinking hard

Hacker News - Wed, 2026-02-04 04:54
Comments
Categories: Software

Why poor countries stopped catching up

Hacker News - Wed, 2026-02-04 02:22
Comments
Categories: Software

Ultra-processed foods should be treated more like cigarettes than food – study

Hacker News - Wed, 2026-02-04 01:50
Comments
Categories: Software

Illinois joins WHO global outbreak network after U.S. withdraws

Hacker News - Wed, 2026-02-04 01:15
Comments
Categories: Software

GPT-5.2 and GPT-5.2-Codex are now 40% faster

Hacker News - Wed, 2026-02-04 01:07
Comments
Categories: Software

Valve wants to hold [patent troll] Leigh Rothschild personally liable

Hacker News - Wed, 2026-02-04 00:40
Comments
Categories: Software

TikTok System Design:(Step-by-Step Guide)

Hacker News - Wed, 2026-02-04 00:33
Comments
Categories: Software

Selection Rather Than Prediction

Hacker News - Wed, 2026-02-04 00:31
Comments
Categories: Software

How I've run major projects (2025)

Hacker News - Tue, 2026-02-03 23:38
Comments
Categories: Software

Notepad++ supply chain attack breakdown

Hacker News - Tue, 2026-02-03 23:35
Comments
Categories: Software

Was Benoit Mandelbrot a hedgehog or a fox?

Hacker News - Tue, 2026-02-03 22:50
Comments
Categories: Software

FlashAttention-T: Towards Tensorized Attention

Hacker News - Tue, 2026-02-03 22:15
Comments
Categories: Software

Pages