🧮 Datalog

Logic Programming, Database Queries, Recursive Rules, Knowledge Graphs

Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
dev.to·6h·
Discuss: DEV
🗺️Competency Maps
Flag this post
A Short Introduction to Categorical Logic
youtube.com·17h
🔀Category Theory
Flag this post
HeraclesQL: A Python DSL for Writing Alerts
hudsonrivertrading.com·3h·
Discuss: Hacker News
✅Format Verification
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·1d·
Discuss: Substack
🧬Functional Programming
Flag this post
Friday 21 November - 11am
informatics.ed.ac.uk·11h
💻Programming languages
Flag this post
Falcon: A Comprehensive Chinese Text-to-SQL Benchmark for Enterprise-Grade Evaluation
arxiv.org·17h
🇨🇳Chinese Computing
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·4h
🔗Combinatory Logic
Flag this post
Business users aren't data engineers. And that's the problem
blog.astrobee.ai·1d·
Discuss: Hacker News
🎛️Feed Filtering
Flag this post
Issue 496
haskellweekly.news·9h
🔗Functional Compilers
Flag this post
Introducing SWE-1.5: Our Fast Agent Model
simonwillison.net·21h
🔒WASM Capabilities
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·8h
λLambda Formalization
Flag this post
We built a vector search engine that lets you choose precision at query time
clickhouse.com·2d·
Discuss: Hacker News
🌳Trie Structures
Flag this post
Building the Analytics Agent on Metabase: A Progress Report
medium.com·20h·
Discuss: Hacker News
🔄Schema Evolution
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·1d·
Discuss: r/javascript, r/programming
λLambda Encodings
Flag this post
Show HN: Front End Fuzzy and Substring and Prefix Search
github.com·1d·
Discuss: Hacker News
🌳Trie Structures
Flag this post
Build LLM Agents Faster with Datapizza AI
towardsdatascience.com·4h
⚡Proof Automation
Flag this post
Data Modeling for OLAP with AI Ft. District Cannabis (MooseStack, ClickHouse)
fiveonefour.com·1h·
Discuss: Hacker News
⚙️Batch Processing
Flag this post
Show HN: LogLens, a fast alternative to grep – jq for structured logs
getloglens.com·7h·
Discuss: Hacker News
📝Log Parsing
Flag this post
Migrating Schema from Oracle to YugabyteDB
hexacluster.ai·56m·
Discuss: Hacker News
🧬PostgreSQL Forensics
Flag this post
[P] I made a tool to search papers from selected AI venues
reddit.com·17h·
Discuss: r/MachineLearning
🌀Brotli Internals
Flag this post