es
Feedback
Programming Deadlock

Programming Deadlock

Ir al canal en Telegram

Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...

Mostrar más
1 685
Suscriptores
-424 horas
+77 días
+3530 días
Archivo de publicaciones

Ray Tracing in One Weekend Book Series https://github.com/RayTracing/raytracing.github.io

The Best Refactoring You've Never Heard Of https://www.youtube.com/watch?v=vNwukfhsOME

The Linux Kernel Module Programming Guide https://sysprog21.github.io/lkmpg/

Guix Tips and Common Mistakes https://lambdanil.github.io/Guix_Mistakes/

The Functional Machine Calculus https://arxiv.org/abs/2212.08177

rustgo: calling Rust from Go with near-zero overhead https://words.filippo.io/rustgo/

jot2022-mvs.pdf

Abstract interpretation in the Toy Optimizer https://bernsteinbear.com/blog/toy-abstract-interpretation/

rr: record and replay debugger for C/C++ https://rr-project.org/

A Linux kernel syscall implementation tracker https://syscalls.mebeim.net/?table=x86/64/x64/latest

Delimited continuations in byte-code and native OCaml https://github.com/zinid/delimcc

Abstract Interpretation: From 0, 1, To ∞ https://cs.nyu.edu/~pcousot/publications.www/CSV-2023-cousot.pdf