[Python tool] Anti bot text obfuscator
discuss.privacyguides.net·4h
📝Rope Editors
Can a Data Race Happen on a Single-Core Machine?
aoli.al·12h·
Discuss: Hacker News
🔗Concurrency Primitives
Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·3d
🔧Scheme Macros
Providing APIs (2013)
en.wikisource.org·1d·
Discuss: Hacker News
🌐Web Standards
Bitrig's Swift Interpreter: From Code to Bytecode
bitrig.app·2d·
Discuss: Hacker News
🦉Swift Interpreters
Property-Isometric Variational Autoencoders for Sequence Modeling and Design
arxiv.org·50m
Effect Inference
A love letter made with C language
dev.to·14h·
Discuss: DEV
🧪Minicompilers
Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
arxiv.org·1d
⏭️Skip Lists
The Sum Leaks More Than Its Parts: Compositional Privacy Risks and Mitigations in Multi-Agent Collaboration
arxiv.org·50m
♾️Codata Types
Solving a Wooden Puzzle Using Haskell
glocq.github.io·1d·
📏Linear Haskell
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·18h·
Discuss: DEV
🌊Gradual Typing
Type safe GADT in Kotlin - who needs Haskell?
hacklewayne.com·6h
🔍Refinement Types
Ronald Jensen (Apr 01, 1936 – Sept 16, 2025)
ests.wordpress.com·18h
🔗Category Theory
Text Handling Challenges in MHFS Development
computoid.com·14h·
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·12h·
Discuss: Hacker News
🔮Metacircular Evaluators
Carbon Copy No.8: Classes Part II
github.com·21h·
Discuss: Hacker News
🌈Gradual Languages
PSA: `views::single` doesn’t really view
quuxplusone.github.io·3d
🔗Lexical Scoping