Timeline

Shrek 2 Remastered is a nice reason to revisit the classic from the GameCube era, and it's quite playable on the #SteamDeck:

NPM driven development

Monads in Lean via @abnv@fantastic.earth https://lobste.rs/s/quicny #programming https://eli.thegreenplace.net/2026/monads-in-lean/

Have we entered the next part fo the state machine?

Headpats on someone you're not intimate with are awkward. Need to figure out how to atop fucking them up out of awkwardness

In Defense of Giving a Shit Link: https://www.possibilityspace.org/blog/posts/in-defence-of-giving-a-shit/ Discussion: https://news.ycombinator.com/item?id=50452407

Hyper-Realistic Sand with WebGL2 Link: https://av.github.io/safe-sand/ Discussion: https://news.ycombinator.com/item?id=50453288

Why am i losting faggy ass shit

Deepin 25.3 Adds Freeze Protection, AI Improvements, and Better Recovery The Deepin team has just released Deepin 25.3, the latest version of their China-developed, immutable Debian-based Linux distro. One of the most useful changes is a new freeze-protection mechanism that keeps core desktop components accessible if the system becomes extremely unresponsive. In other words, under heavy load, you should still be able to get to the taskbar, the app launcher, and the System Monitor to see what’s going on and kill off the offending processes. The devs have also been working on application startup performance, particularly the Control Center and the various office apps. System logs are now capped at 5GB by default and will automatically stop logging when disk space falls below 5% to prevent them from getting out of hand. On the kernel side, Deepin 25.3 upgrades the default Linux kernel to 6.6.159, with fixes for several security vulnerabilities and boot issues on certain devices. For users with more modern hardware, 6.18.56 is available via Kernel Manager. UOS AI, Deepin’s own AI assistant, can now create reminders, scheduled tasks, and recurring tasks from natural language. Moreover, it now has a whole-disk knowledge base so you can search the contents of authorized local files. There’s also a unified interface that brings MCP, Skills, and the various AI agents together. Regarding system recovery, the immutable system in Deepin now allows snapshots to be stored on local disk, USB stick, and external HDD, with the ability to restore directly from a snapshot stored at a given location. The backup and rollback process has also been tweaked to reduce the amount of additional disk space consumed during an upgrade. For the desktop, the update brings several fixes to Treeland (Deepin’s Wayland compositor), including Xwayland compatibility issues, incorrect window rendering when maximizing or going into fullscreen, and input method issues. The login screen has also been tweaked to ensure the controls are readable on light wallpapers. On the Graphics support side, the NVIDIA Container Toolkit is now preinstalled to enable GPU acceleration for Linyaps containerized applications. The installer will also be able to automatically pick an appropriate NVIDIA driver version based on the graphics hardware that it detects. Several bundled apps have received improvements as well. Image Viewer now supports cropping, rotation, annotations, mosaics, and blurring all within the viewer itself. Document Viewer now remembers your last position and layout, and Text Editor now has Markdown support. On top of that, File Manager has an expandable directory tree in the sidebar, Calendar now supports third-party schedules, and App Store has proxy configuration options as well as more accessible installation error information. Finally, Deepin 25.3 fixes several security issues in various components (Qt, curl, FFmpeg, glibc, OpenVPN, BlueZ, Xorg, and nginx), and the team has addressed some command injection, permission validation, and information disclosure issues in various system utilities. For more details, see the release announcement.

