I hated writing in high school. It wasn’t objective like my favorite subjects, math and science. It also didn’t help that we had to write about old, hard-to-understand literature like Shakespeare.
The following contributors got their Debian Developer accounts in the last two months: Sahil Dhiman (sahil) Jakub Ružička (jru) The following contributors were added as Debian Maintainers in the last two months: Josenilson Ferreira da Silva Ileana...
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)
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…
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)
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.
Version
1.68.0 of the Rust language has been released. Changes include the
stabilization of the "sparse" Cargo protocol, the ability for (some)
applications to recover from memory-allocation failures, and "local Pin
construction":
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-…
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.
Když přesvědčíte polovici k ježdění na kole po nějak tak patnácti letech přestávky, tak je to dost dobrý důvod k opakování si základů. Zejména těch o zatáčení a záludnostech s tím spojený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í.
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...
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
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.
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]
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.
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.
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)
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.
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.
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.
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)
"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…
🍉 دانیال بهزادی
in reply to Debian • • •@cif-car
in reply to Debian • • •