Podcast Rewind: A Podcast Within a Podcast and a Visit to Florence
macstories.net·8h
🍎Apple Archive
Cactus Language • Semantics 3
inquiryintoinquiry.com·11h
🔢Denotational Semantics
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·3h·
Discuss: Hacker News
Proof Automation
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
Quantum computing is "mission crtical"
federalnewsnetwork.com·14h·
Discuss: Hacker News
⚛️Quantum Tape
Someone programmed a 65-year old computer to play Boards of Canada's 'Olson'
engadget.com·12h·
Discuss: Hacker News
🎵Gameboy Sound
How the Rise of Tabular Foundation Models Is Reshaping Data Science
towardsdatascience.com·1d
🧠Machine Learning
The Porcelain to Come
stackdiver.com·4h·
Discuss: Hacker News
🔲Cellular Automata
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Detecting and Mitigating Insertion Hallucination in Video-to-Audio Generation
arxiv.org·23h
👁️Perceptual Coding
OBCache: Optimal Brain KV Cache Pruning for Efficient Long-Context LLM Inference
arxiv.org·23h
💻Local LLMs
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
🌳Incremental Parsing
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·13h·
Discuss: DEV
📊Multi-vector RAG
Operable Software
ferd.ca·13h·
Discuss: Hacker News
👁️System Observability
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to·7h·
Discuss: DEV
Incremental Computation
Make a procedurally generated planet
kayleegeorge.github.io·4h·
Discuss: Hacker News
📐Mathematical Art
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·4h·
Discuss: Hacker News
🎯Performance Proofs
Beyond Grid-Locked Voxels: Neural Response Functions for Continuous Brain Encoding
arxiv.org·23h
🧠Neural Codecs
Modern Observability Is a Single Braid of Data
thenewstack.io·2d·
Discuss: Hacker News
👁️Observatory Systems