Linux’s exFAT Progs 1.4.4 Adds Optional I/O Statistics Collection for Profiling Exfatprogs (exFAT Progs) 1.4.4, exFAT filesystem userspace utilities for Linux, has been released today with several improvements, a new feature, and multiple bug fixes. Exfatprogs 1.4.4 is the fourth minor update in the Exfatprogs 1.4 series, coming three months after Exfatprogs 1.4.3. This release introduces a new feature to the exfatprogs command, namely optional I/O statistics collection for profiling read, write, discard, zero-out, and sync operations. This release also updates mkfs.exfat to increase full-format speed by using BLKZEROOUT when supported, selecting larger zeroing batches, and improving quiet and trace progress output, and reducing page-cache pollution during full formatting on systems that support POSIX_FADV_NOREUSE. Several bugs were fixed in Exfatprogs 1.4.4 for the mkfs.exfat command, avoiding memory-reservation failures when creating very large allocation bitmaps, and marking the percentage of used clusters as unknown until it is calculated. The fsck.exfat command received the most attention, with fixes to prevent arithmetic overflows and out-of-bounds reads by rejecting malformed boot sector geometry, avoid printing version information during automatic repair with the “-p” or “-a” arguments, and missing line breaks in error messages. In addition, the fsck.exfat command now stops immediately on I/O errors instead of treating them as file system inconsistencies. The dump.exfat command was updated to print complete file timestamps in raw and ISO formats, while the exfat2img command now keeps metadata image output on stdout free of status messages. Last but not least, the exfatprogs command received fixes for parsing kernel versions and boolean environment variables, and showing the correct usage text for overwrite and read-back verification options. Check out the release notes on the project’s GitHub page for more details about the changes included in exFAT Progs 1.4.4, from where you can download the source tarball if you want to compile it on your Linux distro. However, it is recommended to install Exfatprogs from your distro’s stable repositories. Exfatprogs was designed as official userspace utilities that contain all of the standard utilities for creating, fixing, and debugging exFAT filesystems in Linux distributions. The goal of the exfatprogs project is to provide Linux users with the same high performance and quality as the exFAT utilities in Windows.

Can someone prank this mofo and make him fail the challenge? Just go to him and give him cuddles, he's gonna be so mad fr fr RE: https://netzsphaere.xyz/objects/b60f83db-beeb-4ff2-b235-76383207e0b4

Good evening, friends. I am Sally, a nurse in Gaza. I have been working without pay. I am now fearful for my children; there is no safety in the tents. We are required to pay rent for the land, or else we face the threat of eviction. I am hoping to find someone who can provide monthly support to help lift this burden from me. 🙏 I need $250 per month. Please share my appeal. #HelpGaza #Support #Fundraising #Humanitarian @mutualaid@fedigroups.social @mutualaid@ovo.st #Palestine #Gaza #FediForGaza https://chuffed.org/project/164115

Watching an old movie and it has an unusual relevance today... #AI

#Mitra v5.13.0

https://codeberg.org/silverpill/mitra/releases/tag/v5.13.0 https://codeberg.org/silverpill/mitra-web/releases/tag/v5.13.0

• Command groups. For example, list-accounts becomes account list and set-role becomes account role. You can see new command names in release notes or changelog. Old commands have been deprecated and will be removed in the future.
• Group admins can now view group's followers.

This is probably the last release before v6.0. The major version bump will happen sooner than expected because we need to increase the minimum supported Rust version, as required by some dependencies.

In honor of Kurt Vonnegut's birthday, my favorite quote: “Laughter and tears are both responses to frustration and exhaustion. I myself prefer to laugh, since there is less cleaning up to do afterward.”

US House GOP blocks effort to impeach Hegseth • Virginia Mercury https://virginiamercury.com/2026/11/11/repub/us-house-gop-blocks-effort-to-impeach-hegseth/?utm_source=flipboard&utm_medium=activitypub Posted into Latest from Virginia @latest-from-virginia-VirginiaMercury

Spanberger, Va. Democrats pitch medical debt relief, data center limits for 2027 • Virginia Mercury https://virginiamercury.com/2026/11/11/spanberger-va-democrats-pitch-medical-debt-relief-data-center-limits-for-2027/?utm_source=flipboard&utm_medium=activitypub Posted into Latest from Virginia @latest-from-virginia-VirginiaMercury

Commentary: This Veterans Day, give veterans more than thanks https://virginiamercury.com/2026/11/11/this-veterans-day-give-veterans-more-than-thanks/?utm_source=flipboard&utm_medium=activitypub Posted into Latest from Virginia @latest-from-virginia-VirginiaMercury

Winter is coming. Can Democrats succeed in chilling soaring energy prices? • Virginia Mercury https://virginiamercury.com/2026/11/11/repub/winter-is-coming-can-democrats-succeed-in-chilling-soaring-energy-prices/?utm_source=flipboard&utm_medium=activitypub Posted into Latest from Virginia @latest-from-virginia-VirginiaMercury

I do not think a single voter in my district, which came inside 2 points of flipping red to blue, would be won over by “hit your kids more.” RE: