Haniel Ulises

9.8K posts

Haniel Ulises banner
Haniel Ulises

Haniel Ulises

@Haniel_Ulises

cs, analytical philosophy, pure maths, and some engineering i guess

Harish, Israel انضم Ağustos 2017
955 يتبع528 المتابعون
تغريدة مثبتة
Haniel Ulises
Haniel Ulises@Haniel_Ulises·
Haniel Ulises tweet mediaHaniel Ulises tweet media
ZXX
1
1
23
6.5K
Haniel Ulises أُعيد تغريده
kache
kache@yacineMTB·
LLMs genuinely are the dumbest machinations I've ever had the misfortune to interact with
English
21
3
140
7.1K
Elon Musk
Elon Musk@elonmusk·
AI will achieve Stockfish-level coding and generalized computer use
SpaceX@SpaceX

SpaceX has exercised the option to acquire @cursor_ai in an all-stock transaction with the goal of building the world’s most useful AI models. For the past few months, SpaceXAI has been jointly training a model with Cursor, which will be released in Cursor and Grok Build soon. We look forward to working closely with the Cursor team to advance our frontier AI capabilities

English
2.2K
2.6K
27.5K
5.7M
Haniel Ulises
Haniel Ulises@Haniel_Ulises·
f o r e v e r ok? thankslove
English
0
0
0
16
ً
ً@yeenballin·
that ketamine bitch imma snort it
English
3
1
20
442
Damián Catanzaro ☕️
Damián Catanzaro ☕️@DamianCatanzaro·
Me da gracia la cantidad de vueltas y mística que le dan a usar la AI, que agentes, que orquestadores, que múltiples modelos al mismo tiempo, harness, loops, tokenmaxxing. Mándale el prompt y listo hermano, que tanta vuelta, después no terminan shippeando nada.
Español
99
143
2.3K
73.2K
ThePrimeagen
ThePrimeagen@ThePrimeagen·
The worst part about AI hypebeasts is eventually, on a long enough scale, they are right
English
119
33
1.4K
85.3K
Haniel Ulises
Haniel Ulises@Haniel_Ulises·
@buromur yes, it's largely pre-Grothendieck. I agree that there's still room for a synthetic philosophy of geometry that takes schemes, categories, stacks, and modern algebraic geometry seriously. An opportunity, isn't it? Do you know of any work in that direction?
English
1
0
0
64
Sovyetler Film Burosu
@Haniel_Ulises I am assuming it does not talk about modern algebraic geometry a la grothendieck? There is some need for synthetic philosophy of geometry at current level
English
1
0
1
69
Haniel Ulises
Haniel Ulises@Haniel_Ulises·
@adambencloutier non-euclidean geometry, manifolds, projective geometry, in general many conceptions of space through the history of mathematics & philosophy as well, it's an incredible journey
English
1
0
1
24
Haniel Ulises
Haniel Ulises@Haniel_Ulises·
@adambencloutier because it covers the epistemological foundations of geometry, from how greeks were so committed to an a priori vision of geometry, how it evolves through Descartes, then Kant +
English
1
0
1
95
Haniel Ulises أُعيد تغريده
Anthony Bonato
Anthony Bonato@Anthony_Bonato·
No
Anthony Bonato tweet media
3
2
35
1.4K
Quiveron
Quiveron@quiveron_x·
"learning"
Quiveron tweet media
English
3
0
6
271
Haniel Ulises أُعيد تغريده
Saman Habibi Esfahani
Saman Habibi Esfahani@Saman_Habibi_E·
Hi friends! I’m back to uploading my Algebraic & Complex Geometry course online. I was busy starting my postdoc at Harvard so there was a gap. This summer I’ll be posting the rest of the course. Here’s the latest lecture: youtube.com/watch?v=-B4TrH…
YouTube video
YouTube
Saman Habibi Esfahani tweet media
English
1
8
132
3.9K
amlal
amlal@amlalcc·
@ChShersh Can't wait for Haskell++
English
3
0
11
1.1K