Rolling out your data fabric ONCE

Joined April 2019
58 Photos and videos
Pinned Tweet
13 Jul 2023
1
6
801
Conexus retweeted
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
99
12,054
Conexus retweeted
actually deep
mathematics is just the study of things invariant under change of notation
7
32
364
19,694
Conexus retweeted
can't help but Stan everything Leinster writes, today it's this beautifully simple analysis of injections and their duals in Set
4
5
44
2,444
Conexus retweeted
The formula's wrong
5
7
212
38,011
Conexus retweeted
22 Sep 2024
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
212
Conexus retweeted
Enough knowledge to work through for your PhD qualifying exams
Enough knowledge to work through for a lifetime in here.
3
7
185
9,036
Conexus retweeted
Accurate
36
298
2,660
122,649
Conexus retweeted
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
209
870
48,861
Conexus retweeted
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
162
25,116
Conexus retweeted
Terry Tao on AI and Lean in mathematics:
13
49
427
125,455
Conexus retweeted
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,143
Conexus retweeted
📜✨ 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
29
135
21,819
Conexus retweeted
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
124
15,480
Conexus retweeted
22
97
635
61,654
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
109
11,507
17 Apr 2024
We are looking to hire functional programmers, especially Haskellers with formal methods and category theory backgrounds! greatwork@conexus.com
1
2
683
Conexus retweeted
16 Apr 2024
22
104
526
30,385