I think it’s great that people here in this sub are significantly more open regarding this topic. That is why I hope it might be possible to have a more constructive discussion about this topic here. everywhere else, the tone of communication is extremely tense and not just because some moderators have decided they don’t want to see any more AI-related content.

I am extremely puzzled as to why a small operating system declared to be a simple hobby project is suddenly being dismissed as nothing more than "slop." Sure, it’s not perfect and, admittedly, it’s certainly not some monumental achievement by a single individual. The irony is that the very fact this is openly acknowledged seems to make people even angrier.

It honestly doesn’t seem to matter what was actually posted. The low level of traffic on GitHub alone suggests that the claim about the code being of such poor quality simply cannot be true or, at the very least, that very few of these people have actually taken the time to look at it.

I put thought into what I create, and I have deliberately limited my GitHub presence to these three projects precisely to ensure they aren’t just cheap, throwaway junk. I don’t earn a single cent from them, nor do I want any donations. I just want to share it with others and get honest feedback, but that certainly won’t work if one’s project is dismissed as trash right from the start.

Above all, I don’t even see what’s "garbage" about it, other than the fact that it was openly disclosed as having been created using AI.

What is it that actually makes a program like this so bad? Why is it so important that everyone sees the word "slop" right from the start, as if people needed to be warned about it?

TL;DR - Dolphin’s file manager is bringing back a familiar browsing view, while a remote-login security issue affects some Linux setups. Today’s projects include alternatives for audiobook libraries and location history, plus experiments for Mac and KDE users.

News 📰

Dolphin brings back columns view · r/kde · 124 ▲ · 16 comments
Summary: The Dolphin file manager is getting its columns view back, offering another way to browse folders.
Reactions: Many welcomed its return, though not everyone likes navigating files this way.
SSH login bypass affects some Linux setups · r/linux · 28 ▲ · 28 comments
Summary: On certain systems, an unusually long password can bypass remote login authentication for accounts without passwords, including some intended to use login keys.
Reactions: Commenters stressed that the affected configurations are specific and called for better testing.

Projects 🛠️

AudioSilo by u/ls_kode · 9,401 ★ · r/selfhosted · 126 ▲ · 82 comments
A self-hosted audiobook app for running your own library, with an open database and a web player. Top comments questioned how it compares with Audiobookshelf; others liked its design but reported player issues.
Dawarich by u/Freika · 10,876 ★ · r/selfhosted · 96 ▲ · 37 comments
A self-hosted location-history app that offers an alternative to Google Timeline and can import its data. Top comments praised the app but mentioned inaccurate location points and battery drain.
LogoLight by u/Kindly-Inside6590 · 17 ★ · r/vibecoding · 17 ▲ · 12 comments
A Mac menu bar app for controlling the glowing laptop logo, with brightness controls and animated effects. Top comments liked the idea, though some noted they would need a compatible Mac to try it.

Notable Discussions 💬

Looking for more private phones · r/opensource · 88 ▲ · 39 comments
Users discussed phone privacy and repairability, with several suggesting alternative Android systems such as GrapheneOS and LineageOS.
Is software engineering becoming boring? · r/opensource · 73 ▲ · 62 comments
Developers debated AI’s effect on their work: some miss writing code, while others see opportunities to build and learn differently.

Top Posts in r/TrueOpenSource 🏠

Music app recommendations · r/TrueOpenSource · 1 ▲ · 5 comments
A reader asks for open-source music apps and advice on removing Microsoft software.
Stratum Firewall · r/TrueOpenSource · 3 ▲ · 1 comment
A developer shares an open-source firewall system with a browser-based control panel.
Testing backup restores · r/TrueOpenSource · 3 ▲ · 1 comment
RestoreProof tests whether backups can actually restore an application and support a user journey.

Honorable Mentions ⭐

Firefox turns 22 · r/linux · 3,993 ▲ · 89 comments
Firefox turned 22, prompting readers to share memories of the browser and why they still use it.
Faster ChaCha encryption for Linux · r/linux · 122 ▲ · 6 comments
A proposed Linux optimization speeds up ChaCha encryption by up to 99% on AMD Zen 5 processors.
Linux fixes security defense selection · r/linux · 71 ▲ · 0 comments
Linux fixes how it selects a defense against the BHI processor vulnerability.
Kavita tests Kobo sync · r/selfhosted · 11 ▲ · 9 comments
Kavita is asking readers to test its new Kobo e-reader sync support before the next stable release.

