Не попадитесь на канал ботавода! 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