J
Ternary operators are the em dash of Typescript for LLMs. It makes for garbage code.
2 replies·0 reposts·9 likes·733 views
J
They finna make us pay carbon credits on every output token we blew during the isengard uruk-hai ass blitz we've all been running since trump got elected... 😢
1 replies·0 reposts·9 likes·432 views
J
Software engineers have returned to dark age levels of critical thinking in these turbulent scary times. This was immediately obvious to me even with my very limited understanding of formal verification. Jirka Knesl @jiriknesl Nov 5 It won't. I understand, why people see it as a next silver bullet. But formally verifying code is not solving the problem. Verification doesn't mean the code is bugfree, it means that code adheres to the specification; which itself can be wrong. If you don't read the spec, how Quote Harmonic @HarmonicMath Nov 4 In two years, all code will be formally verified