Life is Tetris · @tetrislife
43 followers · 1348 posts · Server qoto.org#ShowerThoughts #OpenSource #SoftwareQuality #ProgrammingLanguages #OSDesign
> with enough eyes, all bugs are shallow
and
> number of bugs ≈ lines of code
huh. So, with enough code, there are so many bugs that all eyes are blind!
#opensource #softwarequality #osdesign #programminglanguages #showerthoughts
Peter Amthor · @amthor
1 followers · 1 posts · Server discuss.systemsDear fediverse and folks at @discuss.systems – here comes a brief #introduction. First things first: I'm Peter, 37, postdoc at Ilmenau Tech/Germany. Posting personal views and stuff that fascinates me.
Originally joined to talk and learn technology. That said, I'm basically a #nerd-of-all-trades and so are my interests and topics I might toot or join discussions about. Below is a not even semi-exclusive list of relevant tags… Executive summary in bio 😉 .
Tech stuff:
* #Operatingsystems concepts, design, implementation #os #osdev #osdesign
* Information security, especially #accesscontrol #infosec #cybersecurity #itsec
* Programming languages #rust #rustlang #c #cpp #lisp #ada
* #Gamedev #gamedesign #godotengine #bevyengine
* #Linux #fedora #debian
* FOSS #vim #mutt #latex #i3wm #qutebrowser #gnu
Science stuff:
* #Space #astrodon #spaceflight
* Future technology #scifi #sf #sciencefiction
* #Robotics
* #History
* Constructed languages #conlang #lojban #esperanto #fiatlingua
Other stuff:
* #Creativewriting #writing #storytelling
* #Animals #dogs #cats #birds #pigs
* #Music #metal #jazz #piano #orchestralmusic
* #Photography #filmphotography #analogphotography #fujifilm
* #Japanese language and culture #japan #nihon
* #Tibet #buddhism
* Magic the Gathering #mtg #magicthegathering
* #Snooker
* #Laphroaig #craftbeer #mojito
Some authors:
* Kurt #Vonnegut
* Isaac #Asimov
* James #Tiptree Jr.
* Jeff VanderMeer #southernreach
* #StephenKing
* Colin #Thubron
* Eliot Pattisons #tibet
* Jon Krakauer #intothewild
* Tim Butcher #bloodriver
* Michael Marrak (German only, sadly enough)
#introduction #nerd #operatingsystems #os #osdev #osdesign #accesscontrol #infosec #cybersecurity #itsec #rust #rustlang #c #cpp #lisp #ada #gamedev #gamedesign #godotengine #bevyengine #linux #fedora #debian #vim #mutt #latex #i3wm #qutebrowser #GNU #space #Astrodon #spaceflight #scifi #sf #sciencefiction #robotics #history #conlang #lojban #esperanto #fiatlingua #creativewriting #writing #storytelling #animals #dogs #cats #birds #pigs #music #metal #jazz #piano #orchestralmusic #photography #filmphotography #analogphotography #fujifilm #japanese #japan #nihon #tibet #buddhism #mtg #magicthegathering #snooker #laphroaig #craftbeer #mojito #vonnegut #asimov #tiptree #southernreach #stephenking #thubron #intothewild #bloodriver
๏𝐢𝐥𝐢𝐩𝐡é𝐢𝐬𝐭 · @oilipheist
12 followers · 37 posts · Server mastodon.social#osdesign #osdev #softwaredevelopment #research this is a long shot but donkey years ago I came across a research organisation that published papers on safety critical Driver/Hardware/OS development. Can’t think of the name of the organisation anymore. One of the papers described implementing a new language to design and test hardware prior to fabrication.One of the devs on #fuchsia irc helped me find it again in the past but alas the channel is gone along with the devs which I spoke with.
#osdesign #osdev #softwaredevelopment #research #fuchsia
Jóhann B. Guðmundsson · @johannbg
7 followers · 20 posts · Server mastodon.socialIf people spend $$$$ and buy a Lenovo with #fedora pre-installed and want to have some privacy go to settings ---> privacy in #gnome and turn everything off and go happily about their day thinking their privacy is intact the reality is those privacy settings are only applicable for applications installed via flatpak <-- #osdesign #failure #violatinguserexpectations
#fedora #gnome #osdesign #failure #violatinguserexpectations