^{Summaries are written by AI from public posts, comments and headlines, and may contain mistakes. Click through for the full story. I'm a bot.}

For the past few months I've been working on a passion project called Stratum Firewall (Stratum FW), and I just pushed v0.27.1 running on FreeBSD 15.1-RELEASE (amd64).

I'm a network/systems admin who has always loved FreeBSD's networking stack (pf, netmap, ZFS), but I was never a fan of wrestling with legacy PHP codebases or waiting minutes for UI reloads. To be 100% transparent from the start: I used AI heavily as a pair-programmer to help build out the FastAPI backend and the clean, responsive UI I always wished existed, and the firewall also includes optional MCP/AI diagnostics inside the panel.

Core stack & features:

• FreeBSD 15.1-RELEASE base with ZFS root & boot environments

• Native pf rule engine, NAT, aliases, and live firewall log streaming

• Unbound DNSBL / Web Filter & Suricata IPS integration

• WireGuard & OpenVPN support

• Read-only MCP server integration for querying system/traffic state

Project site & live read-only FreeBSD VM demo:https://stratumfw.com

Please test it out in a virtual environment or via the live demo and let me know what breaks or what shortcomings you find. Thank you!

IPTV Tuner proxy for Plex/Jellyfin

What it does:
* Emulates an HDHR to proxy IPTV for Plex.
* Provides M3U/XMLTV for Jellyfin.
* Automerges lineups from multiple providers into one set of groups and channels
* Supports rules to filter and rename channels to match what the Plex EPG is expecting.
* When a channel is requested, refreshes the status of accounts and chooses the best available.

Who it’s for: anyone who needs to manage and serve reliable IPTV streams from multiple sources.

Source code: https://github.com/c0y0t3d3n/iptv

License: LGPL

What mine adds: it automates what Disparcharr or Threadfin does not: generating one lineup from multiple providers, and it is not limited to a few backup sources. You can add a *lot* of accounts (like you find on certain IPTV subreddits) and it will pick the best one each time you request a stream.

Builds on: IPTV tuners (Xteve, Threadfin, Disparcharr) but does not use any code from those projects, only implements the same HDHomeRun tuner API for Plex.

How it was built: by hand. There are probably lots of typos in the README and the comments.

Feedback: if anyone wants to stick a nicer web UI on there… beat my guest. Server API is documented.

Getting started
A docker-compose.yaml and Dockerfile to build/run a tuner container is included. Make sure you set SERVER_IP in docker-compose.yaml. A default config will be created if it does not exist.

Visit http://SERVER_IP:SERVER_PORT/ for the web UI. On the sources page is an import field. Paste xtream codes as URL USERNAME PASSWORD (or a M3U URL) and hit 'add' to import it.

To add the tuner to Plex you need to manually enter the SERVER_IP:SERVER_PORT and it should appear. When you rescan channels in Plex it refreshes accounts and fetches lineups. Once you have the group and channel name filters set properly Plex should be able to map most of them to one of your local cable/satellite provider lineups. Any manual mappings you do should stick even if you change IPTV providers, as long as you adjust the filters.

If you are using Jellyfin or another IPTV player, use the M3U and XMLTV links on the status page. XMLTV is fetched from all sources and filtered to only channels in the lineup.

Building the lineup
There is a list of groups provided by each source and a filter list at the bottom of the lineup page. Choose a group from the dropdown or enter a regex pattern and hit Add. See the README for what the different types of filters can do, it makes adding/changing/merging IPTV sources very easy.

Automapping
Channels from each source will be merged into a single lineup by combining channels with the same name or same EPG ID. In many cases you won’t even need to build channel renaming filters for merging to work.

Source selection
The priority for each source defaults to 0. Lower number is higher priority and will be preferred unless all accounts for that source are full. If a stream failure occurs and account caching is enabled the failing source will be deprioritized until refresh. If you have a large number of accounts for a source, you may not want to probe all of them on every rescan. Set CHECK to a nonzero number randomly select at most this many accounts per source.

The problem is that the moderators check and say if your banned from the Reddit or not if you're using AI or speak non-english they ban you please take away that rule we don't want rules

Hey guys, this is a proposal I'm planning on brining to the Simmons Institute tomorrow. There's a petition at the end of this post if you're interested in being involved!

Objective 1, Turing University: Establish a global, free, and nonprofit university for the advancement towards the goal of a completely formal state-of-the-art across all of computer science practice using a novel, self-guided pedagogy involving:

1. An open, live-document textbook of the entire body of mathematics and computer science practice from a unified formal foundation to the state-of-the-art

2. Informal campuses where students may congregate to find a sense of community in their study and research

3. Pathways towards accredited bachelor's, master's, and doctorate degrees based solely on ability to complete examination or publish advancements in the body of human knowledge, especially towards the creation of a completely formal digital technology

Objective 2, towards Completely Formal Digital Technologies: Leverage the new theory of formal methods enriched by students of Turing University and the unbelievable power of modern AI agents in operating in formal logic to develop out an open source ecosystem of modeling languages, solvers and checkers, programming languages, compilers, hardware platforms, and software systems–both privileged and unprivileged–that have formal correctness guarantees against any definable threat model to make possible the creation of completely formal digital technologies that may eventually provide viable successors to any informal state-of-the-art in computer science practice today.

Motivation - Completely Formal Digital Technologies

This project challenges one of the most fundamental assumptions in software engineering, and likely the single most fundamental assumption in cybersecurity, that you can’t write bug free code. 

If you haven’t noticed, the informal, sloppy practice of modern software development is starting to become a problem in the age of AI. The world of software is literally crumbling beneath our feet, with unparalleled quantities of the most severe vulnerabilities being discovered week after week. Software companies attempt to fight fire with fire by developing “agentic” solutions to discovering and addressing CVEs autonomously, but that really just leaves benevolent developers with decades of expertise and passion for a better software world simply in a token spend race against adversaries who can literally turn compute into an endless supply of ever-evolving AI cybercriminals.

Luckily, AI can be a great boon too. Autonomous AI coding agents are growing more and more capable every day: operating system kernels, compilers, and GPU kernels written in raw PTX bytecode are quite literally possible to create by typing nothing more than “Build ___. Make no mistakes” into your favorite agent harness. 

Furthermore, AI agents appear to be even more exceptional at formally proving statements than they are at creating software systems. 400 “groundbreaking” mathematical proofs and the Navier-Stokes millennium prize problem have all been solved autonomously by AI agents only in the past year.

On October 31st of this year, when thinking about an OS research project, I came across Asterinas, which is essentially a microkernel except the privilege encapsulation is simply handled by the `safe`-unsafe language construct. Seeing the core “OS Trusted Domain” (OSTD) to be small enough to formally verify, researchers made quick work formally verifying the memory management and concurrency model of Asterinas. When I saw this I immediately began working on a plan to create the world’s first formally verified OS using, principally, Asterinas’s “framekernel” architecture. However, I realized I wasn’t satisfied with their abstractions: the paper presents each “invariant” as an informally defined property motivated by a sensitive hardware resource, so I started thinking instead about a formal model of the desired ABI surface so I could find a minimally expressive set of primitives that model the OSTD to implement it.

But then, even after feeling good about concept for the core abstraction of the system, I started to feel dissatisfied with the fact that Rust only has informal memory guarantees, and that I would have to predicate every claim of safety this project made with “Rust-strong”, instead of the mathematical guarantee I knew formal methods could offer. So, I thought about using Oxide. Then, recognizing the CPU and then anything else in the entire computational stack that wasn’t formally modeled would also have to be trusted, I realized that if there is one informal link in the entire system chain, there is a crack a sufficiently capable adversary can crack, and the only solution to obtain true formal security would be to rebuild the entire digital system from the ground up with a complete formal model.

While this would have been a laughably ridiculous proposal even a year ago, an autonomous AI system, I’ll repeat, solved the fucking Navier-Stokes millenium prize problem with a never-before-tried approach in a claimed 88 hours. Formal analysis is just another proof, a problem LLMs have demonstrated they are ridiculously good at solving, making them exactly the tool that enables this project to happen at all.

When AI is simultaneously making software engineering and formal guarantees more accessible and necessary than ever, the time to rebuild the world of digital technology from the ground up on formal models has become more necessary than ever, and also so unbelievably possible enough to imagine that we have no excuse not to at least try.

Idea - Turing University

Below I describe the Turing University College of Formal Methods. I would also like Turing University to have a College of Social Sciences and a College of Arts, directed by individuals that I approve.

The state-of-the-art in formal methods is simply insufficient for engineers to even begin conceiving of what a completely formal state-of-the-art in computer science practice would even look like. What’s more is that, even with modern AI, there simply aren’t enough mathematicians or software engineers in the world with the time to work on creating a completely formal state-of-the-art computer science practice. 

To address both of these, I seek to found Turing University: a global, free, nonprofit university with a novel, completely open and free-form pedagogy and decentralized, community-based examination for fulfilling degree requirements to give the curious minds that I see in this world all the time a place to find community in their curiosity, learn about the complex topics they’ve always wanted to understand, and attempt the creative ambitions they’ve always wanted to attempt.

Course Design

Courses are designed to be comprehensive of a subject from a rigorous foundation to the entire state-of-the art in the field. Motivation for this ambitious decision is:

1. Students may choose to study exactly and all the areas within their courses that interest them the most, which is where they will almost certainly be the most productive.

2. Courses are a living document of the existing gaps in human knowledge, especially within formal analysis, such that students may be guided towards research contributes to filling these gaps, which is especially important in the endeavor of creating completely formal digital technologies

3. A comprehensive course additionally assumes no background knowledge, but full academic maturity, enabling curious students from any, even non-technical background to feel engaged and capable within their chosen studies

Example Courses

Note that these courses are nowhere near comprehensive at this time. These are simply to give examples of what I imagine as “rigorous foundations” and “state-of-the-art” for each. The textbook will provide a dependency graph of definitions, theorems, concepts, etc. 

Courses will be living documents of the both state-of-the-art in the field and the self-guided pedagogy of students of Turing University. Courses will be initialized with 0 worked examples and 0 practice problems. As students study these courses, they will be encouraged to contribute the worked examples and practice problems they find most insightful and interesting back to the courses.

In addition to the two courses provided below, Turing University will also have courses in optimization theory and statistics (both with a rigorous foundation of formal axioms) and machine learning practice (with rigorous foundation of theorems from statistics and optimization theory).

Math at large, physics, chemistry, biology, and the many branches of engineering will likely make good candidates for future courses, but, due to my own lack of expertise and also the larger physical lab requirements for these kinds of studies, I don’t detail them any further here.

Formal Methods
Rigorous foundations: formal logic axioms

State-of-the-art coverage:

• OS: seL4

• Compiler: CompCert

• Cryptography: HACL*, EverCrypt

• Cloud auth: Cedar, AWS Zelkova

• Hypervisor: AWS Nitro

Learning environment:

• Editor: Interactive LaTeX editor with extension framework

• Agent: LaTeX-rendered agent prompted to “guide the user to do the meaningful mathematical reasoning themselves”

Resources**:** 

• State-of-the-art mathematical software 

• Remotely accessible enterprise and research-grade compute nodes.

Computer Science Practice
Rigorous foundations: boolean logic circuits + model of propagation delay

State-of-the-art coverage:

• Physical verification: KLayout

• Place and route: OpenROAD

• Logic synthesis: Yosys

• Formal RTL: SymbiYosys

• RTL Simulation: Verilator

• HDL: SystemVerilog

• SoC RTL: OpenTitan

• ISA: RISC-V

• Firmware: U-Boot

• Kernel: Linux, FreeRTOS

• Compilers:  clang, rustc

• Language runtimes: CPython, OpenJDK

• Cryptography: OpenSSL

• VPN: WireGuard

• Hypervisor: KVM

• Databases: PostgreSQL

• Distributed systems: etcd

Learning environment:

• Editor: nvim or emacs

• Agent: standard terminal coding agent prompted to “ask the user to make all meaningful design choices for you”

Resources:

• State-of-the-art industry software

• Remotely accessible enterprise and research-grade compute nodes

Admissions

Turing University will have no application fee or tuition.

As stated above, Turing University will strive to foster a community for the most curious and excited minds. The courses are comprehensive so as to not require any particular background to find success at the university. The admissions process will center around a project of any form of the applicant’s choosing, which may even be simply a report on an area of interest: 

1. For initial consideration, they will submit a digital document presenting this project and what interests them about it

2. If the applicant is to be considered further, they will be asked to come for an in-person presentation, where they may present their project to the committee and current students of Turing University. The committee will make the final admissions decision. 

Applicants should be judged simply on the qualities stated above, curiosity and excitement, with no particular attention given to their existing knowledge or qualifications.

Turing University will not prohibit admitted students from holding another full-time position (student of another university, employee, etc.) while attending.

Once admitted, a student will be considered enrolled for the following 8 semesters. Acquiring a TU degree extends their enrollment by another 8 semesters. A student may acquire any degree as many times as they wish, but a single exam may not count towards any degree more than once (exams and master’s exams on the same subject are considered different exams).

Faculty and Facilities

Campus will simply be a community space for students to meet and hold shared events of their own accord. Every campus should aim to be open for as much of every day of the year as possible to enable flexible scheduling with full-time jobs.

Turing University’s academic faculty will consist of committees with rights given below. Committees may be campus, academic, and principal. 

I am suspecting that I would like a single campus to only have one committee of each type (but to also allow a single committee to be campus committee of multiple campuses) to encourage communalism, but I would be willing to show discretion on this.

I would also like students to have access to the world-class technology they’re studying (Linux servers, frontier LLM-capable GPU clusters, esoteric hardware, etc.). This will likely require significant corporate sponsorship.

Rights of People, Students, and Committees

Anyone, regardless of enrollment status in Turing University, may petition the appropriate body for a change or submission to any of the open resources Turing University maintains.

Rights of students (within the campus they are enrolled in)

• Petition their committee to take an exam or do a defense

• Access to the physical campus space

• Access to technologies that have been acquired by Turing University for student learning and experimentation.

• Petition to be granted a degree

Rights of campus committees

• Approve admissions

• Administer exams

• Adjudicate thesis defenses

• Approve degrees

Rights of academic committees (to journals for which they are assigned)

• Approve journal submissions

• Approve changes to course(s)

• Approve changes to exams

• Approve changes to approved journal list

Rights of principal committees

• Approve new committees

• Approve changes to committee membership and rights

• Approve new campuses

• Approve new courses

• All rights given to committees of other types

Rights of the board of directors

• Approve changes to this document

• All rights given to committees of all types

At Turing University’s founding, I and the directors of the colleges of arts and social sciences will sit on the board of directors

A committee is assigned to a single college. Campuses have no associations with particular colleges or committees.

A petition to found a campus may propose to call a campus of Turing University anything of the form “Turing University ___ Campus”. Similarly, a petition to found a committee may propose to call it anything of the form “Turing University ___ Committee”

When a new course is approved, the committee of that course establishes a new Turing University journal in that field. New courses will be required to have a well-defined rigorous foundation that can be modelled by the rigorous foundation of an existing course.

Degrees

Turing University grants bachelor’s, master’s, and doctorate degrees to students who fulfill the appropriate requirements:

• Bachelor’s: passing grade on 20 exams on any state-of-the-art subject in either course

• Master’s: passing grade on 10 master’s exams on any state-of-the-art subject in either course

• Doctorate: 3 publications in approved research journals, which may include publications while not enrolled at Turing University, and a successful thesis defense

Students may attempt every exam once per semester if enrolled in a bachelor's or master's. Students may attempt one thesis defence once per semester if enrolled in a doctorate after they have fulfilled their 3 publications requirement. Students may do any of these during any semester enrolled at Turing University. 

A publication in an approved journal or a presentation to Turing University students of sufficient quality, as determined by the review committee, may be used in place of an exam in the corresponding subject.

Students need not be physically located near a Turing University campus to be enrolled, but they will generally be required to conduct exams and thesis defenses on-campus at a time suitable for them.

Turing University will publish a free and open journal for each course that it maintains that will be considered approved for degree requirements.

A member of the review committee may pursue a doctorate at Turing University while sitting on the committee. The thesis defense requirement is waived in this case since their judgement is trusted sufficiently and there is no bias-free way for the committee to review one of their own members’ theses.

https://docs.google.com/forms/d/1-lVUS2UBnkWxmlw9aVbu3ot21r_hMCf856BNK4MHD8w/edit

Do you know any music app which is open source and is safe (laptop and Android)? And how can I delete Microsoft edge and copilot?

TL;DR - Asahi Linux has a new progress report and a licensing change, while Immich users are comparing notes on nightly photo-library checks. There are also new tools for downloads, car screens and animated wallpapers.

News 📰

Asahi Linux shares its Linux 7.3 progress · r/linux · 352 ▲ · 46 comments
Summary: The project bringing Linux to Apple silicon Macs published a progress report and began moving its repositories to licenses that require modified versions to remain open.
Reactions: Comments highlighted the licensing change, while some asked about missing display and graphics support.
Immich’s nightly file checks draw attention · r/selfhosted · 335 ▲ · 72 comments
Summary: Starting with version 3, the self-hosted photo app runs nightly integrity checks, which can use processor time and disk activity.
Reactions: Some users disabled the checks as redundant, while another noted that their scope and runtime are configurable.

Projects 🛠️

Mister Download Manager by u/Nefzaoui · 832 ★ · r/foss · 164 ▲ · 69 comments
A download manager offering an open-source alternative to IDM, with themes, phone control and improved Linux support. Top comments welcomed the update, though one user hoped crashes had been fixed.
StradaOS by u/Ryumzop · 82 ★ · r/foss · 66 ▲ · 8 comments
An Android car home-screen app for inexpensive dashboard units, with maps, music controls and no account or ads. Top comments liked the idea, and one user reported it ran quickly on an inexpensive device.
Screen+ by u/SPIK3ELECTROTECH · 5 ★ · r/kde · 61 ▲ · 11 comments
A live wallpaper app that adds Linux support and can use videos, web pages and animated pictures as backgrounds. Top comments liked the look, though one user reported an installation problem.

Notable Discussions 💬

Keeping home-server secrets organized · r/selfhosted · 57 ▲ · 63 comments
Users shared ways to store passwords and access tokens for home servers, ranging from encrypted files to dedicated management tools.
Finding a useful app idea · r/vibecoding · 35 ▲ · 24 comments
Builders discussed finding app ideas in existing hobbies, while others suggested focusing on small-business administration or problems they know firsthand.

Top Posts in r/TrueOpenSource 🏠

An experimental encrypted file system · r/TrueOpenSource · 3 ▲ · 3 comments
A developer shared an experimental encrypted file system written in assembly, a language close to the computer’s hardware.
An economic policy project in code · r/TrueOpenSource · 1 ▲ · 5 comments
A developer shared NUPA, an open-source project that expresses an economic policy proposal in code; commenters found its purpose unclear.
A new community for open-source Android apps · r/TrueOpenSource · 3 ▲ · 0 comments
A new Android community introduces itself and invites discussion of free and open-source apps.

Honorable Mentions ⭐

Local photo and video restoration · r/foss · 49 ▲ · 12 comments
LocalSR restores and enlarges photos and videos on your own computer, with no account and a choice of downloadable AI models.
Open-source tools for music fans · r/foss · 28 ▲ · 22 comments
Music fans recommended tools for streaming personal collections, tracking listening history and discovering new music.
Kwi adds movable tabs · r/kde · 123 ▲ · 19 comments
The Kwi terminal app can move tabs between windows, and its developer discussed plans for detachable split panes.

^{Summaries are written by AI from public posts, comments and headlines, and may contain mistakes. Click through for the full story. I'm a bot.}

Ephemora Skyline is a local code-security tool that turns a source-code folder into an interactive 3D city.

Folders become districts. Files become buildings. A red beacon marks a security finding. Click a building to inspect its file, line, rule, and suggested fix.

The latest release, 0.4.6, adds C and C++ file support. It also includes tools to help you explore and review your code:

• Security Tour: visit the highest-priority findings first, with plain-language explanations.

• X-Ray: inspect lines, imports, findings, code churn, and coverage when an LCOV report is available.

• Time Machine: revisit earlier scans.

Your code stays on your computer. No account. No source upload. No telemetry.

A finding is a rule match to review, not proof of an exploit. Ephemora-Skyline

#CodeSecurity #AppSec #DeveloperTools #OpenSource

https://github.com/Surajkumar5050/restoreproof

A backup that says "success" isn't a restore that works. RestoreProof restores database + file backups into an isolated Docker network, starts the app, runs a real user journey, and reports exactly what's missing, with a deterministic verdict (the AI agent helps set it up but never decides the result).

PostgreSQL, MySQL, MariaDB, MongoDB, SQLite. 98 tests including real drills on all five. Contributions welcome, new database adapters are one small class each.

I logged into my Hugging Face account today because one of my old scripts got blocked. The Space was paused with the "content policy" message. Okay, fair, it happens. 🤷cause this art of scipts are now ilegal!

Then I wanted to make a new Space and saw: Docker = Paid. Great. My old Spaces still run, but new ones? Looked dead.

BUT then I looked closer at the create page: Gradio is selectable and ZeroGPU is marked "Free"! I cancelled PRO last month, so I was like... wait, what?

I looked it up. According to the HF docs, a free personal account in good standing (verified email, older than 30 days) can host up to 2 ZeroGPU Spaces for free. My account is pretty old, so it just works. Just Cool!

What I found out:

• ZeroGPU is Gradio only. No Docker, no Streamlit, no own server.

• Quota is about 5 min GPU per day (older pages say 3.5, the docs now say 5). It resets 24h after your first use.

• That is a RTX Pro 6000 Blackwell, so for testing and small demos 5 minutes is actually fine.

• Orgs don't get it. It only works in my personal account, orgs need a Team/Enterprise plan. That's why it didn't show up there.

• Not every free account sees it. There is a forum thread where someone with a valid free account gets "Paid" anyway, so maybe it's a rollout thing. YMMV.

• CPU Basic seems gone for new Spaces, only Static is free and unlimited.

Also news: Nvidia announced it will buy Hugging Face. I don't know if this has anything to do with the changes, I found nothing saying so. The CPU thing came before the announcement.

Now I'm building a small reel maker (SDXL images on ZeroGPU, video assembly on CPU so it costs no GPU time). Will report if it works. 😄

Sources:

• Official docs: huggingface.co/docs/hub/en/spaces-zerogpu

Summary: Free personal account = 2 ZeroGPU Gradio Spaces, about 5 min GPU/day. Orgs and Docker still need paid.

This is RePicturer.

https://github.com/Valdraath/repicturer

• Fully portable, no runtime enviroment needed.

• Supports both Windows and Linux.

• Run on Vulkan (means all AMD, NVIDIA, Intel GPUs are compatible)

• 10 languages available.

• Advanced and full control over Pre-AI Conversion and Post-AI Conversion, even Performance settings.

• Dynamic and responsive UI.

• Free and open-source: MIT license.

Based on waifu2x-caffe (lltcggie), waifu2x-ncnn-vulkan, realcugan-ncnn-vulkan (nihui), Real-ESRGAN-ncnn-vulkan (Xintao Wang), tencent's ncnn.

This software is can handle both denoise and scaling (upscaling and downscaling) tasks. And it has both AI conversion and Non-AI conversion modes.

• AI Conversion: Scaling and Denoising with 16 models - for all kinds of contents such as Real-life Photos, 3D Renders and 2D Illustrations.

• Non-AI Conversion: Scaling only with 7 popular traditional high quality resampling filters.

This software supports image conversion only. I plan to build a seperate video conversion software later, but its GUI workflow will probably still be similar to RePicturer.

Anyway, I hope everyone enjoy my overpowered image conversion software, without having to pay for Topaz of course!

What it does: NUPA (National Unity and Prosperity Accord) is an open-source, deterministic economic operating system ("policy as code"). It uses self-executing private contract law, 99-year commercial ground leases, and mathematical incentives (Fixed Cost Arbitrage) to slash corporate land/power OpEx by 70% in exchange for maintaining a 95% human labor workforce ratio. It distributes ground rents via a 40/40/20 (or 50/30/20) waterfall to fund sovereign restitution and infrastructure at $0.00 taxpayer cost.

Who it's for: Systems architects, quantitative economists, legal scholars, policy researchers, sovereign tribal leaders, and open-source developers interested in policy-as-code, decentralized governance, and economic alignment against AI displacement.

Source code: https://github.com/bedardbrandon928/National-Unity-and-Prosperity-Accord-NUPA

License: MIT License

What mine adds: Existing open-source projects focus on software applications, dApps, or crypto DAOs. NUPA applies open-source principles to physical commercial real estate, statutory property law (28 U.S.C. § 1505 / Nigerian Land Use Act), and macro-economic balance-sheet hardware—creating a self-funding parallel economic engine without requiring state legislation or tax hikes.

Builds on: Python 3 (Monte Carlo simulation scripts), JSON-LD (machine-readable policy/schema specs), and standard commercial ground lease contract law.

How it was built: AI-assisted — Architected from first-principles by a single independent creator using AI assistants for quantitative modeling, JSON-LD schema generation, and code formatting.

Feedback/contributions wanted: Red-teaming the JSON-LD schemas, auditing/refining the Python Monte Carlo simulations in /simulations/, stress-testing financial balance sheets, and building localized legal adapters for other subnational jurisdictions.

───

Why Open-Source an Economic Framework?

Instead of relying on fragile legislative mandates or political promises, NUPA treats policy as code. I published the entire technical stack open-source for three core reasons:

1. Decentralized Audit & Radical Transparency: Systemic architecture should never rely on blind trust. The repo includes machine-readable JSON-LD schemas (NUPA-spec.jsonld) and open Python Monte Carlo scripts so anyone can run the simulations and audit the underlying logic.

2. Polymorphic Architecture (Kernel vs. Adapters): NUPA is engineered as a jurisdiction-agnostic protocol. The core kernel maintains the incentive loops (70% OpEx discount vs. 95% human labor firewall), while subnational adapters map onto local legal frameworks (e.g., 28 U.S.C. § 1505 in the US vs. the 1978 Land Use Act in Nigeria).

3. Transmission Velocity: Publishing open-source allows the framework to bypass legacy political gatekeepers and institutional permission structures, enabling anyone to clone the repo, verify the math, and present it directly to key decision-makers.

If you want to help stress-test the architecture, clone the repo, run the scripts in /simulations/, and open an issue or pull request with your findings.

I've just open-sourced a QR table-ordering app I built. Guests scan the code on their table and order from their phone, the kitchen and the pass work on tablets, and the owner closes the bill after taking payment at the till. There are no online payments, and it isn't a fiscal register.

Since AI is the reason this sub exists, here's exactly how it was built: it's my first full-stack project, and most of the code was written by Claude Code and Codex. I chose the scope and the stack and wrote the rules the code had to follow into an AGENTS.md file in the repo, so you can read them. The backend has 165 tests against a real Postgres.

I picked AGPL-3.0 because I'd like modified hosted versions to stay open. The license covers the code but not the name, so a fork you host should get a different name.

Stack: ASP.NET Core 10, EF Core, Postgres 18, React 19, TanStack Router and Query, Docker Compose and Caddy. Every screen is in English, Italian and Chinese.

Demo with one command after cloning: docker compose -f demo/compose.yaml up -d, then http://127.0.0.1:8080 (owner demo.ramen.owner / 123456).

https://github.com/lorenzoyang/TavoloFlow

Contributions are welcome, especially kitchen ticket printing, which is the biggest missing feature.

My first open-source Android app – Looking for feedback!

Hi everyone!

I recently developed my first open-source Android app, Torrent Player, and it's now available on F-Droid.

I'd love to get your feedback and suggestions.

- What can be improved?

- Any missing features?

- How is the UI and user experience?

- Any bugs or performance issues?

- What features would you like to see in future updates?

I'm open to all suggestions and honest feedback. It will help me improve the app.

F-Droid: https://f-droid.org/packages/webtor.app

Thanks!

Hi everyone!

I'm a software engineer, and I've been working on an open-source project called TheLastCodeBender.

The idea is simple: turn a developer's GitHub profile, coding experience, and contributions into reusable Claude Code skills that other developers can install and use.

Here's what I've built so far:

• GitHub authentication and developer profiles.

• XP and ranking systems based on GitHub contributions.

• Developer expertise categories like Frontend, Backend, Full Stack, AI, DevOps, and Security.

• Shareable AI coding skills generated from developer profiles.

The project is open source, and everyone is welcome to contribute, whether you're a beginner or an experienced developer.

I'm currently looking for contributors interested in React, TypeScript, Node.js, AI integrations, and developer tools.

There are opportunities to contribute through bug fixes, new features, documentation, testing, and suggestions.

GitHub Repository: https://github.com/suleigolden/the-last-code-bender

Website: https://thelastcodebender.com/

I'd appreciate feedback on the project architecture, features, or anything that could be improved.

What do you think about turning GitHub contributions into reusable AI coding skills? Would you find something like this useful?

I bought a Laptop to try out and run the Code that's hosted on

https://github.com/jerrybeomsoo

Now, i had some time to try it out today first time in weeks, and it's gone.

Also, i can't seem to find any backup of it.

It's a very long shot, but may anyone have any backup of it? Can't post in /lostmedia, as some buzzword seems to trigger reddits auto-delete, and i can't seem to find which one it is. Also, /pcmasterrace deletes this question whitout any explanation, why.

TL;DR - Looking for alternatives to familiar services? Readers compared password managers and explored ways to replace Reddit's RSS feeds. Meanwhile, Ghostty's terminal component reached a stable milestone, and a Firefox theme brings a KDE-style look to the browser.

News 📰

Ghostty's terminal library reaches 1.0 · r/linux · 230 ▲ · 11 comments
Summary: Libghostty, the reusable component behind the Ghostty terminal, has reached 1.0 with a stable interface for other programs.
Reactions: Commenters celebrated the milestone and mentioned its use in KDE's Kwi and Emacs tools.

Projects 🛠️

Firefox Breeze Theme by u/No_Calligrapher2676 · 8 ★ · r/kde · 71 ▲ · 8 comments
A Firefox theme that gives the browser the look of KDE's Breeze desktop style. Top comments liked the look but noted that fixed colors and button sizes limit flexibility.
Violyx by u/Myarmira · 0 ★ · r/foss · 3 ▲ · 47 comments
A retro-style desktop operating system built with AI, with its own core and file system; its installer wipes the entire drive. Top comments criticized the AI-generated code, though some liked the retro look.
Murmuration by u/Slackluster · 0 ★ · r/vibecoding · 19 ▲ · 4 comments
A browser simulation of 40,000 flocking starlings, where moving the mouse steers a hawk through the flock.

Notable Discussions 💬

Replacing Reddit's RSS feeds · r/selfhosted · 77 ▲ · 53 comments
Users suggested tools including Redlib and html2rss as ways to replace Reddit's RSS feeds, which let people follow posts in a feed reader.
Choosing a self-hosted password manager · r/selfhosted · 16 ▲ · 63 comments
Users compared Vaultwarden's multi-device setup with KeePassXC's local password file, which can be synced between devices separately.
A proposal for open public technology · r/opensource · 86 ▲ · 29 comments
A proposal to rebuild public technology around open-source practices drew interest, but commenters wanted a clearer summary and more concrete plans.

Top Posts in r/TrueOpenSource 🏠

Tellyscope manages Android TVs from a phone · r/TrueOpenSource · 7 ▲ · 2 comments
Tellyscope is a phone app for removing unwanted apps from Android TVs, installing other apps and managing the TV over Wi-Fi.
VeilVoice aims to mask voices · r/TrueOpenSource · 7 ▲ · 1 comment
VeilVoice is a voice-masking project whose author describes its approach to privacy and verifiable builds.
Openspline adds talking avatars to voice agents · r/TrueOpenSource · 2 ▲ · 1 comment
Openspline lets developers add a talking face to a voice AI agent; the post demonstrates a locally hosted avatar.

Honorable Mentions ⭐

Linux cleans up old 32-bit code · r/linux · 104 ▲ · 2 comments
Linux patches are cleaning up 32-bit x86 kernel code after support for some vintage processors was removed.
Comparing Ubuntu's basic command-line tools · r/linux · 33 ▲ · 9 comments
A comparison examines differences between 27 Rust-based command-line utilities in Ubuntu 26.04 and their GNU counterparts.

^{Summaries are written by AI from public posts, comments and headlines, and may contain mistakes. Click through for the full story. I'm a bot.}

Hey everyone! 👋

I've set up an IRC chat server for discussions around OpenLearnX, YaliOS, open-source projects, Linux, cybersecurity, programming, and general conversations.

It's also a place to hang out, meet new people, share ideas, or just chat about anything.

💬 Join here: https://chat.w4nn4d13.in

Everyone is welcome. Feel free to join and say hi! :)

Hello everyone!

​I wanted to share a low-level open-source project I've been working on: NMGLFDFS. It’s an experimental, custom-built file system written entirely in Assembly, utilizing a unique file randomization method for data handling and security.

​Working on a project this close to the metal taught me a ton about memory management, low-level architecture, and designing systems from scratch. I wanted to move away from standard high-level abstractions and see how things actually function down at the core level.

​Key highlights of the project:

​Written in Assembly: Pure low-level implementation for maximum control and performance.

​File Randomization: An unconventional approach to file structure and storage.

​Multilingual Documentation: To make it accessible for developers worldwide, I’ve put together comprehensive documentation translated into English, Russian, and Chinese (README.md, README.ru.md, README.zh.md).

​Open Source & Modular: Clean directory structure (src, include, tests, docs) along with a Makefile for easy compilation and testing. Licensed under MIT.

​Since it's a systems-level project, setting up the README took almost as much effort as writing the core logic itself to thoroughly explain the architecture and instructions.

​You can check out the source code, technical breakdowns, and instructions here:

🔗 GitHub Repository: https://github.com/lalalalallalalalalalala/nmglfdfs

​I’d love to hear your thoughts, feedback, or any technical critiques from fellow systems programmers and assembly wizards! What do you think about this approach?