Isabelle/HOL, Lean, Automated Reasoning, Proof Assistants
AI Coding Revolution: How Artificial Intelligence is Changing the Way We Code
samuellawrentz.com·2d
Conceptual Rhyme and Metaphor
lesswrong.com·3d
Towards Faithful Class-level Self-explainability in Graph Neural Networks by Subgraph Dependencies
arxiv.org·1h
Logging millions of requests everyday and what it takes
engineering.hackerearth.com·6h
I organized my entire home using NotebookLM and Obsidian and I’m so glad I did
xda-developers.com·15h
⭐ Doomlab7 homelab-diagrams
waylonwalker.com·1d
Loading...Loading more...