🧮 Datalog

Logic Programming, Database Queries, Recursive Rules, Knowledge Graphs

Cauchy coup
leancrew.com·1d
📐Linear Algebra
Daily Log: The "Vibe Check" Protocol
whtwnd.com·2d·
Discuss: Hacker News
📻Homebrew Protocols
Why I Talk to Myself
elijahpotter.dev·19h·
Discuss: Hacker News
🌱Personal Wikis
How the Human Brain Is Wired for Romance
theatlantic.com·35m·
Discuss: Hacker News
⬜Minimalism
How to reason from first principles
caseyhandmer.wordpress.com·5d·
Discuss: Hacker News
🎯Proof Tactics
Quantum Shadows: The Dining Information Brokers
arxiv.org·15h
⚛️Quantum Information
Getting past LLM "day one" problem with MIRIX
fujimon.com·3d·
Discuss: Hacker News
💾Persistence Strategies
Unexpected inconsistency in records
codeblog.jonskeet.uk·2d·
Discuss: Hacker News
🛡️Proof-Carrying Archives
For Sale: LegalDeep AI — The Stress-Free Legal Automation SaaS (Pre-Revenue, Real Users, Massive Growth Potential)
dev.to·5h·
Discuss: DEV
🚀Indie Hacking
IP2: Entity-Guided Interest Probing for Personalized News Recommendation
arxiv.org·15h
👤Search Personalization
SkySense V2: A Unified Foundation Model for Multi-modal Remote Sensing
arxiv.org·15h
📊Learned Metrics
Learning Pluralistic User Preferences through Reinforcement Learning Fine-tuned Summaries
arxiv.org·15h
👤Search Personalization
The Generative Energy Arena (GEA): Incorporating Energy Awareness in Large Language Model (LLM) Human Evaluations
arxiv.org·3d
🧠Intelligence Compression
WordPecker: Open-Source Personalized Duolingo
news.ycombinator.com·21h·
Discuss: Hacker News
🌀Brotli Dictionary
The Power of HTML - Part 22: The Future of HTML: WebAssembly, AI Integration, and Predictions
dev.to·1d·
Discuss: DEV
🌐Web Standards
🚀 AI-Powered README Generator – Automatically Write Beautiful READMEs with Gemini + LangChain
dev.to·10h·
Discuss: DEV
🤖Archive Automation
Building with Bolt: My Journey Creating a Smart Task Manager with AI
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Just got it out together, so plz excuse the wiring!
reddit.com·5h·
Discuss: r/homelab
🔌Operating system internals
Dataset resulting from the user study on comprehensibility of explainable AI algorithms
arxiv.org·3d
🧠Machine Learning
Convergent transformations of visual representation in brains and models
arxiv.org·15h
🧠Neural Codecs