Programming Deadlock

前往频道在 Telegram

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

显示更多

美国11 792 技术与应用34 222

1 684

订阅者

-124 小时

+127 天

+4330 天

1 231

帖子浏览量

~ 33724 小时

~ 40048 小时

73.01%

参与率

无数据

每日帖子数

Ads index

beta

帖子存档

1 684

babble: Learning Better Abstractions with E-Graphs and Anti-unification https://dl.acm.org/doi/epdf/10.1145/3571207

1 684

Distributed systems for fun and profit .https://book.mixu.net/distsys/single-page.html

1 684

Game Theory Analysis of Strategic Choicesin Programming Education and AI-AssistedDevelopment.pdf

1 684

p2816r0.pdf

1 684

https://git.sr.ht/~sebsite/printfasm

1 684

How to Choose Between Hindley-Milner and Bidirectional Typing https://thunderseethe.dev/posts/how-to-choose-between-hm-and-bidir/

1 684

2309.06180v1.pdf

1 684

Verified Sequential Malloc/Free

1 684

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

1 684

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

1 684

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

1 684

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

1 684

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

1 684

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

1 684

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

1 684

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

1 684

P10.pdf

1 684

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

1 684

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

1 684

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