Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·23h·
Discuss: Hacker News
⚡functional programming
The pirate-based logic of Rust shared references
ais523.me.uk·1d·
Discuss: Lobsters, Hacker News
🔒Rust Borrowing
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·10h
🪢Rope Data Structures
Issue 489
haskellweekly.news·4d·
Discuss: Hacker News
📏Linear Haskell
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·53m·
Discuss: Hacker News
🔗Lexical Scoping
SOLID Principles for Python Developers
dev.to·4h·
Discuss: DEV
🎭Racket Modules
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·21h·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
Genkit Go 1.0: Google brings stable AI framework to the Go ecosystem
heise.de·1h
📋Tablegen
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·4d·
Discuss: Hacker News
🔮Type Inference Visualization
Greyscale-box test-driven development
blog.ploeh.dk·17m
🧪Compiler Testing
xmake-io/xmake
github.com·16h
🔗Language Toolchains
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·4h·
Discuss: www.blogger.com
🔮Lisp Interpreters
Differentially Private Decentralized Dataset Synthesis Through Randomized Mixing with Correlated Noise
arxiv.org·15h
⚡Fusion Laws
Semantic Dictionary Encoding
falvotech.com·4h·
Discuss: Hacker News
🗂️Type Indexing
Haskell Interlude: 70: Phil Wadler
haskell.foundation·1d
🔬programming language theory
Algebraic Types are not Scary
blog.aiono.dev·9h·
Discuss: Lobsters, Hacker News
✅Type Checking
Death to Type Classes
jappie.me·3d·
Discuss: Hacker News
🐪OCaml
Status Week 37
blogs.gnome.org·33m
⚙️TOML Parsers
Asynchronous Exceptions in Practice (2017)
simonmar.github.io·26m·
Discuss: Hacker News
🔗Concurrency Primitives
Functional Patterns Don't Fit JavaScript, Embracing Model View Controller
bonaroo.nl·5h·
Discuss: Hacker News
🏛️Elm Architecture