Logic Programming, Database Queries, Recursive Rules, Knowledge Graphs

A functional programming course in 6 books
ericnormand.substack.com·12h·
Discuss: Substack
🧬Functional Programming
Flag this post
Why AI agents fail without a Data Layer
dev.to·4h·
Discuss: DEV
🛡️Proof-Carrying Data
Flag this post
Show HN: Front End Fuzzy and Substring and Prefix Search
github.com·15h·
Discuss: Hacker News
🌳Trie Structures
Flag this post
AI and the Power of Nonuniform Circuits
blog.computationalcomplexity.org·2h·
🎞️Tape Combinatorics
Flag this post
PICOs-RAG: PICO-supported Query Rewriting for Retrieval-Augmented Generation in Evidence-Based Medicine
arxiv.org·18h
🔍Information Retrieval
Flag this post
Using Claude Skills with Neo4j
towardsdatascience.com·1d
🕸️Neo4j
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·11h·
λLambda Encodings
Flag this post
Wednesday 26 November - 11am
informatics.ed.ac.uk·1d
🎵Audio ML
Flag this post
Text2SQL is dead – long live text2SQL
exasol.com·1d·
Discuss: Hacker News
🚚Data Migration
Flag this post
We built a vector search engine that lets you choose precision at query time
clickhouse.com·1d·
Discuss: Hacker News
🌳Trie Structures
Flag this post
Business users aren't data engineers. And that's the problem
blog.astrobee.ai·6h·
Discuss: Hacker News
🎛️Feed Filtering
Flag this post
dbt Labs Open Sources MetricFlow: An Independent Schema for Data Interoperability
thenewstack.io·8h
🏷️Metadata Standards
Flag this post
Hyperloglog: Counting Without Counting
karthihegde.dev·1d·
Discuss: Hacker News
📊HyperLogLog
Flag this post
On Having a Data Object
natemeyvis.com·2d·
Discuss: Hacker News
🗄️Database Internals
Flag this post
Nonmonotonic Logic
cambridge.org·2d·
Discuss: Hacker News
🔬Logic in Computer Science
Flag this post
Writing an LLM from scratch, part 25 – instruction fine-tuning
gilesthomas.com·1h·
Discuss: Hacker News
Proof Automation
Flag this post
Oracle has adopted BOOLEAN in 23ai and PostgreSQL had it forever
hexacluster.ai·7h·
Discuss: Hacker News
🧬PostgreSQL Forensics
Flag this post
Decentralized Causal Discovery using Judo Calculus
arxiv.org·18h
Effectful Programming
Flag this post
[P] Looking for cool project ideas for an intro to Machine Learning course
reddit.com·1d·
🎵Audio ML
Flag this post
Show HN: Build and deploy AI agents from your own data in under 60 seconds
botthebuilder.net·4h·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post