Dylan Field
12.4K posts

Dylan Field
@zoink
eliminate the gap between imagination and reality

Mathlib is the community-driven mathematical library for Lean, now over 2 million lines of formalized mathematics, with contributions from 300+ mathematicians worldwide. From undergraduate foundations to frontier research topics, it's one of the largest formal math libraries ever created. 🔗 lean-lang.org/use-cases/math… 🔗 mathlib-initiative.org #LeanLang #LeanProver #Mathlib #FormalMathematics


Neural networks do math by rotating shapes. We found a shape-rotating calculator hidden inside an LLM – and it’s used for more than just math! (1/6)










If only finding "the one" was as easy as finding a tab now in Figma desktop

MCP updates in FigJam so you can visualize your systems (and not just read code) → generate_diagram to create architecture diagrams & ERDs → figma-use-figjam skill to add notes, code blocks, and annotations directly to your board → get_figjam tool to read your board & map out next steps

Really hope we get to read a technical deep dive on the goblins



Holy fuck gpt image went above and beyond making animation frames that go smoothly if u put them together this is Sonnet 4.5 cartwheeling into an egg


@AndyAyrey Noticed this as well!







