Programming Deadlock
Kanalga Telegram’da o‘tish
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Ko'proq ko'rsatish1 874
Obunachilar
+124 soatlar
+77 kun
+3830 kun
Postlar arxiv
1 875
A library with an encoding of higher kinded types in OCaml
https://github.com/janestreet/higher_kinded
1 875
FIFO Queues are ALL You Need for Cache Eviction
https://jasony.me/publication/sosp23-s3fifo.pdf
1 875
A Dialogue on Metasystem Transition
Valentin F. Turchin
http://pespmc1.vub.ac.be/Papers/Turchin/dialog.pdf
1 875
WasmGC: A new way to bring garbage collected programming languages efficiently to WebAssembly
https://v8.dev/blog/wasm-gc-porting1 875
Valgrind and GDB in close cooperation
https://www.redhat.com/en/blog/valgrind-and-gdb-close-cooperation
1 875
E. W. Dijkstra Archive: On the foolishness of "natural language programming"
https://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EWD667.html1 875
Namespaced De Bruijn indices
https://www.haskellforall.com/2021/08/namespaced-de-bruijn-indices.html
1 875
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 875
Generalized Algebraic Data Types and Object-Oriented Programming
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/gadtoop.pdf
1 875
Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming
https://arxiv.org/pdf/1908.05647.pdf
1 875
Abstraction-Safe Effect Handlers via Tunneling
https://www.cs.cornell.edu/andru/papers/tunnel-eff/tunnel-eff.pdf
1 875
A simple applicative language: Mini-ML
https://inria.hal.science/inria-00076025/file/RR-0529.pdf
1 875
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
