Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·2d·
Discuss: Hacker News, r/programming
🤐Zipper Structures
On Frame Messages
furretnz.bearblog.dev·14h
⚖️Inference Rules
Working on Hard Problems
danvk.org·1d
🤐Zipper Structures
Show HN: Realization Jsmn on a Pure Zig
github.com·1d·
Discuss: Hacker News
📋JSON Parsing
CaRT: Teaching LLM Agents to Know When They Know Enough
arxiv.org·1d
🔍ML Language
Quantum memory optimisation using finite-horizon, decoherence time and discounted mean-square performance criteria
arxiv.org·1d
⚡Control Synthesis
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🌳Tree Shaking
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·2d
🪜Recursive Descent
The Future of AI is Verifiable Thought
pub.towardsai.net·20h
🎭Program Synthesis
Effective Web Scraping with Python: Building a Robust Data Pipeline for Price Monitoring
dev.to·1d·
Discuss: DEV
🔗Text Deduplication
**7 Essential GraphQL Patterns That Transformed My Data Fetching Performance**
dev.to·2h·
Discuss: DEV
📮Message Queues
GaloisInc/parameterized-utils
github.com·3d
📏Linear Haskell
A Manifesto for the Programming Desperado
github.com·23h·
Discuss: Hacker News
🎭Program Synthesis
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·16h·
Discuss: DEV
🗺️Region Inference
N8n vs. Windmill vs. Temporal
blog.arcbjorn.com·1d·
Discuss: Hacker News
⏱️Async Runtimes
Memgoose – An In-Memory Mongoose Impersonator
github.com·5h·
Discuss: Hacker News
📡Protocol Buffers
Complete Guide to Audio Processing in Python: From Spectrograms to Real-Time Applications
dev.to·2h·
Discuss: DEV
📦Compression Algorithms
⚙️ C in Action: Real Projects You Can Build to Master It
dev.to·23h·
Discuss: DEV
🪄C Metaprogramming
Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·4d
⚡functional programming
Randomized and quantum approximate matrix multiplication
arxiv.org·1d
🔬Nanopasses