👑 Isabelle/HOL

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

Seeking Feedback on My AI Inference PC Build
reddit.com·2h·
Discuss: r/homelab
⚡Homebrew CPUs
The Precision Engine: Why Agentic RAG Is GenAI’s Next Leap
thenewstack.io·2d
🌊Stream Processing
Save memory and CPU with an interning cache
chrispenner.ca·2d
⚡Cache Theory
Playwright for Beginners: Quick-Start Automation
qa.tech·1d·
Discuss: Hacker News
⚡Proof Automation
Why transparency beats everything else in engineering
victoronsoftware.com·6h·
Discuss: Hacker News
👁️System Observability
Show HN: Multi-agent AI orchestration – lessons from a build log
news.ycombinator.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
MInDI-3D: Iterative Deep Learning in 3D for Sparse-view Cone Beam Computed Tomography
arxiv.org·15h
🏺Computational Archaeology
Harmonic balance-automatic differentiation method: an out-of-the-box and efficient solver for general nonlinear dynamics simulation
arxiv.org·2d
📐Interval Arithmetic
Automated Regulatory Compliance Verification for Radiological Safety Protocols via Bayesian Network Optimization
dev.to·1d·
Discuss: DEV
✅Format Verification
Inline Caching (2021)
bernsteinbear.com·1d·
Discuss: Hacker News
🏗️Compiler Archaeology
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
Cactus Language • Pragmatics 11
inquiryintoinquiry.com·5d
📝Concrete Syntax
Opencode Tool Review (is this the Open-Source answer to Claude Code?)
elite-ai-assisted-coding.dev·7h·
Discuss: Hacker News
🔓Open Source Software
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·15h
🔍Semantic Search
Dynamic Semantic Command Understanding via Graph-Augmented Reasoning and Reinforcement Learning
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
Block encoding the 3D heterogeneous Poisson equation with application to fracture flow
arxiv.org·2d
⚛️Quantum Codecs