Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·2d
🔧Scheme Macros
Providing APIs (2013)
en.wikisource.org·21h·
Discuss: Hacker News
🌐Web Standards
Bitrig's Swift Interpreter: From Code to Bytecode
bitrig.app·2d·
Discuss: Hacker News
🦉Swift Interpreters
A love letter made with C language
dev.to·10h·
Discuss: DEV
🧪Minicompilers
Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
arxiv.org·20h
⏭️Skip Lists
Solving a Wooden Puzzle Using Haskell
glocq.github.io·1d·
Discuss: Lobsters, Hacker News
📏Linear Haskell
Disentanglement of prosodic meaning: Toward a framework for the analysis of nonverbal information in speech
pnas.org·16h
🔗Concatenative Theory
What is Algebraic about Algebraic Effects?
interjectedfuture.com·3d·
Discuss: Hacker News
💫Effect Systems
How Python Type Hints Transform Code Quality and Reduce Bugs in Modern Development
dev.to·14h·
Discuss: DEV
🌊Gradual Typing
Type safe GADT in Kotlin - who needs Haskell?
hacklewayne.com·2h
🔍Refinement Types
Ronald Jensen (Apr 01, 1936 – Sept 16, 2025)
ests.wordpress.com·14h
🔗Category Theory
Text Handling Challenges in MHFS Development
computoid.com·10h·
Discuss: Hacker News
🔢Binary Formats
Giving Foundation Models a Notion of Now
building.nubank.com·1d
🔢Algebraic Datatypes
What I learned building a programming language with LLM agents
eddmann.com·8h·
Discuss: Hacker News
🔮Metacircular Evaluators
Carbon Copy No.8: Classes Part II
github.com·17h·
Discuss: Hacker News
🌈Gradual Languages
PSA: `views::single` doesn’t really view
quuxplusone.github.io·3d
🔗Lexical Scoping
🔗 Context rot: how increasing input tokens impacts LLM performance
yellowduck.be·16h
⚡Tokenizer Benchmarks
Scrub It Out! Erasing Sensitive Memorization in Code Language Models via Machine Unlearning
arxiv.org·20h
🔍ML Language
How I hacked the Placement portal of my college to leak the entire SQL database
infosecwriteups.com·17h
🎓Educational Databases
libwmf v0.2.13 Integer Overflow in libwmf Left-Shift Operations (wmf.c, fig.c, svg.c)
seclists.org·2d
🏷️Symbol Mangling