👑 Isabelle/HOL

Higher-order Logic, Formal Proofs, Mathematical Verification, Interactive Proving

Curly apostrophes on a mac
markjgsmith.com·2d
📟Terminal Typography
Retirement party
cameroncounts.wordpress.com·4d
⚔️Lean Theorem
Dynamo, DynamoDB, and Aurora DSQL
brooker.co.za·3d
🗄️Database Sharding
What is mathematics? A classification based on universals
ebellani.github.io·1d·
Discuss: Hacker News
🏛️Philosophy
Citybound: City building game, microscopic models to vividly simulate organism
aeplay.org·3d·
Discuss: Hacker News
🔲Cellular Automata
Claude Opus 4 and 4.1 can now end a rare subset of conversations
anthropic.com·2d·
Discuss: Hacker News, r/ClaudeAI
✨Effect Handlers
How OpenAI Misled You on RLHF
aerial-toothpaste-34a.notion.site·2d·
Discuss: Hacker News, r/LocalLLaMA
📊Learned Metrics
Migrating from Monolith to Serverless
news.ycombinator.com·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
SystemD Service Hardening
roguesecurity.dev·3h·
Discuss: Lobsters, Hacker News
🛡️eBPF Security
Wait Don't spawn that task – Comparing patterns for mutable state
taping-memory.dev·4d·
Discuss: Hacker News, Hacker News, r/programming
🦀Rust Borrowing
2025 One Hertz Challenge: STM32 Blinks In Under 50 Bytes
hackaday.com·1d
🎯Emulator Accuracy
Autonomous Microgravity Bone Density Augmentation via Bio-Acoustic Resonance Stimulation
dev.to·11h·
Discuss: DEV
🧲Magnetic Recording
Momentum Point-Perplexity Mechanics in Large Language Models
arxiv.org·5d
💻Programming languages
PersonaEval: Are LLM Evaluators Human Enough to Judge Role-Play?
arxiv.org·3d
🏛Digital humanities
The Zero-to-Agent Playbook
dev.to·4d·
Discuss: DEV
⚡Proof Automation
IADGPT: Unified LVLM for Few-Shot Industrial Anomaly Detection, Localization, and Reasoning via In-Context Learning
arxiv.org·3d
🧠Machine Learning
ViPE: Video Pose Engine for 3D Geometric Perception
arxiv.org·4h
📐Projective Geometry
TimeMachine: Fine-Grained Facial Age Editing with Identity Preservation
arxiv.org·4h
🏛Digital humanities
Real-Time Anomaly Detection in Semiconductor Wafer Inspection via Multi-Modal Fusion & HyperScore Validation
dev.to·2d·
Discuss: DEV
💿Optical Forensics
AI-Powered Defect Prediction & Mitigation in Additive Manufacturing of Turbine Blades
dev.to·1d·
Discuss: DEV
⚡Incremental Computation