Skip to main content



Banks as Collateral Damage in a Class War

Link: annpettifor.substack.com/p/ban…
Discussion: news.ycombinator.com/item?id=3…



New Debian Developers and Maintainers (January and February 2023) bits.debian.org/2023/03/new-de…



Zippyshare Quits After 17 Years, 45M Visits per Month Makes No Money

Link: torrentfreak.com/zippyshare-fi…
Discussion: news.ycombinator.com/item?id=3…



25 Years of curl lwn.net/Articles/926560/ #LWN
#lwn


A group of librarians argue the Internet Archive is a library, saying that the four major publishers' lawsuit threatens the development of digital collections (Inside Higher Ed)

insidehighered.com/views/2023/…
techmeme.com/230318/p8#a230318…



in reply to Debian

This is a sure sign of northern hemisphere spring coming!


Researchers are sounding the alarm on the world’s first-known instance of real-world malware that can hijack a computer’s boot process even when Secure Boot and other advanced protections are enabled.
arstechnica.com/information-te…

#bot
Original tweet : nitter.pussthecat.org/arstechn…

#Bot



The Be My Eyes app for the visually impaired will integrate with GPT-4, which can inspect and describe images, through a new Virtual Volunteer feature (Devin Coldewey/TechCrunch)

techcrunch.com/2023/03/14/gpt-…
techmeme.com/230314/p31#a23031…





Tá an Chúirt Bhreithiúnais ag lorg saoraistritheoirí chun téacsanna a aistriú go Gaeilge. Gach eolas anseo: curia.europa.eu/jcms/jcms/p1_2…
The Court of Justice is looking for freelance translators to translate texts into Irish. More information: curia.europa.eu/jcms/jcms/p1_2…



Vlajka pro Tibet

I tento rok vlaje na budově Krajského úřadu Středočeského kraje vlajka Tibetu jako připomínka 64. výročí tibetského povstání a zároveň snaha poukázat na porušování lidských práv.

1/2



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



Rust 1.68.0 released lwn.net/Articles/925732/ #LWN
#lwn


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