Programming Deadlock

前往频道在 Telegram

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

显示更多

美国10 600 技术与应用31 185

1 791

订阅者

+124 小时

+107 天

+4330 天

930

帖子浏览量

~ 39624 小时

~ 46448 小时

51.93%

参与率

无数据

每日帖子数

Ads index

beta

帖子存档

1 791

What Category Theory Teaches Us About DataFrames https://mchav.github.io/what-category-theory-teaches-us-about-dataframes/

1 791

My first patch to the Linux kernel https://pooladkhay.com/posts/first-kernel-patch/

1 791

Abstraction and Computation https://scispace.com/pdf/abstraction-and-computation-type-theory-algebraic-structures-3ttu401nkv.pdf

1 791

Designing a SIMD Algorithm from Scratch (Rust) https://mcyoung.xyz/2023/11/27/simd-base64/

1 791

Practical Guide to Bare Metal C++ https://arobenko.github.io/bare_metal_cpp/

1 791

Abstract Interpretation, Symbolic Execution and Constraints https://drops.dagstuhl.de/storage/01oasics/oasics-vol086-gabbriellis-festschrift/OASIcs.Gabbrielli.7/OASIcs.Gabbrielli.7.pdf

1 791

Simulation of Two-Way Pushdown Automata Revisited https://arxiv.org/pdf/1309.5142

1 791

FORCE: A Fast and Easy-To-Implement Variable-Ordering Heuristic https://dl.acm.org/doi/pdf/10.1145/764808.764839

1 791

Tcl Combinator Engine https://wiki.tcl-lang.org/page/Combinator%20Engine

1 791

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

1 791

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

1 791

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

1 791

p2816r0.pdf

1 791

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

1 791

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

1 791

2309.06180v1.pdf

1 791

Verified Sequential Malloc/Free

1 791

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

1 791

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

1 791

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