Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·2d
📚Stack Allocation
Flag this post
My first fifteen compilers (2019)
🔬Nanopasses
Flag this post
Async/Await is finally back in Zig
📡Async Channels
Flag this post
A unified threshold-constrained optimization framework for consistent and interpretable cross-machine condition monitoring
sciencedirect.com·5h
🔗Memory Linearization
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
🧪Compiler Testing
Flag this post
Protest: An ergonomic, powerful, and feature-rich property testing library with minimal boilerplate.
🔒Rust Borrowing
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
🔪Program Slicing
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·2d
🔗Go Generics
Flag this post
Roadmap for Improving the Type Checker
✅Type Checking
Flag this post
Automated Anomaly Detection & Root Cause Analysis in Complex System Simulations via Adaptive Bayesian Networks
🚂Error Propagation
Flag this post
A Formulation of Slop: How Optimization Pressure Destroys Meaning
🔬programming language theory
Flag this post
Mocking TSAN is fun
📜Bytecode Interpreters
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·1d
📊Log Parsers
Flag this post
Loading...Loading more...