🏛️ Isabelle HOL

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

HTB Dog Walkthrough
infosecwriteups.com·1d
📟Terminal Forensics
basking in the grace of others
startingfromnix.com·21h·
Discuss: Hacker News
⬜Minimalism
Show HN: TinyExperiments – prototype for curiosity-driven personal experiments
tinyexperiments-landing.vercel.app·13h·
Discuss: Hacker News
⬜Minimalism
Faster, Fairer Payments for LATAM Creators on Clapper
hackernoon.com·9h
📰RSS Archaeology
Why Wall Street's AI Bet May Be Dead Wrong
investorplace.com·21h·
Discuss: Hacker News
🖥️Modern Terminals
Breaking through the Senior Engineer ceiling
incident.io·1d·
Discuss: Hacker News
🔐Capability Systems
AI must RTFM: Why tech writers are becoming context curators
passo.uno·2d·
Discuss: Lobsters, Hacker News
⚙️TLA+
An Explainable Machine Learning Framework for Railway Predictive Maintenance using Data Streams from the Metro Operator of Portugal
arxiv.org·3d
🧠Machine Learning
Quark’s Outlines: Python Floating Point Numbers
dev.to·1d·
Discuss: DEV
📐Error Bounds
From Wrangling Code to Taming Chaos: How Being a Software Engineer Made Me a Better Operator
hackernoon.com·3d
📏Code Metrics
Built Updo, a CLI website monitoring tool because I got tired of web dashboards
reddit.com·1d·
Discuss: r/linux
🔍eBPF
Blog Article:
dev.to·13h·
Discuss: DEV
📰Feed Readers
Evaluation of a Sign Language Avatar on Comprehensibility, User Experience \& Acceptability
arxiv.org·3d
🏛Digital humanities
Decision-Making with Deliberation: Meta-reviewing as a Document-grounded Dialogue
arxiv.org·3d
🔍Information Retrieval
G-UBS: Towards Robust Understanding of Implicit Feedback via Group-Aware User Behavior Simulation
arxiv.org·10h
🎛️Feed Filtering
GPT-5 Is Here: What It Really Means for Junior Developers (Like Me)
dev.to·2d·
Discuss: DEV
🔍Concolic Testing
Exploring AI Memory Architectures (Part 2): MemOS Framework
blog.lqhl.me·1d·
Discuss: Hacker News
⚡Hardware Transactional Memory
The Subtle Art of Herding Cats: Show, Don’t Tell: Teaching AI by Example (Part 2 of 4)
dev.to·4d·
Discuss: DEV
⚡Proof Automation
**Automated Generative Design Optimization via Hyperdimensional Feature Mapping and Bayesian Reinforcement Learning**
dev.to·4d·
Discuss: DEV
✨Effect Handlers
Automated Analysis of Caspase-3 Activity Fluctuations for Early Apoptosis Detection in Microfluidic Devices
dev.to·16h·
Discuss: DEV
📄Document Digitization