🧮 Datalog

Logic Programming, Database Queries, Recursive Rules, Knowledge Graphs

Should we preserve the pre-AI internet before it is contaminated?
newscientist.com·12h
🌡️Preservation Entropy
https://github.com/lldap/lldap
github.com·19h
🔒LDAP Security
The old Caveman Chemistry website
cavemanchemistry.com·1d·
Discuss: Hacker News
🧪Manuscript Chemistry
Writing the Perfect Question (2010)
codeblog.jonskeet.uk·4d·
Discuss: Hacker News
🔗Constraint Handling
Chess Llama - Training a tiny Llama model to play chess
lazy-guy.github.io·1d·
Discuss: Hacker News, r/LocalLLaMA, r/programming
👑Coq Tactics
Building a Dumber Team
dandreamsofcoding.com·2d·
Discuss: Hacker News
⚡Proof Automation
How my manager tricked us team into doing things: The Experiment Framework
danielsada.tech·7h·
Discuss: Hacker News
❄️Nix Flakes
How Distillation Makes AI Models Smaller and Cheaper
quantamagazine.org·3d·
Discuss: Hacker News, Hacker News, Hacker News
📊Quantization
Zamona.net – How We Built a Super-Fast Platform with 600,000+ Articles Using Laravel Octane
dev.to·5h·
Discuss: DEV
📡RSS Syndication
Ask HN: Looking for alpha testers for HRAM (asm)
news.ycombinator.com·1d·
Discuss: Hacker News
⚙️Modern Assembly
Arduino with Neo6m GPS Module
hackster.io·1d
🔌Single Board PC
From Angular Dev to AI Enthusiast: My 6-Year Journey Back to Web Basics and Beyond
dev.to·18h·
Discuss: DEV
🖥️Terminal Renaissance
Context Engineering for AI Agents: Lessons
manus.im·3d·
Discuss: Hacker News
⚡Incremental Computation
Advanced version of Gemini with Deep Think officially achieves gold-medal standard at the International Mathematical Olympiad
simonwillison.net·5h
🧮SMT Solvers
This Entire Article About AI Video Creation Was Made Without a Camera (The 8th Wonder Method)
dev.to·6h·
Discuss: DEV
🏛Digital humanities
Azoth: Objective-C UI library for SDL3
github.com·17h·
Discuss: Hacker News
📺Terminal UI
Top 5 AI Applications in Modern Work Environments
dev.to·14h·
Discuss: DEV
🌊Stream Processing
A Better Way to Estimate DynamoDB Costs
hackernoon.com·5h
🔄Sync Engine
Hierarchical Modeling (H-Nets)
cartesia.ai·6d·
Discuss: Hacker News
🌀Hyperbolic Geometry
Call Me a Jerk: Persuading AI to Comply with Objectionable Requests
gail.wharton.upenn.edu·1d·
Discuss: Hacker News
🔲Cellular Automata