🏛️ Isabelle HOL

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

Counting sums of squares
johndcook.com·14h
📐Error Bounds
Gloom and Despair -- LaTeX Edition
slott56.github.io·22h
📄PostScript
Updates 2025 H1
mudkip.me·1d
🔌Operating system internals
The Month of AI Bugs 2025
embracethered.com·1d
🔓Hacking
ChatGPT can be a disaster for lawyers — Robin AI says it can fix that
theverge.com·1d
⚡Proof Automation
Wednesday 30 July, 2025
memex.naughtons.org·12h
🔲Cellular Automata
Communicate like a Senior: Add the (right) context
read.highgrowthengineer.com·2d
🌳Incremental Parsing
Your Signal, Their Data: Privacy Analysis of Wireless-Scanning SDKs in Android
dspace.networks.imdea.org·16h·
Discuss: Hacker News
📦Container Security
Build Custom ActiveStorage Analyzers for Ruby on Rails
blog.appsignal.com·1h·
Discuss: Hacker News
🏺ZIP Archaeology
Playing with Gemini CLI: Riddles, Magic and Some Security Vibes
veganmosfet.github.io·3d·
Discuss: Hacker News
⚡Proof Automation
Unleashing the Editing Superpower of Emacs
yummymelon.com·14h·
Discuss: Hacker News
📟Terminal Typography
How graph thinking empowers agentic AI
datasciencecentral.com·20h
🗺️Competency Maps
Structure-Preserving Discretization and Model Reduction for Energy-Based Models
arxiv.org·8h
⚛️Information Physics
SoK: A Systematic Review of Context- and Behavior-Aware Adaptive Authentication in Mobile Environments
arxiv.org·8h
🎯Threat Hunting
Subliminal Learning: Language models transmit behavioral traits via hidden
arxiviq.substack.com·20h·
Discuss: Substack
🤖Grammar Induction
DxHF: Providing High-Quality Human Feedback for LLM Alignment via Interactive Decomposition
arxiv.org·2d
🧠Intelligence Compression
Hierarchical Game-Based Multi-Agent Decision-Making for Autonomous Vehicles
arxiv.org·8h
🔲Cellular Automata
Project Go: From Zero to Deploy -(Project 1)
dev.to·4h·
Discuss: DEV
🔌Interface Evolution
AI Code Assistants Are Changing How We Code in 2025
dev.to·18h·
Discuss: DEV
🔄Language Evolution
DeepWiki - AI Documentation That Talks Back: Revolutionizing Developer Resources
dev.to·7h·
Discuss: DEV
🌀Brotli Internals