How to Get a Fable CoT for the Jacobian Conjecture Refutation
Since the publication of the Jacobian Conjecture refutation, many people have asked for a Chain of Thought to be published so they can better understand the mathematical intuition that leads to the counterexample.
반응 (1)
비슷한 프로덕트
설명이 비슷한 순
Jacobi–IDE for Abaqus subroutine with analytical tests and AI diagnosis
jacobee.netlify.appThe AI workspace for computational mechanics. Turn papers and equations into traceable UMAT and VUMAT implementations, verify the material Jacobian against a numerical reference, run targeted tests, and diagnose Abaqus failures.
Combinators in Array Languages
blog.softwarewrighter.comPrior to this post, searching this site for “Y combinator” turned up nothing. The search engine was innocent: no post had ever covered it, despite the fact that the repos have carried working fixed-point combinators since August. This short post closes the gap. Resource Link Run the birds live mlpl.softwarewrighter.com — Load Demo… > Array / APL > Combinators (the birds) The book To Mock a Mockingbird — Raymond Smullyan’s aviary of combinator birds, in puzzle form Sage, CLI-side sw-ml-study/demo-combinators — lessons 17 (fixed_points), src/fixed_points.mlpl, and the derived-combinators doc The bird Raymond Smullyan’s To Mock a Mockingbird names the combinators…
I'd love to get some people to mess around with a little side project I built to teach myself DSPy!
I wrote a book about Clojure
leanpub.comLearn the foundations of Clojure: higher order functions, composition, immutable data structures, macros, iteration, abstractions and more.
I used Claude Code to discover connections between 100 books
trails.pieterma.esThematic links across books, automatically discovered by Claude.