Programming Deadlock

Ir al canal en Telegram

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

EEUU11 398 Tecnologías y Aplicaciones33 238

1 712

Suscriptores

+324 horas

+127 días

+4030 días

1 100

Visitas de la publicación

~ 43224 horas

~ 51748 horas

64.25%

Tasa de compromiso

Sin datos

Mensajes por día

Ads index

beta

Archivo de publicaciones

1 712

2605.10943v1.pdf1.48 MB

1 712

Epsilon number (Georg Cantor) https://en.wikipedia.org/wiki/Epsilon_number

1 712

Categories for the Working Hacker https://youtu.be/gui_SE8rJUM

1 712

Memory Safe Inline Assembly https://fil-c.org/inlineasm

1 712

pulsecore-indirection-2025.pdf6.22 KB

1 712

Generating Compiler Optimizations from Proofs https://rosstate.org/publications/proofgen/proofgen_tate_popl10_tr.pdf

1 712

Lambda Screen: Fractals in Pure Lambda Calculus https://text.marvinborner.de/2024-03-25-02.html

1 712

Open Source Introductory Systems Programming Textbook for the University of Illinois https://github.com/cs341-illinois/coursebook

1 712

The Art of the Metaobject Protocol https://en.wikipedia.org/wiki/The_Art_of_the_Metaobject_Protocol

1 712

Orthodox C++ https://bkaradzic.github.io/posts/orthodoxc++/

1 712

Heartbeat Scheduling: Provable Efficiency for Nested Parallelism https://www.irif.fr/~guatto/publications/pldi18.pdf

1 712

Why Compiler Engineers Rarely Use Strassen's Algorithm for Fast Matrix Multiplications https://leetarxiv.substack.com/p/why-compilers-rarely-use-strassens-algorithm

1 712

Foundations of Strong Call by Need https://www.irif.fr/~kesner/papers/strong-call-by-need.pdf

1 712

Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation https://link.springer.com/chapter/10.1007/978-3-642-29709-0_15

1 712

Evaluation of Compiler-Induced Vulnerabilities https://arc.aiaa.org/doi/10.2514/1.I010699

1 712

DoomBench: Can Your Data Stack Run DOOM? https://cedardb.com/blog/doombench/

1 712

Coinductive Universes and Higher Observational Type Theory https://home.sandiego.edu/~shulman/papers/chapman-spring2026.pdf

1 712

optimizing_assembly.pdf1.04 MB

1 712

A visual introduction to information theory https://arxiv.org/pdf/2206.07867

1 712

Thread-Local Storage Access Models https://docs.oracle.com/cd/E23824_01/html/819-0690/chapter8-20.html