[-] tatterdemalion@programming.dev 24 points 3 months ago

Seems like a perfectly cromulent English sentence to me.

[-] tatterdemalion@programming.dev 28 points 5 months ago

Apparently it's hard to get hired in software. Meanwhile, some of the worst software ever made is being written today. Have you tried using literally any software recently? We're in this "barely good enough to function while being heavily supplemented by tech support" phase. I guess capitalism breeds incompetence as long as it's still profitable?

[-] tatterdemalion@programming.dev 23 points 6 months ago

This is so perfect. Like after all these years someone decided to overanalyze Goldilocks.

[-] tatterdemalion@programming.dev 24 points 6 months ago

Say what you want about DI frameworks, but if I have to remove another fucking global variable so I can write a test, I'm going to cut a bitch.

[-] tatterdemalion@programming.dev 31 points 6 months ago

Watching this New York Post propaganda video yesterday was so upsetting. Comments reveal how racism/xenophobia is still very alive in the US.

https://youtu.be/2QFbyT4nhR0?si=AGAT5tnHKVwPfkok

[-] tatterdemalion@programming.dev 26 points 6 months ago

Maybe you should be directing this sentiment at the woman who keeps talking about how she killed her dog.

[-] tatterdemalion@programming.dev 24 points 6 months ago

Call me basic, but I have no shortage of new music from Spotify and YouTube. Spotify recommendations plus shared playlists from friends. There are a handful of YT channels that host pretty consistent quality musicians, like NPR Tiny Desk, KEXP, Colors Studios, Zildjian Live.

[-] tatterdemalion@programming.dev 25 points 7 months ago

Sure! Here's a 100PB thumb drive.

[-] tatterdemalion@programming.dev 27 points 10 months ago

Oh gosh I'm so afraid of the anonymous business daddy that told you AI is sexy.

[-] tatterdemalion@programming.dev 28 points 10 months ago

My greatest strength is already also my greatest weakness: hyper focus from ADHD.

[-] tatterdemalion@programming.dev 25 points 1 year ago* (last edited 1 year ago)

I have a feeling you are misunderstanding what is meant by "theorems for free" here. For example, one theorem that is proven by all safe Rust programs is that they don't have data races. That should always be a requirement for functional software. This is a more pragmatic type of automatic theorem proving that doesn't require a direct proof from the code author. The compiler does the proof for you. Otherwise the theorem would not be "free" as stated in OP.

[-] tatterdemalion@programming.dev 25 points 1 year ago

For parties: just buy more pizza

view more: ‹ prev next ›

tatterdemalion

joined 1 year ago