Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·8h
🔧Scheme Macros
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·18h·
Discuss: Hacker News
🔗Lexical Scoping
Algebraic Types are not Scary
blog.aiono.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
✅Type Checking
Harnessing Optimization Dynamics for Curvature-Informed Model Merging
arxiv.org·8h
🔗Unification
**Python Geometric Algorithms: Point-in-Polygon, Convex Hull & Spatial Indexing Techniques**
dev.to·3h·
Discuss: DEV
🔢Algebraic Datatypes
Semantic Dictionary Encoding
falvotech.com·22h·
Discuss: Hacker News
🗂️Type Indexing
What is Algebraic about Algebraic Effects?
interjectedfuture.com·20h
💫Effect Systems
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·1d·
Discuss: Lobsters, Hacker News
🌱Minimal ML
Balance between refactoring and inheritance in your code
github.com·1d·
Discuss: Hacker News
🧪Compiler Testing
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·5d·
Discuss: Hacker News
🔮Type Inference Visualization
The pirate-based logic of Rust shared references
ais523.me.uk·1d·
Discuss: Lobsters, Hacker News, r/programming
🔒Rust Borrowing
Efficient Polynomial Identity Testing Over Nonassociative Algebras
arxiv.org·8h
🔢Algebraic Datatypes
Zettelkasten for Programmers: Processing Swift Actor Usage Advice in Depth
christiantietze.de·6h
✨Gleam
Typescript : Generic Data Fetch
dev.to·8h·
Discuss: DEV
🔧API Design
Hyper-Specific Sub-Field: **Fuzzing for IoT Firmware Reverse Engineering**
dev.to·11h·
Discuss: DEV
🧪Compiler Testing
Jim Henry | Wards Auto
wardsauto.com·20h
🔢Algebraic Datatypes
libwmf v0.2.13 Integer Overflow in libwmf Left-Shift Operations (wmf.c, fig.c, svg.c)
seclists.org·9h
🏷️Symbol Mangling
A JSON alternative but 1000x better
reddit.com·17h·
Discuss: r/rust
🌈Gradual Languages
AI Agent Development Trends 2025: Insights from 542 Projects
greenice.net·20h·
Discuss: Hacker News
🔄Subinterpreters
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers