SMP-Maine-Senate-Aug-6.pdf
2025-0915_OP-MiniWS-r4.pdf
UMTC-Complex Analysis.pdf
Karpathy's LLM Wiki: The Complete Guide to His Idea File
Karpathy's follow-up gist went viral. Complete breakdown with implementation examples.
at://userandagents.org/network.cosmik.card/Kffy9lJlvKgl-KCjGSTHymU4
. · openai/ten-proofs@e9dce9a
Lean certificates accompanying proofs in mathematics and theoretical computer science - . · openai/ten-proofs@e9dce9a
https://z.ai/blog/glm-4.5
Computational Geometry in C (Second Edition)
Homepage for textbook on Computational Geometry
. · openai/ten-proofs@5a102c1
Lean certificates accompanying proofs in mathematics and theoretical computer science - . · openai/ten-proofs@5a102c1
. · openai/ten-proofs@d0e1ae7
Lean certificates accompanying proofs in mathematics and theoretical computer science - . · openai/ten-proofs@d0e1ae7
Blacksky's app view source code has been released publicly here.
GitHub - blacksky-algorithms/atproto: Blacksky fork of bluesky-social/atproto with AppView performance optimizations, caching, and community features
github.comNot sure how I missed this paper.ore relevant than ever now. aclanthology.org/2023.emnlp-main.797/
We are Who We Cite: Bridges of Influence Between Natural Language Processing and Other Academic Fields
aclanthology.orgI opened up the repo if you want to peek under the covers. Nothing earth shattering going on here. I will say that Claude made this an afternoon project instead of a week long project. github.com/jbeda/joe-dev-blog
GitHub - jbeda/joe-dev-blog: joe.dev personal blog — Hugo + Cloudflare Pages
github.comMIRA workshop
Content shared during MIRA workshop (mira.science , June 7-11)
ATUri in html
chrisshank.com/at-tags
The disconnect between web pages and the social filesystem. - Chris's Corner
More AT tags!
chrisshank.com/at-tags
chrisshank.com/at-tags
My latest (soft) proposal thanks to some really productive conversations we've been having.
📚 MIRA Book Club (by Ronen Tamari) — Semble
Researchfish | Illuminate your research impact | Elsevier
Technology is Society Made Durable
Bycelium
Content Authenticity Initiative
RRGI · Discourse Graph — lens switch
