Let's try a little #introduction to start things off:
#hello, I'm Thomas.
Software dev currently particularly enamored with #Rust and #Haskell, trying to dive ever deeper into the functional and theoretical ends of the pool.
I want to start writing and talking about programming, so I'll try and use this as a little outlet to set me on the right path.
Keyboard customizer, Oxford comma proponent, and all-round good guy.
Maybe I'll actually manage to rack up some posts this time around?
Cheers!
Dev talk recommendations, boosts 👌
If you had to pick one conference talk that has impacted the way you think / develop software the most: which would it be and why?
For me, it’d have to be ‘Making Impossible States Impossible’ by Richard Feldman for how it talks about restricting your models and using the computer and type system to avoid invalid states. “Testing is good. Impossible is better. “
While working on it, I accidentally pushed 100+ tags to the site's repo (oops) and had to find a way to fix that. I ended up using xargs and had to figure out it works. Naturally, I wrote a post on that ✌️
It's particularly interesting because of how you can tell from the wording and punctuation. Sure, there's also the vague actualy memory of writing it, but that's secondary.
Oh, my god. I don't know why it matters, but after moving most application-level packages into a buildenv.nix file for my specific user and out of the global configuration, everything suddenly feels a lot snappier. Plus I can start rebuilding my system again 🎉 All that's left in system level config is system stuff and some CLI tools.
I can run slack/spotify/alacritty without wrapping them and the fans don't whine constantly 😅
Oh, the joys of learning #NixOS
Okay, team: I'm looking to get into lisp programming, but I'm not sure where to start. Any recommendations on which dialect to go for and learning materials?
I've previously had a little dabble with common lisp, but didn't find any great learning resources, so it didn't quite have time to solidify.
After a cursory read through the Wiki articles, scheme seems like a good choice too. Maybe Little Schemer would be a good read?
Had a little play with the Workman keyboard layout this morning after a colleague told me he liked the look of it.
I'm intrigued, but not convinced. In particular, HJKL felt awkward for movement. Now, I use Dvorak usually, and by some amazing luck, the way those letters are laid out actually works.
Anyway, I'd be very interested from you if you've got some experience with it 😇
The ADT result modeling is very much inspired by how art work, in C#, the database writing service throws an exception if a given key already exists.
Went to a tech night hosted by a big, Norwegian web marketplace company today. One of the talks was about speaking at conferences and it made me realize that yes, now is indeed the time.
New goal: submit at least two applications by the end of the month ✌️
Current best formed idea: using algebraic data types for handling operations that can produce various outcomes.
Other idea: Phantom types and making your life easier. Mostly because I could call it 'the Phantom Menace'.
The ErgoDox, one week in.
And the final thing: I'm not sure how you're intended to reach some of the further thumb keys. The bottom row is fine, third is alright, but that middle one that's the furthest from your starting position ... Maybe I'll get used to it.
The ErgoDox, one week in.
Hmm, that q might actually be a single quote. Oh, well, it's not the expected e, anyway.
Dev, musician, group fitness instructor ✌
Most labels on my keyboard are at least partially incorrect.