🏛️ Isabelle HOL

Higher-order Logic, Proof Development, Mathematical Foundations, Interactive Verification

Function-level Basic Block Analysis
binary.ninja·4d
⚙️RISC-V Microcode
Project Hydra: Improving state resolution in Matrix
matrix.org·3d·
Discuss: Lobsters, Hacker News
🤝Paxos Consensus
<p>Released version 1.3.1 of <a href="https://postlist.micro.blog/">Postlists for Micro.blog</a>. Notable changes in this release are:</p>
lmika.org·1d
📰RSS Feed Discovery
M5 Grader: Low-Cost Open-Source Fruit Sorting Scale
hackster.io·7h
📄Document Digitization
Why the Sketch.dev Integrity Breach Demands Human Accountability
flyingpenguin.com·3d·
Discuss: Hacker News
🔐Capability Systems
Concerning the Responsible Use of AI in the U.S. Criminal Justice System
cacm.acm.org·3d·
Discuss: Hacker News
🔍Vector Forensics
Trackable Flask API using EventSource
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
Show HN: Multi-agent AI orchestration – lessons from a build log
news.ycombinator.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
How I Built a Simple AI Text Summarizer in Python
dev.to·19h·
Discuss: DEV
🌀Brotli Internals
Careerflow AI Promo Code "ARCHANA10" – Instantly Slash 70% Off All Premium Plans
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Three AI Futures
cacm.acm.org·1d·
Discuss: Hacker News
🔲Cellular Automata
The Vibe Trap: How AI "Vibe Coding" is Quietly Undermining Junior Developers' Careers
dev.to·23h·
Discuss: DEV
📏Code Metrics
Building Four Dog Paws: the story, the code, the challenges, and the roadmap
dev.to·3d·
Discuss: DEV
📊Feed Optimization
Comparative study of machine learning and statistical methods for automatic identification and quantification in {\gamma}-ray spectrometry
arxiv.org·4d
🌈Spectroscopy
Personalized Feature Translation for Expression Recognition: An Efficient Source-Free Domain Adaptation Method
arxiv.org·3d
📊Learned Metrics
DualPhys-GS: Dual Physically-Guided 3D Gaussian Splatting for Underwater Scene Reconstruction
arxiv.org·3d
📐Projective Geometry
Resurrecting the Salmon: Rethinking Mechanistic Interpretability with Domain-Specific Sparse Autoencoders
arxiv.org·3d
💻Local LLMs
Unlocking Robust Semantic Segmentation Performance via Label-only Elastic Deformations against Implicit Label Noise
arxiv.org·2d
🌀Riemannian Computing
Go Interfaces - Beyond the Basics
dev.to·4d·
Discuss: DEV
💧Liquid Types
Show HN: Persistent Mind Model – Portable AI Personas for Any LLM
github.com·5d·
Discuss: Hacker News, r/LLM
💻Local LLMs