this post was submitted on 29 Feb 2024
185 points (100.0% liked)

technology

23308 readers
253 users here now

On the road to fully automated luxury gay space communism.

Spreading Linux propaganda since 2020

Rules:

founded 4 years ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[–] kleeon@hexbear.net 6 points 8 months ago

same experience here. I already know my program is safe and I don't like wasting time having to prove it to the compiler