👑 Isabelle/HOL

Higher-order Logic, Formal Proofs, Mathematical Verification, Interactive Proving

The International Obfuscated C Code Contest is back for 2024
theregister.com·9h
🧪Binary Fuzzing
I'm experimenting with AI in my 70s. I've had to adapt to new technologies my entire career — those who embrace change survive.
businessinsider.com·9h
🌍Cultural Algorithms
Coplay becomes steward of Unity MCP open‑source automation tool
coplay.dev·21h·
Discuss: Hacker News
🔓Open Source Software
SAT Requires Exhaustive Search
link.springer.com·4d·
Discuss: Hacker News
🧮Kolmogorov Complexity
TanStack DB with Sync – the future of real-time UI
neon.com·2d·
Discuss: Hacker News
🔄Sync Engine
AI Plays Risk – Lessons from a silly benchmark
andreasthinks.me·3d·
Discuss: Hacker News
🔲Cellular Automata
MCP Prompts: Building Workflow Automation
blog.modelcontextprotocol.io·4d·
Discuss: Hacker News
🐚Shell Automation
AI can write code, but should you trust it blindly?
dev.to·3d·
Discuss: DEV
⚡Proof Automation
Agentic Workflow: What's inside RAGFlow v0.20.0
medium.com·1d·
Discuss: Hacker News
🌊Stream Processing
Why I'm excited about the Hierarchical Reasoning Model
medium.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Automated Fault-Tolerant Path Planning for Mobile Robots in Dynamic Environments via Bio-Inspired Reinforcement Learning
dev.to·1h·
Discuss: DEV
🔲Cellular Automata
FastAPI vs Django DRF vs Flask - Which Is the Fastest for Building APIs
dev.to·2d·
Discuss: DEV
🔌Archive APIs
Beyond the Wavefunction: Qualia Abstraction Language Mechanics and the Grammar of Awareness
arxiv.org·3d
💻Programming languages
Adaptive Generative Design Optimization via Constraint-Aware Variational Autoencoders
dev.to·5h·
Discuss: DEV
🔍Vector Forensics
The Subtle Art of Herding Cats: Show, Don’t Tell: Teaching AI by Example (Part 2 of 4)
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Building with Generative AI: Lessons from 5 Projects Part 1: RAG
dev.to·1d·
Discuss: DEV
🤖Grammar Induction
Automated Consent Workflow Optimization via Dynamic Causal Inference & Reinforcement Learning
dev.to·16h·
Discuss: DEV
🤖Archive Automation
I created an Event Creator for discord bots. You can easily implement it into yours and customize it however you like
dev.to·17h·
Discuss: DEV
📋PREMIS Events
Optimal Planning for Multi-Robot Simultaneous Area and Line Coverage Using Hierarchical Cyclic Merging Regulation
arxiv.org·1d
⚙️Proof Engineering
Show HN: Blueprint, a desktop app to guard against rogue LLMs
github.com·2d·
Discuss: Hacker News
🔌Interface Evolution