👑 Isabelle/HOL

Higher-order Logic, Formal Proofs, Mathematical Verification, Interactive Proving

The Precision Engine: Why Agentic RAG Is GenAI’s Next Leap
thenewstack.io·2d
🌊Stream Processing
Looking for a simple load balancer for my homelab, anyone tried this?
github.com·5h·
Discuss: r/homelab
🏠HomeLab
Two sizes fit most: PostgreSQL and ClickHouse
about.gitlab.com·21h·
Discuss: Hacker News
🗄️Database Internals
Sharded Is Not Distributed: What You Should Know When PostgreSQL Is Not Enough
medium.com·5h·
Discuss: Hacker News
🗄️Database Sharding
Our DevOps stack and recent improvements
ngrok.com·7h·
Discuss: Hacker News
❄️Nix Flakes
Between Fear and Desire, the Monster Artificial Intelligence (AI): Analysis through the Lenses of Monster Theory
arxiv.org·1d
🔲Cellular Automata
Build a Serverless Distance Calculator on AWS (Amplify, Lambda, API Gateway & DynamoDB)
dev.to·2d·
Discuss: DEV
⚡gRPC
Automated Regulatory Compliance Verification for Radiological Safety Protocols via Bayesian Network Optimization
dev.to·1d·
Discuss: DEV
✅Format Verification
AI Is Different
antirez.com·1d·
Discuss: Hacker News
🤖AI Curation
Sub-field Selected: **Automated Protocol Generation for Cell-Free Protein Synthesis**
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Domain-Specific Fine-Tuning and Prompt-Based Learning: A Comparative Study for developing Natural Language-Based BIM Information Retrieval Systems
arxiv.org·3d
🔍Information Retrieval
Automated Semantic Graph Validation via Differentiated Hyper-Score Assessment
dev.to·3d·
Discuss: DEV
🔗Constraint Handling
Multimodal LLM-based Query Paraphrasing for Video Search
arxiv.org·19h
🔍Semantic Search
Automated Microbial Contamination Detection in Cleanrooms via Spectral Deconvolution & Deep Reinforcement Learning
dev.to·13h·
Discuss: DEV
📄Document Digitization
Block encoding the 3D heterogeneous Poisson equation with application to fracture flow
arxiv.org·2d
⚛️Quantum Codecs
Fine-Grained Safety Neurons with Training-Free Continual Projection to Reduce LLM Fine Tuning Risks
arxiv.org·19h
💻Local LLMs
Dynamic Semantic Command Understanding via Graph-Augmented Reasoning and Reinforcement Learning
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
Agentic Coding a FastHTML RAG Eval App
elite-ai-assisted-coding.dev·3d·
Discuss: Hacker News
⚔️Lean Tactics
How I Built ArchonCLI: A Free, Lightweight AI Coding CLI Tool for Developers on a Budget
dev.to·18h·
Discuss: DEV
🚀Indie Hacking
Harnessing AI's potential on the mainframe
techradar.com·9h
🏢IBM Mainframes