Notes from the bottom of the sea
markjgsmith.com·11h
💾Persistence Strategies
What "Parse, don't validate" means in Python?
bitecode.dev·17h
✅Format Verification
Getting Into Flow State with Agentic Coding
kau.sh·18h
⚡Proof Automation
[D] Training VAE for Stable Diffusion 1.5 from scratch
reddit.com·22h·
Discuss: r/MachineLearning
🎬AV1 Encoding
MirrorVM: Compiling WebAssembly using Reflection
sbox.game·3d·
Discuss: r/programming
🔗Concatenative Programming
Open-Source LLM Helps Safeguard Text Generation Prompts and Responses
corp.roblox.com·21h·
Discuss: Hacker News
⚡Proof Automation
Cerebras Launches Qwen3-235B, Achieving 1,500 Tokens per Second
cerebras.ai·14h·
Discuss: Hacker News
🧮Z3 Applications
LL and LR Parsing Demystified (2013)
blog.reverberate.org·2d·
Discuss: Lobsters, Hacker News
🔗Monadic Parsing
The Intelligence Hub
github.com·7h·
Discuss: Hacker News
🔌Archive APIs
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
Been running Nextcloud for a year, but Seafile is looking tempting. Thoughts?
reddit.com·5h·
Discuss: r/homelab
🔄Sync Engine
SQL Optimization Practices Episode 3: Outer Join Optimization: Proven Performance Gains
dev.to·20h·
Discuss: DEV
🚀Query Optimization
Vector Databases for Data Scientists: What, Why, and When to Use Them
dev.to·1d·
Discuss: DEV
🗂️Vector Databases
Show HN: AnkiTTS (Anki Text to Speech)
github.com·9h·
Discuss: Hacker News
📦MKV Containers
Pyramid Hierarchical Masked Diffusion Model for Imaging Synthesis
arxiv.org·21h
🤖Advanced OCR
Advanced PDF Optimization Techniques - 1752893
dev.to·4d·
Discuss: DEV
📝Text Compression
Building Bod.Coach: LLM Lessons Learned The Hard Way.
dev.to·1d·
Discuss: DEV
💻Local LLMs
🐍 Top 51 Python Tasks Every Beginner Should Solve
dev.to·20h·
Discuss: DEV
⚡Proof Automation
Multimodal AI for Gastrointestinal Diagnostics: Tackling VQA in MEDVQA-GI 2025
arxiv.org·1d
🤖AI Paleography