¡Ya disponible! Investigación de Telegram 2025 — los principales insights del año 
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ás1 682
Suscriptores
-124 horas
+127 días
+4330 días
Archivo de publicaciones
1 683
Variadic Fixed-Point Combinators
https://text.marvinborner.de/2023-06-18-15.html
1 683
Scalable Pattern Matching in Computation Graphs
https://arxiv.org/pdf/2402.13065
1 683
CN separation logic refinement type system for C
https://github.com/rems-project/cn
1 683
Modal Type Theories
https://itp-school-2023.github.io/slides/slides_shulman.pdf
1 683
Abstract Machines, Optimal Reduction, and Streams
https://iris.uniroma1.it/bitstream/11573/1408275/6/Lai_preprint_abstract_2019.pdf
1 683
Optimising First-Class Pattern Matching
https://dl.acm.org/doi/pdf/10.1145/3567512.3567519
1 683
How 1 Software Engineer Outperforms 138 - Lichess Case Study
https://youtu.be/7VSVfQcaxFY?si=jtbfWD8Ory90o_El
1 683
Debugging a FUSE deadlock in the Linux kernel
https://netflixtechblog.com/debugging-a-fuse-deadlock-in-the-linux-kernel-c75cd7989b6d
1 683
The InterIisp Programmg Envionment
https://larrymasinter.net/interlisp-ieee.pdf
1 683
Lessons from Writing a Compiler
https://borretti.me/article/lessons-writing-compiler
1 683
Harnessing the Universal Geometry of Embeddings
https://arxiv.org/abs/2505.12540
1 683
Function pointers in C
https://frama-c.com/2013/08/24/Function-pointers-in-C.html
1 683
Programming in Martin-Löf ’s Type Theory
https://www.cse.chalmers.se/research/group/logic/book/book.pdf
1 683
Understanding Effective Type Aliasing in C
https://www.open-std.org/JTC1/SC22/WG14/www/docs/n3519.pdf
1 683
Dynamic Instrumentation of Production Systems (DTrace)
https://www.usenix.org/legacy/publications/library/proceedings/usenix04/tech/general/full_papers/cantrill/cantrill.pdf
1 683
Heron: Modern Hardware Graph Reduction
https://dl.acm.org/doi/pdf/10.1145/3652561.3652564
1 683
Introduction to Micro-Optimization
https://specbranch.com/posts/intro-to-micro-optimization/
