Advanced Techniques for Implementing Singleton Patterns in JS
dev.to·8h·
Discuss: DEV
🌳Persistent Data Structures
A List Is a Monad
alexyorke.github.io·22h·
Discuss: Hacker News
🧬Functional Programming
An Investment in Learning
slott56.github.io·1d
💻Programming languages
Inequality Union Finds: Baby Steps to Refinement E-graphs
philipzucker.com·1d
🔄Graph Rewriting
Buffer & Save with a Challenging Example
mmhaskell.com·7h
📝Concrete Syntax
Issue 478
haskellweekly.news·4d
🔗Functional Compilers
Parameterized Complexity of Directed Traveling Salesman Problem
arxiv.org·12h
🧮Kolmogorov Complexity
NativeJIT: A C++ expression –> x64 JIT
github.com·13h·
Discuss: Hacker News
🏭Compiler Backends
Making Rails delegated_type’s clearer
kaspth.com·15m·
Discuss: Lobsters, Hacker News
🔤Type Theory
Command Controlled Rover
hackster.io·2h
⚙️Cassette Mechanics
Memory Safety in Web Rust System Zero Cost Secure（1751290822569500）
dev.to·2h·
Discuss: DEV
🦀Rust Borrowing
Multi-Stage Programming with Splice Variables
tsung-ju.org·2d·
Discuss: Hacker News
🔗Concatenative Programming
The provenance memory model for C
gustedt.wordpress.com·6h·
Discuss: Lobsters, Hacker News
🚀Compiler Optimizations
Memory Safety in Web Rust System Zero Cost Secure（1751266665988100）
dev.to·9h·
Discuss: DEV
🦀Rust Borrowing
An attempt to shroud text from LLMs
shape-of-code.com·18h
📝Concrete Syntax
Memory Safety in Web Rust System Zero Cost Secure（1751256268072300）
dev.to·11h·
Discuss: DEV
🦀Rust Borrowing
Introduction to Parser Combinators
blog.jcoglan.com·1d·
Discuss: Hacker News
🔗Monadic Parsing
Introducing UniqueSignal by VMRay
vmray.com·2h
🎯Threat Hunting
💡 TIME COMPLEXITY PRIMER – Understand Big O Like a Kid With Candies 🍬
dev.to·21h·
Discuss: DEV
🎯Performance Proofs
Why I'm excited about effect systems
osa1.net·2d
✨Algebraic Effects