It's one of my favourites. Something I revisit every couple of years.
Rust @programming.dev Oort - a "programming game" you write in Rust code, to control a fleet of spaceships
Programmer Humor @programming.dev I'm just at home heating up my no-code offering in the microwave...
Adopt A Community @programming.dev Seeking additional mods for c/PlayMyGame
Sync for Lemmy @lemmy.world I am not receiving ads on the free version
Helix Editor @programming.dev What are your top tips for new Helix users?
Adopt A Community @programming.dev Tauri
United Kingdom @feddit.uk Parliament will debate petition: Make lying in the House of Commons a criminal offence - 23rd October 2023
Gaming @beehaw.org Well endowed Githyanki... Rejoice!
Programming.dev Meta @programming.dev Is there something preventing full federation with specific instances (that are not blocked)? Example included.
Lemmy Bots and Tools @programming.dev What are some bots you'd like to see here and on Lemmy in general?
Lemmy Bots and Tools @programming.dev What are you favourite Lemmy libraries so far?




Yes! The concepts are intertwined. I think the key take away, for me, is to lean heavily into your type system and allow that to do some of the heavy lifting. Accept that something like a
usernameis not a string, but a subtype of a string (this has to be true if any validation is required, otherwise you'd just accept any valid string).