Scheme Macros IX: Algebraic Data Types
blog.veitheller.deยท16h
๐Ÿ”งScheme Macros
Building a Universal CSV to Supabase Importer: From Messy Data to Structured Database
dev.toยท15hยท
Discuss: DEV
๐Ÿ“‹JSON Parsing
Protovalidate Is Now v1.0
buf.buildยท5hยท
Discuss: Hacker News
โœ…Configuration Validation
The Unseen Variable: Why Your LLM Gives Different Answers (and How We Can Fix It)
hackernoon.comยท11h
๐Ÿ—บ๏ธRegion Inference
Algebraic Types are not Scary
blog.aiono.devยท1dยท
โœ…Type Checking
Keeping Things Expressive When DataFrames Are Involved
simplethread.comยท3dยท
Discuss: Hacker News
๐Ÿ“‹Row Typing
Type mapping db row types <-> api types
reddit.comยท2hยท
Discuss: r/rust
๐Ÿฆ€Rust Macros
PSA: `views::single` doesnโ€™t really view
quuxplusone.github.ioยท20h
๐Ÿ”—Lexical Scoping
ECMAScript TC39 proposal-pattern-matching
github.comยท1dยท
Discuss: Hacker News
๐ŸŽฏPattern Matching
CHMLib 0.40a Integer Overflow in _unmarshal_int32 / _unmarshal_uint32 During CHM Header Parsing
seclists.orgยท17h
๐Ÿ”งError Recovery
Taming Service-Oriented Architecture Using A Data-Oriented Service Mesh
medium.comยท1h
๐Ÿ“ฆMonorepos
A Slotted Hash Cons for Alpha Invariance
philipzucker.comยท1dยท
Discuss: Hacker News
๐Ÿ”—Lexical Scoping
What Does -> Mean in Python Function Definitions?
realpython.comยท1d
๐ŸŒŠGradual Typing
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.comยท20h
๐ŸชOCaml
I tested AI tools on data analysis โ€” hereโ€™s how they did (and what to look out for)
onlinejournalismblog.comยท7h
๐ŸŒฑMinimal ML
How to Debug Chez Scheme Programs (2002)
scheme.comยท22hยท
Discuss: Hacker News
๐Ÿ’ฌError Message Design
VulAgent: Hypothesis-Validation based Multi-Agent Vulnerability Detection
arxiv.orgยท16h
๐Ÿ”Static Analysis
Automated Data Lineage Reconstruction via Multi-Modal Graph Analysis & HyperScore Validation
dev.toยท1dยท
Discuss: DEV
๐Ÿท๏ธAttribute Grammars
I made a library to stop writing giant switch statements for Go errors
reddit.comยท19hยท
Discuss: r/golang
๐Ÿ›ก๏ธError Handling