Notes from the bottom of the sea
markjgsmith.com·3h
💾Persistence Strategies
What "Parse, don't validate" means in Python?
bitecode.dev·9h
✅Format Verification
Getting Into Flow State with Agentic Coding
kau.sh·10h
⚡Proof Automation
[D] Training VAE for Stable Diffusion 1.5 from scratch
reddit.com·14h·
Discuss: r/MachineLearning
🎬AV1 Encoding
MirrorVM: Compiling WebAssembly using Reflection
sbox.game·2d·
Discuss: r/programming
🔗Concatenative Programming
Cerebras Launches Qwen3-235B, Achieving 1,500 Tokens per Second
cerebras.ai·6h·
Discuss: Hacker News
🧮Z3 Applications
LL and LR Parsing Demystified (2013)
blog.reverberate.org·2d·
Discuss: Lobsters, Hacker News
🔗Monadic Parsing
SceneLoom: Communicating Data with Scene Context
arxiv.org·13h
🏛Digital humanities
I Tried BrainSim-X API - Here's What Happened
dev.to·1h·
Discuss: DEV
🎮Gameboy Emulation
Advanced PDF Optimization Techniques - 1753001
dev.to·3d·
Discuss: DEV
📦Deflate
Building Bod.Coach: LLM Lessons Learned The Hard Way.
dev.to·22h·
Discuss: DEV
💻Local LLMs
Zak-OTFS based Multiuser Uplink in Doubly-Spread Channels
arxiv.org·1d
ℹ️Information Theory
Language Generation in the Limit: Noise, Loss, and Feedback
arxiv.org·1d
💻Programming languages
SQL Optimization Practices Episode 3: Outer Join Optimization: Proven Performance Gains
dev.to·12h·
Discuss: DEV
🚀Query Optimization
Show HN: AnkiTTS (Anki Text to Speech)
github.com·1h·
Discuss: Hacker News
📦MKV Containers
Pyramid Hierarchical Masked Diffusion Model for Imaging Synthesis
arxiv.org·13h
🤖Advanced OCR
🐍 Top 51 Python Tasks Every Beginner Should Solve
dev.to·12h·
Discuss: DEV
⚡Proof Automation
Vector Databases for Data Scientists: What, Why, and When to Use Them
dev.to·1d·
Discuss: DEV
🗂️Vector Databases
Multimodal AI for Gastrointestinal Diagnostics: Tackling VQA in MEDVQA-GI 2025
arxiv.org·1d
🤖AI Paleography
Advanced PDF Optimization Techniques - 1752893
dev.to·4d·
Discuss: DEV
📝Text Compression