One Year of PostgreSQL Hacking Workshops
rhaas.blogspot.com·1d·
Discuss: Lobsters, Hacker News
🧬PostgreSQL Forensics
Larger than RAM Vector Indexes for Relational Databases
planetscale.com·4d·
Discuss: Hacker News
🗂️Vector Databases
LOGicalThought: Logic-Based Ontological Grounding of LLMs for High-Assurance Reasoning
arxiv.org·2d
🧠Computational Logic
Understanding the Geospatial Reasoning Capabilities of LLMs: A Trajectory Recovery Perspective
arxiv.org·2d
💻Programming languages
A DuckDB extension for in-database inference, written in Rust 🦀
github.com·3d·
Discuss: Hacker News, r/rust
🦀Rust Borrowing
Datadog: Husky's query engine: Real-time access to 100T events
datadoghq.com·3d·
Discuss: Hacker News
🗄️Database Internals
AWS Certified Machine Learning Engineer Core Concepts
dev.to·16h·
Discuss: DEV
🧠Machine Learning
What Is a Semantic Layer?
dataengineeringcentral.substack.com·1d·
Discuss: Substack
🔍Archive Semantics
Context Engineering: Improving AI Coding Agents Using DSPy GEPA
medium.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
"The G in GPU is for Graphics damnit "
ut21.github.io·2d·
Discuss: Hacker News
🔲Cellular Automata
Adaptive AI: Neural Networks That Learn to Conserve
dev.to·7h·
Discuss: DEV
📊Quantization
Revel Part 3: Rendering 1 Million Cubes
velostudio.github.io·1d·
Discuss: Hacker News, r/C_Programming, r/programming
🖥️Terminal Renaissance
FOR-Prompting: From Objection to Revision via an Asymmetric Prompting Protocol
arxiv.org·2d
🔲Proof Irrelevance
Java Backend Coding Technology: Writing Code in the Era of AI
dev.to·1d·
Discuss: DEV
💻Programming languages
TAG-EQA: Text-And-Graph for Event Question Answering via Structured Prompting Strategies
arxiv.org·2d
🌳Context free grammars
Agents go brrrrrrr
dev.to·59m·
Discuss: DEV
⚡Proof Automation
Chain-in-Tree: Back to Sequential Reasoning in LLM Tree Search
arxiv.org·4d
🧮SMT Solvers
TypeNet Benchmark for development of authentication keystroke technologies
github.com·2h·
Discuss: Hacker News
🗜️LZSS Variants
Beyond Static Retrieval: Opportunities and Pitfalls of Iterative Retrieval in GraphRAG
arxiv.org·4d
🔍Information Retrieval
InvThink: Towards AI Safety via Inverse Reasoning
arxiv.org·2d
⚖️Hoare Logic