pan
pan
Show content
0
0
0
repeated
Nick Yamane
nickdiego@social.coopHappy to share that my implementation of xdg-toplevel-drag-v1 protocol for Mutter has landed and should start shipping in Gnome 48 🎉 That's part of an ongoing effort @ @igalia to officially ship Chromium Ozone/Wayland backend.
https://youtu.be/GAPjtLUBa_E
https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/4107
For the ones curious about the technical bits and challenges for a first-time contributor for Gnome/Mutter, I'll be covering it in a blog post series in the coming weeks. Stay tuned!
1
7
1
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
38
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
4
10
11
repeated
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/
3
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
10
0
0
1
repeated
Luca Weiss
z3ntu@fosstodon.orgComing soon to a #Fairphone 5 running @postmarketOS near you!
12
21
3
repeated
postmarketOS
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
6
1
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: