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,695
actually deep
mathematics is just the study of things invariant under change of notation
7
28
1
356
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
45
2,454
The formula's wrong
5
7
7
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
184
9,038
Accurate
35
294
45
2,619
122,686
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,934
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,131
Terry Tao on AI and Lean in mathematics:
13
48
39
424
125,552
Here are the slides for my talk, "Graphs, Logic, and Lambda Calculus", this morning at @KGConference: bit.ly/lg-kgc2024. #kgc2024
1
2
20
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
627
62,146
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
We are looking to hire functional programmers, especially Haskellers with formal methods and category theory backgrounds! [email protected]
1
2
692
22
99
12
520
30,393