📼 Tape Combinators

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

ICT2, the paperback!
logicmatters.net·11h
🎯Proof Tactics
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·2d
🧮Prolog Parsing
Orange Me2eets: We made an end-to-end encrypted video calling app and it was easy
blog.cloudflare.com·10h·
Discuss: Hacker News
📞WebRTC
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·1d·
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
Perfect phylogenies via the Minimum Uncovering Branching problem: efficiently solvable cases
arxiv.org·2d
🧮Kolmogorov Complexity
Evolving Prompts In-Context: An Open-ended, Self-replicating Perspective
arxiv.org·2d
💻Programming languages
RL for Reasoning by Adaptively Revealing Rationales
arxiv.org·2d
🤖Grammar Induction
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·12h·
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
Curating art exhibitions using machine learning
arxiv.org·1d
🏺Computational Archaeology
Machine Learning Fundamentals: active learning with python
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Learning-aided Bigraph Matching Approach to Multi-Crew Restoration of Damaged Power Networks Coupled with Road Transportation Networks
arxiv.org·1d
🕸️Graph Algorithms
A Unifying Theory for Runge-Kutta-like Time Integrators: Convergence and Stability
arxiv.org·20h
📐Error Bounds
Sequence-to-Sequence Models with Attention Mechanistically Map to the Architecture of Human Memory Search
arxiv.org·2d
📼Cassette Combinators