👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

Go channels to solve interface impedance mismatch
dolthub.com·2d·
Discuss: Hacker News, r/golang
λLambda Formalization
Context Pruning in Conversational Agent
poonai.xyz·3d·
Discuss: Hacker News
⚡Proof Automation
What's the best way to develop an AI Agent with a Go backend?
reddit.com·23h·
Discuss: r/golang
🔌Interface Evolution
K2-Think: A Parameter-Efficient Reasoning System
arxiviq.substack.com·1d·
Discuss: Substack
🎯Performance Proofs
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·3d·
Discuss: Hacker News
🔤Type Theory
Introducing: A Go package to reduce err boilerplate
dev.to·8h·
Discuss: DEV
🐚Shell Monads
LLM-Generated Rules Engines for LLM Explainability
brain.co·1d·
Discuss: Hacker News
🔗Constraint Handling
Beyond Traditional Pseudorandomness, Tsotchkes' Quantum Random Number Generation
medium.com·9h·
Discuss: Hacker News
🔐Quantum Cryptography
FatNums: An Alternate Representation for School Arithmetic (2020)
parentheticallyspeaking.org·2d·
Discuss: Lobsters, Hacker News
🎯Arithmetic Coding Theory
Automated Batch Process Optimization via Dynamic Reinforcement Learning and Hyperdimensional Data Fusion
dev.to·8h·
Discuss: DEV
⚙️Batch Processing
Show HN: I made a generative online drum machine with ClojureScript
dopeloop.ai·2d·
Discuss: Hacker News, r/webdev
🎵Gameboy Sound
Don't Let Your Mocks Mock You
revontulet.dev·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Agile Documentation
medium.com·6h·
Discuss: Hacker News
🔄Language Evolution
Tech Stack for Indie Hackers: Keep It Simple and Iterate Fast
blog.andreyfadeev.com·15h·
Discuss: Hacker News
🦀Rust Borrowing
Betrusted – Building transparent, secure computing from the silicon up
betrusted.io·23h·
Discuss: Hacker News
🤝Distributed Consensus
How Software Engineers Make Productive Decisions (without slowing the team down)
strategizeyourcareer.com·2h·
Discuss: r/programming
💾Persistence Strategies
Architecting Resilient LLM Agents: A Guide to Secure Plan-then-Execute Implementations
arxiv.org·3d
🔒Language-based security
how fast is go? simulating millions of particles on a smart tv
dgerrells.com·10h·
Discuss: r/golang
🖥️Game Emulation
Learning to fuzz with LibAFL by solving puzzles
github.com·16h·
Discuss: Lobsters, Hacker News
🐛Fuzzing
Lobsters Interview with Susam
lobste.rs·1d·
Discuss: Lobsters
🔗Concatenative Programming