Perfect Counterfactuals in Imperfect Worlds: Modelling Noisy Implementation of Actions in Sequential Algorithmic Recourse
arxiv.org·12h
📼Tape Combinators
Stream Integration
feldera.com·51m·
Discuss: Hacker News
🌊Stream Processing
AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunities
blog.raymond.burkholder.net·12h
⚡Incremental Computation
Towards Efficient Hash Maps in Functional Array Languages
arxiv.org·12h
🔗Functional Compilers
Gesture controlled LED system
hackster.io·34m
✋Tactile Computing
Are We Teaching Rust Effectively?
blog.kodewerx.org·1d·
Discuss: Hacker News
🦀Rust Borrowing
CRYPTO 2025: Row Reduction Techniques for n-Party Garbling
esat.kuleuven.be·10h
🌊Stream Ciphers
Beyond AlphaFold: how AI is decoding the grammar of the genome
nature.com·6h
🧬Palindrome Codes
GPT-5 goes hard on real-world programming
omerba.dev·2h·
Discuss: Lobsters
✅Format Verification
Automated Fault Characterization via Dynamic Behavioral Fingerprinting in Embedded Systems
dev.to·2d·
Discuss: DEV
👁️System Observability
Multi-Modal MCP Servers: Handling Files, Images, and Streaming Data
hackernoon.com·11h
🌊Streaming Systems
The continuation monad: a mathematical introduction
wildonblog.wordpress.com·17h
🔗Functional Compilers
Generic Reduction-Based Interpreters (Extended Version)
arxiv.org·12h
🔗Parser Combinators
Large-Scale Multi-Robot Assembly Planning for Autonomous Manufacturing
arxiv.org·12h
📊Computational Geometry
Marketplace: my first attempt at training without backprop on GPU efficiently
fangpenlin.com·9h
🔍Vector Forensics
Binary Tree BFS: Zigzag Order
mmhaskell.com·7h
🔗Topological Sorting
The Constraint Satisfaction Problem Over Multisorted Cores
arxiv.org·12h
🎨Graph Coloring
A brief consideration of input shapes (fuzzing)
addisoncrump.info·1d·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
Models are smart enough, your process isn't
sibylline.dev·1h·
Discuss: Hacker News
⚡Proof Automation
CURE: Critical-Token-Guided Re-concatenation for Entropy-collapse Prevention
arxiv.org·12h
🔗Concatenative Programming