📼 Tape Combinators

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

ICT2, the paperback!
logicmatters.net·6h
🎯Proof Tactics
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·1d
🧮Prolog Parsing
Orange Me2eets: We made an end-to-end encrypted video calling app and it was easy
blog.cloudflare.com·5h·
Discuss: Hacker News
📞WebRTC
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·20h·
Discuss: Hacker News
📟Terminal Typography
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·1d
📝Concrete Syntax
Lockfree Programming: A Mental Model
xorvoid.com·5d·
Discuss: Hacker News, Hacker News
⚡Hardware Transactional Memory
Industrial Energy Disaggregation with Digital Twin-generated Dataset and Efficient Data Augmentation
arxiv.org·15h
🧠Machine Learning
Accurate and Energy Efficient: Local Retrieval-Augmented Generation Models Outperform Commercial Large Language Models in Medical Tasks
arxiv.org·15h
🌀Brotli Internals
Real-time AI Unleashed: The Power of Time-Series and Vector Database Synergy
dev.to·2d·
Discuss: DEV
📈Time Series
OctoThinker: Mid-training Incentivizes Reinforcement Learning Scaling
arxiv.org·15h
🔲Cellular Automata
Memory Safety in Web Rust System Zero Cost Secure（1750762127113200）
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
Perfect phylogenies via the Minimum Uncovering Branching problem: efficiently solvable cases
arxiv.org·2d
🧮Kolmogorov Complexity
RL for Reasoning by Adaptively Revealing Rationales
arxiv.org·2d
🤖Grammar Induction
Evolving Prompts In-Context: An Open-ended, Self-replicating Perspective
arxiv.org·2d
💻Programming languages
Design Patterns After the Singularity: Rethinking the Gang of Four for an AI-Driven Stack
dev.to·2d·
Discuss: DEV
⚙️TLA+
From Drawings to Decisions: A Hybrid Vision-Language Framework for Parsing 2D Engineering Drawings into Structured Manufacturing Knowledge
arxiv.org·2d
⟷Bidirectional Programming
Scalable Machine Learning Algorithms using Path Signatures
arxiv.org·2d
🧠Machine Learning
Python Fundamentals: asyncio
dev.to·7h·
Discuss: DEV
🌊Stream Processing
Machine Learning Fundamentals: active learning tutorial
dev.to·1d·
Discuss: DEV
🎛️Feed Filtering
Scaffolding Dexterous Manipulation with Vision-Language Models
arxiv.org·1d
🤖Advanced OCR