Show more
Tom Arto boosted
Tom Arto boosted

@abs @duponin git push --force --yes-let-me-fuck-over-everyone-else-so-nobody-notices-i-made-a-typo

Tom Arto boosted
Tom Arto boosted

#introduction

Hi, fediverse!

I'm currently studying #CS. My interests include #FP, especially #Haskell, #verification and #plt. I also work with #Coq.

Outside of academics, I do a lot of sports. Mainly #running, #cycling, #bouldering and #swimming.

In my off-time, I sometimes watch #anime and read #manga.

Tom Arto boosted
Tom Arto boosted
Tom Arto boosted

As the first post says, the problem is really with developer workflows, which are all about "productivity," how quickly you can "get started," rarely about security.

If you want to write a successful OSS project, make it dead-easy to get started. I'm in a rush! No time to vet! My boss isn't paying me to audit OSS projects, he's paying me to use them.

Hello world! Had my eye on mastodon for a while and thought i'd give it a go.

Mastodon for Tech Folks

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!