Programming Deadlock

Open in Telegram

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

USA10 600 Technologies & Applications31 185

1 791

Subscribers

+124 hours

+107 days

+4230 days

912

Post views

~ 39624 hours

~ 47148 hours

50.95%

Engagement rate

No data

Posts per day

Ads index

beta

Posts Archive

1 792

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

1 792

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

1 792

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

1 792

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

1 792

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

1 792

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

1 792

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

1 792

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

1 792

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

1 792

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

1 792

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

1 792

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

1 792

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

1 792

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

1 792

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

1 792

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

1 792

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

1 792

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

1 792

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

1 792

effects.pdf