🏛️ Isabelle HOL

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

Designing for Functional Safety: A Developer's Introduction
events.bizzabo.com·1d
🛡️Error Boundaries
I Switched From Premiere Pro to DaVinci Resolve, and I'll Never Look Back
lifehacker.com·1d
🌈Color Archaeology
Reviving Faith: The Role of Imagination in Christian Belief
jeffwofford.com·1d
🏛️Philosophy
The new best game online is crashing AI
aardvark.co.nz·2d
🔲Cellular Automata
Google DeepMind Genie 3: The Most Interesting AI Model Announced in 2025
thealgorithmicbridge.com·2d
🔲Cellular Automata
Good News, SCOTUS May Sometimes Still Think The First Amendment Makes Censoring The Internet Illegal, But Good Luck Getting Them To Do Anything About It
techdirt.com·1d
🛡Cybersecurity
Team evaluates reliability of author identity concealment for peer-review process
phys.org·1d
🏛Digital humanities
The Red Rose who could have been a Black Fern - Feaunati's World Cup call
bbc.com·20h
🦐Göteborg
The Best AI Web Scraper Tools in 2025: Top Picks, Features & Pricing
hackernoon.com·2d
🤖Archive Automation
Problem with dataset for my my physics undergraduate paper. Need advice about potential data leakage. [N]
reddit.com·2d·
Discuss: r/MachineLearning
🔍Vector Forensics
Alien: Earth to Materialists: the week in rave reviews
theguardian.com·22h
⭐Awesome lists
Breaking Into Quant Trading: A Practical, No-Fluff Guide
hackernoon.com·1d
🔍BitFunnel
Optimise debian for booting from usb 2.0
reddit.com·1d·
Discuss: r/homelab
🏠Homelab
Reducing Time to Value for Data Science Projects: Part 4
towardsdatascience.com·4d
🔄Reproducible Builds
Verification Method for Graph Isomorphism Criteria
arxiv.org·4d
🔗Graph Isomorphism
Towards Experience-Centered AI: A Framework for Integrating Lived Experience in Design and Development
arxiv.org·4d
🌍Cultural Algorithms
ThinkTuning: Instilling Cognitive Reflections without Distillation
arxiv.org·4d
✨Effect Handlers
Large Language Models for Subjective Language Understanding: A Survey
arxiv.org·4d
📝Parsing Grammars
Democratizing Diplomacy: A Harness for Evaluating Any Large Language Model on Full-Press Diplomacy
arxiv.org·4d
✅Formal Methods
Linear scan register allocation on SSA
bernsteinbear.com·4d·
Discuss: Lobsters, Hacker News, r/programming
🚀Compiler Optimizations