@Haniel_Ulises

cs, pure maths, analytical philosophy & engineering i guess. ✡️

 Harish, Israel
hanielulises.github.io/haniel-ulises/
Joined August 2017
  • Tweets11.2K
  • Following917
  • Followers1.1K
1.2KMedia
1
2
39
11,252
Haniel Ulises retweeted
De
@aVanishingCycle11h
Under my dictatorship, anyone who speaks outside their expertise gets punished by calling Clavicular “daddy” for a whole year!! Imagine everyone at OpenAI having to call Clavicular “daddy” awesome!!
8
5
51
1,267
מוכנים להעיף את ממשלת הדמים. מוכנים להכריע את הבחירות, הצביעו משותפת! ו ד ם!
23
85
4
616
6,693
World of Statistics
@stats_feedOct 26
6 ÷ 2 (1 + 2) =
48%9
52%1
1,384,352 votes • Final results
29
323
8
4,151
121,597
A veces me da ganas de pivotar a la musica pero recuerdo que jamás habrá algo tan genial como mano negra y se me quita
2
115
Haniel Ulises retweeted
Abdi@HolisticAbdiOct 26
Lula, now is the time to destroy American evangelicalism that exists in Brazil.
1
33
1
209
3,136
הם יוצאים להצביע, ואתם?
1
23
83
1,323
Haniel Ulises retweeted
pastaya@realpastayaOct 25
nuke sf
aneri
@0xaneriOct 24
Every city has its own Halloween horrors, and in SF it is apparently AI usage limits.
1
9
215
🤖 Made with AI
juneshevikmoder@junashevikmoderOct 23
Douglas p and boymoder are my very best friends, subtitle error, and it never ends
11
145
12
1,268
27,443
Qué bonita mandarina
Antidepressant Cats
@Depression_lessOct 25
1
73
C++ 🗿 Rust 🗿 Those who compare 🤡
2
1
8
461
2
45
Haniel Ulises retweeted
Mathieu
@miniapeurOct 24
Mathematicians:
7
25
3
352
7,832
A platonist's mint tea.
1
75
nadie me dijo que existia el mazapan untable
72
Haniel Ulises retweeted
lcamtuf@lcamtufJun 20
One of the major perks of large language models is that we can now effortlessly rewrite all the software written in unusable, esoteric languages such as Rust back to C/C++
55
100
12
2,238
94,068
Haniel Ulises retweeted
Cristiano Calcagno
@ccrisccrisOct 23
Hoping a formal methods expert becomes an influencer before an influencer becomes a formal methods expert.
13
18
4
219
6,287
from "Mathematics as the Paradigm for Metaphysics"
4
133
A mi no me asusta el gringo El que me busca Se le acabo: ya llego Super Chango
Axel Arturo Barceló Aspeitia@ztanteOct 23
Sería difícil sobrestimar la influencia que tuvo Mano Negra en la música mexicana del cambio de siglo
1
78
Where we started (left, 1979) vs. where we are now (right, 2026)
Social Processes paper arguing formal proof will never be important to CS and softwate engineering

ALT Social Processes paper arguing formal proof will never be important to CS and softwate engineering

Conclusion from the Anthropic post from yesterday arguing verification is about to become as practical as fuzzing

ALT Conclusion from the Anthropic post from yesterday arguing verification is about to become as practical as fuzzing

9
21
5
163
21,011
Necesitamos un primer Wittgenstein que venga a purgar a la banda que habla de chingaderas como el "aceleracionismo cute" o que exagera con la cibernetica y la cultura
1
1
133
Load more