An Informatics undergrad who used to like Go, then Clojure, after LiquidHaskell heading Rust,C,Nim,Coq,Lean.
@UAMPoznań
| Birdsite | https://twitter.com/mikrfe |
| Website | https://a.archiet.pl |
| Po polsku | https://101010.pl/@archiet |
Michał Krzysztof Feiler
- 37 Followers
- 126 Following
- 420 Posts
Mika Feiler (nieaktywne)
paulFB using rust for their new blockchain makes me glad I GPL'd most of my rust crates, since (hopefully) it means that none of my code can be used to power that monstrosity
AkzelI've been using Pinafore for Mastodon for a long while now, but I've gotta say, I'm really liking the new default Mastodon interface.
I can understand the appeal of the original, multi-column view---which is still available to use---but this looks a lot better to me.
I am about to move to Warsaw before the end of August. I'm looking for a job, starting remotely for up to one month. I have some professional experience but not much. Eager to work on anything, systems programming, Android apps, web application backends... whatever. B2B preferred.
Is it even possible to make #Gboard stop capitalizing "i"? Is it hardcoded into the definition of the English language or can i force learn it to stop?
aws glacier upload-archive has just thrown this
`An error occurred (InvalidParameterValueException) when calling the UploadArchive operation: Invalid Content-Length: 31000166400`
#aws #awscloud #awsglacier #s3glacier #awscli #glacierdeeparchive #amazonwebservices #amazonaws
hey i'm looking for something of a style guide on where may i use/introduce ‘ß’ in modern English, and i can't even spell properly a single Google Search query on that matter
ok im looking for a *scripting* language to write a program in, that would watch for modifications (with inotify) in a fixed list of *files*, and would *asynchronously* run another script with the filename of the changed file, but maintaining a list of files acted upon for mutex
pyinotify.AsyncioNotifier
i'm struggling
sounds in apps apps like Messenger, Facebook, Instagram, and even Twitter, are made to be distinct. it's not for your experience, it's for every user around who happened to experience them at least once before to know that you are using it too right now, a friend or a stranger.