Viktor Ivančić postavio je 40 pitanja naivnoga subjekta, državljanina Republike Hrvatske: Medicina vladalaca -

Neka od pitanja: 3. Zbog čega danas, kada je broj zaraženih i umrlih od koronavirusa jednako velik ili čak veći nego proljetos, epidemiolozi ne nalažu stroge restriktivne mjere, poput zatvaranja granica, zabrane okupljanja, ograničavanja kretanja, zabrane putovanja unutar zemlje i sl.? 4. Zašto nacionalna štampa to svesrdno podržava?

Viktor Ivančić piše o parlamentarnim izborima u Hrvatskoj (i Srbiji) u doba pandemije virusa i obmanama medicinske struke konstruiranim za politikanske svrhe: "Protuvirusni šovinizam" -

The experiment failed so I deleted my account. It didn't get me a job and in one month only 3 people invited me to add them to my network (from which 2 out of 3 I never met). Suggested job postings did get better so this is the only thing that LinkedIn can be useful for - listing job postings, but for that people shouldn't have to register and log in to see them.

Show thread

"Wikipedia has tried to block users coming from the Tor network since 2007, alleging vandalism, spam, and abuse. This research tells a different story: that people use Tor to make meaningful contributions to Wikipedia, and Tor may allow some users to add their voice to conversations in which they may not otherwise be safely able to participate."

Svi smo jednaki, no neki su jednakiji!

Boris Dežulović: Slučaj građanina Andreja P.

"Slučaj iz Zadra, razumljivo, bio je tema broj jedan hrvatskih i svjetskih medija, pa su se na ponašanje zadarske policije i prisilno privođenje predsjednika Vlade morali osvrnuti i čelnici Nacionalnog stožera civilne zaštite"

Dežulović o raznospolnom ministru Berošu:

„To je vrlo specifična situacija. Ukoliko je okruženje u domu zdravo, mislim da bi to bilo prihvatljivije.“ Tako je na pitanje novinarke televizije N1 - je li za djecu bez roditeljske skrbi bolji dom za nezbrinutu djecu ili usvajanje kod istospolnih partnera – odgovorio trostruki narodni heroj, živa legenda i ultimativni seks simbol hrvatske karantene, ministar zdravstva Vili Beroš.

Oh it worked!

"#Linux is my creative work daily driver, on 95% #libre and #FOSS tools. A few years ago it was the opposite, I was on 95% proprietary tools. It is often said that you cannot be on Linux if you do #creative work for a living, but I have transitioned across the last few years and love it. With the advances in #librecreative software the workflows just keep getting better and better. This collection shows some snapshots of my setup and how I use it."

Also of note, if you are a play store user but still get some apps from F-Droid, Play Store billing will stop working for apps in F-Droid:

It seems that Google wants to make using app bundles a requirement for new apps on Google Play in 2021:

This would mean developers have to upload their signing keys to google play even though there's no technical benefit in doing that. You can achieve the same efficient download sizes by using bundletool locally and uploading all generated apks. But it seems google will stop allowing that and just wants your signing keys.

Kad policija ne radi svoj posao pa da zabrani održavanje skupa fašista, onda gospođa s viklerima u kosi mora izaći iz stana i rastjerati sudionike:

The German Corona Warn App went live today. F-Droid cannot distribute the app for multiple reasons:

1) The core bluetooth contact tracing functionality is only implemented in Google play services and requires proprietary client libs to be included in the app.
2) The google api mentioned above is only available for use by apps which are whitelisted by google and distributed through the play store.

Just found out that Debian features lots of software used in medicine and in particular in radiology! One software meta-package that provides image processing and visualisation tools is med-imaging:

Now I can open CDs handed out at radiology clinics in Croatia with free software (instead of the CD-provided proprietary software)! Images on the CDs are in the DICOM format, which the aeskulap package handles with ease.

Supply chains in free software under attack: The Octopus Scanner Malware -

This attests reproducibility, and in particular @reproducible_builds, for which free software is a prerequisite, are of crucial importance for everyone that uses software (including those relying on proprietary software with permissively-licensed free software dependencies).

Debian is an OS that is ~95% reproducible. Highly recommended!

Use too!

If anyone had doubts about contact-tracing apps, here is a confirmation that once given a chance, power will be abused: now these apps are used to spy on protestors, and not only to track the COVID-19 pandemic:

A talk by Kevin Buzzard of the Imperial College London: "Is HoTT the way to do mathematics?"

He discusses criteria for a proof assistant to have in order to be used in formalising mathematics. Most mathematicians today assume classical logic and the axiom of choice.

Boris Dežulović o kontinuitetu te o permanentnoj i nepokolebljivoj borbi protiv korupcije jedne parlamentarne stranke koja je proglašena zločinačkom organizacijom:

Just attended a talk by Jon Sterling on cubical type theory implementations: redtt and cooltt. Throughout the talk the speaker kept saying how all this stuff is already supported by Cubical Agda. I guess it was a good choice to choose Agda as language of preference for working with constructive type theories.

In a week, we have collected enough money to work on #PeerTube's v3 for the next 2 months! There's still 4 months to fund, but right now we just want to thank you for your enthusiast support, y'all are amazing!

Earlier today at the (virtual) 32nd Agda Implementors' Meeting, Uma Zalakain gave a talk on the topic "π with leftovers: a mechanisation in Agda". She hosted the talk via Jitsi (the public instance at There were 24 attendees. Along with discussions and a chat afterwards it lasted for over an hour and it was quite interesting! Also worth noting is that Jitsi worked like a charm! Thank you for hosting it via free software.

Show more
La Quadrature du Net - Mastodon - Media Fédéré

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!