Pedro Tavareλ retweeted
Programming was deeply satisfying work to me. Work for hours/days before getting the payoff of the code working well on your machine. I’m feeling so much friction now to open the editor and do this kind of task by hand, but also increasingly depressed with the nature of work in an AI assisted dev workflow. Back and forth prompting seems to eat at my soul. Need to find a balance that brings back some of the toil.
Pedro Tavareλ retweeted
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 very impressive, but companies creating LLMs do not understand their own creations.
Pedro Tavareλ retweeted
Good books are great. Almost everything I know comes from a book, but those books are irrelevant.
Don't waste your time (and money) on bad books, there are plenty of good books to read.
In fact invest into learning fundamentals rather than specifics.
Pedro Tavareλ retweeted
Half the internet seems to be down thanks to the us-aws-east-1 outage
Perplexity, Amazon .com both down (just 2 services I tried to use)
When aws-us-east-1 sneezes, the whole world feels it indeed
Pedro Tavareλ retweeted
simple engineering is better engineering. everyone is over complicating everything.
Pedro Tavareλ retweeted
Excellent advice here.
Once you're caught in a negativity cycle, it’s hard to break free. At first, it feels like bonding, then it becomes routine, and suddenly it's draining all of your energy and motivation, making everything worse.
Avoid those negativity loops. They don't help, and they definitely don't fix anything!
Pedro Tavareλ retweeted
No, it's not. Determinism and correctness are orthogonal. They have nothing to do with each other at all.
Pedro Tavareλ retweeted
Politically motivated murder is an assault on the free speech of everyone everywhere. It makes us all less free and less safe. A toxic atmosphere of hate and fear inevitably produces violence, and you cannot cleanse the environment by giving in to its worst effects.
Pedro Tavareλ retweeted
Is it a misconception that a livelock must be an infinite loop? Think of optimistic locking retries: threads keep making conflicting progress attempts, canceling each other and slowing everything down, yet still making some progress.
Pedro Tavareλ retweeted
Management and product pushing for untested features into production expecting developers to be on-call with inappropriate compensation (or no compensation at all) cause developers to hate on-call. Can we fix this?
