Happy I took time to study some topology this summer. Algebraic topology is all the things I hoped for.
I am not sure I quite get it yet, but a topology of something seems to be usable as a definition to a lot of geometric notions. All of analysis work seems to just be applied topology. And with homotopy type theory, all sorts of data science, machine learning, and statistics work could be made easier and more precise.
Cubical type theory, (a computation friendly HOTT) is not even 2 years old. It is going to be big.
straight up I am in love with water fountains. whenever I look at a public water fountain I go "this is literally a monument to a functioning civilization." when I look at a public water fountain I think about all of the technology, all of the water filtration and pipes and infrastructure that came together to provide Me drinkable water in a public space
some urban designer built Me a fountain to drink from because I might be thirsty. Literally the opposite of hostile architecture.
Can open sometimes be too open? Here's a post about what the @gnome community wish it didn't do when deploying its @matrix instance, and how it's going to fix it.
https://blog.ergaster.org/post/20210610-sovereignty-federated-system-gnome/
#sxmo on the #pinephone is one of the coolest and most empowering computing experiences i had in a long while!
A tiled window-manager on a mobile computer sounds crazy? not as much as the unified uni-dimensional logic of mobile interfaces, all trying to mimick android/iOS...
The ethos of sxmo/pmOS is of minimalism (shell scripts, suckless, dwm, etc.) and user empowerment. So easy to build interface/menus/scripts that suit your need!
Never thought i'd be excited by computers so much again :)
Dying Light - Hellraid gets a big upgrade from Techland with a fresh story https://www.gamingonlinux.com/2021/06/dying-light-hellraid-gets-a-big-upgrade-from-techland-with-a-fresh-story #HumbleStore #Action #Update #Steam #RPG #DLC
Yea in the few minutes i spent looking it up since you mentioned it I saw something similar though you got some important details backwards (assuming my source was accurate).
Basically early on he told people not to wear masks. In email it showed he actually thought wearing masks were effective despite telling people not to wear them (in the email he said they are effective for infected people to wear them but did nothing for healthy people).
Basically people were mad at them because he was telling them not to wear masks when really he knew that was bad advice. Apparently Fauci responded to that allegationa nd justified it by saying he was trying to prevent people overbuying masks and leaving none for the medical professionals.
Side note, if we accept that masks are effective but only when infected people wear it and there is little need for uninfected people wearing it then this would in fact been a reasonable argument that everyone should wear a mask, since we often dont know who is or is not infected until they have already been infectious for some time.
Polish university student Wojciech Kosior shares his story of how he managed to graduate without being forced to use Zoom, Skype, or other nonfree programs: https://u.fsf.org/3bv
I knew, going into #PinePhone ownership, that on account of #Mobian being early-stage and hacky, and PinePhone being (by modern phone standards) a bit underpowered, that it would involve some work to make the phone into something I could bear to use daily.
Here's an example though of how the flip-side applies - that I _can put in the work to make it better_:
https://wiki.mobian-project.org/doku.php?id=howto:keyboard
I wanted áúóéí characters for my Gaeilge, and the built-in keyboards don't provide AltGr which is used to type those in Gnome/Linux. No problem, it seems - I can just change some config files and add either AltGr, or perhaps just make a totally custom and more useful keyboard that lets me switch more comfortably between languages.
This is why I choose a true Linux phone.
Słucham sobie pierwszego webinaru realizowanego w ramach #GAAD i nie mogę wyjść ze zdumienia. Webinar jest o technologiach asystujących, w dużej części dla osób niewidomych. I wybrali do tego bodaj najbardziej niedostępne narzędzie, jakim jest #GoToWebinar. Dlaczego nie Jit.si, Zoom, Teams, Webex, BBB lub cokolwiek innego? Smuteczek. Sam nie wiem, czy dalej słuchać, czy unieść się i odłączyć...
W czwartek jest Global Accessibility Awareness Day #GAAD. W piątek będzie duża konferencja, którą chyba nawet poprowadzę. Ale co z czwartkiem? Wymyśliłem, że mogę tu na Mastodonie opisać, jak badać dostępność cyfrową stron internetowych. Jednak za stary jestem, by robić dla nikogo, więc chcę mieć pod tutkiem przynajmniej 10 polubień lub podbić. Aco!
@timorl These two are odd, but https://github.com/rust-lang/rfcs/blob/master/text/3058-try-trait-v2.md seems to improve the previous MVP into something more aligned. There will still be some auto-into-ing left, but with a trait backing it it'll be smoother.
Programmer and researcher,. Ended up working with all the current buzzwords: #ai #aisafety #ml #deeplearning #cryptocurrency
Other interests include #sewing, being #lesswrong, reading #hardsf, playing #boardgames and omitting stuff on lists.
Oh, and trans rights, duh.
Header image by @WhiteShield@livellosegreto.it .
Heheh, gentoo, heh, nonbinary, heheheh... I'm so easily amused sometimes.