不要被骗子欺骗！Telemetrio 会找到并标记这些频道 👉 如果想查看标记，请订阅

Programming Deadlock

前往频道在 Telegram

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

显示更多

美国10 685 技术与应用32 862

Buy Ad

1 864

订阅者

+124 小时

+47 天

+3530 天

1 556

帖子浏览量

~ 40724 小时

~ 42648 小时

83.48%

参与率

无数据

每日帖子数

Ads index

beta

帖子存档

1 865

Introduction to Compilers and Language Design https://dthain.github.io/books/compiler/

1 865

Strictness Analysis using Abstract Reduction https://dl.acm.org/doi/pdf/10.1145/165180.165219

1 865

2605.10943v1.pdf1.48 MB

1 865

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

1 865

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

1 865

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

1 865

pulsecore-indirection-2025.pdf6.22 KB

1 865

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

1 865

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

1 865

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

1 865

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

1 865

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

1 865

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

1 865

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

1 865

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

1 865

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

1 865

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

1 865

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

1 865

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

1 865

optimizing_assembly.pdf1.04 MB