Lobsters
Announcing Mutation Testing in Haskell
Mutation testing is now generally available in sydtest. This is a major step towards a saner development workflow in the age of AI-generated code.
Lobsters
A survey of inlining heuristics
Compilers, especially method just-in-time compilers, operate on one function at a time. It is a natural code unit size, especially for a dynamic language JIT: at a given point in time, what more information can you gather about other parts of a running,...
Lobsters
A Post-Quantum Future for Let's Encrypt
Let’s Encrypt is committed to a post-quantum-safe Web PKI. The path we’re planning to take is Merkle Tree Certificates (“MTCs”), a new approach that adds post-quantum authentication to the web without sacrificing the speed and reliability that have made TLS...
Lobsters
Elixir v1.20 released: now a gradually typed language
Welcome to Elixir, a dynamic, functional language designed for building scalable and maintainable applications
Lobsters
The Bloat: Devlog
Listening to a news broadcast is like smoking a cigarette and crushing the butt in the ashtray
Lobsters
Safe Made Easy Pt.1: Single Ownership is (Not) Optional
A flow-sensitive typing approach to memory safety: single ownership, exactly-once destruction, and automatic Option promotion when liveness cannot be proven.
Lobsters
Encephalitis - Andrew Gallant's Blog
I was recently diagnosed with anti-NMDA receptor encephalitis. It is an autoimmune disorder where your body’s normally helpful antibodies start acting strangely. This leads to inflammation in the brain. This short blog briefly discusses some of my...
Lobsters
Kotlin 2.4.0 Released | The Kotlin Blog
The Kotlin 2.4.0 release is out! This release brings new language features, support for Swift packages as dependencies, updates to Swift export, and more. Take a look!
Lobsters
mimalloc: A new, high-performance, scalable memory allocator for the modern era - Microsoft Research
mimalloc is an open-source, modern, scalable memory allocator that is a drop-in replacement for malloc and free. It is relatively small (~12K lines), with clear internal data structures, and is easy to build and integrate into other projects. It provides...
