Stories by todsacerdoti

Affiliates Flock to 'Soulless' Scam Gambling Machine

Tic-tac-toe meets Lean 4

Superfly: A compiler for a functional low-level language, targeting tiny comput

The Power Is in the Network

Sometimes CPU cores are odd

Rupert's property: cut a hole in a polyhedron big enough for an identical copy

A Notional Design Studio

The desktop metaphor must be restored. It's under attack (2020)

Doxx – A viewer for Microsoft Word .docx files in the terminal

Efficient Array Programming

Malicious versions of Nx and some supporting plugins were published

Bi-directional accountability: A leadership shift most organizations avoid

How to slow down a program and why it can be useful

State of the art for reducing executable size with optimized program

So many conferences are mid. Why was BSC 2025 so good?

Linearizability testing S2 with deterministic simulation

My mail notifier avoids interrupting me (2010)

Model-based Testing Distributed Systems with P Language (2021)

Put a ring on it: a lock-free MPMC ring buffer

4
5
6
7
8
9
10
11
12
13