Stories by fanf2

RP2040 DMA is Turing complete

Violating memory safety with Haskell's value restriction

From Haskell to a new structured combinator processor for graph reduction in har

It's the Latency, Stupid

Anatomy of a Thunk Leak in Haskell

A bestiary of mathematical functions for systems designers

Julia 1.6: what has changed since Julia 1.0?

The Ignorability of Attributes in C++

Cloaca: A concurrent hardware garbage collector for non-strict functional langua

A collection of quotes on the design of notation as a tool of thought

Programming in Martin-Lof's type theory: an introduction. (1990)

Encoding Hangeul, Koreas writing system

Optimal bounds for open addressed hash tables without reordering

SQL OFFSET is worse than keyset pagination

Efficient communication and garbage collection in Haskell with compact normal fo

YamlScriot: YAML Done Wisely

I think about C99 strict aliasing rules

HVM: Higher-order virtual machine, a parallel, optimal functional runtime

Setenv() isn't threadsafe and even safe Rust didn't save us

Factoring in gravitomagnetism could do away with dark matter (2021)

43
44
45
46
47
48
49
50
51
52