最近验证的频道：

ch

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

Programming Deadlock

前往频道在 Telegram

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

显示更多

美国10 690 技术与应用32 985

1 867

订阅者

+224 小时

+47 天

+3430 天

1 515

帖子浏览量

~ 42224 小时

~ 46848 小时

81.15%

参与率

无数据

每日帖子数

帖子存档

1 867

Debugging a FUSE deadlock in the Linux kernel https://netflixtechblog.com/debugging-a-fuse-deadlock-in-the-linux-kernel-c75cd7989b6d

1 867

The InterIisp Programmg Envionment https://larrymasinter.net/interlisp-ieee.pdf

1 867

Lessons from Writing a Compiler https://borretti.me/article/lessons-writing-compiler

1 867

effects.pdf

1 867

Harnessing the Universal Geometry of Embeddings https://arxiv.org/abs/2505.12540

1 867

Linkers and Loaders https://www.iecc.com/linker/

1 867

Function pointers in C https://frama-c.com/2013/08/24/Function-pointers-in-C.html

1 867

Programming in Martin-Löf ’s Type Theory https://www.cse.chalmers.se/research/group/logic/book/book.pdf

1 867

Understanding Effective Type Aliasing in C https://www.open-std.org/JTC1/SC22/WG14/www/docs/n3519.pdf

1 867

Dynamic Instrumentation of Production Systems (DTrace) https://www.usenix.org/legacy/publications/library/proceedings/usenix04/tech/general/full_papers/cantrill/cantrill.pdf

1 867

Heron: Modern Hardware Graph Reduction https://dl.acm.org/doi/pdf/10.1145/3652561.3652564

1 867

Introduction to Micro-Optimization https://specbranch.com/posts/intro-to-micro-optimization/

1 867

Propositions as Types https://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf

1 867

Type Theory as a Language Workbench https://arxiv.org/pdf/2301.12852

1 867

Selecting and covering colored points https://www.sciencedirect.com/science/article/pii/S0166218X18302695

1 867

Monotone 3-Sat-(2,2) is NP-complete https://arxiv.org/pdf/1912.08032

1 867

Implicit computation complexity in higher-order programming languages https://www.cambridge.org/core/services/aop-cambridge-core/content/view/0E9A155F520EA7294C6A64F039479D33/S0960129521000505a.pdf

1 867

Computation by Interaction for Space-Bounded Functional Programming https://www.ulrichschoepp.de/Docs/intml_long.pdf

1 867

Structure and Interpretation of Computer Programs (SICP) https://mitp-content-server.mit.edu/books/content/sectbyfn/books_pres_0/6515/sicp.zip/index.html

1 867

Resource Polymorphism https://arxiv.org/abs/1803.02796