🏛️ Isabelle HOL

Higher-order Logic, Proof Development, Mathematical Foundations, Interactive Verification

New additions have Liverpool looking rejuvenated in attack, and withered in defense | Jonathan Wilson
theguardian.com·12h
👑Isabelle
Former lab tech earns federal funding ban years after leaving science
retractionwatch.com·6h
🔗Data Provenance
Monday 11 August, 2025
memex.naughtons.org·1d
🧲Magnetic Philosophy
Fix your port numbers for dev servers
rollc.at·14h·
Discuss: Hacker News
🔀CRDT
LLMs Are Interesting, but Physical AI Is About to Reshape Our World
automation.com·36m·
Discuss: Hacker News
🏠Home Automation
Amiga Programming in 2025 with AmiBlitz
hackaday.com·22h·
Discuss: Hacker News
🎵Amiga Formats
Swimming Naked: Why Safety Nets Kill Startups
wizenheimer.dev·1d·
Discuss: Hacker News
🔍BitFunnel
Exploring AI Memory Architectures (Part 3): From Prototype to Blueprint
blog.lqhl.me·2d·
Discuss: Hacker News
📼Tape Combinators
Script to migrate GitHub repositories to a Forgejo instance
github.com·2h·
Discuss: Lobsters, Hacker News
📦Git LFS
Database Categories Are Dead: Here’s What’s Next
thenewstack.io·14h
🗄️Database Sharding
Show HN: I built an open-source workout tracker app in 4 days with Claude Code
github.com·6h·
Discuss: Hacker News
🍎Apple Archive
Biotech Software Engineer Directory
dev.to·12h·
Discuss: DEV
🔓Open Source Software
Part 2: processing the LEGO interface B serial data
hackster.io·1d
⚡Homebrew CPUs
Temporal Contextual Encoding for Hippocampal Pattern Stabilization (TCES)
dev.to·4h·
Discuss: DEV
📊Learned Metrics
Automated Multi-Metric Scoring System for Serum Amyloid A (SAA) Isoform Profiling in Acute Inflammation
dev.to·1d·
Discuss: DEV
🤖Archive Automation
Learning AI Auditing: A Case Study of Teenagers Auditing a Generative AI Model
arxiv.org·3d
⚡Proof Automation
Pixel Play: Retro Tetris
hackster.io·1d
🎮Gameboy Emulation
BetterReviews : Discover smarter product insights through combined AI and human reviews
dev.to·1d·
Discuss: DEV
🤖AI Curation
🚀 MentorMatch AI – Real-Time Mentor–Mentee Matching with Redis 8
dev.to·1d·
Discuss: DEV
⚖️Feed Ranking
GPT-5: The Next Chapter in Generative AI
dev.to·3d·
Discuss: DEV
⚡Proof Automation