Skip to main content



Kde má být na pedále (šlapce) noha? A nesmějte se, chvíli sledujte až vyrazíte mezi lidi ne kolech. Je to dost tristní. kolotipy.cz/2023/03/07/kde-ma-…


Jak na datovku: Mizení zpráv, fikce i časová razítka. Nejčastější mýty o datových schránkách
lupa.cz/clanky/jak-na-datovku-…


Mixxx 2.3.4 Adds Support for Traktor Kontrol S2 Mk1, Numark Party Mix linuxtoday.com/developer/mixxx…


Pro charitu i vlastní tělo. Majk na cestách pojede v sedle kola z Brna do Singapuru novinky.cz/clanek/muzi-pro-cha…

reshared this




blog.fefe.de/?ts=9afe5ac7: Warum kann in Grünwald keine 30-Zone eingeführt werden?Na ist doch klar! Die Autos der Leute da können gar nicht 30 fahren!Das machte zumindest CSU-Gemeinderat Thomas Lindbüchl nach gut einstündiger Debatte über Gefahrenlagen, Sammelstraßen, sensible Wohngebiete und rechtliche Grundlagen deutlich. "Die Leute fahren in den 30er-Zonen eh 50", will er festgestellt haben. Und er weiß auch warum: In Grünwald hätten viele Leute große Autos. Wenn man da aufs Gas tre...
in reply to Unofficial Fefe Blog Poster

Kann ich das als Präzedenzfall benennen, sollte ich mal geblitzt werden? 🤔 Also, äh, zumindest in Grünwald?



The Debian #bookworm freeze is coming soon! Check if your favourite package could miss the deadline, install and run how-can-i-help today! wiki.debian.org/how-can-i-help


Formalising Yoneda Ext in Univalent Foundations

Jarl G. Taxerås Flaten
arXiv.org/abs/2302.12678 arXiv.org/pdf/2302.12678

in reply to arXiv cs.LO bot

Ext groups are fundamental objects from homological algebra which underlie important computations in homotopy theory. We formalise the theory of Yoneda Ext groups in homotopy type theory (HoTT) using the Coq-HoTT library. This is a constructive approach to Ext which does not require projective or injective resolutions. Using univalence, we show how these Ext groups can be naturally represented in HoTT. We give a novel proof and formalisation of the usual six-term exact sequence via a fibre sequence of 1-types (or groupoids), along with an application. In addition, we discuss our formalisation of the contravariant long exact sequence of Ext, an important computational tool. Along the way we implement and explain the Baer sum of extensions and how Ext is a bifunctor.
[arxiv.org/abs/2302.12678v1]




Hello musicians and music fans!

Work is slowly beginning on preparing #FediVision2023, and on that note, the person behind this bot (​@zatnosk​) has written a blog post of how it went in may 2022, and where we're going from here.

zatnosk.dk/blog/2022/12/01/fed…

#FediVision



Canada's second-largest telecom TELUS is investigating a potential data breach after a hacker puts up private GitHub repositories and employee data for sale (Ax Sharma/BleepingComputer)

bleepingcomputer.com/news/secu…
techmeme.com/230224/p9#a230224…

in reply to Techmeme

That sounds to me not like a breach of Telus, but a breach of Microsoft, which is nothing new. Microsoft is about as secure as an unlocked door. It's always been that way.





Fastbook: Listen to audiobooks faster (2020)

Link: davidbieber.com/snippets/2020-…
Discussion: news.ycombinator.com/item?id=3…



A Microsoft forum post from November 23, 2022 describes AI chatbot Sydney "misbehaving" and being "so rude", suggesting the company knew about its quirks (Gary Marcus/The Road to AI We Can Trust)

garymarcus.substack.com/p/what…
techmeme.com/230221/p16#a23022…



"Testing your product for accessibility yourself will never compare with testing with real users. Even if you have a disability yourself." jessbudd.com/blog/screen-reade…


VOYAGER JUPÌTER (2) - From Jacint Roger (@Landru79) - flic.kr/p/2iRierH





If you use Debian container images, please note that "debian:bookworm" images are already using deb822-style repository sources manpages.debian.org/bullseye/a…
in reply to Debian

Nice!
Will the installer also use a deb822-style sources.list? And is it generally recommended to switch to the new format when upgrading from Debian bullseye?
in reply to Debian

nice, I was just looking at this format, since it makes it a lot easier to manage third party repositories. For example, it makes it easier to specify a signing key for that specific repository.

in reply to Debian

"Google something something..." -- no thanks!

Debian should not be promoting Google in this way. Please stop.



