hectorip

39.9K posts

hectorip banner
hectorip

hectorip

@HectorIP

Desarrollo software. Creador de @TheDojoMX. I’m running out of time.

CDMX, México Se unió Ağustos 2010
5.6K Siguiendo3.6K Seguidores
Tweet fijado
hectorip retuiteado
Carlos Alberto Haro
students “cheating” with AI isn’t a thing. if an LLM can do the assignment, the assignment is too shallow. raise the bar. set problems where the real skill is understanding the topic well enough to arrive at the prompt that solves it.
English
0
4
5
281
hectorip
hectorip@HectorIP·
@jorgeucano Las computadoras ya están destinadas a no reposar.
Español
0
0
1
36
hectorip retuiteado
𝕮𝖍𝖆𝖗𝖑𝖞❤️‍🔥
It's always "you have ADHD" and never "thank you for telling me 14 stories in 3 mins"
English
53
2.9K
23.8K
724.3K
hectorip
hectorip@HectorIP·
Una mancha fuerte para lo que para mí es una tecnología muy valiosa (la IA generativa) es que los mismos paladines de crypto ahora son los paladines del vibecoding.
Español
0
1
6
195
hectorip retuiteado
hectorip retuiteado
Duca
Duca@big_duca·
“Dude did you vibe code this slop? This feature sucks!” Been getting this more recently. And no, I didn't “vibe” it. Did you ever consider, for one single second… That I might just be retarded? And I wrote this organic slop myself?
English
222
1.1K
25.8K
605.2K
hectorip
hectorip@HectorIP·
@msfujoshi23 I don’t think she ever made any of that specifically to annoy Momo. She shows interest on Okarun (we she tried to kiss him Momo wasn’t around, because Okarun was specially hiding from Momo) and it happens that Momo is always around, she gets annoyed. Even now she is annoyed 🤣.
English
0
0
2
35
MJ 💙💜
MJ 💙💜@msfujoshi23·
i actually hate that we only got moments like this with Aira, how she's showing genuine interest in Okarun and not just only to annoy Momo, now that we know she'll definitely gonna be rejected soon. I feel sorry for her 😞
MJ 💙💜 tweet mediaMJ 💙💜 tweet media
English
7
4
170
3K
Doomling
Doomling@iamdoomling·
Las historias que me llegan por IG de empleados a los que ya no les dejan escribir código porque todo tiene que ser claudio y contexto. Me están haciendo extrañar crypto, les juro.
Español
8
7
152
11.4K
hectorip
hectorip@HectorIP·
Siento que necesitamos que Karpathy nos venga a hacer todo.
Español
0
0
0
138
hectorip retuiteado
Ilya Sergey
Ilya Sergey@ilyasergey·
New on "Proofs and Intuitions": Verifying Move Borrow Checker in Lean: an Experiment in AI-Assisted PL Metatheory. proofsandintuitions.net/2026/03/18/mov… The gist: I formalised Move's type system in Lean: 39KLOC, under a month, with Claude. Person-years in PL research are now person-weeks.
English
11
45
235
18.5K