🔗 37 things I learned about information retrieval in two years at a vector database company
yellowduck.be·12h
🎲Probabilistic Programming
Getting Started with SQL: My First Hands-On Experience
dev.to·2d·
Discuss: DEV
💭Prolog
Simpler Category Theory
ryanbrewer.dev·2d·
Discuss: Hacker News
🔄Category Theory
Kumo.AI trains foundation model for relational databases
blocksandfiles.com·5h
🧭SMT Solvers
Time-Optimal Directed q-Analysis
arxiv.org·16h
📈Complexity Theory
Show HN: Making Postgres Self-Describing for LLMs with a Semantic Catalog
tigerdata.com·23h·
Discuss: Hacker News
🧩Theorem Proving
Dreaming of Graphs in the Open Lakehouse
semyonsinchenko.github.io·11h·
Discuss: Hacker News
🔢Mathematical Logic
Implementing Lock-free channels using pointer tagging in Databend's query engine written in Rust
databend.com·1d·
Discuss: r/rust
🧠Memory Management
Using unstructured data to create knowledge graphs in SurrealDB
surrealdb.com·20h
🔗Parser Combinators
Show HN: Tabwise – AI data analyst that outperforms ChatGPT and Claude
tabwise.ai·5h·
Discuss: Hacker News
🧩Theorem Proving
The dangers of the JDBC bottleneck in Trino
starburst.io·2h·
Discuss: Hacker News
🌍Distributed Systems
Has anyone messed up a PROD DB?
reddit.com·22h·
Discuss: r/SoftwareEngineering
🧩Theorem Proving
Optimizing multiprecision LLL in FLINT
fredrikj.net·1d
🧭SMT Solvers
Centrally Collecting Events from Go Microservices
pliutau.com·6h·
Discuss: r/golang
🦀Rust
Shortcuts for the Long Run: Automated Workflows for Aspiring Data Engineers
kdnuggets.com·6h
🧩Theorem Proving
Evidence for compositionality in fMRI visual representations via Brain Algebra
nature.com·20h
🔄Category Theory
I Finally Tried This Excel Feature Everyone Knows But Ignores—It's Much More Useful Than I Thought
makeuseof.com·9h
🎯Constraint Programming
Solving the N+1 Query Bottleneck: A Practical Guide with Go & SQL
dev.to·2d·
Discuss: DEV
⚙Functional Programming
[D] Using LLMs to extract knowledge graphs from tables for retrieval-augmented methods — promising or just recursion?
reddit.com·15h·
Discuss: r/MachineLearning
⚖️Logic Programming
Regina Obe: Learning PostgreSQL from AI and JSON exploration: Part 2
postgr.es·1d
🧩Theorem Proving