Programming Deadlock
الذهاب إلى القناة على Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
إظهار المزيد1 791
المشتركون
-124 ساعات
+77 أيام
+4230 أيام
أرشيف المشاركات
1 791
WasmGC: A new way to bring garbage collected programming languages efficiently to WebAssembly
https://v8.dev/blog/wasm-gc-porting1 791
Valgrind and GDB in close cooperation
https://www.redhat.com/en/blog/valgrind-and-gdb-close-cooperation
1 791
E. W. Dijkstra Archive: On the foolishness of "natural language programming"
https://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EWD667.html1 791
Namespaced De Bruijn indices
https://www.haskellforall.com/2021/08/namespaced-de-bruijn-indices.html
1 791
Speeding Up Translation of Virtual To Physical Memory Addresses: TLB and Huge Pages
https://johnnysswlab.com/speeding-up-translation-of-virtual-to-physical-memory-addresses-tlb-and-huge-pages/
1 791
Generalized Algebraic Data Types and Object-Oriented Programming
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/gadtoop.pdf
1 791
Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming
https://arxiv.org/pdf/1908.05647.pdf
1 791
Abstraction-Safe Effect Handlers via Tunneling
https://www.cs.cornell.edu/andru/papers/tunnel-eff/tunnel-eff.pdf
1 791
A simple applicative language: Mini-ML
https://inria.hal.science/inria-00076025/file/RR-0529.pdf
1 791
Dynamic Typing in a Statically Typed Language
Martı́n Abadi, Luca Cardelli, Benjamin C. Pierce, and Gordon Plotkin
https://dl.acm.org/doi/pdf/10.1145/103135.103138
1 791
Static Analysis: A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
https://github.com/analysis-tools-dev/static-analysis1 791
Dynamic Typing with Dependent Types
https://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=CDB85CF2624D664734495EE3C4202BAC?doi=10.1.1.119.6649&rep=rep1&type=pdf
1 791
Effective Programming: Adding an Effect System to OCaml
https://www.janestreet.com/tech-talks/effective-programming/
