← Feed

Posts

• Post #816969

  @GrapheneOS @lumi @alexia well, to be fair, you wrote "it's a lot of work which is meant to be done by the OEM and their hardware partners" (referring to providing mainline branches of the kernel) https://grapheneos.social/@GrapheneOS/116076374952406795

• Post #816968

  @GrapheneOS @navi @alexia @lumi I don't remember writing anywhere that GrapheneOS is awful or a stopgap.

• Post #816966

  @krismicinski@types.pl @shriramk @jfdm @csgordon @lindsey @jeremysiek we have been claiming for decades that we are not just educating coding monkeys, so it shouldn't really matter that LLMs can now do all the coding. As far as I see it, it's still necessary to identify and clearly formulate verifiable requirements and specifications, come up with a modular design, and verify the whole thing, because I still believe the ultimate responsibilty lies with the developer. So students...

• Post #816965

  Tony Hoare, in addition to his outsize influence on verification (and computer science in general), was a very kind and supportive person. It was very sad to hear he's no longer with us. https://cacm.acm.org/news/in-memoriam-c-a-r-hoare/

• Post #816964

  Isn't AI search great? I asked Google why bangs (Qwick search) on #Qwant doesn't work (the way I'm used to it from #DDG ) What would you expect the AI summary to link to? Well, a page which explains why bangs don't work, right? Indeed, that's what the link (https://www.instagram.com/p/DJuMQSVxn74/) is about - kind of.

• Post #816963

  This might be #ww3, but at least it wasn’t an Austrian starting it this time. https://www.nytimes.com/interactive/2026/03/21/world/middleeast/iran-war-gravity.html?unlocked_article_code=1.U1A.g7kU.mBOHCqPlVjcZ&smid=nytcore-ios-share #nytimes

• Post #816961

  The European Open Access platform is growing, and Austria is one of the 11 countries backing it. https://research-and-innovation.ec.europa.eu/news/all-research-and-innovation-news/new-era-open-research-europe-2026-03-26_en #openaccess #austria #fwf

• Post #753250

  Over the last year, I've wondered how to reduce my dependency on US tech giants. Especially for mobile phones, this is quite difficult - you either go for a de-googled system such as #GrapheneOS (but might end up having to buy that device from Google) or you accept some compromises (regarding the quality of the device or functions of the OS). I've finally decided that perfect is the enemy of good and bought a #fairphone5 on which I installed #ubuntutouch. While a number of thi...