🏛️ Isabelle HOL

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

Authenticate Update 38211: Introducing the Perspective Filter, Improvements to the Video Mode, and More!
blog.ampedsoftware.com·1d
📐Projective Geometry
Talking robots learn to manage human interruptions
hub.jhu.edu·3h·
Discuss: Hacker News
🤖AI Curation
The Untold Impact of Cancellation
pretty.direct·11h·
Discuss: Hacker News
🎯Gradual Typing
2000 words about arrays and tables
buttondown.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🗂Data structures
Forcing LLMs to be evil during training can make them nicer in the long run
technologyreview.com·23h·
Discuss: r/technews
🎯Gradual Typing
Coding agents provide fast data visualization tools
mnky9800n.substack.com·1d·
Discuss: Substack
🏛Digital humanities
Prioritise the Highest Order Bit
commoncog.com·2d·
Discuss: Hacker News
📏Code Metrics
Self-Hosting AI Models After Claude's Usage Limits
steipete.me·1d·
Discuss: Hacker News
⚡Homebrew CPUs
The way Rust crates tend to have a single, huge error enum worries me
reddit.com·9h·
Discuss: r/rust
🔒Type Safety
GenAI vs. Agentic AI: What Developers Need to Know
docker.com·1d
🎙️Whisper
Latest Python Certifications: From Fresher to Data Analyst in 2025
dev.to·8h·
Discuss: DEV
⚙️Proof Engineering
You’re Building AI Apps Backwards: The Model-Product Problem
thenewstack.io·1d
🔌Interface Evolution
LLM-Adapted Interpretation Framework for Machine Learning Models
arxiv.org·2d
💻Local LLMs
3D game created with AI
dev.to·1d·
Discuss: DEV
🖥️Terminal Renaissance
Why Data Engineering Is the Backbone of AI Today
dev.to·14h·
Discuss: DEV
🌊Stream Processing
A novel language model for predicting serious adverse event results in clinical trials from their prospective registrations
arxiv.org·19h
🎵Audio ML
Don't Expose Your IDs: An Introduction to Obfuskey in Python
dev.to·1d·
Discuss: DEV
🧪Binary Fuzzing
StaffPro: an LLM Agent for Joint Staffing and Profiling
arxiv.org·2d
📚Digital Humanities
Text2VLM: Adapting Text-Only Datasets to Evaluate Alignment Training in Visual Language Models
arxiv.org·3d
🎙️Whisper
IaCConf 2025: Automate All the Things Panel Discussion
blog.tedivm.com·2d
⚙️Proof Engineering