Firibgarlarga uchmang! Telemetrio bunday kanallarni topadi va belgilaydi 👉 Belgini ko‘rmoqchi bo‘lsangiz, obuna bo‘ling

Programming Deadlock

Kanalga Telegram’da o‘tish

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

Ko'proq ko'rsatish

AQSH10 690 Texnologiyalar & Aralashmalar32 985

Buy Ad

1 865

Obunachilar

+124 soatlar

+47 kun

+3330 kun

1 488

Post ko'rishlar

~ 41324 soatlar

~ 46048 soatlar

79.79%

Muloqot nisbati

Ma'lumot yo'q

Kuniga postlar

Ads index

beta

Postlar arxiv

1 865

Verified Sequential Malloc/Free

1 865

MeTTa Optimal Reduction Kernel: A blazing fast hypergraph processing kernel for Hyperon https://github.com/trueagi-io/MORK

1 865

Unification and Anti-Unification in the Calculus of Constructions https://www.cs.cmu.edu/~fp/papers/lics91.pdf

1 865

Recursive Program Synthesis using Paramorphisms https://dl.acm.org/doi/pdf/10.1145/3656381

1 865

Copy-and-Patch Compilation: A fast compilation algorithm for high-level languages and bytecode https://arxiv.org/abs/2011.13127

1 865

Multi-Level Quickening: Ten Years Later https://arxiv.org/abs/2109.02958

1 865

Speculative Staging for Interpreter Optimization https://arxiv.org/abs/1310.2300

1 865

Hard Mode Rust https://matklad.github.io/2022/10/06/hard-mode-rust.html

1 865

Allocators from C, Rust, Odin C3, Hare, Zig https://antonz.org/allocators/

1 865

P10.pdf

1 865

The spineless tagless G-machine, naturally https://dl.acm.org/doi/pdf/10.1145/289423.289439

1 865

Lock-free vs wait-free concurrency https://rethinkdb.com/blog/lock-free-vs-wait-free-concurrency/

1 865

The lockless page cache (Linux) https://lwn.net/Articles/291826/

1 865

I put a real-time 3D shader on the Game Boy Color https://blog.otterstack.com/posts/202512-gbshader/

1 865

Thoughts on Generating C https://wingolog.org/archives/2026/02/09/six-thoughts-on-generating-c

1 865

Etymology of "Foo" https://datatracker.ietf.org/doc/html/rfc3092

1 865

Why I Write Games in C (yes, C) https://jonathanwhiting.com/writing/blog/games_in_c/

1 865

Large Language Models Report Subjective Experience Under Self-Referential Processing https://arxiv.org/abs/2510.24797v1

1 865

SectorC: A C Compiler in 512 bytes https://xorvoid.com/sectorc.html

1 865

(Un)portable defer in C https://antonz.org/defer-in-c/