Pedro Tavareλ (@ordepdev) 's Twitter Profile
Pedro Tavareλ

@ordepdev

I really try to make functions pure, one at a time. Avid reader and @pwlporto organizer.

ID: 862089090258305026

linkhttps://ordep.dev calendar_today09-05-2017 23:37:10

2,2K Tweet

597 Takipçi

533 Takip Edilen

Aram Hăvărneanu (@aramh) 's Twitter Profile Photo

1. People do check compiler output. 2. The reason why compilation is reliable is because programming languages are formal languages and we can prove (or at least try) that the output of a compiler is a semantic realization of its input. The LLM crowd is delusional. LLMs are

Pedro Tavareλ (@ordepdev) 's Twitter Profile Photo

It's so good. I've just moved my Beelink to the living room television, and being able to tweak the fractional scaling is an unmatched experience.

Pedro Tavareλ (@ordepdev) 's Twitter Profile Photo

Virtual threads, structured concurrency, and value classes will definitely help with some of the pain points. I don't agree with the language being outdated, slow, or that its garbage collectors suck.