🧮 Datalog

Logic Programming, Database Queries, Recursive Rules, Knowledge Graphs

Fun with MCP - an "O RLY?" Book Generator MCP Tool
chrisfrew.in·2d
📝Concrete Syntax
Rethinking Object-Oriented Programming in Java Education
max.xz.ax·2d·
Discuss: Hacker News, r/programming
💻Programming languages
Show HN: A modern alternative to traditional fantasy name generators
nomenus.io·1d·
Discuss: Hacker News
🌀Brotli Internals
Hacking Coroutines into C
wiomoc.de·1d·
Discuss: Lobsters, Hacker News, r/C_Programming, r/programming
✨Effect Handlers
MatrixTransformer – A Unified Framework for Matrix Transformations
news.ycombinator.com·15h·
Discuss: Hacker News
🕸️Tensor Networks
Transfer Learning and Mixup for Fine-Grained Few-Shot Fungi Classification
arxiv.org·1h
👁️Perceptual Hashing
Creating Synthetic Dialogues using RAG and Gemini
dev.to·2d·
Discuss: DEV
🏛Digital humanities
Towards Unified Neurosymbolic Reasoning on Knowledge Graphs
arxiv.org·6d
🧠Computational Logic
Learning to Unlearn: The Superpower Developers Need in the AI Era
dev.to·8h·
Discuss: DEV
🔄Language Evolution
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·3d·
Discuss: r/golang
🔗Concatenative Programming
My Journey into System Design: A Back-End Developer's Exploration
dev.to·1d·
Discuss: DEV
💾Persistence Strategies
25 Additional Problems -- Extension to the Book "125 Problems in Text Algorithms"
arxiv.org·5d
🔤Morris-Pratt
There might be a solution to lower training resources for AI training
dev.to·1d·
Discuss: DEV
📊Quantization
Partitioned Hybrid Quantum Fourier Neural Operators for Scientific Quantum Machine Learning
arxiv.org·1h
🕸️Tensor Networks
🧠 LoopNode: How OrKa Orchestrates Iterated Thought Until Agreement Emerges
dev.to·3d·
Discuss: DEV
📏Linear Logic
SFedKD: Sequential Federated Learning with Discrepancy-Aware Multi-Teacher Knowledge Distillation
arxiv.org·1h
🧠Machine Learning
ATC/OSDI'25 Technical Sessions
muratbuffalo.blogspot.com·2d·
Discuss: Hacker News
🔌Interface Evolution
VideoConviction: A Multimodal Benchmark for Human Conviction and Stock Market Recommendations
arxiv.org·1h
📊Learned Metrics
How Grok-4 Could Transform Optical Character Recognition (OCR)
dev.to·8h·
Discuss: DEV
🤖Advanced OCR
Intelligent Control of Spacecraft Reaction Wheel Attitude Using Deep Reinforcement Learning
arxiv.org·1h
✨Effect Handlers