Programming Deadlock

Відкрити в Telegram

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

США11 792 Технології та додатки34 222

1 682

Підписники

-124 години

+127 днів

+4330 день

1 231

Перегляди допису

~ 33724 години

~ 40048 годин

73.01%

Коефіцієнт залучення

Немає даних

Дописів на день

Ads index

beta

Архів дописів

1 683

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

1 683

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

1 683

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

1 683

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

1 683

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

1 683

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

1 683

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

1 683

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

1 683

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

1 683

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

1 683

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

1 683

effects.pdf

1 683

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

1 683

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

1 683

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

1 683

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

1 683

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

1 683

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

1 683

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

1 683

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