Edycja map OSM w celu uwzględnienia potrzeb osób niepełnosprawnych, na wózkach inwalidzkich, niewidomych i niedowidzących, korzystających z systemów nawigacji jest bardzo ważna. W tym wpisie omówię kilka kluczowych elementów, na które warto zwrócić uwagę, aby dane mapy były pomocne dla tej grupy użytkowników.

Dostępność


Podczas dodawania informacje o drodze, budynku czy innym obiekcie, ważne jest, aby uwzględnić informacje dotyczące dostępności dla osób na wózkach inwalidzkich. Można to zrobić poprzez dodanie informacji o szerokości chodnika, stopniach, rampach, itp.

Oznaczenia dla niewidomych i niedowidzących


Należy zwrócić uwagę na oznaczenia dla osób niewidomych i niedowidzących, takie jak powierzchnia sensoryczna, oznaczenia dźwiękowe i brajlowskie tablice informacyjne.

Dokładność adresów


Ważne jest, aby adresy były dokładne i aktualne, ponieważ to one stanowią podstawę do wyznaczania trasy przez systemy nawigacji.

Oznaczenia POI


Dostępność w obiektach użyteczności publicznej (POI), takich jak sklepy, restauracje, kina, teatry, hotele, banki itp., jest bardzo ważna dla osób niepełnosprawnych. Dlatego też, na mapie powinny być oznaczone te obiekty, które są dostępne dla osób na wózkach inwalidzkich, oraz te, które mają dostępne dla nich toalety i inne udogodnienia.

Informacje o trasie


Informacje o trasie powinny być aktualne i dokładne, w tym informacje dotyczące kierunków, przejść dla pieszych, mostów i tuneli.

Uwzględnianie zmian


Ważne jest, aby regularnie sprawdzać i aktualizować dane map, aby uwzględniać zmiany w infrastrukturze, takie jak nowe budynki czy remonty dróg.

Przeszkody


Przeszkody takie jak schody, wysokie progi czy brak ramp dla wózków inwalidzkich powinny być jak najdokładniej oznaczone na mapie. To pozwoli osobom na wózkach inwalidzkich na unikanie tych miejsc i wybieranie tras, które są dla nich dostępne.

Krawężniki


Krawężniki to kolejny ważny element, który powinien być oznaczony na mapie. Zwłaszcza te, które są wysokie lub nieregularne, stanowią barierę dla osób na wózkach inwalidzkich i powinny być zaznaczone na mapie.

Wejścia i wyjścia


Wejścia i wyjścia do budynków powinny być dokładnie oznaczone na mapie. Zwłaszcza te, które są dostępne dla osób na wózkach inwalidzkich, powinny być łatwo widoczne na mapie.

Dokładna precyzja


W przypadku edycji map dla osób niepełnosprawnych, dokładna precyzja jest bardzo ważna. Osoby niewidome i niedowidzące będą korzystać z tych map za pomocą systemów nawigacji, dlatego ważne jest, aby dane były jak najdokładniejsze.

Windy i podnośniki


Windy i podnośniki powinny być dokładnie oznaczone na mapie. Dzięki temu osoby na wózkach inwalidzkich będą w stanie znaleźć najlepsze trasy, które umożliwiają im dostęp do budynków.

Komunikacja miejska


Dostępność komunikacji miejskiej jest kluczowa dla osób niepełnosprawnych. Mapy OSM powinny zawierać informacje o tym, które tramwaje, autobusy czy pociągi są dostępne dla osób na wózkach inwalidzkich.

Niebezpieczeństwa


Oprócz informacji o dostępności, ważne jest również, aby mapy OSM zawierały informacje o potencjalnych niebezpieczeństwach, takich jak wąskie chodniki, ostro zakończone krawężniki, nierówne powierzchnie czy niebezpieczne przejścia dla pieszych. Te informacje pomogą osobom niepełnosprawnym unikać potencjalnie niebezpiecznych sytuacji i poruszać się w sposób bezpieczny. Ponadto, dzięki temu będzie można zgłaszać potrzebę poprawy infrastruktury, tak aby była ona bardziej przyjazna dla osób niepełnosprawnych.

Edycja map OSM to ważna i skuteczna metoda na zapewnienie dostępności i bezpieczeństwa dla osób niepełnosprawnych, na wózkach inwalidzkich, niewidomych i niedowidzących korzystających z systemów nawigacji. Zwrócenie uwagi na powyższe czynniki może znacznie poprawić jakość danych map dla tej grupy użytkowników i umożliwić im bezpieczne i efektywne korzystanie z systemów nawigacji.

