📼 Tape Algebra

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

Advancing Quantum Science: Hausi Müller’s Journey
spectrum.ieee.org·2h
🔐Quantum Security
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
The dynamics and geometry of choice in the premotor cortex
nature.com·1d
🔲Cellular Automata
Taming the Wild West of ML: Practical Model Signing with Sigstore on Kaggle - DevConf.CZ 2025
youtube.com·12h
💧Liquid Types
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·20h·
Discuss: DEV
λLambda Encodings
Data-Driven Dynamic Factor Modeling via Manifold Learning
arxiv.org·16h
🌀Differential Geometry
Machine Learning Fundamentals: adam optimizer example
dev.to·4h·
Discuss: DEV
📊Quantization
Machine Learning Fundamentals: active learning project
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Choice of Scoring Rules for Indirect Elicitation of Properties with Parametric Assumptions
arxiv.org·2d
👑Coq Tactics
Programming as Theory Building: Why Senior Developers Are More Valuable Than Ever
cekrem.github.io·9h·
Discuss: r/node, r/programming, r/reactjs, r/typescript
💻Programming languages
Mirage of Mastery: Memorization Tricks LLMs into Artificially Inflated Self-Knowledge
arxiv.org·1d
🧠Intelligence Compression
Machine Learning Fundamentals: active learning tutorial
dev.to·1d·
Discuss: DEV
🎛️Feed Filtering
LARP: Learner-Agnostic Robust Data Prefiltering
arxiv.org·16h
💻Local LLMs
Explicit Constructions of Sum-Rank Metric Codes from Quadratic Kummer Extensions
arxiv.org·2d
🔢Reed-Solomon Math
Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Code Rate Optimization via Neural Polar Decoders
arxiv.org·3d
🧠Neural Codecs
Learning-aided Bigraph Matching Approach to Multi-Crew Restoration of Damaged Power Networks Coupled with Road Transportation Networks
arxiv.org·1d
🕸️Graph Algorithms