Effective Programming: Adding an Effect System to OCaml
https://www.janestreet.com/tech-talks/effective-programming/
https://www.janestreet.com/tech-talks/effective-programming/
Janestreet
Effective Programming: Adding an Effect System to OCaml :: Jane Street
Jane Street is a quantitative trading firm and liquidity provider with a unique focus on technology and collaborative problem solving.
๐1
Dynamic Typing with Dependent Types
https://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=CDB85CF2624D664734495EE3C4202BAC?doi=10.1.1.119.6649&rep=rep1&type=pdf
https://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=CDB85CF2624D664734495EE3C4202BAC?doi=10.1.1.119.6649&rep=rep1&type=pdf
๐คฏ3๐ฅ1๐คจ1
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-analysis
GitHub
GitHub - analysis-tools-dev/static-analysis: โ๏ธ A curated list of static analysis (SAST) tools and linters for all programmingโฆ
โ๏ธ 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. - analysis-tools-...
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
Martฤฑฬn Abadi, Luca Cardelli, Benjamin C. Pierce, and Gordon Plotkin
https://dl.acm.org/doi/pdf/10.1145/103135.103138
๐1
A simple applicative language: Mini-ML
https://inria.hal.science/inria-00076025/file/RR-0529.pdf
https://inria.hal.science/inria-00076025/file/RR-0529.pdf
Abstraction-Safe Effect Handlers via Tunneling
https://www.cs.cornell.edu/andru/papers/tunnel-eff/tunnel-eff.pdf
https://www.cs.cornell.edu/andru/papers/tunnel-eff/tunnel-eff.pdf
๐1
Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming
https://arxiv.org/pdf/1908.05647.pdf
https://arxiv.org/pdf/1908.05647.pdf
๐1
Generalized Algebraic Data Types and Object-Oriented Programming
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/gadtoop.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/gadtoop.pdf
๐ฅ1
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/
https://johnnysswlab.com/speeding-up-translation-of-virtual-to-physical-memory-addresses-tlb-and-huge-pages/
Johnny's Software Lab
Speeding Up Translation of Virtual To Physical Memory Addresses: TLB and Huge Pages - Johnny's Software Lab
In this post we explore how to speed up our memory intensive programs by decreasing the number of TLB cache misses
๐1
Partial and Total Orders
https://eli.thegreenplace.net/2018/partial-and-total-orders/
https://eli.thegreenplace.net/2018/partial-and-total-orders/
๐2
E. W. Dijkstra Archive: On the foolishness of "natural language programming"https://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EWD667.html
๐2
Valgrind and GDB in close cooperation
https://www.redhat.com/en/blog/valgrind-and-gdb-close-cooperation
https://www.redhat.com/en/blog/valgrind-and-gdb-close-cooperation
Redhat
Valgrind and GDB in close cooperation
It used to be tricky to run GDB and connect Valgrind to it, but thatโs not the case any more. The 3.21.0 Valgrind release brings new great features that allow using it and GDB much more easily and conveniently in a single terminal. In this article, I reviewโฆ
๐3
WasmGC: A new way to bring garbage collected programming languages efficiently to WebAssemblyhttps://v8.dev/blog/wasm-gc-porting
๐3
Opusmodus: Common Lisp Music Composition System
https://opusmodus.com/
https://opusmodus.com/
A Dialogue on Metasystem Transition
Valentin F. Turchin
https://pespmc1.vub.ac.be/Papers/Turchin/dialog.pdf
Valentin F. Turchin
https://pespmc1.vub.ac.be/Papers/Turchin/dialog.pdf
FIFO Queues are ALL You Need for Cache Eviction
https://jasony.me/publication/sosp23-s3fifo.pdf
https://jasony.me/publication/sosp23-s3fifo.pdf
A library with an encoding of higher kinded types in OCaml
https://github.com/janestreet/higher_kinded
https://github.com/janestreet/higher_kinded
GitHub
GitHub - janestreet/higher_kinded: A library with an encoding of higher kinded types in OCaml
A library with an encoding of higher kinded types in OCaml - janestreet/higher_kinded
๐1
Object-oriented design patterns in the kernel, part 1
https://lwn.net/Articles/444910/
https://lwn.net/Articles/444910/
LWN.net
Object-oriented design patterns in the kernel, part 1
Despite the fact that the Linux Kernel is mostly written in C, it makes broad use of some techn [...]
๐3