Leo 🏴‍☠️

1.1K posts

Leo 🏴‍☠️ banner
Leo 🏴‍☠️

Leo 🏴‍☠️

@leostera

typed actor maxxing since 2018 · ex @spotify @klarna

Katılım Ağustos 2008
423 Takip Edilen4K Takipçiler
Sabitlenmiş Tweet
Leo 🏴‍☠️
Leo 🏴‍☠️@leostera·
i forgot to post this here didn't i
Leo 🏴‍☠️ tweet media
English
0
0
2
4.5K
Louis Pilfold
Louis Pilfold@louispilfold·
Is there a website for open source sewing patterns? Like GitHub or Thingiverse, but for making clothes.
English
3
3
14
1.3K
Matt Carey
Matt Carey@mattzcarey·
I’m a Cloudflare fan cause where else can you use the same application code for 100 users, 100k users and 100 million users. Works on Workers :)
English
14
10
229
19.5K
Leo 🏴‍☠️
Leo 🏴‍☠️@leostera·
Gooooooooooooooooolllllllllllllllllllllllll 😭 😭 😭
0
0
1
112
Leo 🏴‍☠️ retweetledi
Felipe O. Carvalho
Felipe O. Carvalho@_Felipe·
LLMs are good with and without types. But without types you are relying on the tests LLM generate for the most basic checks. It's more fragile IMO. And Haskell is not just "a language with types", it's a hard language with lazy evaluation and weird ergononomics.
Kyle Huey@khuey_

At first glance "we're ditching Haskell for Python because LLMs don't benefit much from types" and "Bun is ditching Zig for Rust because of the benefits of the borrow checker" don't seem to square with each other.

English
5
2
40
4.3K
Leo 🏴‍☠️
Leo 🏴‍☠️@leostera·
rewatching atla because there is no live action in ba sing se
English
0
0
2
217
Leo 🏴‍☠️
Leo 🏴‍☠️@leostera·
few things make me happier than playing a groovy bass line, taking a good photo, lifting a heavy weight, eating a good steak, or programming a computer beautifully.
English
1
0
7
389
Leo 🏴‍☠️
Leo 🏴‍☠️@leostera·
colombia 🇨🇴 we will avenge you!
English
0
0
3
236
Leo 🏴‍☠️
Leo 🏴‍☠️@leostera·
vamos colombia último penal vos podesss
Español
1
0
4
712
Leo 🏴‍☠️
Leo 🏴‍☠️@leostera·
vamos colombia 🇨🇴!!! te esperamos en cuartos de final 👏
Español
1
0
4
472
EduardoRFS.tei
EduardoRFS.tei@TheEduardoRFS·
Let's fucking go. As Johnny Cash once said. If I could start again, a million miles away. I would keep myself ... I would find a way.
EduardoRFS.tei tweet media
English
2
0
26
2.1K
Tim Williams
Tim Williams@tim_willia98364·
@leostera @taylorotwell yeah, that's kinda the point of a backlog. to mark items you don't plan to work on until they become a priority. so you don't have to identify them over and over again. if you're grooming your backlog, you're doing it wrong.
English
1
0
0
71
Taylor Otwell
Taylor Otwell@taylorotwell·
Delete your backlog. It’s not real. What’s important now?
English
38
34
420
42.6K
Tim Williams
Tim Williams@tim_willia98364·
@taylorotwell sweet, then you can waste time writing new backlog items from scratch when the issues show up again.
English
1
0
0
800
Leo 🏴‍☠️
Leo 🏴‍☠️@leostera·
no te lo puedo explicaaar porque no vas a entendeerrr 🙌🙌🙌🙌
Español
1
0
1
257
Leo 🏴‍☠️
Leo 🏴‍☠️@leostera·
vamos argentinaaa carajoo 🇦🇷 💪 pongan huevoss 👏
Español
1
0
1
323