Extensible records with scoped labels
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/scopedlabels.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/scopedlabels.pdf
Optimizations in C++ Compilers
https://queue.acm.org/detail.cfm?id=3372264
https://queue.acm.org/detail.cfm?id=3372264
queue.acm.org
Optimizations in C++ Compilers - ACM Queue
There
Garbage Collection as a Joint Venture: A collaborative approach to reclaiming memory in heterogeneous software systemshttps://queue.acm.org/detail.cfm?id=3325132
queue.acm.org
Garbage Collection as a Joint Venture - ACM Queue
Cross-component tracing is a way to solve the problem of reference cycles across component boundaries. This problem appears as soon as components can form arbitrary object graphs with nontrivial ownership across API boundaries. An incremental version of CCT…
❤1
Integer overflow checking cost
https://danluu.com/integer-overflow/
https://danluu.com/integer-overflow/
👍1
BB(3, 3) is Hard
https://www.sligocki.com//2023/10/16/bb-3-3-is-hard.html
https://www.sligocki.com//2023/10/16/bb-3-3-is-hard.html
sligocki
BB(3, 3) is Hard (Bigfoot)
I’m excited to share a 3 state, 3 symbol Turing Machine that cannot be proven to halt or not (when starting on a blank tape) without solving a Collatz-like problem. Therefore, solving the \(BB(3, 3)\) problem is at least as hard as solving this Collatz-like…
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