es
Feedback

¡No caigas en manos de tramposos! Telemetrio encuentra y marca estos canales 👉 Si quieres ver la etiqueta, suscríbete

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
Buy Ad
1 865
Suscriptores
+124 horas
+47 días
+3330 días
Archivo de publicaciones
Verified Sequential Malloc/Free

MeTTa Optimal Reduction Kernel: A blazing fast hypergraph processing kernel for Hyperon https://github.com/trueagi-io/MORK

Unification and Anti-Unification in the Calculus of Constructions https://www.cs.cmu.edu/~fp/papers/lics91.pdf

Recursive Program Synthesis using Paramorphisms https://dl.acm.org/doi/pdf/10.1145/3656381

Copy-and-Patch Compilation: A fast compilation algorithm for high-level languages and bytecode https://arxiv.org/abs/2011.13127

Multi-Level Quickening: Ten Years Later https://arxiv.org/abs/2109.02958

Speculative Staging for Interpreter Optimization https://arxiv.org/abs/1310.2300

Allocators from C, Rust, Odin C3, Hare, Zig https://antonz.org/allocators/

P10.pdf

The spineless tagless G-machine, naturally https://dl.acm.org/doi/pdf/10.1145/289423.289439

The lockless page cache (Linux) https://lwn.net/Articles/291826/

I put a real-time 3D shader on the Game Boy Color https://blog.otterstack.com/posts/202512-gbshader/

Large Language Models Report Subjective Experience Under Self-Referential Processing https://arxiv.org/abs/2510.24797v1

SectorC: A C Compiler in 512 bytes https://xorvoid.com/sectorc.html

(Un)portable defer in C https://antonz.org/defer-in-c/