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.
I spent several hours over the last few days implementing WASAPI audio output for NVDA for some reason. As I suspected, I don't think it's really any more responsive, but I'm hoping it might eventually fix some tricky bugs with the old WinMM implementation, though it'll probably introduce a bunch of its own. Still quite some way to go before it's fully featured; e.g. it doesn't support any device other than the default yet, nor can it recover if a device disappears. #NVDASR
@MutedTrampet I'm not sure. I've only tested with eSpeak and OneCore so far. It probably won't cope with that yet, but it might be possible going forward. That said, I added a buffered option to the existing audio code years ago which should have fixed this for such synths if they set it correctly.
@MutedTrampet Ah, the crackling at end of lines bug? Yeah, this should fix that. I thought you were referring to a synth which consistently sends small chunks, rather than just at end of lines, etc.
@MutedTrampet The approach for indexing/callbacks is fundamentally different and doesn't require pushing smaller buffers to get reliable timing. However, synths that push really tiny chunks consistently might cause problems. I can probably deal with those, but I don't know of one right now, so I'm not sure if it's worth putting time into.
@MutedTrampet eloquence_threshold supposedly ran into this, IBMTTS mitigates it by collecting the buffers into a bigger block but that destroys indexing.
@x0 @MutedTrampet Okay. No legal/current synth I can try though, which is going to make this difficult to test. :) Might have to simulate it by dropping eSpeak's buffer size or something.
@TheQuinbox The internals of nvwave, yes. It'll still be nvwave for compatibility reasons, but the underlying implementation is entirely new. Most of the gruntwork is offloaded to C++ code.
I almost wish I hadn't started this NVDA + WASAPI thing. I've spent many hours on it now (713 lines of code so far) and now I probably won't be able to let it go until it's done. It works pretty well now, but there are still edge cases that need fixing; e.g. if you force a non-default device and then disconnect it mid playback. Ug.
I'm also providing an option to allow NVDA synth drivers to pass raw memory pointers for audio data instead of converting to a Python bytes object, which is a lot of unnecessary memory copying and overhead when the ultimate audio buffer is just raw memory (no Python objects) anyway. I've updated eSpeak and OneCore already and it works quite nicely, though I don't really notice a difference on my system.
@leonardder Currently, it's API breaking for synths which choose to use it in that they won't work with the old nvwave. Synths using the old method will still work with the new nvwave though. However, I realised there's a way to implement the raw pointer thing with the old nvwave. It can just convert to a Python bytes buffer on the fly.
@CharliJo I'm rewriting NVDA's audio output code to use a more modern Windows framework. It should hopefully improve audio stability a bit, though the advantages probably aren't noticeable for most people.
Von #TikTok kommt nicht so viel ins Fediverse. Das hist halte ich aber für überaus wichtig: Auf TikTop gibt es anscheinend einen extrem zuverlässige #Filter, der einen an ein Wunsch-Ideal angleicht. Diese Videos hier im Thread zeigen sehr gut - was der Filter kann - wie die Leute darauf reagieren Ich würde hart empfehlen mindestens 3-4 von denen zu schauen!
@Bubu Hut ab das du das mit bloßem Auge so erkennen kannst. Für mich sind da viele Videos dabei bei denen ich keinen Unterschied sagen könnte ob es einer dieser Filter oder echtes Make-Up ist.
I am profiling #GNOME Shell (MASSIVE thanks to #fedora enabling frame pointers for all packages in 38 making this possible) and noticed clock_gettime() taking up a huge chunk. Turns out I hit bugzilla.kernel.org/show_bug.c…: many #AMD laptops are forced to use a very slow clock source (HPET instead of TSC). #Lenovo fixed it with a BIOS update for some laptops but not mine. Kernel param tsc=reliable results in big speedups (up to 30% in browser benchmarks) but unsure if it impacts stability :/
To grafické prostředí co tam je Gnome. Špatné přehrávání videa bylo většinou kodeky, protože některé nejsou opensource, tak se musí doinstalovat. Většinou stačí nainstalovat VLC přehrávač a ten má vše.
NVDA 2023.1 Beta 2 is now available for download and testing. For anyone who is interested in trying out what the next version of NVDA has to offer before it is officially released, we welcome you to download the beta and provide feedback.
Changes introduced in Beta 2: Updates to translations Update to eSpeak, fixing a bug with Italian speech. Fixed bug with the new global command to report the destination of a link.
Beta2 of NVDA 2023.1 is now available for download and testing. For anyone who is interested in trying out what the next version of NVDA has to offer before it is officially released, we welcome yo…
To help everyone catch up on the latest content, the new Reading mode on Android creates a more accessible reading experience that’s especially useful for pe...
Thanks for sharing this; I didn't know about it! Reading Mode seems very promising as a way to visually read an article more comfortably, or have it read out loud. I like how it has more options than Chrome's simplified view feature, and seems to be available on more web pages.
I've assigned Reading Mode to my accessibility button, and I'll be playing around with both it and TalkBack.
Updates the interface with modern libadwaita widgets (AdwEntryRow, AdwToastOverlay). Also make it more responsive (GtkScrolledWindow, AdwClamp) and use template callbacks. It was not possible to create...
Re the below: long ago, I heard from an Apple educational tech person about the creative way students shared test answers with each other using their locked-down Macbooks. All normal communication methods were blocked during tests, but students could create ad-hoc wireless networks with their choice of names, and see ad-hoc wireless networks advertised. So you had ad-hoc networks called 'What's question 3?' and 'Question 4 is Springfield' and so on. Kids are clever!
Man I tried that Honeygain thing. Took so long to get anything from it I gave it up. 4 months to get $20, having it on 5 devices. I guess I never got any referrals, but yeah, that was a very inefficient use of my bandwidth.
@soapone You know, I'm not entirely sure to this day. Apparently it is sold to businesses or something somehow, but I never really could get a good idea of how this actually worked or what they did with it.
@Trenton Matthews OMG WOW Pawns actually has a Linux download for everything I could possibly use! Their main problem is that they really want me to have more than 1 IP in order to get much. Still, $9/month is better than the $18 I think it was I ended up with after 4 months of running Honeygain on 3 devices nearly 24/7. Maybe it's because I wasn't able to collect any referrals. My lucky spins only gave me about a penny or two each day also.
I see that Pawns also has surveys available. Have you done that part of it? Do they work, or do you get screened out more often than not like most of those things do? In any case, I'll take your referral link for Pawns and give their Linux app a go.
@Trenton Matthews Oh wow! I just saw this. Their Linux app is written in Go! Lovely indeed! I think I should even be able to stick this on my servers and get a ton more money. They will pay me in bitcoin, which I can use to pay my server bills. OK, I'm sold! Your link please?
Welcome! Claim your bonus now by clicking the button below. After you click on this link, you’ll be forwarded to Pawns.app account creation page. After your registration is complete, we’ll add $1 to your Pawns.app balance!
@Trenton Matthews Oh I didn't see this at the top of the thread. Thanks. Now to get past this captcha crap. It tells me I can bypass the visual captcha with an accessibility cookie, but in order to get an accessibility cookie, they want a "real email address," by which I think they mean a big-tech email. My email is more real than what they want it seems, as I run my own that is not affiliated with big tech, and they don't like it.
@Trenton Matthews Believe it or not, I had no trouble signing up for Discord, only trouble keeping my account enabled. I only unsuccessfully used it twice, then they disabled my account, apparently for spam that I never sent. I appealed and got the account reenabled, but then I never have tried to use it since then. Discord is just so full of youknowwhat.
@Trenton Matthews I really want to run my own Matrix server. But if I thought Mastodon was hard to get up and running, Synapse seems so much harder. I guess matrix.org is OK, but I greatly prefer running my own stuff. This is why I'm on Friendica in the fediverse instead of choosing a Mastodon server for myself. I wanted to run my own server, and Friendica is far easier to set up and run than just about anything else. Wish it had an SQLite option though. MariaDB is just overkill for my needs.
You're invited to talk on Matrix. If you don't already have a client this link will help you pick one, and join the conversation. If you already have one, this link will help you join the conversation
@Trenton Matthews Unfortunately I don't think this will help me run my own server. That is what I would do if I could. But Matrix seems to make running a server much harder than it needs to be, although my thought is that it should be easier even than running a social media server in the fediverse. The fediverse was a walk in the park compared to trying to understand how to get a Matrix server going, and this is the sad state of things for now.
@Trenton Matthews Ya know, if I really was a bad guy, I'd get a ton of gmail, Yahoo and Outlook email addresses and spam the hell out of this hcaptcha thing getting accessibility cookies I could use to defeat any site that uses them. That'll learnema thinger2.
Maybe I'll try this Honeygain thing again. They do seem to have Linux apps as well. So if it's not a violation of their terms or something, I can stick their app on my servers. I don't recall hcaptcha being a problem when I last had their app on Android and Fire TV devices. Then again, it's been a couple of years since I had an account with them, so I'm not sure I even have one now. If not, I'll use your link and get one if I can use my servers to pay their own bills.
@Trenton Matthews From what I can tell, the jump task thing is just some form of crypto. But I can't see what its value is if any, or how to exchange it for other cryptocurrencies that do have determinable value.
@Trenton Matthews OK I think I figured out one part of the JumpTask thing. It's on the Binance blockchain, so it can at least be exchanged for the BNB Binance coins, which do have a determinable value, and can be swapped via Stealthex and other similar no-account exchanges, and I should even be able to trade it out for bitcoin and send it to my Coinbase account so that I can pay my server bills with it. Not sure I'd be able to keep much of it for anything meaningful though, as the low transaction fees on the JumpTask side will certainly skyrocket when I try to exchange the jump tokens for something I can use.
Nueva entrada en la web: Abierta la convocatoria de miembros de la Comisión Organizadora del VI Encuentro de Usuarios y Desarrolladores de NVDA en español nvda.es/2023/02/26/abierta-la-…
I had one of those Apple devices in my possession for all of 24 hours, and by the time I had had it for only an hour, I was wishing someone would steal it. Too bad no one did. But I was able to give it back to the person who gave it to me fortunately. Today it makes no sense to me why anyone would want to steal something like this. It's horrible!
@Ranger1138 The only reason I have an Apple device is for game efficiency; for whatever reason, the iOS version of the games works better than the Android version.
@Hunter Jozwiak @Joe Steinkamp I guess I just never had one long enough to play any games on it. I only had it long enough to try to use its basic functionality. Speech crashed out on me twice, once not coming back at all, and once coming back, but only after about 3 minutes or so. The damn screen kept waking up for no reason and all I was doing was moving with it inside of a bag. Yeah great for battery life. And then if something tells me "slide to answer," I should be able to slide. But this is exactly what the thing told me to do if I made a test call to it and its screen was locked. It popped up a screen that had the number of the caller on top and said "slide to answer" on bottom. There was no button or anything, just "slide to answer." I slid one finger, two fingers, 3 fingers and even 4, in every possible direction, nothing worked to answer that phone. Two days later someone told me I should have double tapped two fingers somewhere, anywhere, on the screen. But if that's what I was supposed to have done, I would have thought that the phone would have told me "double tap two fingers to answer." But it said slide. Then there's the lack of a home button, physical or virtual, which made it impossible to even get to the home screen without talking to its miserable AI voice assistant backwards Iris thingy, and opening an app that was not on the first page of the two-page home screen was just as difficult. Apparently these things have no concept of "all applications" or an app drawer that I can just open by sliding two fingers up the home screen, assuming I could even get to the home screen.
I got the chance to play with one of these in a store 10 years ago and decided then that I wouldn't take one if someone paid me to take it. This latest experience, even though I had seen it coming and decided I was up to the challenge, turned out to be far worse. Now, not only would I not take one if someone paid me, but I wouldn't even wish it on my worst enemy if I had one. I bit the Apple, and by God it bit back ... hard!
When it comes to Japan, Apple’s business is booming as Apple was Japan’s largest smartphone brand in 2020 with a 47.3% market share! With a large advantage o...
I suppose that's because Japanese companies used to make all our electronics. They know the hardware and the software inside and out already, a feat that I couldn't accomplish. After having one of those horrible monsters in my possession for 24 hours, I couldn't help but give it up. It was just too counterintuitive and far too complicated for me. Let me just say I now know why special classes are needed to teach people how to use that crap.
#Tiktok is stupid. I mean we all probably know this yeah? Today I posted this video. It's my own music, being played at a gig, and it apparently 'violates their community guidelines.' What is it. Too dark? Does the trumpet look like a friggin bong? Did someone film a little bit too close to a pair of titties? I mean what is that all about? youtu.be/HUtTZk2R35c
On February 22 2023, in a little venue in Belgium, we played a free gig to a few people.It's a somewhat rainy evening and we're playing a set live, that has ...
Don't give them ideas. Soon there will be a breath sensor in all of our phones to report everything we eat to big tech! And show us targeted ads when our breath smells bad.
Oo, I know this one! It violates community guidelines because it doesn't promote something stupid and/or harmful. It isn't a put your laptop in the microwave challenge or whatever, so they don't like it.
Právě jsem koupil upgrade na desktop za skoro 10k (CPU + 2x 1TB SSD) . Dlouho jsem na HW nesahal, ale situace začala být kritická :D
Budu to také přeinstalovat, mám lehce strach, že na něco zapomenu, nic kritického bych na discích mít neměl, vše kritické dávám do cloudu/NAS... Tak držte palce :D Kolik kapacity máte v vašem primárním zařízení vy ?
👍👍 pěkný. Já ani hry nehraju, ty zaberou také dost místa. Teda aspoň co vím u syna. Mám tam jen fotky, hudbu a pár filmů. Jo a RAW originály ze zrcadlovky.
Tak Linuxu, se už i hráči myslím vyřádí. 😃 Já nechával dual boot s win kvůli Adobe Lightroom, ale už snažím fotky upravovat v Darktable. Tak už mi stačí jen Arch. Dřív jsem fotil víc, ale není moc času v poslední době.
Several years ago, a radio station in Seattle (I think) posted audio of one of their hosts viewing surveillance of some guy trying to break into a pickup truck in their parking lot. After hearing this I immediately thought "This needs to be on an AM sports station complete with sound effects." So, I made that happen... sort of. youtube.com/watch?v=Rc6RLUjc5d…
On February 1, 2018, KIRO posted an audio clip of John Curley giving commentary of surveillance footage of a vandal trying to break in to one of their employ...
Little Snitch reported today that Sonos tried to connect to a domain called tmp.sonoschina.com. I can't find much information about this domain, other than it is China-based but is out of a US ARIN IP block.
This is the first time I've seen something like that from Sonos. I said no thanks. I get that the hardware is made an assembled there, but this makes me worry maybe the data's going there, too.
You didn't think your Mac was sending data to China where it's made and assembled did you? OK maybe not assembled, but its components are most definitely made there. Still, Apple, Microsoft, Google and Facebook all sell your data to many places around the world, including but not limited to China. I expect my other proprietary devices to do the same. It's why I deGoogle my phones, run GNU/Linux on my computers and am very careful about what I ask any "smart" speaker.
@archos Dnes je to bohužel za vlajkový model klasika. Můj 12 Pro taky stál ve svou dobu 30K.
Je ale rozdíl v tom, že Android toho nabídne více, než iPhone. Přeci jen v iOS není tolik nastavení, personalizace prostředí nebo možnost instalace tolika aplikací. 😀
I don’t know if Samsung has heard of/listend to @freakyfwoof tracks/shorts before, but their Ringtones (especially the ones found under “The Voyage” branding), definitely have some of that “OnJ Music” magic.
Speaking of that song at around 1:36 in the video I linked, I shared the full version of it a couple of days ago. If ya didn’t catch it, here it is again:
Speaking of Android, not sure if you’ve ever used the Airdroid application before:
airdroid.com/ , but at least on the Mac side it works decently well with VoiceOver and MacOS 13.2.1.
I love using it for reading/sending off SMS messages (especially since Google’s Messenger requires you to scan a QR-Code). I myself do not have a monitor for my Mac currently.
AirDroid is an Industry-leading developer specializing in mobile device management, including file transfer, remote access, remote support, device security management, monitor & alerts, Kiosk mode, and more.
I don't know this app, no. I am still looking for a decent way of being able to send recordings I make on phone to Mac without having to spin up a Windows VM where plug and play just does what plug and play does, and makes it seamless. It's annoying but I guess it is what it is.
, and get the Pro version for $30 US or 25.11 Pound Sterling. Thankfully, there’s a 15 day trial.
I myself love it’s interface!
Besides Android file transferring/mounting, it also has a built-in FTP client, being able to connect to cloud services (including dropbox), and also has a terminal emulator.
Interesting. When I sideloaded an old Kindle, I used something called Olive or Olivetree FTP, something like that. Was a long time ago. It was free. There's also Total commander's WiFi plugin which can sometimes be useful, unless like me recently, you're on a hotel that isolates each client from it's neighbours. haha
The white-gold, black-blue dress controversy raised scientific questions about visual perception, but the way our eyes and brains work explain the illusion businessinsider.com/science-of…
Tutanota is the secure email service, built in Germany. Use encrypted emails on all devices with our open source email client, mobile apps & desktop clients.
Thank you, I think this is a good illustration of why freedom of speech and privacy matter, even if you as individual do not use it right here, right now.
Wang Wenbin asks how the US can see a balloon 18,000 meters in the sky, but seems to have been blind to the toxic mushroom cloud vinyl chloride over Ohio? 👏
Hello, we don't need a lot of money and we already have sufficient funds for the foreseeable future. We therefore aren't interested in opening & looking after any other donation channels then the one we currently have. Thanks for the interest though!
In #JapaneseFolklore there's a #yokai known as yama uba, which translates as mountain hag. These strange old witches live alone in remote areas. They can appear as kind old ladies offering travellers a place to stay, only to eat them alive during the night. Some believe that yama uba are the haunting spirits of old women who were abandoned in the woods or mountains by families during food shortages when there wasn't enough to feed everyone. #folklore #ukiyoe 🎨1.Matthew Meyer 2.Katsukawa Shunsho
Inspired by the creative use of some nifty JAWS scripting and the power of iOS shortcuts as demonstrated by @IllegallyBlind, I have decided to try my hand at creating something similar for NVDA and I think I've succeeded. Note that I'm fairly new at this and by no means a coder so this is the simplest of simple, in fact, I'm still quite amazed that it works, actually. What we need: 1. The NVDA Speech Logger addon available at: github.com/opensourcesys/speec… 2. The following iOS shortcut: icloud.com/shortcuts/999808bd1… How to use: 1. Install both: the addon in your NVDA and the shortcut in your shortcuts respectively. 2. In NVDA's settings head over to the Speech Logger category and set the output path to your Dropbox root (that's what the shortcut assumes you're using, feel free to modify as needed); 3. Start logging the local speech with the assigned gesture (by default NVDA+alt+l); 4. Assuming the shortcut is configured properly (Dropbox authorized and all that jazz), launch it and a viewer will pop up with the fresh version of the log file at the time. One nuissance I've found with this is that the viewer overlay will not surround the VO gestures so you need to focus it first through exploration before you can start reading the log. Also the gestures for the first and last item on the screen will move you to whatever else should be on your screen right now so you have to explore again to close the viewer. I assume that's a VO bug. Also bear in mind that, while logging, anything your PC says will ultimately land in a regular text file and nothing apart from your Dropbox account is protecting it. Use with caution. Feel free to suggest feedback. #Accessibility #Tip #VoiceOver #NVDA #iPhone #iOS #Windows #Blind
An NVDA add-on to log speech to a file. Includes support for logging remote sessions. - GitHub - opensourcesys/speechLogger: An NVDA add-on to log speech to a file. Includes support for logging rem...
And (probably not only) on Google Play, these labels are often nothing but a farce – see e.g. foundation.mozilla.org/de/camp… (TL;DR: those data are provided by the app authors/vendors voluntarily – and they are often not really "interested" in making them public; Google does not verify them but even explicitly states it's not their responisbility). 🤷♂️
So on Android, there are (basically) two kind of sources: the intransparent Play Store – and #FDroid 👆
TIL there's a feature where a non-cellular Apple device like a Mac can make phone calls *even if the iPhone isn't nearby or turned on*, by talking directly to the carrier over VoWiFi. I guess the iPhone has to get the SIM card private keys somehow and send them to the other devices?
With Wi-Fi Calling, you can make or receive a phone call if you have a Wi-Fi connection in an area with little or no cellular coverage. Learn how to make a voice call using Wi-Fi Calling.
the most important part of #Unicode history is when a mouse fell out of a light fixture and got added to the count of members present at a Technical Committee meeting (9 Nov 2016)
Emil Boček, poslední žijící český válečný pilot, slaví sté narozeniny. Absolvoval téměř tři desítky operačních letů. Po válce se pro komunisty stal nepohodlným. Rehabilitace se dočkal až po roce 1989. Aktivní je dodnes.
One of the many many reasons I fundamentally don’t trust Azure for serious cloud stuff is how many absolutely bonkers corner cases their auth system supports. jeffgeerling.com/blog/2023/my-…
Today I learned that when you "edit" or "correct" a message in #XMPP, the original message is still technically stored on the server or device. It's the client side that understands that the new message is an edit of the previous message, and "displays" it as such. But, if you send a password or something sensitive, "editing" the message after it has been sent might not remove the actual contents of the original version of the message, so make sure you use #encryption too.
as a general rule, you should consider everything you send on the internet as non revokable, and yes, e2ee mitigates that. That said, XEP0424 is starting to see adoption by clients and should make messages erasable from archives. But you'll still have to trust that clients and server are playing fair.
@nicoco this is also true for the proprietary/centralised messengers. If someone has a modified Signal or WhatsApp client, they could also not delete the message on request. So yeah, if you send a password in a chat I would always recommend changing it!
@federicomena it's a fanless Celeron N5105 machine from a distributor called Topton¹². I've stuffed a bunch of RAM and an SSD in it and I'm planning to turn it into a home router running Debian!
¹: m.aliexpress.com/item/10050047… is where I got my barebones variant - the N5105 model, not the more expensive N6005 model
@federicomena Yeh, Celerons is just a marketing name; doesn't actually indicate anything about features. I've had a fanless Celery routing for me for ~10 years.
I have had to continue my studies, sign up for a new school year, which has also meant a whole new visa process and paying for paperwork to be filed. This also includes traveling to get said paperwork done, flights,planning for future accommodation, etc. I still need help as I have not been able to keep up with the mounting bills.
Thank you so much for sharing and boosting, all the help is greatly appreciated!
🎙️ LINUX AND OPEN SOURCE NEWS PODCAST: Listen to the latest Linux and open source news, with more in depth coverage, and ad-free! podcast.thelinuxexp.com
00:00 Intro 00:40 Sponsor: KasmVNC, the smoothest remote desktop out there 01:36 Canonical prevents flavors from shipping Flatpak by default 03:46 Microsoft's latest anti-consumer moves 05:42 GNOME 44 Beta is out 07:52 Solus has website, forums, and bug tracker issues 09:28 Privacy labels in the Play Store are false 11:30 Linux Kernel 6.2 is out 13:15 Gaming News: Steam on ARM, Mesa 23 and LAN game downloads 15:39 Sponsor: Get a device that runs Linux out of the box 16:39 Support the channel
Canonical prevents flavors from shipping Flatpak by default
Flatpak does need support for terminal and daemon applications such as those running on a server in order to make it a viable alternative to Ubuntu's snaps. I think it can be done, but it's a bit more difficult to run a terminal application that is installed via flatpak. I mean who wants to type out flatpak run org.gnu.ls' just as an example? Or how aboutflatpak run org.apache/httpd'? And would such beasts even work correctly? This is where snap gets it at least a little right, even though it's really clunky at the back end. Having said all this, I think the appImage concept makes the most sense of all this. I can just download what I want and make it executable, and I can even symlink it into /usr/local/bin if I want. The appImage is self-contained, and it doesn't need to be installed at all. This works for server/terminal applications as well as desktop applications. The only thing somewhat lacking is a central repository, although such a thing does exist; it's just not all that comprehensive right now. Still, the fact that I can make an appImage available on my own project website is just so damn cool! I will say though that Ubuntu would in fact appear to be shooting themselves in the foot by disallowing options users want. It's supposed to be all about choice, and if I want flatpak, I think including it and enabling it by default is the better option, as it allows me, the end user, to choose the experience I want. After all, I can always turn it off or even uninstall the package if I don't want it.
from my point of experience you talk about different things. AppImage is also quite cool but have the disadvantage of a missing store. snap is OK for professionals or servers. But I prefer on server Podman, doe to the fact it is poor open source and can use Docker container as well. But for standard users, either podman, docker and snap are overengineered. There you need a more lightwight system. The best are the default packages of the distro and on second the more common standard of many distros Flatpack. Conclusion: In our LUG we have much more trouble with *buntu due to perforamce issues on old PCs (e.g. firefox via snap is not able to run web meetings with WebRTC but a non snap firefox or other browser with webRTC does it on the same hardware). Conclusion: I wouldn't propose *buntu based systems for beginners. Better is to use a Debian flavor or e.g. Tuxedo-OS-2, which is based take over many good things from KDE Neon but w/o snap support and included flatpack with great Discover Software manager which handle it perfect transparent.
@Ulf I actually wouldn't recommend Debian for desktops at all, and I definitely wouldn't recommend it for beginners. Debian suffers terribly from stale packages, which people running servers seem to like, so it's more an LTS type of OS for server admins. Debian, even unstable, also tends to mix versions of components of desktop environments. I ran a Debian stable system for a time, and needed an upgrade to the latest GNOME for #a11y purposes. Looking at the packages, I saw two different versions of the components of the GNOME desktop, even in the stable branch. Upgrading to unstable gave me three versions of the components. Even experimental didn't help.
I'm actually more likely to recommend Fedora to new users, as it keeps everything grouped together by its major versions, has an easy to use installer, has flatpak enabled and working by default (flathub support coming to 38), has snap and podman available, has a predictable release lifecycle, and only withholds updates if they would break something. These days I use the MATE desktop, a11y and I just like the interface, and the only version mix I see is point releases of a couple of things where some packages see point releases upstream and others do not. Major versions are always in sync. Following GNOME developments, I see the same thing here. I have been running Fedora since 35, have upgraded quite smoothly all the way to 37, and haven't had any major problems. Maybe it lacks the polish of Elementary or Mint with their downstream modifications that make things look better and maybe more beginner-friendly, but Fedora is definitely good for both new users and oldheads like me, and it seems to work more closely with upstream developers, even though it is in actuality more of a corporate distro like Ubuntu. I especially like how it withholds nothing from us, giving us its own package management system, Flatpak, Snap and Podman. The only thing I find missing are the appImage tools that build appImages and the appImage launcher that automatically registers appImages on the system, but I'm hoping these things can be added at a later date.
Regarding appImage not having a central repository, there is AppImageHub, but the best part is its decentralized nature, where I can have a project website, offer my appImage for download right on the website, and I can even supply a checksum that can be verified so that anyone who wants to ensure they have my release and not some kind of compromised malware can verify it. As Flathub is essentially becoming its own corporate walled garden of a sort, complete with financial subscriptions, the beauty of appImage is in its decentralization, especially since no appImage ever has to be installed. They just work(tm).
I have no experience with Podman, so I can't make an argument for or against it, except that I did try playing with Docker containers and found them quite clunky for running server applications. For example, why should I run 5 Docker containers to get 5 websites working? That uses more RAM and more disk space than just setting up virtual hosts for the 5 sites. Then again, reverse proxies work with or without containers, but the Docker images are just so much larger and are harder to get running. AppImages are in fact larger than the system packages, but it seems running so many Docker containers is even larger. Still, if Podman makes this easier and less clunky, then I would certainly be willing to give it a shot. But I can more easily reverse proxy to an appImage than I can get a Docker container working at this point. Perhaps it's just me, as I like to take the easy route wherever possible.
Kernel param tsc=reliable results in big speedups (up to 30% in browser benchmarks) but unsure if it impacts stability :/
![Screenshot of meeting notes for UTC Meeting 149. Text reads:
Mouse now present. 6.502 members represented.
[149-A94] Action Item for Landlord: Capture and exile the mouse that just fell out of the light fixture.](https://fedi.ml/photo/preview/640/475495 "Screenshot of meeting notes for UTC Meeting 149. Text reads:
Mouse now present. 6.502 members represented.
[149-A94] Action Item for Landlord: Capture and exile the mouse that just fell out of the light fixture.")
arXiv cs.LO bot
in reply to arXiv cs.LO bot • • •[arxiv.org/abs/2302.12678v1]
Formalising Yoneda Ext in Univalent Foundations
arXiv.org