Michał Krzysztof Feiler

37 Followers
126 Following
420 Posts

An Informatics undergrad who used to like Go, then Clojure, after LiquidHaskell heading Rust,C,Nim,Coq,Lean.

@UAMPoznań

https://archiet.pl/

Birdsitehttps://twitter.com/mikrfe
Websitehttps://a.archiet.pl
Po polskuhttps://101010.pl/@archiet
Szukam pokoju 1-os lub 2-osobowego #Poznań w odległości pieszej bądź krótkiej rowerowej od kampusu #Morasko, pilnie bardzo na dniach
FB 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

I'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.

@zig more goes to pocket, and also it's often preferred by employers.
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.
@zig thanks for sharing! that's totally something I have been daydreaming about so many times

@zig I guess it was about how there are always uncovered cases, and there always will be some...

idk, I wasn't thinking about it since back then, and now I kinda forgot what I had in mind

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?

@dne oh, i somehow missed that — they don't mention it on the page dedicated to single operation upload, just on it's parent section. anyway, error message could be better.

because i don't just have twice the space for the file, i will need to split just individual parts out for the upload... i guess i gotta write myself a script for that, maybe in Java or C# even

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