0
0
1
repeated
GTK
GTK@floss.socialAs people may have noticed, we've had some issues with GitLab (repository, issues, merge requests, and documentation are all affected), and the admins have decided to move up the migration day to December 4, 2024:
Ideally, this should bring us back to a stable environment. Stay tuned for more information next week.
0
7
2
repeated
Jon Sterling
jonmsterling@mathstodon.xyzThe 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.
9
36
14
0
0
1
repeated
Angelo Verlain
vixalientoots@mas.toI 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.
4
3
1
repeated
casey (pattable)
cas@social.treehouse.systemsFinally, 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/
2
8
2
1
0
2
repeated
pabloyoyoista
pabloyoyoista@social.treehouse.systemsIt'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
2
9
1
repeated
TheEvilSkeleton
TheEvilSkeleton@social.treehouse.systemsGNOME 48 will include a new feature that allows users to limit battery charging. This will help preserve battery capacity on laptops and smartphones!
1
10
1
0
0
0
pan
pan#postmarketOS #GNOME
1
2
9
0
0
1
repeated
Luca Weiss
z3ntu@fosstodon.orgComing soon to a #Fairphone 5 running @postmarketOS near you!
11
20
3
repeated
postmarketOS (old account)
postmarketOS@fosstodon.orgour #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.
1
5
1
repeated
casey (pattable)
cas@social.treehouse.systemsvesktop is broken and won't open so now i just have my own lil bonzi buddy
2
2
3
repeated
dorotaC
dcz@fosstodon.org#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/
4
6
2
coral castle
welcome to coral castle, a chill community sailing on the fediverse. we strive to be a safe, left-leaning, queer-friendly, communitarian space for all kinds of folk. before joining, make sure to read our community guidelines.
community guidelines
- you must be over 14 years old to join. coral castle's servers are hosted in chile, and under article 19,628 of the laws of chile, we are unauthorized to collect data from people under 14.
- do not spam or raid. the fediverse is not your space to intoxicate.
- nsfw/nsfl content must be marked as sensitive. coral castle is built to be used as a casual instance, and as such should be accessible anywhere.
- hate speech, paraphilia, and harassment will get you banned. having basic human decency is key anywhere. whether it is in real life or on the internet, don't be a jerk.
- keep things legal. this includes pirated content, since we want to keep a good relationship across fediverse servers. posting CSAM is strictly forbidden and will result in legal action.
moderation policies
the sanctions for local users will be relative to the gravity of their infringements, varying from simply deleting the offending material, to warning the user through a three-strike system, to immediately banning the offending user.
if you're an instance administrator and you think your instance was sanctioned by mistake, feel free to appeal by emailing me at lux@nixgoat.me
special thanks
to our donators, for helping keep this instance up:
also, to the following organizations: