frozenseven

5 ms·

31.
by frozenseven 2mo ago
>Does not matter. It is still an LLM. Cool. So now you can accept that "LLMs" are an obvious example of AI. >You and your idols are, for sake of marketing. Let's be very clear here. Terence Tao is arguably the greatest
32.
by frozenseven 2mo ago
We can meaningfully talk about (1) the existence of a field and (2) the said field hitting its stride. The title of Tao's article denotes the latter. And oh, what a stride it is: https://vibemathed.com/stats
33.
by frozenseven 2mo ago
>The LLM name denotes a very specific mechanism.. No, not really. This is just the term that stuck around. The "large" is now up to five orders of magnitude larger and "language model" has gone far beyond any simple n
34.
by frozenseven 2mo ago
Of course it's been "used" to talk about those things, because all of those things are examples of AI. Always have been.
35.
by frozenseven 2mo ago
Chasing these 'trivialities' is a good thing, imo. The Busy Beaver game has lead to a better understanding of complexity theory and automata. Also, direct "hands on" work on improving proof assistants and related tools.
36.
by frozenseven 2mo ago
Out-of-hand dismissal of Terence Tao is certainly a take. And the term "artificial intelligence (AI)" has been the name of the field for 70 years and counting. If anything, "LLM" is a misnomer that's been lingering
37.
Evolve: An incremental game about evolving a civilization(pmotschmann.github.io)
92 points by frozenseven 2mo ago|30 comments
38.
by frozenseven 2mo ago
Code: https://github.com/pmotschmann/Evolve
39.
Gitizens - A Git-native civilization loop(github.com)
1 points by frozenseven 2mo ago|0 comments
40.
by frozenseven 2mo ago
https://www.youtube.com/watch?v=wNy5T5KF1EM
41.
Gemini 3.7 Flash: On the Intelligence vs. Time per Task Pareto frontier(artificialanalysis.ai)
2 points by frozenseven 2mo ago|0 comments
42.
Super Mario Bros. speedrunning(en.wikipedia.org)
2 points by frozenseven 2mo ago|0 comments
43.
List of Unsolved Problems in Mathematics(en.wikipedia.org)
2 points by frozenseven 2mo ago|0 comments
44.
by frozenseven 2mo ago
Vocabulary size ~248k. A bit bigger than other recent Chinese models (Kimi K3 ~164k, DeepSeek-V4 ~129k, and GLM-5.2 ~155k). Make of this what you will.
45.
by frozenseven 2mo ago
Paper: https://www.science.org/doi/10.1126/sciadv.aeg5930
46.
Discovery of 'slow' electrons in 2D material could lead to new memory device(phys.org)
2 points by frozenseven 2mo ago|1 comments
47.
delegate-skills(github.com)
2 points by frozenseven 2mo ago|0 comments
48.
by frozenseven 2mo ago
Interesting quote: "For Bluesky’s new CEO, Toni Schneider, these numbers may not be as concerning. The company is not entirely focused on making Bluesky (the app) succeed, but on making it possible for the underlying protocol (AT Proto
49.
NVIDIA & partners to mobilize over $500B of third-party capital for AI buildout(nvidianews.nvidia.com)
1 points by frozenseven 2mo ago|0 comments
50.
by frozenseven 2mo ago
>your bad-faith interactions From the first guy's " dehumanizing and revolting " comment to your buddy saying that I'm " malevolent " and " cruel " (lol). My comprehension is just fine. All the bad
51.
by frozenseven 2mo ago
Sure, sure. Everything strengthens the anti-AI position. Have fun with that, I guess.
52.
Glitchwave Game Charts(glitchwave.com)
4 points by frozenseven 2mo ago|0 comments
53.
Archive.st - Archive a Webpage(archive.st)
5 points by frozenseven 2mo ago|2 comments
54.
by frozenseven 2mo ago
Apparently not related to Archive.today: https://wiki.archiveteam.org/index.php/Archive.st
55.
Neural Scaling Law(en.wikipedia.org)
3 points by frozenseven 2mo ago|0 comments
56.
TheoremDB – A public workspace for machine mathematics(theoremdb.org)
104 points by frozenseven 2mo ago|20 comments
57.
Deathwatch - Archiveteam(wiki.archiveteam.org)
2 points by frozenseven 2mo ago|0 comments
58.
by frozenseven 2mo ago
The field of ML is probably older than your parents and IP law doesn't grant people immunity from it (or any other form of data analysis for that matter). If a person can read it, so can AI.
59.
Artificial Analysis Intelligence Index v4.1.1(artificialanalysis.ai)
1 points by frozenseven 2mo ago|0 comments
60.
by frozenseven 2mo ago
For reference, here are their Google Scholar pages: Jeff Dean: https://scholar.google.com/citations?user=sdcsQb4AAAAJ Sanjay Ghemawat: https://scholar.google.com/citations?user=0KF6ZC8AAAAJ Quoc Le: https:

More ›