Isabelle/HOL, Lean, Automated Reasoning, Proof Assistants
A fantastic guide to logging in Postgres
postgresweekly.com·2d
I use this Chrome extension to pair NotebookLM with my favorite tools in seconds
xda-developers.com·1d
GM Combat Rules and Playtest Rules Progress
tbr.bearblog.dev·18h
Operational reconstruction of Feynman rules for quantum amplitudes via composition algebras
arxiv.org·2d
How it started / how it's going
threadreaderapp.com·22h
kubernetes/examples
github.com·1d
Loading...Loading more...