Perfect Counterfactuals in Imperfect Worlds: Modelling Noisy Implementation of Actions in Sequential Algorithmic Recourse
arxiv.org·6h
📼Tape Combinators
AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunities
blog.raymond.burkholder.net·6h
⚡Incremental Computation
A brief consideration of input shapes (fuzzing)
addisoncrump.info·18h·
Discuss: Lobsters
🧪Binary Fuzzing
Towards Efficient Hash Maps in Functional Array Languages
arxiv.org·6h
🔗Functional Compilers
CRYPTO 2025: Row Reduction Techniques for n-Party Garbling
esat.kuleuven.be·4h
🌊Stream Ciphers
Are We Teaching Rust Effectively?
blog.kodewerx.org·20h·
Discuss: Hacker News
🦀Rust Borrowing
Beyond AlphaFold: how AI is decoding the grammar of the genome
nature.com·59m
🧬Palindrome Codes
Automated Fault Characterization via Dynamic Behavioral Fingerprinting in Embedded Systems
dev.to·2d·
Discuss: DEV
👁️System Observability
We Needed Better Cloud Storage for Python So We Built Obstore
developmentseed.org·1h·
Discuss: Hacker News
🔄Sync Engine
The continuation monad: a mathematical introduction
wildonblog.wordpress.com·12h
🔗Functional Compilers
Generic Reduction-Based Interpreters (Extended Version)
arxiv.org·6h
🔗Parser Combinators
Large-Scale Multi-Robot Assembly Planning for Autonomous Manufacturing
arxiv.org·6h
📊Computational Geometry
Marketplace: my first attempt at training without backprop on GPU efficiently
fangpenlin.com·3h
🔍Vector Forensics
Binary Tree BFS: Zigzag Order
mmhaskell.com·2h
🔗Topological Sorting
The Constraint Satisfaction Problem Over Multisorted Cores
arxiv.org·6h
🎨Graph Coloring
Easy will always trump simple
surfingcomplexity.blog·6h
🏗️Compiler Archaeology
CURE: Critical-Token-Guided Re-concatenation for Entropy-collapse Prevention
arxiv.org·6h
🔗Concatenative Programming
AI 'Map Reduce': Scaling AI Tasks
danielsada.tech·2h·
Discuss: Hacker News
⚙️Batch Processing
The joy of recursion, immutable data, and pure functions: Generating mazes with JavaScript
jrsinclair.com·1h·
Discuss: Hacker News
λLambda Formalization
Nonparametric learning of stochastic differential equations from sparse and noisy data
arxiv.org·6h
🧠Machine Learning