Haniel Ulises
@Haniel_Ulises
Followers
300
Following
36K
Media
673
Statuses
8K
cs, philosophy, maths, and some engineering 70% shape rotator 30% wordcel
México
Joined August 2017
Ayayayyyy, descansa en paz, bajo el cielo que amaste donde vivió tu frase de tierra y libertad
0
0
1
la troca quedó toda madreada but i slept out and then you crept out
0
0
1
still can’t believe that at 19 years old he wrote this song feels like the kind of thing that a musician makes at the end of their career not their first album
any sort of music fan should listen to clube da esquina it’s just incredible what they were able to accomplish at such a young age and how well it still holds up 50 years later
80
4K
42K
God i wish computer programming were pure and formal
As a Math and Category Theory fan, I so much wish programming was the same: Formal. Pure. Unambiguous. But it’s not. It’s always nice when you can leverage some math properties and write elegant correct software. And it sure feels nice to ignore the real world and pretend you
0
0
0
you Kant
0
0
1
Mel Andrews at UNAM, this is awesome :D
Thrilled to be at UNAM this week and to be keynoting a truly fantastic conference on the Philosophy of Computing.
0
2
24
life when you only care about theory
0
7
86
A veces soy Snufkin a veces soy Pequeñita
0
0
3
🙋🏻♂️Thid Friday, in our RG, Eduardo Barrio presented Field’s paper “Propositions, Properties and Paradoxes”. 🙋🏻♂️Later on, in our WIP, João Ferrari talked about his work “Could Semantic Indeterminacy backfire on Structuralism”.
0
2
6
Diagramas que se ven de puta madre si tienes el cerebro apagado:
6
6
86
Disgusting
AI is now built in. “Every Windows 11 PC is now an AI PC – with Copilot at the center of it all.”
0
0
0
W Dr Kenyatta ry’the’h. Alright, let K = ℚ(a^1/p) and L = ℚ(z), where z is a p-th root of unity, and let M = KL = ℚ(a^1/p, z), which is clearly the splitting field of xᵖ - a. We have [K : ℚ] = p by what’s shown here; [L : ℚ] = p - 1 is standard. These degrees are coprime.
3
4
39
Yeah I slept out, and then you crept out You're in the west now, now I'm stressed out I'm on the east side, I'm with my Gs like
0
0
0
juanin de bebé es lo mas tierno 🥺
23
3K
32K
Unfortunately, today's C++ stream is cancelled again. Nothing happened. I'm alright. I just had a typical C++ user experience. I tried installing Clang instead of my GCC, and now nothing works. It'll take some time to recover (both mentally and system-wise).
Fridays are usually slow here. Not much engagement happens on average. So they’re perfect for normal posts, not-oriented to farm the maximum engagement. For example, I’m going to enjoy some pizza today and watch another episode of Severance. When I was a kid, I had an
37
6
311