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
An Informatics undergrad who used to like Go, then Clojure, after LiquidHaskell heading Rust,C,Nim,Coq,Lean.
@UAMPoznań
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
@boud i will place some bookmarks for myself here for later... (rn i have to do something else)
@Wolf480pl there was, even in newspapers in London even
can't find the link to tweet tho :(
but i retweeted it once on my newer birdsite account
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
@boud i no longer remember why i wasn't thinking about LaTeX allowing me that (and probably allowing some way of having it as compilation flags and not so long ago i was reading about a project facilitating efficient single-step compilation without depending on previous result i.e. efficiently stateless), but that might have been because i wanted the result to be HTML or maybe Markdown or something, while not really sure about using latex2html or maybe forgetting about it somehow
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
@Wolf480pl i feel like some of these sounds i might have never heard while seeing what app it was though, i feel like i recognize what sound is from what app by just knowing which sound would match which brand, i might just feel these themes
@Wolf480pl i'm talking about people on the bus or about my mom... i always have sounds muted myself, and i control my device a little more although i do have MIUI which does have ads. but still, when i hear people's devices, i know what on-screen keyboards they're using, what are doing on what social media, what games are they playing, ... must be that i know that from seeing what did people who i heard these sounds from used at the time
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.
having a Xiaomi Mi5 with up-to-date MIUI and app-bloated but with 6GB space free and can't really find much running in background or taking RAM. if i want to have uninterrupted Spotify playback, i need to keep it foreground with no Recents in bg and i better not let the screen dim