Stories by fanf2

Rust ints to enums with fewer instructions

Type Theory and Functional Programming (1999) [pdf]

An empirical study of type-related defects in Python projects [pdf]

RISC-V Conditional Moves

The science behind King's College's wildflower meadows

Recursive data structures. (Hoare, 1973) [pdf]

Tuning async IO in PostgreSQL 18

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

22
23
24
25
26
27
28
29
30
31