🏛️ Isabelle HOL

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

CFP: Digitalisation and (Un)Sustainability: Assessing Digital Waste and Material Pollution in the City
archivespublishing.com·13h
🌍Cultural Computing
The ATLAS of Finite Groups is sound
thehighergeometer.wordpress.com·3d
🛡️Proof-Carrying Data
SENTRY: A Unified Framework for AI/AGI Risk and Defensive Engineering
krypt3ia.wordpress.com·1d
🎯Threat Hunting
CTFs as a Rosetta Stone
bhmt.dev·8h·
Discuss: Hacker News
🔓Hacking
Ask HN: Why LLMs confidently hallucinate instead of admitting knowledge cutoff?
news.ycombinator.com·1d·
Discuss: Hacker News
⚡Performance Mythology
Having Claude act as a desktop computer (2024)
paulrusso.org·1d·
Discuss: Hacker News
🖥️Terminal Emulators
Python Violates PEP 8
inventwithpython.com·7h·
Discuss: Hacker News
📏Code Metrics
Use the Accept Header to Serve Markdown Instead of HTML to LLMs
skeptrune.com·2d·
Discuss: Hacker News
🔗Hypermedia APIs
Effective context engineering for AI agents
anthropic.com·2d·
Discuss: Hacker News, Hacker News
🔗Constraint Handling
Fine-Grained Detection of Context-Grounded Hallucinations Using LLMs
arxiv.org·1d
🧮Kolmogorov Complexity
Day 20 of My 90 Days of Code Series – Basic Bank Account System in Python
dev.to·13h·
Discuss: DEV
⚡Effectful Programming
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
Beyond Overall Accuracy: A Psychometric Deep Dive into the Topic-Specific Medical Capabilities of 80 Large Language Models
arxiv.org·23h
🔍Information Retrieval
An Experiment with AI Assisted Web Development
dev.to·1d·
Discuss: DEV
🌐WASI
How I Built a Private, Multi-User “Chat with Your Documents” App That Runs 100% Offline
dev.to·8h·
Discuss: DEV
🤖Archive Automation
ScatterAD: Temporal-Topological Scattering Mechanism for Time Series Anomaly Detection
arxiv.org·23h
📈Time Series
GeoSketch: A Neural-Symbolic Approach to Geometric Multimodal Reasoning with Auxiliary Line Construction and Affine Transformation
arxiv.org·1d
🌀Differential Geometry
Dynamic Experts Search: Enhancing Reasoning in Mixture-of-Experts LLMs at Test Time
arxiv.org·1d
✓Automated Theorem Proving
Beyond Isolated Facts: Synthesizing Narrative and Grounded Supervision for VideoQA
arxiv.org·23h
📊Learned Metrics
FS-KAN: Permutation Equivariant Kolmogorov-Arnold Networks via Function Sharing
arxiv.org·23h
🧬Functional Programming