The era of ChatGPT is kind of horrifying for me as an instructor of mathematics... Not because I am worried students will use it to cheat (I don't care! All the worse for them!), but rather because many students may try to use it to *learn*.

For example, imagine that I give a proof in lecture and it is just a bit too breezy for a student (or, similarly, they find such a proof in a textbook). They don't understand it, so they ask ChatGPT to reproduce it for them, and they ask followup questions to the LLM as they go.

I experimented with this today, on a basic result in elementary number theory, and the results were disastrous... ChatGPT sent me on five different wild goose-chases with subtle and plausible-sounding intermediate claims that were just false. Every time I responded with "Hmm, but I don't think it is true that [XXX]", the LLM responded with something like "You are right to point out this error, thank you. It is indeed not true that [XXX], but nonetheless the overall proof strategy remains valid, because we can [...further gish-gallop containing subtle and plausible-sounding claims that happen to be false]."

I know enough to be able to pinpoint these false claims relatively quickly, but my students will probably not. They'll instead see them as valid steps that they can perform in their own proofs.

I have made the sad decision to stop working on Muzika (https://github.com/vixalien/muzika) and the related muse (https://github.com/vixalien/muse) projects.

Firstly, Muzika is a YouTube Music client and I don't like the decision the service has been making these days like incessant price hikes¹ and YouTube removing OAuth² support, effectively burying 3rd party clients like these. I also need to commit more time to myself and school, which Muzika has been stealing from me.

Finally, you can run U-Boot on #Qualcomm WoA laptops!

Sent an RFC for EFISTUB support, so we can kill the buggy EFI and run our own :D

https://lore.kernel.org/u-boot/20241124-b4-efistub-arm64-v1-0-3e33f0340071@linaro.org/

It's been a long while since I've felt I kept GNOME Software's APK plugin at the very end of my TODO-list. It means, right now the plugin works unreliably, and the once fast-and-simple experience in postmarketOS/alpine is not there anymore. If you want to help with it, today it's the day: https://gitlab.alpinelinux.org/alpine/aports/-/issues/16637

#postmarketOS

GNOME 48 will include a new feature that allows users to limit battery charging. This will help preserve battery capacity on laptops and smartphones!

https://gitlab.gnome.org/GNOME/gnome-control-center/-/merge_requests/2176#note_b78e72d422be6f0dee9061c865f33a62f36c73a1

#GNOME

I feel very disconnected on every community but here, pmOS and GNOME make me feel that there is people like me!, thank you!
#postmarketOS #GNOME

How unresponsable would it be to develop on my main and only phone? XD
#postmarketOS

Coming soon to a #Fairphone 5 running @postmarketOS near you!

#LinuxMobile #MainlineLinux

our #FOSDEM stand is confirmed!

this time we'll have our very own, with plenty of space to show off more amazing device ports and user interfaces.

#LinuxMobile

vesktop is broken and won't open so now i just have my own lil bonzi buddy

#libobscura grand opening!

Libobscura is a friendly library to use cameras on Linux.

At least that's the goal.

The objectives are:

- hard to use it wrong
- get a RGB buffer in ten lines of code
- easy to add support for new devices
- no mailing list :P

I want #linuxmobile and other #photo and #video workflows to become easy, and manufacturers to spend less time adding support (hi me 2 years ago).

More info on my #blog: https://dorotac.eu/posts/libobscura/

#freesoftware #rustlang @libcamera

Who's into #LinuxMobile and plans to attend #38c3?

Want to form an assembly?
https://events.ccc.de/en/2024/11/03/38c3-call-for-assemblies/ - Nov 24 is the deadline.

I (Peter) think it would be nice to have one, but after my failing to make it happen last year (https://linmob.net/37c3) I don't want to try again - the failure was in part due to a stressful end of year at $dayjob and it's going to be similar this year.

This does not have to be a stand, and could just be a home base to connect and hack on things!

mobile-config-firefox 4.4.0 is out!

* More space in the urlbar (no ➡️, trimHttps, etc.)
* More space for tabs
* Touch screen fixes
* Tab counter!
* xdg-desktop-portal file-picker
* Moving the navigation to the bottom / showing multiple tabs / tab counter is now optional via about:config options
* PPA is disabled

Big thanks to @linmob, @user0 from #FriendlyFox (counter is based on her amazing work!), @gnumdk from @droidian, @DrRac27, @sethi !

https://gitlab.postmarketos.org/postmarketOS/mobile-config-firefox/-/tags/4.4.0

#linuxmobile

In other news, im working on bring the Xiaomi Pad 5 to postmarketOS since a while now, i was waiting for the suspend working again, and with 6.12 it is now working!!, it has almost everything you expect for a tablet (even pen support!), im still struggling with sensors bringup, but we are getting there!!!

#postmarketOS #xiaomipad5

Well, my pixel 3a just died, the touch screen stopped working and i couldn't fix it, that's sad (i'll use it as a server, so it's not lost), i want to buy a phone, if you are in Colombia, and you happen to have a pixel 3a or a pixel 3 laying around and you want to get rid of those, please tell me :DD

#postmarketos

really happy to finally have pmbootstrap 3.0.0 tagged! no doubt there will be even more bug fixes in the near future xD

The pmbootstrap refactoring is still far from over. if you're interested in things like cross compiling and tooling/workflows, we could definitely use more contributors!

@ollieparanoid https://fosstodon.org/@ollieparanoid/113460107335767176

After ~ half a year of massive refactorings and improvements to make pmbootstrap easier to maintain and to bring more performance and better usability, we are happy to announce the 3.0.0 release of pmbootstrap!

Personally my favorite new feature is that packages to build are now calculated and shown ahead of time, but it features so many more improvements.

Coming soon to a distro near you - if you want to use it now, grab it from the git repo!

https://gitlab.postmarketos.org/postmarketOS/pmbootstrap/-/tags/3.0.0

Caleb Connolly (@cas) & Pablo Correa Gómez (@pabloyoyoista) dive into postmarketOS (https://postmarketos.org/), an OS for off-market phones, and how they're making it into a sustainable community.

Listen at 🎙️ https://podcast.sustainoss.org/255