Rolling out your data fabric ONCE

San Francisco, CA
Joined April 2019
Deep cuts to the National Science Foundation only make sense if you are an enemy of science or of the US. Most basic research in the US is funded by the NSF. The whole NSF budget is less than 0.2% of the federal budget, and most of it goes directly to scientists.
5
21
3
97
12,702
actually deep
mathematics is just the study of things invariant under change of notation
7
28
1
357
19,740
can't help but Stan everything Leinster writes, today it's this beautifully simple analysis of injections and their duals in Set
4
5
46
2,454
The formula's wrong
5
7
6
211
38,027
Conexus retweeted
In the age of AI, what skills will set our kids up for success? Programming is changing, liberal arts degrees seem limited, but physical dexterity remains irreplaceable. Cosmetology, carpentry, physical therapy - these hands-on fields might be the surprising answer to future-proofing our children's careers. hashtag#FutureOfWork hashtag#AIRevolution
1
216
Enough knowledge to work through for your PhD qualifying exams
Enough knowledge to work through for a lifetime in here.
3
7
185
9,038
Accurate
35
292
45
2,615
122,698
Deepfakes can be spotted because AI doesn't know physics and screws up light reflections in eyes With a tool originally developed by astronomers to measure light distribution of galaxies Great case of an unexpected application of fundamental research ras.ac.uk/news-and-press/new…
29
202
14
854
48,935
I was utterly gutted yesterday by the tragic news of Arvind unexpectedly passing away. Plenty of others can far better espouse his many towering technical achievements (like this MIT article). My professional path was certainly lit by the light he shed. His generosity and warmth were legendary, a gregarious smiling character that put you immediately at ease. We focus so much on what is wrong in industry and academia and the terrible traits of the leaders in the field. Arvind is an existence proof that you can be an utterly brilliant person and also an extremely wonderful kind hearted person, a model for how to build a community and nurture others. I will miss him dearly. news.mit.edu/2024/computer-s…
13
15
2
159
25,132
Terry Tao on AI and Lean in mathematics:
13
48
39
424
125,555
Here are the slides for my talk, "Graphs, Logic, and Lambda Calculus", this morning at @KGConference: bit.ly/lg-kgc2024. #kgc2024
1
2
19
1,157
📜✨ New paper out! In this jww @u_map_prop and David Spivak we introduce 'open energy-driven systems', which are a broad class of differential systems which evolve by generalised gradient flow
Matteo Capucci, Owen Lynch, David I. Spivak: Organizing Physics with Open Energy-Driven Systems arxiv.org/abs/2404.16140 arxiv.org/pdf/2404.16140
3
28
3
133
21,834
Today I refactored some OCaml code at work using the Category Theory concept of Kan Extensions. Ngl, I felt really smart doing so. I can see the appeal now 😏
8
4
4
123
15,491
22
95
6
626
62,162
Mike just casually dropped the following on github last night, which is a new proof assistant that implements a type theory that is a common generalisation of dTT and HOTT! github.com/mikeshulman/narya
2
28
110
11,525
22
99
12
520
30,393
Hellooo Stanford! (That's some sort of sunshine effect, not a light sabre.)
5
2
111
6,561
“Weeks of coding can save you hours of planning.” — Unknown
7
70
9
485
55,099
MIT researchers propose that we should construct large generative models compositionally from systems of smaller models.
4
71
11
360
52,160