Tractable Responsibility Measures for Ontology-Mediated Query Answering
arxiv.org·1d
🧮Kolmogorov Complexity
Show HN: Accelerate AI agent development by grounding AI assistant in local docs
github.com·5h·
Discuss: Hacker News
🌳Incremental Parsing
Cactus Language • Pragmatics 7
inquiryintoinquiry.com·1d
📐Format Grammars
News for July 2025
ptreview.sublinear.info·23h
🎯Performance Proofs
Understanding the KNN Algorithm: Finding Your Nearest Neighbors
dev.to·22h·
Discuss: DEV
🗂️Vector Search
Footnotes, Gödel exercises, Purcell
logicmatters.net·2d
👑Isabelle
Twentyseven 1.0.0
blog.poisson.chat·1d·
Discuss: Hacker News
🧮Z3 Solver
The Comprehensive Guide to Knowledge Graphs
agilelab.it·1d·
Discuss: Hacker News
📊Graph Databases
Lobsters Interview with Icefox
lobste.rs·1d·
Discuss: Lobsters
🦀Rust Macros
Symbolic-numeric programming in scientific computing
dspace.mit.edu·3d
🧬Functional Programming
Phylo-rs: an extensible phylogenetic analysis library in Rust
bmcbioinformatics.biomedcentral.com·12h·
Discuss: Hacker News
🧬Bitstream Evolution
Navigating the AI Agent Ecosystem: A Comprehensive Framework Analysis
dev.to·5h·
Discuss: DEV
⚙️TLA+
Step3
stepfun.ai·2d·
Discuss: Hacker News
🌊Streaming Algorithms
Linkage from Montreal
11011110.github.io·2d
🎨Graph Coloring
Building a SQLite CLI in less than an hour without ever looking at any code
theahura.substack.com·6h·
Discuss: Substack
💾SQLite
Using LLM Embeddings to Normalize User Data
matthodges.com·17h·
Discuss: Hacker News
🔤Character Classification
Mastering NLP with spaCy – Part 2
towardsdatascience.com·1d
📝Text Parsing
Why LLMs Struggle with Text-to-SQL
selectstar.com·1d·
Discuss: Hacker News
🧮Datalog
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·10h·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
The Art of Multiprocessor Programming 2nd Edition Book Club
eatonphil.com·9h·
Discuss: Hacker News
⚡Cache Theory