I share the frustration. It's disempowering when most major progress recently is downstream of "foundation models" that you don't have the compute or data to train yourself.
I share the frustration. It's disempowering when most major progress recently is downstream of "foundation models" that you don't have the compute or data to train yourself.
transactional.blog/blog/2024-da...
transactional.blog/blog/2024-da...
www.seangoedecke.com/good-system-...
www.seangoedecke.com/good-system-...
www.trackingai.org/home
www.trackingai.org/home
🧠 New grind tactic (SMT-style automated reasoning)
🏗️ New compiler (major performance foundation)
Read the release notes: lean-lang.org/doc/reference/latest/releases/v4.22.0/
#LeanLang #LeanProver
🧠 New grind tactic (SMT-style automated reasoning)
🏗️ New compiler (major performance foundation)
Read the release notes: lean-lang.org/doc/reference/latest/releases/v4.22.0/
#LeanLang #LeanProver
observablehq.com/@tophtucker/...
observablehq.com/@tophtucker/...