Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·8h
🔧Scheme Macros
Semantic Dictionary Encoding
falvotech.com·22h·
Discuss: Hacker News
🗂️Type Indexing
The Unseen Variable: Why Your LLM Gives Different Answers (and How We Can Fix It)
hackernoon.com·4h
🗺️Region Inference
Zettelkasten for Programmers: Processing Swift Actor Usage Advice in Depth
christiantietze.de·6h
✨Gleam
ECMAScript TC39 proposal-pattern-matching
github.com·23h·
Discuss: Hacker News
🎯Pattern Matching
VulAgent: Hypothesis-Validation based Multi-Agent Vulnerability Detection
arxiv.org·9h
🔍Static Analysis
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·18h·
Discuss: Hacker News
🔗Lexical Scoping
Automated Test Generation with Custom Claude Commands: Architecting Scalable Testing for Modern Node.js Applications
dev.to·16h·
Discuss: DEV
🎲Test Generators
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·22h·
Discuss: www.blogger.com
🔮Lisp Interpreters
First Public Working Draft: Semantic Sensor Network Ontology - 2023 Edition
w3.org·5h
🧱WASM Components
What is Algebraic about Algebraic Effects?
interjectedfuture.com·20h
💫Effect Systems
Optimization makes AI fluent, but does it kill meaning?
reddit.com·12h·
Discuss: r/LLM
🪜Recursive Descent
libvips v8.18.0 Function Pointer Type Confusion in libvips Callback Dispatch
seclists.org·10h
📦Closure Conversion
I think Really Simple Licensing misses the mark
rubenerd.com·2h
🛡️Security Type Systems
Adaptive Programming Systems for Humans and AI
gfrison.com·4h·
Discuss: Hacker News
🎮Language Ergonomics
Algebraic Types are not Scary
blog.aiono.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
✅Type Checking
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·5d·
Discuss: Hacker News
🔮Type Inference Visualization
The many, many, many JavaScript runtimes of the last decade
shapeof.com·19h
🚀V8 Internals
How to build a Laravel Blade–like template engine in TypeScript?
reddit.com·16h·
Discuss: r/typescript
📋Template Compilers
How to Debug Chez Scheme Programs (2002)
scheme.com·15h·
Discuss: Hacker News
💬Error Message Design