👑 Isabelle/HOL

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

E-nose: MEMS AI Gas Detection with UNIHIKER K10 (ESP32-S3)
hackster.io·2h
🔌Single Board PC
Just a nice shell script
bitecode.dev·4h
🐚Bash FP
Show HN: AI-Powered Trip Planner
apps.apple.com·9h·
Discuss: Hacker News
🤖AI Curation
The incompleteness of ethics
aeon.co·4d·
Discuss: Hacker News
🔲Cellular Automata
Why Racket? Why Lisp?
practicaltypography.com·3d·
Discuss: Lobsters, Hacker News
🔗Lisp
How I code with AI on a budget/free
wuu73.org·3d·
Discuss: Hacker News
⚡Proof Automation
“Bullshit Index” Tracks AI Misinformation
spectrum.ieee.org·14h·
Discuss: Hacker News, r/technews
🧠Intelligence Compression
Complex behaving Hardware with CircuitPython - Part I
hackster.io·12h
⚡Circuit Design
Nonparametric Reaction Coordinate Optimization with Histories: A Framework for Rare Event Dynamics
arxiv.org·23h
🧮Kolmogorov Complexity
Yet another study doubts that LLM reasoning shows true logic over pattern imitation
the-decoder.com·3d
🤖Grammar Induction
Autodoc
funcall.blogspot.com·4d·
Discuss: www.blogger.com
⚡Proof Automation
Cut2Next: Generating Next Shot via In-Context Tuning
arxiv.org·23h
📊Learned Metrics
VL-MedGuide: A Visual-Linguistic Large Model for Intelligent and Explainable Skin Disease Auxiliary Diagnosis
arxiv.org·23h
🤖Advanced OCR
Predictive Driver Behavior Modeling via Bayesian Dynamic Hypergraphs
dev.to·1d·
Discuss: DEV
🔄Finite State Machines
Predictive Flood Risk Assessment via Spatiotemporal Bayesian Network Fusion
dev.to·1d·
Discuss: DEV
🧠Machine Learning
The AI Code Generation Security Crisis (And How We're Failing to Address It)
dev.to·1d·
Discuss: DEV
🛡️WASM Sandboxing
A Novel Architecture for Symbolic Reasoning with Decision Trees and LLM Agents
arxiv.org·4d
🧠Computational Logic
Create Better Code Documentation 10x Faster with AI
dev.to·15h·
Discuss: DEV
🤖Archive Automation
ClimateSOM: A Visual Analysis Workflow for Climate Ensemble Datasets
arxiv.org·23h
🌀Differential Geometry
Learning to Reason for Factuality
arxiv.org·4d
✓Automated Theorem Proving