PROGRAMING

Program-ing Finger Trees in Coq (2007) [pdf]
2 points | 0 comments

Why engineers can't be rational about programming languages
123 points | 146 comments

Patterns for Defensive Programming in Rust
19 points | 0 comments

Control Structures in Programming Languages
16 points | 1 comments

Doo: A Simple, Fast Programming Language Built on Rust and LLVM
10 points | 12 comments

CUDA Programming Is Cooked
8 points | 2 comments

Help, My Boss Started Programming with LLMs
6 points | 1 comments