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 684

Reflection and Metaprogramming in Smalltalk https://m-sp.org/downloads/titech_programming_langauge_design.pdf

1 684

Abstract interpretation: A semantics-based tool for program analysis https://www.researchgate.net/publication/234803097_Abstract_interpretation_A_semantics-based_tool_for_program_analysis

1 684

Having an Effect https://okmij.org/ftp/Computation/having-effect.html

1 684

Dependently typed programming with singletons https://repository.brynmawr.edu/cgi/viewcontent.cgi?article=1009&context=compsci_pubs

1 684

Tagless-final embedding of (a subset of) C in OCaml https://okmij.org/ftp/meta-programming/tutorial/genc.html#tf

1 684

C++ Safety, in Context https://herbsutter.com/2024/03/11/safety-in-context/

1 684

What Cannot be Skipped About the Skiplist: A Survey of Skiplists and Their Applications in Big Data Systems https://arxiv.org/abs/2403.04582v2

1 684

Optimizing Rabin-Karp Hashing https://mattsills.github.io/2024/03/02/rabin-karp/

1 684

Asynchronous Probabilistic Couplings in Higher-Order Separation Logic https://arxiv.org/abs/2301.10061v3

1 684

itertools::Itertools::coalesce

https://docs.rs/itertools/latest/itertools/trait.Itertools.html#method.coalesce

1 684

Write You A Scheme (Version 2) https://wespiser.com/writings/wyas/home.html

1 684

Write Yourself a Scheme in 48 Hours https://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours

1 684

My Favorite Math Jokes https://arxiv.org/abs/2403.01010v1

1 684

Self Types for Dependently Typed Lambda Encodings https://homepage.divms.uiowa.edu/~astump/papers/fu-stump-rta-tlca-14.pdf

1 684

The Error Model https://joeduffyblog.com/2016/02/07/the-error-model/

1 684

Generalized Autoref-Based Specialization http://lukaskalbertodt.github.io/2019/12/05/generalized-autoref-based-specialization.html

1 684

The syntax of C in Backus-Naur Form https://cs.wmich.edu/~gupta/teaching/cs4850/sumII06/The%20syntax%20of%20C%20in%20Backus-Naur%20form.htm

1 684

The Principle of Categorical Harmony https://ebrary.net/17831/philosophy/principle_categorical_harmony

1 684

Lexer hack https://en.wikipedia.org/wiki/Lexer_hack

1 684

Language Oriented Programming https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=825a90a7eaebd7082d883b198e1a218295e0ed3b