fa
Feedback

فریب کلاهبرداران را نخورید! تل‌متریو این کانال‌ها را شناسایی و برچسب‌گذاری می‌کند 👉 برای مشاهده برچسب، اشتراک تهیه کنید

Programming Deadlock

Programming Deadlock

رفتن به کانال در Telegram

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

نمایش بیشتر
Buy Ad
1 865
مشترکین
+124 ساعت
+47 روز
+3330 روز
آرشیو پست ها
Verified Sequential Malloc/Free

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

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

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

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

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

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

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

P10.pdf

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

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

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

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

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

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