👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

Can a Domain-Specific Language Improve Program Structure Comprehension of Data Pipelines? A Mixed-Method Study [EMSE Journal]
dirkriehle.com·21h
🔤DSLs
Flag this post
Christoph Breitkopf: Interval Tables in Common Lisp
bokesan.blogspot.com·3d
🔗Lisp
Flag this post
FPGA Brings Antique Processor to Life
hackaday.com·2d
🔧FPGA Preservation
Flag this post
Codeminer42 Dev Weekly #87
blog.codeminer42.com·2d
📏Code Metrics
Flag this post
Show HN: Anytool – Give your LLM infinite tools with one API
anytoolhq.com·2d·
Discuss: Hacker News
🛡️Proof-Carrying Archives
Flag this post
WTF Is – AI-Native SAST?
parsiya.net·3d·
Discuss: Hacker News
⚡Proof Automation
Flag this post
Python For Exploit Development
dev.to·6h·
Discuss: DEV
🧪Binary Fuzzing
Flag this post
Argusee: A Multi-Agent Architecture for Automated Vulnerability Discovery
darknavy.org·1d·
Discuss: Hacker News
✅Archive Fixity
Flag this post
Speedrunning a CPU: RISC-V in a Week
daymare.net·5h·
Discuss: Hacker News, r/programming, r/rust
🖥️Game Emulation
Flag this post
Zig GUI from Scratch
vogt.world·1d·
Discuss: Hacker News
🔩Systems Programming
Flag this post
The Numbers Rant
sniffnoy.dreamwidth.org·15h·
Discuss: Hacker News
⚔️Lean Theorem
Flag this post
Automated Quality Assurance for Hyper-Personalized Digital Twins in Remote Healthcare Delivery
dev.to·6h·
Discuss: DEV
⚙️Proof Engineering
Flag this post
I implemented an ISO 42001-certified AI Governance program in 6 months
beabytes.com·23h·
Discuss: Hacker News
🔐Capability Systems
Flag this post
Building an AI-Powered Log Analyser with RAG
dev.to·2d·
Discuss: DEV
🤖Archive Automation
Flag this post
Refactoring Legacy: Part 1 - DTO's & Value Objects
clegginabox.co.uk·20h·
Discuss: r/programming
🔐CBOR
Flag this post
Tool-Calling Agents on Laptop Intel Arc GPUs: Dockerizing Qwen3-8B with Ipex-LLM
yourlabs.org·2d·
Discuss: Hacker News
⚙️WASM Runtime
Flag this post
How I Created My Own Prompt Library on GitHub (And Why Every Developer Should Too)
dev.to·12h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Shattering the Illusion: Maker Achieves Million-Step, Zero-Error LLM Reasoning
cognizant.com·17h·
Discuss: Hacker News
🎯Performance Proofs
Flag this post
Kimi K2 Thinking vs. Claude 4.5 Sonnet vs. GPT-5 Codex: Tested the best models for agentic coding
dev.to·2d·
Discuss: DEV
✅Archive Fixity
Flag this post
How to Automate Workflows with AI
towardsdatascience.com·1d
🤖Archive Automation
Flag this post