👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

OpenAI's Sam Altman warns of AI voice fraud crisis in banking
the-independent.com·4h
🤖Advanced OCR
Wah_Ter_Mee
hackster.io·21h
📲Digitization
Twenty years of blogging
11011110.github.io·2d
📐Mathematical Art
Launching OpenCommunity Software License (OCSL) Version 1.0
madalin.me·36m·
Discuss: Hacker News
🔓Open Source Software
In Defense of Defensive Forecasting
argmin.net·1d·
Discuss: Hacker News
🔲Cellular Automata
OpenAI’s gold medal performance on the International Math Olympiad
werd.io·2d
🎯Performance Proofs
Fast and Simple Rust Interner
matklad.github.io·4d
🦀Rust Verification
The Benefits of Trunk-Based Development
thinkinglabs.io·1d·
Discuss: Hacker News
❄️Nix Adoption
How my manager tricked us team into doing things: The Experiment Framework
danielsada.tech·1d·
Discuss: Hacker News
❄️Nix Flakes
Proctoring – My Latest Side Project to Catch Cheaters (Gently)
dev.to·9h·
Discuss: DEV
🚀Indie Hacking
Hyperelastic nature of the Hoek-Brown criterion
arxiv.org·19h
🌀Differential Geometry
Procedure Learning via Regularized Gromov-Wasserstein Optimal Transport
arxiv.org·19h
🧠Machine Learning
Leveraging Extrinsic Dexterity for Occluded Grasping on Grasp Constraining Walls
arxiv.org·19h
✋Tactile Computing
Tiny language models
arxiv.org·19h
🎙️Whisper
Why Even Legendary Games Like Wesnoth Hide Bugs in Plain Sight
hackernoon.com·5d
📜Proof Carrying Code
From Wasting 9 Million Tokens to 3AM Panic: Building Datrix with Bolt.new
dev.to·4h·
Discuss: DEV
🚀Indie Hacking
How I Use AI to Run My Digital Nomad Business (While Traveling the World)
dev.to·2h·
Discuss: DEV
🌍Cultural Algorithms
Vibe Coding - Conversational Software Development - Part 2 In Practice
dev.to·3d·
Discuss: DEV
🔄Language Evolution
Wiggle Tales Imagination To Reality
dev.to·23h·
Discuss: DEV
🦋Format Metamorphosis
From Semantics, Scene to Instance-awareness: Distilling Foundation Model for Open-vocabulary Situation Recognition
arxiv.org·19h
🎙️Whisper