📼 Tape Algebra

Sequential Computation Models, Magnetic Recording Theory, Linear Processing, Storage Mathematics

An OCC Idea
lambdacreate.com·1d
🗄️Database Internals
Travels, 10
cameroncounts.wordpress.com·1d
🎯Performance Proofs
Introduction to the Fundamentals of Amazon Redshift
redshift-observatory.ch·1d
🗃️Database Storage
How Language Became Infrastructure—and Why That Should Worry Us
hackernoon.com·8h
📋Document Grammar
Taming the Wild West of ML: Practical Model Signing with Sigstore on Kaggle - DevConf.CZ 2025
youtube.com·7h
💧Liquid Types
Fast ground penetrating radar dual-parameter full waveform inversion method accelerated by hybrid compilation of CUDA kernel function and PyTorch
arxiv.org·12h
⚙️Tape Engineering
Industrial Energy Disaggregation with Digital Twin-generated Dataset and Efficient Data Augmentation
arxiv.org·12h
🧠Machine Learning
DuaShepherd: Integrating Stepwise Correctness and Potential Rewards for Mathematical Reasoning
arxiv.org·2d
✓Automated Theorem Proving
OMEGA: Can LLMs Reason Outside the Box in Math? Evaluating Exploratory, Compositional, and Transformative Generalization
arxiv.org·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Machine Learning Fundamentals: accuracy with python
dev.to·2d·
Discuss: DEV
👁️Observatory Systems
High-order adaptive multi-domain time integration scheme for microscale lithium-ion batteries simulations
arxiv.org·1d
⚙️Tape Engineering
Machine Learning Fundamentals: active learning with python
dev.to·22h·
Discuss: DEV
🧠Machine Learning
Elucidated Rolling Diffusion Models for Probabilistic Weather Forecasting
arxiv.org·12h
⚡Incremental Computation
DigitalOcean Fundamentals: API
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Algebraic Structures in Microtonal Music
arxiv.org·2d
🎼Audio Lambda Calculus
SACL: Understanding and Combating Textual Bias in Code Retrieval with Semantic-Augmented Reranking and Localization
arxiv.org·12h
🔍BitFunnel
Machine Learning Fundamentals: active learning project
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Temporal-IRL: Modeling Port Congestion and Berth Scheduling with Inverse Reinforcement Learning
arxiv.org·1d
🔲Cellular Automata
👹 Longest Binary Subsequence K – LeetCode 2311 (C++ | JavaScript | Python )
dev.to·16h·
Discuss: DEV
λLambda Encodings
Data-Driven Dynamic Factor Modeling via Manifold Learning
arxiv.org·12h
🌀Differential Geometry