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 Followers

533 Following

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.