Zachęcam innych użytkowników OSM do współpracy w edycji map, aby razem tworzyć bardziej dostępne i przyjazne środowisko dla wszystkich.

in reply to OSM dzienniki userów PL 🇵🇱

@m0bi13 Ja bym jeszcze dodał ID przystanków, o ile możliwe. W wielu miastach każdy przystanek komunikacji miejskiej posiada swój unikalny identyfikator, zazwyczaj są to losowe cyfry, w mniej zagęszczonych terenach po prostu cyfry 1 lub 2 dla każdego przystanku. Pozwala to określić konkretny przystanek, z którego odjeżdżają linie w konkretnym kierunku jeżeli nazwa przystanku dla każdego z nich jest taka sama. Aplikacje nawigacyjne dla osób niewidomych potrafią odczytać te ID'ki i można podejść bezpośrednio na przystanek, który nas interesuje. Aplikacje rozkładów takie jak Moovit czy Time4..Bus również je pokazują, więc łatwo zorientować się, z którego przystanku musimy odjechać. Jeżeli nasze miasto nie numeruje w ten sposób przystanków, warto o to zawalczyć w urzędzie. To działa - Kraków jakiś czas temu wprowadził identyfikację. Na Śląsku był także projekt, w którym społeczność na prośbę osób niewidomych skrzyknęła się, by uzupełniać ID'ki - niestety nie wiem na jakim etapie projekt utknął.
@m0bi
in reply to MiKlo:~/citizen4.eu$💙💛

@miklo @m0bi13 Po konsultacjach ze znajomym, który jest bliżej tematu już wiem, że to niestety trochę bardziej skomplikowane. Historycznie nawigacje nie zwracały uwagi na tagi takie jak "ref" czy "local_ref", które istotnie są logicznym miejscem na tego typu informacje, więc wciskano ID po prostu do nazwy przystanku. Tak ma obecnie Warszawa, podobno Kraków i pewnie kilka innych miast. Takie było też początkowe podejście na Śląsku, ale społeczność nie była zgodna co do słuszności działań i ID'ki były usuwane. Obecnie większość rozwijających się nawigacji obsługuje już przynajmniej "ref" i jest on czytany obok nazwy przystanku. Śląsk ponoć przesiadł się właśnie na tą metodę. Podobno są miasta np. Łódź, gdzie z uwagi na większą liczbę cyfr w identyfikatorze, ID umieszcza się w "local_ref", tego natomiast nie obsługuje prawie żadna nawigacja dla niewidomych. Podsumowując: niestety brak standardów, które dopiero się wykuwają. Rozwiązanie nieeleganckie, ale działające wszędzie: podać ID obok nazwy; rozwiązanie poprawne, ale jeszcze niewspierane uniwersalnie: "ref", na ten moment lepiej unikać "local_ref" choć to może się zmienić. Przepraszam, że prościej się nie da.
in reply to MiKlo:~/citizen4.eu$💙💛

@miklo @m0bi13 Okazuje się, że powstał osobny artykuł traktujący konkretnie o mapowaniu pod kątem osób niewidomych. Tu dworce i przystanki odwołują się do tagu "local_ref", są też sugestie konkretnych narzędzi i inicjatyw wspierających OSM dla niewidomych: wiki.openstreetmap.org/wiki/Pl… Sam planuję przejrzeć, zwłaszcza wersję angielską gdzie narzędzi jest jeszcze więcej. Znajdziemy tu także sugestie tagów, których warto użyć opisując różne obiekty oraz zarys pewnych ograniczeń tego co oferuje OSM w tym zakresie.


AWS puts a datacenter in a shipping container for US defense users

go.theregister.com/feed/www.th…



Linux Looks To Retire Itanium/IA64 Support

phoronix.com/news/Linux-Retire…



Canonical Announce Availability of Real-Time Ubuntu

omgubuntu.co.uk/2023/02/real-t…

#News

#News


Western Digital Launches 22 TB HDD for Consumers in Updated My Book Portfolio

anandtech.com/show/18743/weste…

#WesternDigital






A woman was promised a Toyota after winning a contest, but was given a toy Yoda instead. She sued the company and was given the Toyota.
snopes.com/fact-check/hummer-b…

Original tweet : nitter.privacydev.net/tilbots/…






Twitter cuts off API access to Movetodon, one of the best tools for finding and following one's own Twitter followers on Mastodon (Mike Masnick/Techdirt)

techdirt.com/2023/02/03/elon-m…
techmeme.com/230203/p21#a23020…