corpus.blog
41,554 blogs · 5,063,431 posts Claim your blog
Record · corpus.blog/posts/01a087ba-a026-731d-aa41-d8c1dc348c31

Bitter-lesson computer algebra

osmarks.net · published 9 January 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at osmarks.net Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
22
Words captured
1,392

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
http://www.incompleteideas.net/IncIdeas/BitterLesson.html
incompleteideas.net
https://reference.wolfram.com/language/guide/RulesAndPatterns.html
reference.wolfram.com
https://github.com/corywalker/expreduce
github.com
https://en.wikipedia.org/wiki/A*_search_algorithm
en.wikipedia.org
https://en.wikipedia.org/wiki/Nearest_neighbor_search
en.wikipedia.org
https://en.wikipedia.org/wiki/Levenshtein_distance
en.wikipedia.org
https://en.wikipedia.org/wiki/Confluence_(abstract_rewriting
en.wikipedia.org
https://en.wikipedia.org/wiki/Knuth%E2%80%93Bendix_completion_algorithm
en.wikipedia.org
https://en.wikipedia.org/wiki/Word_problem_(mathematics
en.wikipedia.org
https://en.wikipedia.org/wiki/Richardson%27s_theorem
en.wikipedia.org
https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/
deepmind.google
https://arxiv.org/abs/1712.01815
arxiv.org
https://lean-lang.org/
lean-lang.org
https://www.mrob.com/pub/ries/index.html
mrob.com
https://en.wikipedia.org/wiki/Reverse_Polish_notation
en.wikipedia.org
https://lczero.org/
lczero.org
https://arxiv.org/abs/1912.01412
arxiv.org
https://arxiv.org/abs/2411.00566
arxiv.org
https://arxiv.org/abs/2408.05804
arxiv.org
https://rulebasedintegration.org/
rulebasedintegration.org
https://reference.wolfram.com/language/tutorial/SomeNotesOnInternalImplementation.html
reference.wolfram.com
https://arxiv.org/abs/2205.11491
arxiv.org
Elsewhere on osmarks.net (1)