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

Harish, Israel
1
2
37
10,655
Haniel Ulises retweeted
2,175$ is worth it. not for the game, but for all of the tears online after you post it 😂
This is what $2,175 of Opus 5.5 tokens can do! Let him cook on my gaming laptop and do whatever it takes, also gave Unity, Blender and APIs. 36 hours, 7.85 B tokens, $230 for 2d/3d/music generation and I got playable old school MMO RPG. That is just insane...
7
6
310
27,678
Haniel Ulises retweeted
Llamaríamos "Bosque epistémico" una secuencia, llamémosla M de árboles semánticos de una familia de secuencias finitas H de eventos tomadas de un conjunto dado E relacionadas por (1) Exstensión y (2) accesibilidad.
1
1
3
107
same
only a PhD from MIT in pure mathematics can fix me now
2
55
Haniel Ulises retweeted
My philosophy in 1 tweet: • Ontology: Platonism • Aesthetics: Realism • Epistemology: No, thanks • Moral philosophy: Virtue Skepticism • Politics: Anarchism/Communitarism
My philosophy in 1 tweet: Ontology: Platonic idealism Epistemology: Academic skepticism (that we can attain infallible knowledge). Phil of religion: panentheism Theology: mix of Patristic and Ignatian influences Politics: communitarian socialism Moral philosophy: virtue ethics
3
3
33
1,759
Haniel Ulises retweeted
Replying to @Polymarket
Jensen Huang might just be the stupidest CEO on planet earth if he said this. Learning math isn't even about math. It's about how to think.
65
107
3,130
46,847
Everytime a new model drops we are subjected to this prompt slop which shows you nothing beyond what the newest useless design slop you should avoid at all costs. Jangling keys for morons who have never designed anything in their lives
Opus 5.5 on Max effort - "make a dynamic 15-second motion graphics video that shows what an incredible motion designer you are, like it's your showreel for a résumé. go all out."
18
26
634
24,776
i will solve bisimulation
1
3
91
Haniel Ulises retweeted
At airport security. TSA: Sir, what is this equipment? Me: #FPGAs! They're fantastic! They're like the LEGO of hardware! TSA: What do they do? Me: Anything! Mid-flight you can reprogram these circuits in #Haskell using Lava to do anything! TSA: Sir, please step this way I still fly with FPGA boards to use in demos for my talks, but now I just call them “networking cards.”
36
34
1,118
102,245
No me tire brujeria mami
83
Haniel Ulises retweeted
if all you ever wrote was ruby then you would naturally have this retarded opinion
"I love Rust! Rust is amazing ...if you never, ever, EVER have to look at it yourself." — @dhh
1
1
10
426
Haniel Ulises retweeted
ICLR submissions
ColdJack
11
55
988
67,939
yo lo predije neta que soy el analista mas cabron, desde la primera vez que los tope se me hicieron super weyes
Ahora resulta que hacer un video lleno de prejuicios y estereotipos sobre las personas judías, acompañados de un youtuber violentador de mujeres, misógino y clasista, aporta a la causa palestina. Qué bajo han caído los de Proyecto Escolar.
1
126
I wish i was the one who wrote that community note
We asked ten Claude Opus 5.5 agents to devise a faster shortest-path algorithm and prove it in Lean. Within 15 hours, they produced C-HD: a formally verified improvement over the published bounds.
Community note
C-HD's formally verified bound improves priors only in a narrow sparse density range (m ≤ n⌊⌊log₂ n⌋^{3/4}⌋) as an asymptotic guarantee with enormous constants and no practical speedup demonstrated. vals.ai/blogs/faster-s… github.com/spicylemonade/…
2
149
Haniel Ulises retweeted
17th Latin American Workshop on New Methods of Reasoning lanmr.unam.mx/
1
2
24