👑 Isabelle/HOL

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

The IKEA Kitchen Cabinet Hack You’ll Use in Every Room
ikeahackers.net·5h
🏠Homelab Preservation
An Accurate and Rapidly Calibrating Speech Neuroprosthesis
nejm.org·19h·
Discuss: Hacker News
🎛️Cassette DSP
My attempt at replacing cloud services
i.redd.it·21h·
Discuss: r/homelab
🖥️Self-hosted Infrastructure
History of improvements in VACUUM in PostgreSQL (2023)
enterprisedb.com·21h·
Discuss: Lobsters, Hacker News
🗄️PostgreSQL WAL
Why transparency beats everything else in engineering
victoronsoftware.com·1d·
Discuss: Hacker News
👁️System Observability
Seeking Feedback on My AI Inference PC Build
reddit.com·1d·
Discuss: r/homelab
⚡Homebrew CPUs
Show HN: Generative Graphics LLM Benchmark
ggbench.com·4d·
Discuss: Hacker News
🖥️Terminal Emulators
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
From Days to Hours—Meet HyperQ, the Quantum Virtual Machines That Could Democratize Q-Computing
dev.to·17h·
Discuss: DEV
⚛️Quantum Archives
iota behaviours
reddit.com·1d·
Discuss: r/golang
🔤Type Theory
Sniffing and Injecting on 5G NR
github.com·1d·
Discuss: Hacker News
📼Cassette Hacking
Detecting Untargeted Attacks and Mitigating Unreliable Updates in Federated Learning for Underground Mining Operations
arxiv.org·13h
🌐WARC Mining
Hyperdimensional Molecular Logic for Multi-Disease Biomarker Signature Analysis
dev.to·2d·
Discuss: DEV
🧬Palindrome Codes
A Sub-Pixel Multimodal Optical Remote Sensing Images Matching Method
arxiv.org·13h
📄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·1d
🏢IBM Mainframes
Jules Zombie Agent: From Prompt Injection to Remote Control
embracethered.com·1d
🔓Hacking
MuaLLM: A Multimodal Large Language Model Agent for Circuit Design Assistance with Hybrid Contextual Retrieval-Augmented Generation
arxiv.org·3d
⚡Circuit Design