🧮 Datalog

Logic Programming, Database Queries, Recursive Rules, Knowledge Graphs

4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·2d·
Discuss: Hacker News
⚙️Logic Synthesis
Deep Dive into Databend UDF, implementing your data solutions with python, WASM and beyond
dev.to·13h·
Discuss: DEV
📋DFDL
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·2d
🧮Z3 Solver
Driving cost-efficiency and speed in claims data processing with Amazon Nova Micro and Amazon Nova Lite
aws.amazon.com·15h
🌊Stream Processing
A Complete Guide to Retrieval-Augmented Generation
dev.to·3d·
Discuss: DEV
🌀Brotli Internals
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·2d
⚖️Hoare Logic
ReasonFlux-PRM: Trajectory-Aware PRMs for Long Chain-of-Thought Reasoning in LLMs
arxiv.org·2d
💻Local LLMs
An All-Around Better Horse
patrickhebron.com·14h·
Discuss: Hacker News
🧠Knowledge Management
CEGA: A Cost-Effective Approach for Graph-Based Model Extraction and Acquisition
arxiv.org·2d
🧮Prolog Parsing
Argumentative Ensembling for Robust Recourse under Model Multiplicity
arxiv.org·4h
🔗Parser Combinators
End of the line for coding LLMs will do a better job. How do I pay my mortgage?
daniel-payne-keldan-systems.medium.com·1d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Voxkryptia: A Conceptual Framework for Advanced Database Security
dev.to·1h·
Discuss: DEV
🧬PostgreSQL Forensics
Flame Graph Performance Truth Analysis（1750918443851900）
dev.to·2h·
Discuss: DEV
⚡Performance Tools
Learning SQL for 30 days. Day 5.
dev.to·8h·
Discuss: DEV
🗄️SQLite Internals
Heart Disease Predictor using KNN(ML) algorithm
dev.to·21h·
Discuss: DEV
🧠Machine Learning
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·2d
💻Local LLMs
Safe Pruning LoRA: Robust Distance-Guided Pruning for Safety Alignment in Adaptation of LLMs
arxiv.org·1d
💻Local LLMs
ReCode: Updating Code API Knowledge with Reinforcement Learning
arxiv.org·4h
⚡Incremental Computation
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·1d
🔗Topological Sorting
Programming Entry Level: how to interpreter
dev.to·1d·
Discuss: DEV
🔗Lisp