🏛️ Isabelle HOL

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

Funding Open Source like public infrastructure
dri.es·2h
🔓Open Source Software
The WETC Double-Spend
blog.verichains.io·35m
🎫Kerberos Attacks
Valuable News – 2025/08/11
vermaden.wordpress.com·1d
🔌Operating system internals
Guess what else GPT-5 is bad at? Security
cyberscoop.com·16h
🔓Hacking
Show HN: A fun side project on chivalry and virtues
chivalrytest.online·8h·
Discuss: Hacker News
🔍Concolic Testing
Learn, Reflect, Apply, Prepare: The Four Daily Practices That Changed How I Live
opuslabs.substack.com·1d·
Discuss: Substack
⬜Minimalism
We Keep Reinventing CSS, but Styling Was Never the Problem
denodell.com·20h·
Discuss: Hacker News
🦋Format Metamorphosis
My brief overview of Cangjie Programming Language by Huawei
codeabbey.com·5d·
Discuss: Hacker News, r/programming
🔗Concatenative Programming
How Gemini CLI GitHub Actions is Changing Developer Workflows
devops.com·1d
📦Git LFS
NoPromptOS
github.com·2d·
Discuss: Hacker News
✅Archive Fixity
[P] VulkanIlm: Accelerating Local LLM Inference on Older GPUs Using Vulkan (Non-CUDA) — Benchmarks Included
reddit.com·1d·
Discuss: r/MachineLearning
💻Local LLMs
The GPT-5 Prompt Gap: The Hidden Reason Your AI Outputs Suck
hackernoon.com·2d
🖥️Modern Terminals
Building a Voting Machine Everyone Can Trust
usenix.org·2h
🔗Hash Chains
whats a good lightweight distro for tiny sandbox machines
reddit.com·2h·
Discuss: r/homelab
🔌Operating system internals
Automated Histone Modification Dynamics Modeling via Multi-Modal Data Integration
dev.to·2d·
Discuss: DEV
🧠Machine Learning
A Step-By-Step Guide to Install Qwen3 30B Locally
dev.to·1d·
Discuss: DEV
🖥️Terminal Renaissance
Redact: Real-Time AI-Powered Prompt Security Platform
dev.to·2d·
Discuss: DEV
⚡Redis Internals
Few-Shot Anomaly Detection in Manufacturing via Bayesian Hypernetwork Optimization
dev.to·22h·
Discuss: DEV
🧠Machine Learning
Automated Clinical Trial Protocol Optimization via Multi-Metric HyperScoring
dev.to·4d·
Discuss: DEV
🧠Intelligence Compression
What Happens When AI Gets Really Good at Programming?
dev.to·18h·
Discuss: DEV
🔄Language Evolution