Logic Programming, Query Languages, Graph Algorithms, Analysis

Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·2d
λFunctional Programming
Flag this post
Structured data access layer for AI agents
docs.pylar.ai·3h·
Discuss: Hacker News
ClickHouse
Flag this post
Ranking LLMs based on 180k French votes (French government's AI arena)
comparia.beta.gouv.fr·1d·
🔢Homomorphic Encryption
Flag this post
We built a collaboration platform on Claude Code. Here's what we learned.
gbase.ai·20h·
Discuss: r/ClaudeAI
🤖Automation
Flag this post
DynamoDB outage analysis and asking experts for timelines
buttondown.com·7h·
Discuss: Hacker News
💰TigerBeetle
Flag this post
Disciplined Biconvex Programming
arxiv.org·1d
📊Dynamic Programming
Flag this post
Ask HN: What made you improve your logical reasoning?
news.ycombinator.com·21h·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
Automated REST API Anomaly Detection via Graph Neural Network-Driven Causal Inference
dev.to·1h·
Discuss: DEV
📱Edge AI
Flag this post
Mind’s Eye Flow Engine — Turning Postgres Into a Thinking System
dev.to·1d·
Discuss: DEV
💰TigerBeetle
Flag this post
I've created a leetcode for system design
reddit.com·6h·
Discuss: r/programming
🎨Design Systems
Flag this post
Logic-informed reinforcement learning for cross-domain optimization of large-scale cyber-physical systems
arxiv.org·1d
💬Prompt Engineering
Flag this post
How Transformer Models Detect Anomalies in System Logs
hackernoon.com·2d
🔍eBPF
Flag this post
How Hidden Code Decides Who's in Charge: The Silent Governance of AI Through Function-Calling Schemas
dev.to·6h·
Discuss: DEV
🎭Program Synthesis
Flag this post
How to Build a RAG Solution with Llama Index, ChromaDB, and Ollama
dev.to·12h·
Discuss: DEV
🔍RAG
Flag this post
BRAINS: A Retrieval-Augmented System for Alzheimer's Detection and Monitoring
arxiv.org·15h
💬Natural Language Processing
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·23h
λFunctional Programming
Flag this post
Sherlock: Reliable and Efficient Agentic Workflow Execution
arxiv.org·1d
📐TLA+
Flag this post
Context Engineering: The New Skill for Working with AI Agents
benr.build·6h·
Discuss: Hacker News
💬Prompt Engineering
Flag this post
Building MeridianDB: Solving AI's Memory Crisis with Multi-Dimensional RAG
dev.to·11h·
Discuss: DEV
📱Edge AI
Flag this post
LLM-Driven Cost-Effective Requirements Change Impact Analysis
arxiv.org·1d
📊Profile-Guided Optimization
Flag this post