👑 Isabelle/HOL

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

The IKEA Kitchen Cabinet Hack You’ll Use in Every Room
ikeahackers.net·7h
🏠Homelab Preservation
An Accurate and Rapidly Calibrating Speech Neuroprosthesis
nejm.org·21h·
Discuss: Hacker News
🎛️Cassette DSP
Playwright for Beginners: Quick-Start Automation
qa.tech·2d·
Discuss: Hacker News
⚡Proof Automation
Why transparency beats everything else in engineering
victoronsoftware.com·1d·
Discuss: Hacker News
👁️System Observability
The unexpected joy of Claude Code on your iPhone
clay.fyi·3d·
Discuss: Hacker News
🪟Awesome windows command-line
Show HN: An open-source,security first,local-first memory tool for AI assistants
news.ycombinator.com·2d·
Discuss: Hacker News
🌐WASI
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
iota behaviours
reddit.com·1d·
Discuss: r/golang
🔤Type Theory
Sniffing and Injecting on 5G NR
github.com·1d·
Discuss: Hacker News
📼Cassette Hacking
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·15h
📄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
original ↗
brooker.co.za·3d·
Discuss: Lobsters, Hacker News
💻Local LLMs
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