🏛️ Isabelle HOL

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

School of Architecture and Planning welcomes new faculty for 2025
news.mit.edu·15h
🧮Theoretical Computer Science
Arti 1.4.6 is released: Hidden Service resilience; work on flow control, Conflux, and CGO.
blog.torproject.org·2d
🔒Linear Types
Interest(s)
languagelog.ldc.upenn.edu·15h
🔤Morphological Analysis
A one-click link saver for HN to deal with Tab-pocalypse
arnipluseinn.com·1h·
Discuss: Hacker News
🚀Indie Hacking
How and Why to Ditch GitHub
taggart-tech.com·15h·
Discuss: Hacker News
🌳Git Internals
What Is a Belief (Part 2: Language, Truth, and Logic)
neonomos.substack.com·3d·
Discuss: Substack
🔲Proof Irrelevance
Artificial protein engineering advances through molecular level forecasting
phys.org·1d
⚡Incremental Computation
GitHub CEO: Future devs will not code, they will manage AI
theregister.com·2h
🔄Language Evolution
When vibe coding, isn't the source code the prompt?
boston.conman.org·2d·
Discuss: Lobsters, Hacker News
🔓Reverse engineering
The machines shouldn't be learning Python
ahmedsaoudi.com·13h·
Discuss: Hacker News
🔩Systems Programming
Claude Code vs. Cursor
open-data-analytics.medium.com·21h·
Discuss: Hacker News
🏗️Compiler Archaeology
Unplug, Mute, Avoid Investigating smart speaker users' privacy protection behaviours in Saudi Homes
arxiv.org·7h
🏠Home Automation
Wireless Penetration Testing Made Easy: Our Team’s Go-To Wifite Workflow
infosecwriteups.com·6h
📼Cassette Hacking
FLUX.1-Krea & the Rise of Opinionated Models
dbreunig.com·2d·
Discuss: Hacker News
🌈Color Science
RAIDX: A Retrieval-Augmented Generation and GRPO Reinforcement Learning Framework for Explainable Deepfake Detection
arxiv.org·7h
🔍Vector Forensics
How to Build a GenAI Application in 2025: A Technical Blueprint
dev.to·2d·
Discuss: DEV
🔄Reproducible Builds
Most AI Agents Are Just Fancy If Statements and That’s Fine
dev.to·18h·
Discuss: DEV
⚡Proof Automation
Automated Mineralogical Classification via Hyperspectral Data Fusion & Bayesian Inference
dev.to·12h·
Discuss: DEV
🏺Computational Archaeology
Centralized Dynamic State Estimation Algorithm for Detecting and Distinguishing Faults and Cyber Attacks in Power Systems
arxiv.org·2d
👁️System Observability
DACTYL: Diverse Adversarial Corpus of Texts Yielded from Large Language Models
arxiv.org·3d
🏛Digital humanities