Creating Real-Time Multimodal AI Pipelines: Scaling File Processing to 50M Daily Uploads
engineering.salesforce.com·5h
🌊Stream Processing
A very short, very blunt, book note
logicmatters.net·4d
⚔️Lean Theorem
Toy Binary Decision Diagrams
philipzucker.com·5d
🧮Algebraic Datatypes
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.org·2d
🧮Kolmogorov Complexity
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·7h·
Discuss: Hacker News
🎯Performance Proofs
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
📈Linear programming
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·10h·
Discuss: Hacker News
🔗Concatenative Programming
Integral Signatures of Activation Functions: A 9-Dimensional Taxonomy and Stability Theory for Deep Learning
arxiv.org·1d
🧠Machine Learning
Fixed Points and Stochastic Meritocracies: A Long-Term Perspective
arxiv.org·1d
🔲Cellular Automata
From Defender to Devil? Unintended Risk Interactions Induced by LLM Defenses
arxiv.org·1d
✨Effect Handlers
Beyond the Hyped IMO Benchmarks: Towards a True Mathematical AI Discovery
quantumformalism.substack.com·1d·
Discuss: Substack
🧮SMT Solvers
ARES: Multimodal Adaptive Reasoning via Difficulty-Aware Token-Level Entropy Shaping
arxiv.org·1d
🧮Kolmogorov Complexity
Unveiling the Power of Queues: A Journey into Data Structures and Algorithms
dev.to·1d·
Discuss: DEV
⚡Cache Theory
Let's Write a Macro in Rust
hackeryarn.com·13h·
Discuss: Hacker News
🦀Rust Macros
A Proof of the Riemann Hypothesis
future.forem.com·2d·
Discuss: DEV
🎯Arithmetic Coding Theory
Off-Trajectory Reasoning: Can LLMs Collaborate on Reasoning Trajectory?
arxiv.org·2d
📏Linear Logic
Slip – A Lisp System in JavaScript
lisperator.net·15h·
Discuss: Hacker News
🔗Lisp
AI Renaissance: Bridging the Gap Between Intuition and Logic
dev.to·19h·
Discuss: DEV
🤖Paleographic AI
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·1d·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
Refactoring: A way to write better Code
dev.to·3h·
Discuss: DEV
⚙️Operational Semantics