🧮 Datalog

Logic Programming, Database Queries, Recursive Rules, Knowledge Graphs

Optimizing to Remove Political Bias from AI Models Removes Other Types of Bias
askrally.com·2d·
Discuss: Hacker News
📊Feed Optimization
Cashfree Payments Saved 160 Hours of Manual Testing with Generative AI
tech.cashfree.com·9h·
Discuss: Hacker News
🔍Concolic Testing
Bring Your Own MCP
jonwoodlief.com·1d·
Discuss: Hacker News
⚡gRPC
Editor Code Assistant (ECA)
github.com·2h·
Discuss: Hacker News
📐Proof Assistants
Caught a vibe that this coding trend might cause problems
theregister.com·3h·
Discuss: Hacker News
🚀Indie Hacking
Yet another study finds that overloading LLMs with information leads to worse results
the-decoder.com·3d
🚀SIMD Text Processing
Hi, my name is u/crazyclown87, and I'm a homelabaholic
reddit.com·2h·
Discuss: r/homelab
🖥️Terminal Renaissance
Test-Time-Matching: Decouple Personality, Memory, and Linguistic Style in LLM-based Role-Playing Language Agent
arxiv.org·2d
🧠Intelligence Compression
The Hidden Risk in ERP Automation: How One Bad Sentence Can Cost Your Company Millions
hackernoon.com·2d
⚡Proof Automation
Reinforcement Learning for Accelerated Aerodynamic Shape Optimisation
arxiv.org·12h
⚡Incremental Computation
Signs of the Past, Patterns of the Present: On the Automatic Classification of Old Babylonian Cuneiform Signs
arxiv.org·4d
🤖Paleographic ML
Maybe (personal finance app) v0.6.0, post-mortem
github.com·6h·
Discuss: Hacker News
🔍BitFunnel
Slices, Prices & Python
dev.to·4d·
Discuss: DEV
🔗Concatenative Programming
VideoMind: An Omni-Modal Video Dataset with Intent Grounding for Deep-Cognitive Video Understanding
arxiv.org·12h
📊Learned Metrics
RAG vs Fine-Tuning: Which One Wins the Cost Game Long-Term?
dev.to·1d·
Discuss: DEV
🌊CBOR Streaming
Roseau: Fast, Accurate, Source-based API Breaking Change Analysis in Java
arxiv.org·1d
🧬Bitstream Evolution
✨ A Small Update: RAG Pitfalls, Unexpected Endorsement, and That Feeling of Fighting Ghosts with FAISS
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Home Server
reddit.com·4h·
Discuss: r/homelab
🏠HomeLab
Self-Supervised Distillation of Legacy Rule-Based Methods for Enhanced EEG-Based Decision-Making
arxiv.org·3d
🧠Neural Codecs
The Impact of Language Mixing on Bilingual LLM Reasoning
arxiv.org·3d
💻Local LLMs