🏛️ Isabelle HOL

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

The Hidden World of Coordinates
youtube.com·7h
🕸️Algebraic Topology
Network Security: A Systems Approach
systemsapproach.org·1d
🌐Network Security
ChatGPT’s new Study Mode is designed to help you learn, not just give answers
arstechnica.com·5h
🤖Grammar Induction
Lost puppy in need of a wise wizard, where to look?
reddit.com·2h·
Discuss: r/homelab
🏠Homelab
OpenAI launches Study Mode for ChatGPT while education users are told to wait and learn later
the-decoder.com·3h
🤖Grammar Induction
Every American Is Bilingual
justevilenough.com·17h·
Discuss: Hacker News
🔗Concatenative Languages
Playing with more user-friendly methods for multi-factor authentication
tesseral.com·22h·
Discuss: Hacker News
🔐PKI Archaeology
Comparing Pattern-Matching Across Different Languages: Java, Scala, and More
hackernoon.com·4d
🧮Algebraic Datatypes
Binaural Sound Event Localization and Detection based on HRTF Cues for Humanoid Robots
arxiv.org·16h
👂Psychoacoustic Coding
Building the Future: Design & Implementation of a Secure NFT Marketplace dApp
hackernoon.com·17h
🌳Archive Merkle Trees
Ethersync: Peer-to-peer collaborative editing of local text files
github.com·7h·
Discuss: Lobsters, Hacker News
🔄Sync Engine
Talk to my Agent
towardsdatascience.com·1d
🔌Interface Evolution
Simulating Human Behavior with the Psychological-mechanism Agent: Integrating Feeling, Thought, and Action
arxiv.org·16h
🔲Cellular Automata
The VibeTDD Experiment: A Roadmap for Combining AI and Test-Driven Development
dev.to·12h·
Discuss: DEV
⚡Proof Automation
SCORPION: Addressing Scanner-Induced Variability in Histopathology
arxiv.org·16h
📄Document Digitization
Self-Propelled Agents and Group Social Force
arxiv.org·16h
🔲Cellular Automata
🎯 Solved a complex problem with Claude Code:
dev.to·2d·
Discuss: DEV
🦀Rust Verification
Music Arena: Live Evaluation for Text-to-Music
arxiv.org·16h
💿FLAC Archaeology
Show HN: Whisper at 1.58 bits with custom kernels for edge inference
medium.com·1d·
Discuss: Hacker News
📊Quantization
ASP-Assisted Symbolic Regression: Uncovering Hidden Physics in Fluid Mechanics
arxiv.org·4d
✨Effect Handlers