Optimizing filtered vector queries from tens of seconds to single-digit milliseconds in PostgreSQL
clarvo.ai·5h
🔢Algebraic Data Types
Flag this post
Frozen in Place
economics.bmo.com·1d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Brooks's Law
en.wikipedia.org·1d·
Discuss: Hacker News
🔧DevOps
Flag this post
Changelog #300
rust-analyzer.github.io·2d·
Discuss: r/rust
🏗️Dune
Flag this post
From Signals to Reliability: SLOs, Runbooks and Post-Mortems
fatihkoc.net·2d·
👁️System Observability
Flag this post
Why Engineers Can't Be Rational About Programming Languages
spf13.com·2d·
🔤Language Design
Flag this post
Thoughts by a non-economist on AI and economics
windowsontheory.org·21h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
How I Use Every Claude Code Feature
blog.sshh.io·3d·
💻CLI Tools
Flag this post
Condition-Invariant fMRI Decoding of Speech Intelligibility with Deep State Space Model
arxiv.org·9h
⚙️Compiler Design
Flag this post
Building MultiLingo: An AI Translation Agent with Telex Integration
dev.to·1d·
Discuss: DEV
📦Module Systems
Flag this post
BondBERT: What we learn when assigning sentiment in the bond market
arxiv.org·9h
🧩Parser Combinators
Flag this post
"Melodic Airways Transforming Flight Routes Into Music"
dev.to·7h·
Discuss: DEV
🔧ppx
Flag this post
DocPrism: Local Categorization and External Filtering to Identify Relevant Code-Documentation Inconsistencies
arxiv.org·1d
📦Opam
Flag this post
Spiking Neural Networks: The Future of Brain-Inspired Computing
arxiv.org·2d
🔲Cellular Automata
Flag this post
High Resolution Seismic Waveform Generation using Denoising Diffusion
arxiv.org·1d
🔲Cellular Automata
Flag this post
Rouille – Rust Programming, in French
dev.to·5d·
Discuss: DEV
📝Nix Language
Flag this post
Open-weight training practices and implications for CoT monitorability
lesswrong.com·1d
🧪Property-Based Testing
Flag this post
MISA: Memory-Efficient LLMs Optimization with Module-wise Importance Sampling
arxiv.org·1d
📚Automata Learning
Flag this post
Computation as a Game
arxiv.org·1d
⏱️Computational Complexity
Flag this post