Programming Deadlock

前往频道在 Telegram

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

显示更多

美国11 795 技术与应用34 159

1 684

订阅者

+324 小时

+87 天

+3630 天

1 117

帖子浏览量

~ 33724 小时

~ 39048 小时

66.29%

参与率

无数据

每日帖子数

Ads index

beta

帖子存档

1 685

Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism https://arxiv.org/pdf/1306.6032

1 685

Maximizing Limited Resources: a Limit-Based Study and Taxonomy of Out-of-Order Commit

1 685

Maximizing Limited Resources: a Limit-Based Study and Taxonomy of Out-of-Order Commit

1 685

Axiomatizing Consciousness with Applications https://arxiv.org/pdf/2202.05700

1 685

Representing Type Information in Dynamically Typed Languages https://web.archive.org/web/20230131233450/https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.4394&rep=rep1&type=pdf

1 685

Lisp implemented in Rust macros https://github.com/RyanWelly/lisp-in-rs-macros

1 685

Inside cc1 https://gcc-newbies-guide.readthedocs.io/en/latest/inside-cc1.html

1 685

A Tour of Safe Tracing GC Designs in Rust https://manishearth.github.io/blog/2021/04/05/a-tour-of-safe-tracing-gc-designs-in-rust/

1 685

What is the best pointer tagging method? https://coredumped.dev/2024/09/09/what-is-the-best-pointer-tagging-method/

1 685

On the same origin of quantum physics and general relativity from Riemannian geometry and Planck scale formalism https://www.sciencedirect.com/science/article/pii/S0927650524001130

1 685

ShareJIT: JIT code cache sharing across processes and its practical implementation https://dl.acm.org/doi/10.1145/3276494

1 685

How to wrap a C compiler and preprocessor https://www.humprog.org/~stephen/blog/2024/08/27/#how-to-wrap-cc-really

1 685

What's new in C++26 https://mariusbancila.ro/blog/2024/09/06/whats-new-in-c26-part-1/

1 685

Programming, Logic and Semantics Lab https://www.pls-lab.org/

1 685

A programming environment for cyberphysical programming https://github.com/digego/extempore

1 685

Understanding the Y Combinator https://8dcc.github.io/programming/understanding-y-combinator.html

1 685

Heartbeat Scheduling https://www.andrew.cmu.edu/user/mrainey/heartbeat/heartbeat.html

1 685

Modern multicore and manycore architectures: Modelling, optimisation and benchmarking a multiblock CFD code https://www.sciencedirect.com/science/article/pii/S0010465516300959

1 685

Computed goto for efficient dispatch tables https://eli.thegreenplace.net/2012/07/12/computed-goto-for-efficient-dispatch-tables

1 685

Wedson Almeida Filho: Retiring from the Rust for Linux Project https://lore.kernel.org/lkml/20240828211117.9422-1-wedsonaf@gmail.com/