🏛️ Isabelle HOL

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

Detection Engineering: Practicing Detection-as-Code – Repository – Part 2
blog.nviso.eu·2d
🔄Reproducible Builds
NKTg Law: Experimental Verification of Planetary Mass Using
hackster.io·16h
⚡Proof Automation
Some Early Tests and Notes on ChatGPT Agent
macstories.net·4h
🎙️Whisper
Visualising the Trade Lifecycle - Phase 1 - Building a React SPA with Multiple AIs
blog.scottlogic.com·2d
🔌Interface Evolution
Mapping Out the Library of Babel
carlnewton.github.io·4h·
Discuss: Hacker News
📚MARC Archaeology
Test Code Like Zelda: When to Implement Automated Testing
usetusk.ai·23h·
Discuss: Hacker News
🔍Concolic Testing
Maybe writing speed actually is a bottleneck for programming
buttondown.com·2d·
Discuss: Hacker News
📏Code Metrics
🎬 Introducing Ravgeek: Dev Concepts in 60 Seconds
dev.to·18h·
Discuss: DEV
🏺ZIP Archaeology
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.org·2d
💻Programming languages
🛡️ Paladin-mini: Open-Source Grounding Model That Actually Works in Production
dev.to·2d·
Discuss: DEV
⚡Proof Automation
The Generative Energy Arena (GEA): Incorporating Energy Awareness in Large Language Model (LLM) Human Evaluations
arxiv.org·1d
🧠Intelligence Compression
🚀 Why You Should Never Settle for a ₹20,000 Freelance Website Again
dev.to·15h·
Discuss: DEV
🚀Indie Hacking
I'm Switching to Python and Actually Liking It
cesarsotovalero.net·3d·
Discuss: Hacker News
🌀Brotli Internals
Day 28/100: List Comprehensions in Python
dev.to·1d·
Discuss: DEV
📝Concrete Syntax
Funnel-HOI: Top-Down Perception for Zero-Shot HOI Detection
arxiv.org·1d
🤖Advanced OCR
Machine Learning Fundamentals: ensemble learning example
dev.to·4h·
Discuss: DEV
🌊Stream Processing
I've been coding with AI for two years. Here is what I've learned
nathanpeck.com·2d·
Discuss: Hacker News
💾Persistence Strategies
The Impact of Prompt Bloat on LLM Output Quality
mlops.community·2d·
Discuss: Hacker News
✨Effect Handlers
The .a File Is a Relic: Why Static Archives Were a Bad Idea All Along
medium.com·12h·
Discuss: Hacker News, r/C_Programming
🔗Static Linking
Dual-Numbers Reverse AD for Functional Array Languages
arxiv.org·1d
📊APL Heritage