🧮 Datalog

Logic Programming, Database Queries, Recursive Rules, Knowledge Graphs

UK Government Recruiting Puzzle
mindyourdecisions.com·2h
🔲Cellular Automata
Why is actual implementation time often reported in whole hours?
shape-of-code.com·12h
📏Code Metrics
Interacting with an unreliable process
mbork.pl·4h
🐚Bash FP
Zero-cost statics in C++
cofault.com·6h
🦀Rust Macros
Mill: A Better Build Tool for Java, Scala, & Kotlin
mill-build.org·1d·
Discuss: Hacker News
🔄Reproducible Builds
Rethinking Object-Oriented Programming in Java Education
max.xz.ax·2d·
Discuss: Hacker News, r/programming
💻Programming languages
Show HN: Sumble – knowledge graph for GTM data – query tech stack, key projects
sumble.com·5d·
Discuss: Hacker News
🕸️Neo4j
A deep dive into deeply recursive Go
mattermost.com·2d·
Discuss: Hacker News
⬆️Lambda Lifting
Show HN: A modern alternative to traditional fantasy name generators
nomenus.io·1d·
Discuss: Hacker News
🌀Brotli Internals
[R] Deep-dive into RoPE and why it matters
reddit.com·21h·
Discuss: r/MachineLearning
🦠Parasitic Compression
Transfer Learning and Mixup for Fine-Grained Few-Shot Fungi Classification
arxiv.org·6h
👁️Perceptual Hashing
Creating Synthetic Dialogues using RAG and Gemini
dev.to·3d·
Discuss: DEV
🏛Digital humanities
⚡ Special Features of Mojo: The Python Killer?
dev.to·2h·
Discuss: DEV
💧Liquid Types
My Journey into System Design: A Back-End Developer's Exploration
dev.to·1d·
Discuss: DEV
💾Persistence Strategies
Towards Unified Neurosymbolic Reasoning on Knowledge Graphs
arxiv.org·6d
🧠Computational Logic
The Engineering Challenge That Almost Killed Our AI Startup: Inference Costs
dev.to·1h·
Discuss: DEV
📊Feed Optimization
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
25 Additional Problems -- Extension to the Book "125 Problems in Text Algorithms"
arxiv.org·5d
🔤Morris-Pratt
🧠 LoopNode: How OrKa Orchestrates Iterated Thought Until Agreement Emerges
dev.to·3d·
Discuss: DEV
📏Linear Logic
Partitioned Hybrid Quantum Fourier Neural Operators for Scientific Quantum Machine Learning
arxiv.org·6h
🕸️Tensor Networks