👑 Isabelle/HOL

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

The Past, Present and Future of Digital Knowledge Management: From Paper to AI-Enhanced Systems
dsebastien.net·2h
🧠Knowledge Management
Seeking Feedback on My AI Inference PC Build
reddit.com·18h·
Discuss: r/homelab
⚡Homebrew CPUs
Save memory and CPU with an interning cache
chrispenner.ca·3d
⚡Cache Theory
Playwright for Beginners: Quick-Start Automation
qa.tech·1d·
Discuss: Hacker News
⚡Proof Automation
DeBackdoor: A Deductive Framework for Detecting Backdoor Attacks on Deep Models with Limited Data
usenix.org·2d
🔍Vector Forensics
Show HN: Multi-agent AI orchestration – lessons from a build log
news.ycombinator.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Detecting Untargeted Attacks and Mitigating Unreliable Updates in Federated Learning for Underground Mining Operations
arxiv.org·7h
🌐WARC Mining
Automated Microbial Contamination Detection in Cleanrooms via Spectral Deconvolution & Deep Reinforcement Learning
dev.to·1d·
Discuss: DEV
📄Document Digitization
A Sub-Pixel Multimodal Optical Remote Sensing Images Matching Method
arxiv.org·7h
📄OCR
How I Built ArchonCLI: A Free, Lightweight AI Coding CLI Tool for Developers on a Budget
dev.to·1d·
Discuss: DEV
🚀Indie Hacking
Domain-Specific Fine-Tuning and Prompt-Based Learning: A Comparative Study for developing Natural Language-Based BIM Information Retrieval Systems
arxiv.org·4d
🔍Information Retrieval
Harnessing AI's potential on the mainframe
techradar.com·21h
🏢IBM Mainframes
MuaLLM: A Multimodal Large Language Model Agent for Circuit Design Assistance with Hybrid Contextual Retrieval-Augmented Generation
arxiv.org·3d
⚡Circuit Design
Normative Moral Pluralism for AI: A Framework for Deliberation in Complex Moral Contexts
arxiv.org·2d
🔲Cellular Automata
DevNous: An LLM-Based Multi-Agent System for Grounding IT Project Management in Unstructured Conversation
arxiv.org·2d
💻Programming languages
Securely launch and scale your agents and tools on Amazon Bedrock AgentCore Runtime
aws.amazon.com·1d
🌊Streaming Systems
DualPhys-GS: Dual Physically-Guided 3D Gaussian Splatting for Underwater Scene Reconstruction
arxiv.org·1d
📐Projective Geometry
AI Security Map: Holistic Organization of AI Security Technologies and Impacts on Stakeholders
arxiv.org·2d
🔍Vector Forensics
Empirical Investigation into Configuring Echo State Networks for Representative Benchmark Problem Domains
arxiv.org·7h
📊Quantization
How to Tame Your AI Agents: From $900 in 18 Days to Coding Smarter
dev.to·2d·
Discuss: DEV
📏Code Metrics