ch
Feedback

不要被骗子欺骗!Telemetrio 会找到并标记这些频道 👉 如果想查看标记,请订阅

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 天
帖子存档
2602.19141v1.pdf1.30 MB

I've spent way too much time creating benchmarks of C++ hashmaps https://martin.ankerl.com/2022/08/27/hashmap-bench-01/

Win32 Is The Only Stable ABI on Linux https://blog.hiler.eu/win32-the-only-stable-abi/

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

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

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

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

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

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

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

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

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

p2816r0.pdf

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

2309.06180v1.pdf