Stories by fanf2

Zeloof Z2 homemade silicon integrated circuit

A early history of algebraic data types

Timing Conclusions: GPS, NTP, PTP Timing with Linux

Is IP fragmentation still considered vulnerable?

CHERI with a Linux on Top

Is sound gradual typing dead? Performance problems in Typed Racket (2016)

Pairs not taken: a history of twisted pair Ethernet

Type theory and functional programming. (1999) [pdf]

A basis for a mathematical theory of computation. (John McCarthy, 1961-3) [pdf]

Performance from architecture: comparing a RISC (MIPS) and a CISC (VAX) with SIM

Design of the SCHEME-78 Lisp-based microprocessor (1980)

Cooling water options for the new generation of nuclear power stations in the UK

Floating Point Visually Explained

AeroSpace: An i3-like tiling window manager for macOS

Testing the compiler optimizations your code relies on

Bluffing in Scrabble

Measuring explicit congestion notification (TCP ECN)

Improving state machine code generation in the Rust compiler

A deep dive into memory allocation in Golang

The elephant in the biz: outsourcing of critical IT and cybersecurity functions

10
11
12
13
14
15
16
17
18
19