Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·13h
🔧Scheme Macros
Semantic Dictionary Encoding
falvotech.com·1d·
Discuss: Hacker News
🗂️Type Indexing
The Unseen Variable: Why Your LLM Gives Different Answers (and How We Can Fix It)
hackernoon.com·8h
🗺️Region Inference
Zettelkasten for Programmers: Processing Swift Actor Usage Advice in Depth
christiantietze.de·10h
✨Gleam
Bitrig's Swift Interpreter: From Code to Bytecode
bitrig.app·10m·
Discuss: Hacker News
🦉Swift Interpreters
ECMAScript TC39 proposal-pattern-matching
github.com·1d·
Discuss: Hacker News
🎯Pattern Matching
VulAgent: Hypothesis-Validation based Multi-Agent Vulnerability Detection
arxiv.org·13h
🔍Static Analysis
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·22h·
Discuss: Hacker News
🔗Lexical Scoping
Automated Test Generation with Custom Claude Commands: Architecting Scalable Testing for Modern Node.js Applications
dev.to·20h·
Discuss: DEV
🎲Test Generators
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🔮Lisp Interpreters
First Public Working Draft: Semantic Sensor Network Ontology - 2023 Edition
w3.org·10h
🧱WASM Components
Interview with Aaron Patterson [audio]
podcast.drbragg.dev·2h·
Discuss: Hacker News
🔧Nickel
What is Algebraic about Algebraic Effects?
interjectedfuture.com·1d
💫Effect Systems
Optimization makes AI fluent, but does it kill meaning?
reddit.com·16h·
Discuss: r/LLM
🪜Recursive Descent
How to implement the Outbox pattern in Go and Postgres
medium.com·2h·
Discuss: Lobsters
📮Message Queues
libvips v8.18.0 Function Pointer Type Confusion in libvips Callback Dispatch
seclists.org·14h
📦Closure Conversion
Adaptive Programming Systems for Humans and AI
gfrison.com·9h·
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
Learning Rust and a bit unclear about an exercise on Exercism
exercism.org·5h·
Discuss: r/rust
🦀Rust Macros