Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·2d
🌳Archive Merkle Trees
Coping with Complexity
slott56.github.io·5d
🔗Concatenative Programming
Why Most SBOMs Fail and What to Do About It
ovalenzuela.com·50m·
Discuss: Hacker News
✅Format Validation
Refactoring English: Effective Writing for Software Developers
refactoringenglish.com·8h·
Discuss: Hacker News
🎯Gradual Typing
Modern Node.js Patterns for 2025
kashw1n.com·55m·
Discuss: Hacker News
🌊Stream Processing
Program Synthesis is Interesting and Open
stephendiehl.com·4d·
Discuss: Hacker News
💻Programming languages
SACL: Understanding and Combating Textual Bias in Code Retrieval with Semantic-Augmented Reranking and Localization
arxiv.org·11h
🔍BitFunnel
How to Create a Event Bus in Go
dev.to·21h·
Discuss: DEV
🌊Streaming Systems
How much slower is random access, really?
samestep.com·3d·
Discuss: Hacker News
📼Tape Encoding
Floating-Point Data Transformation for Lossless Compression
arxiv.org·2d
🌊Streaming Compression
Memory Safety in Web Rust System Zero Cost Secure（1750644757028200）
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing
This Is How I Mastered TypeScript Like I'm 5 (And How You Can, Too!)
dev.to·2d·
Discuss: DEV
🎯Gradual Typing
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·1d·
Discuss: Hacker News
🔗Constraint Handling
15 Go Packages Worth Your Time
dev.to·3h·
Discuss: DEV
💧Liquid Types
Memory Safety in Web Rust System Zero Cost Secure（1750632264828500）
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·2d
🧪CBOR Fuzzing
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·2d
💻Local LLMs
ReCode: Updating Code API Knowledge with Reinforcement Learning
arxiv.org·11h
⚡Incremental Computation
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.org·1d
🔍Type Inference
Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·1d·
Discuss: DEV
🌊Stream Processing