👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

Wednesday 23 July, 2025
memex.naughtons.org·6h
🏛️Philosophy
<div xmlns="http://www.w3.org/1999/xhtml"> Lamenting contemporary bright UIs </div>
uninformativ.de·18h
🖋Typography
Show HN: Scrybble sync – Sync files from reMarkable to Obsidian
scrybble.ink·13h·
Discuss: Hacker News
🦴Binary Paleography
We Ran a Kaizen for Knowledge Work
jakeworth.com·1d·
Discuss: Hacker News, r/SoftwareEngineering
🔄Archival Workflows
Eureka! I've Hacked You: About a University Lesson and How It Shaped My Career
krthr.co·1d·
Discuss: Hacker News
🔓Hacking
Show HN: I built a mobile app to help you read in a foreign language with LLMs
apps.apple.com·1d·
Discuss: Hacker News
🌳Context free grammars
Anticipating Holes in ChatGPT's Knowledge
amahabal.substack.com·16h·
Discuss: Substack
🧠Intelligence Compression
Cursor AI Pricing: 2025 Complete Guide Analysis to Plans
dev.to·1d·
Discuss: DEV
🖥️Modern Terminals
🚀 15+ Free & Powerful Tools Every Developer, Hacker, and Tech Enthusiast Should Bookmark in 2025 💻✨
dev.to·16h·
Discuss: DEV
🪟Awesome windows command-line
Bottom-up Domain-specific Superintelligence: A Reliable Knowledge Graph is What We Need
arxiv.org·2d
🗺️Competency Maps
Gemini cli vs Claude code: Which one should you choose?
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
The Impact of Language Mixing on Bilingual LLM Reasoning
arxiv.org·1d
💻Local LLMs
Data Mixing Agent: Learning to Re-weight Domains for Continual Pre-training
arxiv.org·1d
🤖Grammar Induction
A leave-one-out approach to approximate message passing
arxiv.org·1d
🧮Kolmogorov Complexity
Artificial Intelligence in the Food Industry: Food Waste Estimation based on Computer Vision, a Brief Case Study in a University Dining Hall
arxiv.org·1d
🤖Advanced OCR
OpenAI's gold medal performance on the International Math Olympiad
simonwillison.net·3d
🧮SMT Solvers
AI 101 for Frontend Devs: LLMs, Transformers, RAG Explained Simply
dev.to·1d·
Discuss: DEV
🤖Grammar Induction
Python Fundamentals: classes
dev.to·17h·
Discuss: DEV
💧Liquid Types
Integrating Model Context Protocol with Gemini: The Definitive Guide to Modern Tool Calling (Agentic-AI)
dev.to·3d·
Discuss: DEV
🔌Interface Evolution
Advanced version of Gemini with Deep Think officially achieves gold-medal standard at the International Mathematical Olympiad
deepmind.google·1d·
Discuss: Lobsters, Hacker News
🧮SMT Solvers