📋 Datalog

Logic Programming, Recursive Queries, Static Analysis, Souffle

checking in - october/november
blog.avas.space·1h
🔗Concatenative
Flag this post
Show HN: I built an edge ML system to detect and classify trick-or-treaters
basecase.vc·1d·
Discuss: Hacker News
🔮Type Inference Visualization
Flag this post
Maestro – The orchestration engine that replicates human judgment
news.ycombinator.com·13h·
Discuss: Hacker News
📋Souffle Datalog
Flag this post
Do I want Coders to Code?
yeikoff.xyz·21h·
Discuss: Hacker News
🌳Tree Shaking
Flag this post
DSQL: Keeping Your Pager Quiet
brooker.co.za·2d
📈Query Optimization
Flag this post
Enforcing Architecture in an Agent-Driven Codebase
phoebe.work·1d·
Discuss: Hacker News
📦Monorepos
Flag this post
Is zig the programming language for me?
reddit.com·14h·
Discuss: r/Zig
⚡Zig
Flag this post
PhpStorm Plugins You Might Not Know
blog.jetbrains.com·3h
🌳Tree Shaking
Flag this post
Implementing JWT Authentication in Rust using Axum
dev.to·10h·
Discuss: DEV
⚙️Configuration Parsing
Flag this post
Logic-informed reinforcement learning for cross-domain optimization of large-scale cyber-physical systems
arxiv.org·15h
⚡Control Synthesis
Flag this post
Day 23: Python Positive Sum Function – Calculate the Sum of Positive Numbers in a List
dev.to·1d·
Discuss: DEV
🧩Prolog
Flag this post
From Zero to AI Agent: How I Built Codexa in 24 Hours with Mastra and Telex.im
github.com·13h·
Discuss: DEV
💬Interactive REPLs
Flag this post
AstuteRAG-FQA: Task-Aware Retrieval-Augmented Generation Framework for Proprietary Data Challenges in Financial Question Answering
arxiv.org·1d
📋Tablegen
Flag this post
[Research] Cross-Stage Vulnerabilities in Large Language Model Architectures
reddit.com·5h·
Discuss: r/LocalLLaMA
🎲Parser Fuzzing
Flag this post
QuantumBench: A Benchmark for Quantum Problem Solving
arxiv.org·15h
🏁Language Benchmarks
Flag this post
Why Agentic AI Struggles in the Real World — and How to Fix It
dev.to·9h·
Discuss: DEV
🔄Subinterpreters
Flag this post
New comment by xfalcox in "The Case Against PGVector"
github.com·1d·
Discuss: Hacker News
🌳B+ Trees
Flag this post
Introducing Spira - Making a Shell #0
github.com·1d·
Discuss: DEV
🌱Forth Kernels
Flag this post
Writing an LLM from scratch, part 27 – what's left, and what's next?
gilesthomas.com·19h·
Discuss: Hacker News
🔍ML Language
Flag this post
Building a Scalable API Event Logger using Pub/Sub, and BigQuery
dev.to·1d·
Discuss: DEV
📡Protocol Buffers
Flag this post