You could have invented denotational semantics (via dpk) — discussion

#plt

Programming language semantics: It’s easy as 1,2,3 (via dpk) — discussion

#pdf #plt

Decoding Europa Clipper (via kivikakk) — discussion

#science

A crash course in Go assembly, speeding up calculations 450% (via jmillikin) — discussion

#go #performance

superlinker: a tool for reinterpreting ELF executables and shared libraries (via fanf) — discussion

#compilers #rust

My NumPy Year: Creating a DType for the Next Generation of Scientific Computing | Quansight Consulting (by ngoldbaum) — discussion

#python

Typst 0.12 is just ... better (via isuffix) — discussion

#programming #release

setBigTimeout (via winter) — discussion

#javascript

I've been writing software for the last 25 years. Here some things I learned so far (via kokada) — discussion

#practices

Welcome to transputer.net (2007) (via minimax) — discussion

#hardware #plt #retrocomputing

Focus on decisions, not tasks (by kaycebasques) — discussion

#practices #programming

Cross-Process Spectre Exploitation (via fro) — discussion

#linux #security

Steve Klabnik's Tutorial on Jujutsu (git replacement) (via drudru) — discussion

#rust #vcs

Why Write Engineering Blogs? (via av) — discussion

#practices

Haiku Activity & Contract Report, September 2024 (ft. packagefs memory usage optimization) (via rjzak) — discussion

#osdev

TLA+ Wiki (via FedericoPonzi) — discussion

#formalmethods

State of CSS 2024 (via pushcx) — discussion

#css

An Overview of the Spring Operating System (1994) (via dante) — discussion

#historical #pdf

Developing a Beautiful and Performant Block Editor in Qt C++ and QML (via ehamberg) — discussion

#programming

Understanding DNS resolution on Linux and Kubernetes (via nogweii) — discussion

#linux #networking