Programming Deadlock

Kanalga Telegram’da o‘tish

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

Ko'proq ko'rsatish

AQSH10 584 Texnologiyalar & Aralashmalar31 239

1 789

Obunachilar

+424 soatlar

+117 kunlar

+4330 kunlar

1 001

Post ko'rishlar

~ 40424 soatlar

~ 47348 soatlar

55.95%

Muloqot nisbati

Ma'lumot yo'q

Kuniga postlar

Ads index

beta

Postlar arxiv

1 789

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

1 789

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

1 789

pulsecore-indirection-2025.pdf6.22 KB

1 789

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

1 789

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

1 789

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

1 789

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

1 789

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

1 789

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

1 789

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

1 789

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

1 789

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

1 789

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

1 789

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

1 789

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

1 789

optimizing_assembly.pdf1.04 MB

1 789

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

1 789

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

1 789

A Deep dive into (implicit) Thread Local Storage https://chao-tic.github.io/blog/2018/12/25/tls

1 789

Virtual Memory: A Deep Dive into Page Tables, TLBs, and Linux Internals https://blog.codingconfessions.com/p/virtual-memory