Stories by K-B-T-K-M32128

Picat: A Logic-based Multi-paradigm Language (2014) [pdf]

Protobuffers Are Wrong (2018)

'Messor ibericus': The ant that lays eggs of two different species

Let's make PostgreSQL multi-threaded (2023)

Influential People in AI 2025

Inspecting OpenPGP Certificates

The GenAI Divide State of AI in Business 2025 [pdf]

Sentry Zig SDK

Canva Valuation Increases to 42B

The Java type system is broken (2018)

What is mathematics? A classification based on universals

Paxos Made Live – An Engineering Perspective [pdf]

China is about to launch SSDs so small you insert them like a SIM card

For Americans Only: Estimating Celsius and Other Mental Metrics

Many Faces of Ad Hoc Transactions: findings from real world transactions

Scaling Intelligence: The Exponential Growth of AI's Power Needs

Knuth on ChatGPT (2023)

AIxCC Competition Archive

2
3
4
5
6
7
8
9
10
11