🏛️ Isabelle HOL

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

A Snapshot of IIIF 2025: Key Takeaways from the Annual Conference
dpconline.org·9h
🏛️PREMIS
The AI Security Dilemma: Navigating the High-Stakes World of Cloud AI
tenable.com·2h
🛡️CLI Security
My Ishmael
dothemath.ucsd.edu·1d
🔲Cellular Automata
Folk AI psychology and the limits of mechanistic interpretability
seangoedecke.com·17h
🔲Cellular Automata
Human-on-the-Loop: The New AI Control Model That Actually Works
thenewstack.io·2d
🔐Capability Systems
Project goals update — July 2025
blog.rust-lang.org·1d
🦀Rust Macros
Fun with MeshBlend
c0de517e.com·1d·
Discuss: Hacker News
📟Terminal Physics
The Model Is the Product
pleias.fr·4h·
Discuss: Hacker News
🔍Vector Forensics
cchistory: Tracking Claude Code System Prompt and Tool Changes
mariozechner.at·3d·
Discuss: Lobsters, Hacker News
🌳Incremental Parsing
How states are placing guardrails around AI in the absence of strong federal regulation
theconversation.com·4h·
Discuss: Hacker News
🤐Secure Multiparty
Learning About Threads: An Essential Guide for Developers
hackernoon.com·1d
🔩Systems Programming
Learning Next.JS and building a markdown note taking app w/ Firebase and FantaCSS.
dev.to·2d·
Discuss: DEV
🔗Concatenative Programming
Trip Helper App for Rocket.Chat 🚀 - GSoC 2025 Final Report
dev.to·3d·
Discuss: DEV
📱QR Archaeology
Psychological safety in software workplaces: A systematic literature review
arxiv.org·13h
🔐Capability Systems
What Is Your AI Agent Buying? Evaluation, Implications and Emerging Questions for Agentic E-Commerce
arxiv.org·1d
🔲Cellular Automata
Somatic in the East, Psychological in the West?: Investigating Clinically-Grounded Cross-Cultural Depression Symptom Expression in LLMs
arxiv.org·13h
🏛Digital humanities
AI Isn't Writing 90% of Your Code (But It Should Be Making You Money)
dev.to·1h·
Discuss: DEV
⚡Proof Automation
Python MVC Pattern
dev.to·21h·
Discuss: DEV
🦋Format Metamorphosis
Evaluation of 3D Counterfactual Brain MRI Generation
arxiv.org·13h
🏺Computational Archaeology
LLMs - Embeddings 01
dev.to·2d·
Discuss: DEV
🧮Vector Embeddings