👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

AI Enshittification: Swiss Airlines Edition
blog.ipspace.net·9h
💾Persistence Strategies
Flag this post
When Reading the Source Code Is the Real Hack: A Web Challenge Story | v1t CTF
infosecwriteups.com·2d
🔓Hacking
Flag this post
Lifting Kotlin Testing: Comparing JUnit, Kotlin-Test, Kotest, Prepared and Test
ivan.canet.dev·1d·
Discuss: Lobsters, Hacker News
🔍Concolic Testing
Flag this post
Show HN: Minivac 601 Simulator
minivac.greg.technology·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/computers
📼Tape Simulation
Flag this post
The Numbers Rant
sniffnoy.dreamwidth.org·1d·
Discuss: Hacker News
⚔️Lean Theorem
Flag this post
I implemented an ISO 42001-certified AI Governance program in 6 months
beabytes.com·1d·
Discuss: Hacker News
🔐Capability Systems
Flag this post
Why Castrol Honda Superbike crashes on (most) modern systems
seri.tools·19h·
Discuss: Hacker News
🎯Emulation Accuracy
Flag this post
Bloom filters: the niche trick behind a 16× faster API
incident.io·1d·
Discuss: Hacker News, r/programming
🌸Bloom Variants
Flag this post
How to Automate Workflows with AI
towardsdatascience.com·2d
🤖Archive Automation
Flag this post
How to Be Productive, Deliver More, and Get Ahead With AI (Without Burning Out) — A Senior Frontend Developer’s Perspective
dev.to·1h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Python by Structure: The For/Else Block You Didn't Know Existed
dev.to·2d·
Discuss: DEV
💻Programming languages
Flag this post
Conquering Complexity: Massively Parallel Game Solving
dev.to·1d·
Discuss: DEV
🎯Performance Proofs
Flag this post
Tech With Tim: Python Skills You NEED Before Machine Learning
dev.to·1d·
Discuss: DEV
🎵Audio ML
Flag this post
The Secret Life of Python: Metaclass Secrets - Classes That Create Classes
dev.to·2d·
Discuss: DEV
🔤Type Theory
Flag this post
Privacy Challenges and Solutions in Retrieval-Augmented Generation-Enhanced LLMs for Healthcare Chatbots: A Review of Applications, Risks, and Future Directions
arxiv.org·11h
💻Local LLMs
Flag this post
[Beginner]Looking for code buddy to make projects in rust
reddit.com·2d·
Discuss: r/rust
🦀Rust Macros
Flag this post
Unlocking AI Potential: Massively Parallel Search for Complex Problems
dev.to·21h·
Discuss: DEV
⚡Parallel Computing
Flag this post
Show HN: AI-built tools with security by default
news.ycombinator.com·4d·
Discuss: Hacker News
⚡Proof Automation
Flag this post
Is this a Monad?
reddit.com·3d·
Discuss: r/rust
🧬Functional Programming
Flag this post
CVChess: A Deep Learning Framework for Converting Chessboard Images to Forsyth-Edwards Notation
arxiv.org·11h
🌀Riemannian Computing
Flag this post