Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·12h
🔧Scheme Macros
Algebraic Types are not Scary
blog.aiono.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
✅Type Checking
Hyper-Specific Sub-Field: **Fuzzing for IoT Firmware Reverse Engineering**
dev.to·14h·
Discuss: DEV
🧪Compiler Testing
ECMAScript TC39 proposal-pattern-matching
github.com·1d·
Discuss: Hacker News
🎯Pattern Matching
The Unseen Variable: Why Your LLM Gives Different Answers (and How We Can Fix It)
hackernoon.com·7h
🗺️Region Inference
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
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·21h·
Discuss: Hacker News
🔗Lexical Scoping
How to Debug Chez Scheme Programs (2002)
scheme.com·18h·
Discuss: Hacker News
💬Error Message Design
What is Algebraic about Algebraic Effects?
interjectedfuture.com·1d
💫Effect Systems
Zettelkasten for Programmers: Processing Swift Actor Usage Advice in Depth
christiantietze.de·9h
✨Gleam
Genkit Go 1.0: Google brings stable AI framework to the Go ecosystem
heise.de·21h
📋Tablegen
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·1d·
Discuss: Hacker News
⚡functional programming
Learning Rust and a bit unclear about an exercise on Exercism
exercism.org·3h·
Discuss: r/rust
🦀Rust Macros
Typescript : Generic Data Fetch
dev.to·12h·
Discuss: DEV
🔧API Design
libvips v8.18.0 Function Pointer Type Confusion in libvips Callback Dispatch
seclists.org·13h
📦Closure Conversion
I made a library to stop writing giant switch statements for Go errors
reddit.com·15h·
Discuss: r/golang
🛡️Error Handling
The Capability-Tractability Tradeoff (2023)
buttondown.com·3d·
Discuss: Hacker News
⚡Partial Evaluation
Fickling’s new AI/ML pickle file scanner
blog.trailofbits.com·5h
🛡️Parser Security
How to implement the Outbox pattern in Go and Postgres
medium.com·1h·
Discuss: Lobsters
📮Message Queues
Efficient Polynomial Identity Testing Over Nonassociative Algebras
arxiv.org·12h
🔢Algebraic Datatypes