macrolocal

8 ms·

61.
by macrolocal 4y ago
Only a month or two for the basics, if you're willing to take some stochastic calculus in the SDs for granted. Part of what's eluded public awareness so far is that these algorithms are simple .
62.
by macrolocal 4y ago
It's a stretch. But remember that Plotinus only signed up to march against the Sassanids to learn Kushan philosophy better! And their ideas on apophatic theology already show up in the Enneads, eg. in his negative treatment of material
63.
by macrolocal 4y ago
Their influence feels notable in Pseudo-Dionysius, especially his Mystical Theology.
64.
by macrolocal 4y ago
I bet GPT-4 could more effectively maintain that 0.002 cents equals 0.002 dollars.
65.
by macrolocal 4y ago
Nuance: computers have been accumulating superhuman cognitions for half a century. But most people are bad at recognizing intelligence they don't relate to.
66.
Deciphering Quanta(galoisrepresentations.com)
2 points by macrolocal 4y ago|0 comments
67.
by macrolocal 4y ago
And Joscha Bach might define "soul" in terms of computation.
68.
by macrolocal 4y ago
I think the Cambrian explosion is just beginning.
69.
by macrolocal 4y ago
Here are a few benchmarks: https://paperswithcode.com/sota/common-sense-reasoning-on-wi...
70.
by macrolocal 4y ago
The author claims 61.0% on WinoGrande vis-a-vis GPT-4's 87.5%.
71.
by macrolocal 4y ago
This is especially true in math.
72.
Constructing Clifford Algebras Using the Super Tensor Product(blog.sigfpe.com)
1 points by macrolocal 4y ago|0 comments
73.
by macrolocal 4y ago
With their methodology and caveats, mathematicians have 100% exposure.
74.
by macrolocal 4y ago
Abelard died in 1142, slightly before the founding of the University of Paris. So don’t go there to study with him.
75.
by macrolocal 4y ago
It's comparable to GPT4 being shocked that we can read backwards!
76.
by macrolocal 4y ago
Today’s AI threatens the livelihoods of talented rhetoricians, so expect many more articles like this one.
77.
by macrolocal 4y ago
https://www.youtube.com/watch?v=ihaB8AFOhZo
78.
by macrolocal 4y ago
> I have to check Bing's sources when I use it anyway, because what it says is often simply wrong. Checking sources is a great habit to develop!
79.
by macrolocal 4y ago
They do leverage emergent abstractions. For example, in [1] a transformer model learns the coset structure of a group to better grok its multiplication table. [1] https://mathai-iclr.github.io/papers/papers/MATHAI_
80.
by macrolocal 4y ago
I just meant that there’s (clearly) no reason to think their most useful skills will overlap with ours.
81.
by macrolocal 4y ago
Nb. the non-humanlike interactions they'll enable are equally (maybe more) exciting.
82.
Nita Farahany on Ethics, Law, and Neurotechnology(preposterousuniverse.com)
1 points by macrolocal 4y ago|0 comments
83.
Advanced Compilers: Self-Guided Online Course(cs.cornell.edu)
662 points by macrolocal 4y ago|82 comments
84.
by macrolocal 4y ago
Maybe eventually all content will be AI generated, with an objective based on "likes" or engagement.
85.
Rust and Neovim – A Thorough Guide and Walkthrough (2022)(rsdlt.github.io)
1 points by macrolocal 4y ago|0 comments
86.
by macrolocal 4y ago
Buzzard's group at ICL, eg. Ashvni Narayanan.
87.
by macrolocal 4y ago
This (ahem) contradicts my experience. Most mathematicians I’ve met are excited about formal verification, especially the recent progress toward CFT. Thompson himself has said he’d like his contributions to the classification of finite simp
88.
by macrolocal 4y ago
I have trouble imagining a mathematician wouldn’t welcome formal verification of eg. the classification of finite simple groups.
89.
by macrolocal 4y ago
Counterpoint: there are major unresolved puzzles in symplectic geometry, and every indication is that they touch on deep physics. It could easily take research mathematicians fifty more years to build a clear picture of what's going on
90.
by macrolocal 4y ago
Agreed. Cowardice and recklessness are both evils, and it’s possible to navigate the strait between them.

More ›