👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

Madhouse: Trolls
bluerenga.blog·1d
📼Retro Games
Flag this post
Creating & Combobulating
johnjohnston.info·2d
⟷Bidirectional Programming
Flag this post
Argusee: A Multi-Agent Architecture for Automated Vulnerability Discovery
darknavy.org·2d·
Discuss: Hacker News
✅Archive Fixity
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
Speedrunning a CPU: RISC-V in a Week
daymare.net·1d·
Discuss: Hacker News, r/programming, r/rust
🖥️Game Emulation
Flag this post
Tech With Tim: Python Skills You NEED Before Machine Learning
dev.to·22h·
Discuss: DEV
🎵Audio ML
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·9h
💻Local LLMs
Flag this post
Show HN: AI-built tools with security by default
news.ycombinator.com·3d·
Discuss: Hacker News
⚡Proof Automation
Flag this post
🚀 GPT-5.1 Is Here, Warmer, Smarter, More Reliable
dev.to·14h·
Discuss: DEV
⚡Proof Automation
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·19h·
Discuss: DEV
⚡Parallel Computing
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·9h
🌀Riemannian Computing
Flag this post
Computing Equilibrium Nominations in Presidential Elections
arxiv.org·9h
🎨Graph Coloring
Flag this post
Show HN: I DON'T want to upload my private files to AI
news.ycombinator.com·12h·
Discuss: Hacker News
🌀Brotli Internals
Flag this post
Regex is that one part of coding everyone pretends to understand.
dev.to·17h·
Discuss: DEV
🔍RegEx Engines
Flag this post
**"Algorithmic Transparency Framework"**
dev.to·1d·
Discuss: DEV
🎙️Whisper
Flag this post
PHP 8.5: The Silent Web Revolution
dev.to·1d·
Discuss: DEV
🔄Language Evolution
Flag this post
Grounded Visual Factualization: Factual Anchor-Based Finetuning for Enhancing MLLM Factual Consistency
arxiv.org·9h
📊Learned Metrics
Flag this post
Tech With Tim: These Tools Changed My Python Workflow
dev.to·2h·
Discuss: DEV
🪟Awesome windows command-line
Flag this post