🏛️ Isabelle HOL

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

GNU libmicrohttpd2 Audit Complete!
ostif.org·7h
🧪Binary Fuzzing
Running your own HashDB lookup
cyber.wtf·17h
✅Archive Checksums
SENTRY: A Unified Framework for AI/AGI Risk and Defensive Engineering
krypt3ia.wordpress.com·1d
🎯Threat Hunting
Proving That There Are 3 People In Sacramento With EXACTLY The Same Number Of Hairs On Their Heads
youtube.com·1d
🔲Proof Irrelevance
CTFs as a Rosetta Stone
bhmt.dev·6h·
Discuss: Hacker News
🔓Hacking
Ask HN: Why LLMs confidently hallucinate instead of admitting knowledge cutoff?
news.ycombinator.com·1d·
Discuss: Hacker News
⚡Performance Mythology
More speculations on arenas in C++
nullprogram.com·13h·
Discuss: Lobsters, Hacker News, r/cpp
🔒Type Safety
Introducing tokenex: an open source Go library for fetching and refreshing cloud credentials
riptides.io·1d·
Discuss: r/golang
🔐PKI Archaeology
Show HN: Manta – open-source, graph-based IDE
news.ycombinator.com·9h·
Discuss: Hacker News
🔗Topological Sorting
Having Claude act as a desktop computer (2024)
paulrusso.org·1d·
Discuss: Hacker News
🖥️Terminal Emulators
The AI Trustworthiness Pareto: Balancing Compression, Accuracy, and Identifiability by Arvind Sundararajan
dev.to·5h·
Discuss: DEV
🧠Intelligence Compression
Do Repetitions Matter? Strengthening Reliability in LLM Evaluations
arxiv.org·21h
🧠Intelligence Compression
TabText: Language-Based Representations of Tabular Health Data for Predictive Modelling
arxiv.org·21h
🧠Machine Learning
Building a TypeScript Snake.io Game with Vue 3 and Claude Sonnet 4.5
dev.to·9h·
Discuss: DEV
💧Liquid Types
Profit over Proxies: A Scalable Bayesian Decision Framework for Optimizing Multi-Variant Online Experiments
arxiv.org·21h
🧮Kolmogorov Bounds
Leveraging Large Language Models for Robot-Assisted Learning of Morphological Structures in Preschool Children with Language Vulnerabilities
arxiv.org·1d
🤖Grammar Induction
Go (Golang) Basic (Bonus) Three Advanced Function Techniques
dev.to·2d·
Discuss: DEV
🎯Proof Tactics
High-level intuitions for the Bulletproofs/IPA protocol
cryptologie.net·4d
🎯Performance Proofs
Fine-Grained Detection of Context-Grounded Hallucinations Using LLMs
arxiv.org·1d
🧮Kolmogorov Complexity
Design and Implementation of a Secure RAG-Enhanced AI Chatbot for Smart Tourism Customer Service: Defending Against Prompt Injection Attacks -- A Case Study of ...
arxiv.org·1d
🎯Threat Hunting