mastodon - Link to source

Twitter’s $42k-per-month API prices out nearly everyone

Link: wired.com/story/twitter-data-a…
Discussion: news.ycombinator.com/item?id=3…

#twitter


Twitter’s $42,000-per-Month API Prices Out Nearly Everyone

Tiers will start at $500,000 a year for access to 0.3 percent of the company’s tweets. Researchers say that’s too much for too little data.
Chris Stokel-Walker (WIRED)
#twitter

mastodon - Link to source
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-…

TIP: Kde má být na pedále (šlapce) noha? - Kolotipy.cz

Občas bývá zábavné sledovat, kde kolisté mají na šlapce nohu. Někdo šlape patou, někdo při tom divně vytáčí nohu, jiný vystrkuje kolena, někdo má šlapku kdesi v polovině nohy. Najdete i "špičkové" šlapače.
Kolotipy.cz

mastodon - Link to source
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-…

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

Co je o datovkách pravda a co je jen strašák odrazující od jejich používání? Prozkoumali jsme pravdivost sedmi nejčastějších tvrzení, která o datových schránkách kolují.
Martin Drtina (Internet Info, s.r.o.)

mastodon - Link to source
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...

Fefes Blog

blog.fefe.de

mastodon - Link to source

Formalising Yoneda Ext in Univalent Foundations

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

Formalising Yoneda Ext in Univalent Foundations

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.
arXiv.org
in reply to arXiv cs.LO bot

mastodon - Link to source

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]

Formalising Yoneda Ext in Univalent Foundations

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.
arXiv.org

ActivityPub - Link to source

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

FediVision 2022 - Conclusions and Lessons

zatnosk.dk
#fedivision #fedivision2023 @Zatty

mastodon - Link to source

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…


TELUS investigating leak of stolen source code, employee data

Canada's second-largest telecom, TELUS is investigating a potential data breach after a threat actor shared samples online of what appears to be employee data.
Ax Sharma (BleepingComputer)

mastodon - Link to source

Fastbook: Listen to audiobooks faster (2020)

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

Fastbook: Listen to Audiobooks Faster | David Bieber

Aaron Mayer aims to listen to 100 audiobooks in a single month. He intends to listen to these audiobooks at 2x - 3x speed. Intense! For the last few weeks, I’ve been working on automatic video editing tools.
David Bieber

mastodon - Link to source

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…


What did they know, and when did they know it? The Microsoft Bing edition.

A new discovery that makes a curious story a whole lot more curious
Gary Marcus (The Road to AI We Can Trust)

friendica - Link to source

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.


Enklawa's Diary | Jak poprawić dostępność map OSM dla osób niepełnosprawnych - wskazówki | OpenStreetMap

OpenStreetMap is a map of the world, created by people like you and free to use under an open license.
OpenStreetMap
in reply to OSM dzienniki userów PL 🇵🇱

mastodon - Link to source

Paweł Masarczyk

@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$💙💛

mastodon - Link to source

Paweł Masarczyk

@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.
@MiKlo:~/citizen4.eu$💙💛 @m0bi
in reply to MiKlo:~/citizen4.eu$💙💛

mastodon - Link to source

Paweł Masarczyk

@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.

Pl:OSM dla niewidomych - OpenStreetMap Wiki

wiki.openstreetmap.org
@MiKlo:~/citizen4.eu$💙💛 @m0bi

mastodon - Link to source

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

anandtech.com/show/18743/weste…

#WesternDigital


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

Western Digital's 22 TB hard disk drives hit retail in July 2022, with a trio of products catering to the prosumer and business /...
Ganesh T S (AnandTech)
#WesternDigital

mastodon - Link to source

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/…

Contest Pranks Gone Wrong

We chronicle various cases of contest participants suing after receiving 'gag' prizes rather than the valuable merchandise they thought they'd won.
Barbara Mikkelson (Snopes.com)

mastodon - Link to source

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…


Twitter cuts off API access to Movetodon, a useful tool for finding and following one's Twitter followers on Mastodon; it's unclear if the tool broke any rule

By Mike Masnick / Techdirt. View the full context on Techmeme.
Techmeme
⇧