Endi mavjud! Telegram Tadqiqoti 2025 — yilning asosiy insaytlari 
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'rsatish1 712
Obunachilar
+324 soatlar
+127 kunlar
+4030 kunlar
Postlar arxiv
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
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
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
Coinductive Universes and Higher Observational Type Theory
https://home.sandiego.edu/~shulman/papers/chapman-spring2026.pdf
1 712
Thread-Local Storage Access Models
https://docs.oracle.com/cd/E23824_01/html/819-0690/chapter8-20.html
