📼 Tape Combinators

Sequential Programming Models, Linear Processing, Magnetic Computation, Storage Abstractions

ICT2, the paperback!
logicmatters.net·2h
🎯Proof Tactics
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·2d
🌳Archive Merkle Trees
Primitive Kolmogorov complexity is computable
lewish.io·3d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·15h·
Discuss: Hacker News
📟Terminal Typography
Driving cost-efficiency and speed in claims data processing with Amazon Nova Micro and Amazon Nova Lite
aws.amazon.com·22h
🌊Stream Processing
Lockfree Programming: A Mental Model
xorvoid.com·5d·
Discuss: Hacker News, Hacker News
⚡Hardware Transactional Memory
Show HN: What it took to make QKD work in RAM
qsymbolic.com·2h·
Discuss: Hacker News
🔐Quantum Security
Programming as Theory Building: Why Senior Developers Are More Valuable Than Ever
cekrem.github.io·4h·
Discuss: r/node, r/programming, r/reactjs, r/typescript
💻Programming languages
Bilinear MLPs enable weight-based mechanistic interpretability
arxiv.org·11h
📊Quantization
On the convergence of computational methods for the online bin stretching problem
arxiv.org·2d
🎯Performance Proofs
Computation of Immediate Neighbours of Monotone Boolean Functions
arxiv.org·2d
🔲Cellular Automata
Computer Vision based Automated Quantification of Agricultural Sprayers Boom Displacement
arxiv.org·11h
🏺Computational Archaeology
Quantizing for Noisy Flash Memory Channels
arxiv.org·2d
🛡️Preservation Proofs
🧠 My First Rosetta Stone: When OrKa Proved AI Can Think Structurally
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Splitformer: An improved early-exit architecture for automatic speech recognition on edge devices
arxiv.org·2d
🌊Streaming Compression
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·1d·
Discuss: DEV
📏Code Metrics
RL-Driven Semantic Compression Model Selection and Resource Allocation in Semantic Communication Systems
arxiv.org·2d
⧗Information Bottleneck
Industrial Energy Disaggregation with Digital Twin-generated Dataset and Efficient Data Augmentation
arxiv.org·11h
🧠Machine Learning
Accurate and Energy Efficient: Local Retrieval-Augmented Generation Models Outperform Commercial Large Language Models in Medical Tasks
arxiv.org·11h
🌀Brotli Internals
Real-time AI Unleashed: The Power of Time-Series and Vector Database Synergy
dev.to·2d·
Discuss: DEV
📈Time Series