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

Programming Deadlock

前往频道在 Telegram

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

显示更多

美国10 681 技术与应用32 949

Buy Ad

1 868

订阅者

+124 小时

+77 天

+3730 天

1 383

帖子浏览量

~ 41124 小时

~ 48448 小时

74.04%

参与率

无数据

每日帖子数

Ads index

beta

帖子存档

1 868

2004-01-30-CGO-LLVM.pdf

1 868

My failed attempt at AGI on the Tokio Runtime https://www.christo.sh/building-agi-on-the-tokio-runtime/

1 868

Collection of insane and fun facts about SQLite https://avi.im/blag/2024/sqlite-facts

1 868

An unofficial guide to the Rust ecosystem https://blessed.rs/crates

1 868

Recursive Programming - Dijkstra (1960)

1 868

Compiling C to Safe Rust, Formalized https://arxiv.org/pdf/2412.15042

1 868

Parsing millions of URLs per second (C++) https://onlinelibrary.wiley.com/doi/10.1002/spe.3296

1 868

C++ Is An Absolute Blast https://learncodethehardway.com/blog/31-c-plus-plus-is-an-absolute-blast/

1 868

The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy (Functional Pearl) https://dl.acm.org/doi/pdf/10.1145/3409006

1 868

Interactive Programs in Dependent Type Theory https://csetzer.github.io/articles/ioconf.pdf

1 868

Clay: a flex-box style UI auto layout library in C, with declarative syntax and microsecond performance https://www.nicbarker.com/clay

1 868

Microsoft Research Detours Package https://github.com/microsoft/Detours

1 868

Linux: How programs get run https://lwn.net/Articles/630727

1 868

Make your QEMU 10 times faster https://linus.schreibt.jetzt/posts/qemu-9p-performance.html

1 868

A static semantics for Haskell https://www.microsoft.com/en-us/research/wp-content/uploads/1991/03/A-Static-Semantics-for-Haskell_small.pdf

1 868

Compositional Programming https://dl.acm.org/doi/pdf/10.1145/3460228

1 868

A Deforestation of Reducts: Refocusing https://arxiv.org/pdf/2302.10455v1

1 868

There Is No Silver Bullet to Solve All C++ Software Problems - Klaus Iglberger - C++ on Sea https://m.youtube.com/watch?v=m3UmABVf55g

1 868

Killing Windows Kernel Mitigations https://wetw0rk.github.io/posts/0x01-killing-windows-kernel-mitigations/

1 868

Efficiently Compiling Efficient Query Plans for Modern Hardware