👑 Isabelle/HOL

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

Australian lawyer apologizes for AI-generated errors in murder case
the-independent.com·2h
🔍Vector Forensics
My attempt at replacing cloud services
i.redd.it·13h·
Discuss: r/homelab
🖥️Self-hosted Infrastructure
The Past, Present and Future of Digital Knowledge Management: From Paper to AI-Enhanced Systems
dsebastien.net·26m
🧠Knowledge Management
Seeking Feedback on My AI Inference PC Build
reddit.com·16h·
Discuss: r/homelab
⚡Homebrew CPUs
An Accurate and Rapidly Calibrating Speech Neuroprosthesis
nejm.org·11h·
Discuss: Hacker News
🎛️Cassette DSP
History of improvements in VACUUM in PostgreSQL (2023)
enterprisedb.com·13h·
Discuss: Lobsters, Hacker News
🗄️PostgreSQL WAL
Why transparency beats everything else in engineering
victoronsoftware.com·20h·
Discuss: Hacker News
👁️System Observability
Show HN: Generative Graphics LLM Benchmark
ggbench.com·3d·
Discuss: Hacker News
🖥️Terminal Emulators
DeBackdoor: A Deductive Framework for Detecting Backdoor Attacks on Deep Models with Limited Data
usenix.org·2d
🔍Vector Forensics
From Days to Hours—Meet HyperQ, the Quantum Virtual Machines That Could Democratize Q-Computing
dev.to·9h·
Discuss: DEV
⚛️Quantum Archives
Show HN: Multi-agent AI orchestration – lessons from a build log
news.ycombinator.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
iota behaviours
reddit.com·1d·
Discuss: r/golang
🔤Type Theory
Sniffing and Injecting on 5G NR
github.com·19h·
Discuss: Hacker News
📼Cassette Hacking
Build a Serverless Distance Calculator on AWS (Amplify, Lambda, API Gateway & DynamoDB)
dev.to·2d·
Discuss: DEV
⚡gRPC
Long-Term Client Selection for Federated Learning with Non-IID Data: A Truthful Auction Approach
arxiv.org·1d
🧠Machine Learning
Fine-Grained Safety Neurons with Training-Free Continual Projection to Reduce LLM Fine Tuning Risks
arxiv.org·1d
💻Local LLMs
Agentic Coding a FastHTML RAG Eval App
elite-ai-assisted-coding.dev·3d·
Discuss: Hacker News
⚔️Lean Tactics
Detecting Untargeted Attacks and Mitigating Unreliable Updates in Federated Learning for Underground Mining Operations
arxiv.org·5h
🌐WARC Mining
A Sub-Pixel Multimodal Optical Remote Sensing Images Matching Method
arxiv.org·5h
📄OCR
How I Built ArchonCLI: A Free, Lightweight AI Coding CLI Tool for Developers on a Budget
dev.to·1d·
Discuss: DEV
🚀Indie Hacking