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

Programming Deadlock

前往频道在 Telegram

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

显示更多

美国10 690 技术与应用32 985

Buy Ad

1 867

订阅者

+224 小时

+47 天

+3430 天

1 515

帖子浏览量

~ 42224 小时

~ 46848 小时

81.15%

参与率

无数据

每日帖子数

Ads index

beta

帖子存档

1 867

Superoptimization of WebAssembly Process Graphs https://studenttheses.uu.nl/handle/20.500.12932/39330

1 867

Handbook of Practical Logic and Automated Reasoning https://www.cambridge.org/core/books/handbook-of-practical-logic-and-automated-reasoning/EB6396296813CB562987E8C37AC4520D

1 867

Occurences of swearing in the Linux kernel source code over time https://www.vidarholen.net/contents/wordcount/#fuck*,shit*,damn*,idiot*,retard*,crap*

1 867

LVars: Lattice-based Data Structures for Deterministic Parallelism https://www.codesuji.com/references/lvar1/2013-FHPC_LVars.pdf

1 867

Your Brain on ChatGPT: Accumulation of Cognitive Debt when Using an AI Assistant for Essay Writing Task https://arxiv.org/abs/2506.08872

1 867

SATURN: Software Deobfuscation Framework Based on LLVM https://arxiv.org/pdf/1909.01752

1 867

The Integers as a Higher Inductive Type https://arxiv.org/pdf/2007.00167

1 867

The Illusion of Thinking: Understanding the Strengths and Limitations of Reasoning Models

1 867

Optimizations with Zig https://alloc.dev/2025/06/07/zig_optimization

1 867

Interaction net resources https://github.com/marvinborner/interaction-net-resources

1 867

P = NP, up to sharing https://www.researchgate.net/publication/2758968_P_NP_up_to_sharing

1 867

A masochist’s guide to web development https://sebastiano.tronto.net/blog/2025-06-06-webdev/

1 867

Variadic Fixed-Point Combinators https://text.marvinborner.de/2023-06-18-15.html

1 867

Scalable Pattern Matching in Computation Graphs https://arxiv.org/pdf/2402.13065

1 867

CN separation logic refinement type system for C https://github.com/rems-project/cn

1 867

Modal Type Theories https://itp-school-2023.github.io/slides/slides_shulman.pdf

1 867

Abstract Machines, Optimal Reduction, and Streams https://iris.uniroma1.it/bitstream/11573/1408275/6/Lai_preprint_abstract_2019.pdf

1 867

Optimising First-Class Pattern Matching https://dl.acm.org/doi/pdf/10.1145/3567512.3567519

1 867

How 1 Software Engineer Outperforms 138 - Lichess Case Study https://youtu.be/7VSVfQcaxFY?si=jtbfWD8Ory90o_El

1 867

Lockpicking https://linuxgazette.net/150/melinte.html