🧮 Datalog

Logic Programming, Database Queries, Recursive Rules, Knowledge Graphs

Introduction to the Fundamentals of Amazon Redshift
redshift-observatory.ch·11h
🗃️Database Storage
BNFGen: A random text generator based on context-free grammars
baturin.org·2h·
Discuss: Hacker News
🌳Context free grammars
CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.org·1d
📏Linear Logic
Machine Learning Fundamentals: active learning project
dev.to·5h·
Discuss: DEV
🧠Machine Learning
SUTRA: Decoupling Concept & Language for Multilingual LLM Excellence
hackernoon.com·4h
💻Local LLMs
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
Why Dyad?: A Perspective for Modelica Users
juliahub.com·5h·
Discuss: Hacker News
💧Liquid Types
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·8h·
Discuss: Hacker News
🔗Constraint Handling
StrataScratch's Advanced 25 Hard SQL Questions
dev.to·1d·
Discuss: DEV
🧠Query Planners
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·5h·
Discuss: Substack
🦀Rust Macros
Large Language Models for Spreadsheets: Benchmarking Progress and Evaluating Performance with FLARE
arxiv.org·1d
💧Liquid Types
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
Could Open Table Formats End the Reign of Snowflake and Databricks?
prequel.co·2h·
Discuss: Hacker News
📚MARC Evolution
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·1d·
Discuss: DEV
🧬Functional Programming
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
Unveiling Insights: 18 Essential Resources for Exploratory Data Analysis (EDA)
dev.to·13h·
Discuss: DEV
⛏️Archive Mining
Lower Bounds for Conjunctive Query Evaluation
arxiv.org·1d
🧮Kolmogorov Complexity
Text2Struct: A Machine Learning Pipeline for Mining Structured Data from Text
arxiv.org·1d
🔤Character Classification