NeuraLinux Bringing GenAI to the Linux desktop

Software ages like fine milk. To keep it from spoiling, it takes a team of dedicated people and countless man-hours, which is a luxury open-source software (OSS) often lacks. Meanwhile, Big Tech products brandish the industry's best engineers and colossal neural networks, further widening the gap due to demand for the latter. Nonetheless, we have entered a democratizing era of computing, and I will only stay Team Penguin if they take advantage of the new resources. Now that creativity is the limiting reactant to produce great software, the door is wide open for people like me. So I will bridge this automation gap by first articulating specific usability problems I encounter (in James Mickens-style), and second proposing simple yet cutting-edge solutions that combine underutilized OS features with generative AI models.

This blog presents a series of persuasive arguments to defend those solutions, record the knowledge from my first two years of college, and expand the frontier of OSS. I'm bored of the traditional way humans use computers, but I see a clear path to making it seamless. Throughout these articles, you'll find topics from a wide breadth of disciplines that I found really cool. I've poured considerable research into each article to ensure that curiosity is the only prerequisite to comprehension. I hope reading it provides you with fresh perspective on problems, or recreates an "aha!" moment I had. If you disagree with something I said or find a project that piques your interest, please consider reaching out and contributing!

Note: This site is under construction. The content that you see is incomplete and will change at any time.


Regulators can dull, but never declaw GenAI due to Moore’s law

“AI” has been the Wall Street Journal’s darling buzzword of the past year. If there’s any one topic their technology section loves to cover, it’s how FAANG/MAMAA/Magnificent 7 will break the world selling their “AIs” to every business imaginable, or how Elon Musk claims those “AIs” will lead to our doom. I can practically feel the business people salivating every time they hear of a new profitable technology. But I realize it’s time to revisit whether we should actually ready our pitchforks and torches. There’s a clear divide between people who understand the theory behind the technique, and people who...

Identity digital biases and misinformation by shifting where the news gets cleaned

Plus, The engineer's guide to fallibilism and pragmatism
In the digital age, the proliferation of generative AI has posed unique challenges to the integrity of information. News publishers have observed the growing disquiet concerning the authenticity and reliability of digital content. I believe there is an urgent need for education and civic engagement to mitigate these challenges. Here,...

A labor-market approach to model inference scheduling in soft-real-time systems

Plus, The beauty of algorithmic transferability
Now that I’ve elaborated how society is screwed due to generative AI, here’s a way to speed up the process via optimal resource utilization! I will show a reduction from model scaling/selection policy to the well-known labor economics problem, for which humanity has fantastic algorithms. But first, I have some...

The desktop is missing crucial quality-of-life features

It was after I asked myself “why does setting the second bit of the keyboard controller’s port to high enable 21-bit physical addressability in x86 real mode?” that I realized my academic education had sunk too deep into the details. I know we need the nitty-gritty architects to construct a solid foundation of knowledge and best practices, but more so we need fresh dreamers to drive innovation beyond the conventional boundaries and find better ways to solve old problems. It’s the reason Nintendo banked on Miyamoto in 1977, a complete outsider to the gaming industry, and now the world has...

Enable the perfect virtual assistant by capturing your life in real-time

Plus, Designing an effective dataset with OS principles
As an iPhone user who talks often about wanting to switch to Android, Apple’s new Journal app has both amazed and terrified me. What a seamless integration of my GPS location, photos, and messages that makes it feels like my phone understands me. It made me remember forgotten but cherished...

Start working instantly through smart, persistent workspaces

Plus, Why the desktop metaphor would make for a terrible computer architecture
The battle between GUIs and CLIs was over before it started; normal people just had more things to worry about than scripting their startup procedure and ricing their shell prompt. The desktop metaphor mirrored our monkey-brain desks perfectly (including every one of the drawbacks)… But even desktop apps lost a...

Save an hour of battery by dimming the screen when you look away

Plus, Optimizing local vision through compression and sleep
Did you know your screen uses 30-40% of your total battery!? As an owner of the world’s hottest flat brick, we gotta do something about that. Lucky for us OLED-XPS owners, there’s quite a lot of low hanging fruit when it comes to battery optimization. And I’m focused on one...

Organize your Downloads into smart subfolders and archives

Plus, How ChatGPT makes for the best digital housekeeper
Let’s face it: your Downloads folder is a mess, and you’re ashamed of it. But it’s not your fault. Despite the advancements in desktop automation, filesystem organization remains a manual chore—an outdated software convention that hasn’t kept pace with modern needs. Imagine the Downloads folder as the inbox of your...

System package managers abstract too much from enthusiasts

People are so detached from the software they use that it reminds me of the American meat industry. No one cares about the chicken who lived for 6 weeks when you’re eating your breaded Dino nuggets. Similarly, no one cares about the long hours of non-profit programming and culture wars when you’re telling ChatGPT to do your homework so you can continue scrolling through TikTok. But like the vegan electric-car-driving liberals will tell you, you should care.

Curate your own Linux distribution through autonomous software packaging

Plus, Why the best way to "learn Linux" is to make it from scratch
Description coming soon…

The meta-distro reproducible package manager

Plus, Modifying dependency-hell to avoid NP-completeness
I believe the #1 best reason to use Linux is its strong ecosystem of package managers: programs that provide a unified interface to the universe of software. I remember disdainfully back in my Windows days when I had to download installers and zip files manually. I would have to navigate...

A Linux package set without GNU, X11, nor systemd

Plus, Meet the modular next-generation of Linux software
Linux distributions Description coming soon…

Programmers neglect the non-programming stuff

Aspiring programmers may perceive programming like a playing the guitar to serenade a love at first sight: think of a fun song, write it, and play it. But in reality, it’s a concert. You have to collaborate with other musicians (version control), secure a venue and setting (devops), convince people to attend (marketing), inform attendees to get there (documentation), and hold dress rehearsals (testing). Otherwise, you’re just a bum playing your trombone in the streets with no one listening, save for the disgruntled apartment residents above you that are the source of the tomatoes.

Generate personalized documentation for users and developers of OSS

Plus, How distributing RAG systems can democratize knowledge
Learning new software is hard. Even though we’re in a time where writing software is easier than ever due to ChatGPT and the likes, finding information that’s right for your comfort level and exposure to the project hasn’t become much easier. There’s an abundance of online resources to learn how...

A music arrangement transformer for any song, any instrumentation

Plus, Pioneering a new modality for AI
Music and programming may seem like distant cousins, but they share common ground in their reliance on patterns, logic, and creativity. Yet, while programmers often delve into the intricacies of code, music composition remains a largely unexplored realm, confined to those with extensive training or a natural inclination. It’s a...

Unit test LLM prompts through embeddings

Plus, Coping with nondeterminism in language models
LLMs are non-deterministic by nature, which means our prompts can’t be traditionally unit-tested. Instead, assert that the similarity between the model’s output and your reference output is above your defined threshold. We first calculate the vector representation of both pieces of data, and then take either the Euclidian distance, cosine,...

Linux shells have terrible UX

The UNIX command-line was clearly designed by the hardened programmers fabled in The Night Watch, who worked with rudimentary tools like pointy sticks and teletypewriters. They laid the groundwork of their OS with their bare hands and wrote textbooks when things went wrong. However, today’s command-line users get to wear their non-functional scarfs and sip tea while executing ./run.sh because of the hard work of those systems programmers before us. But boy did they leave us some unresolved baggage while designing these systems.

Toggle the command-line between English and shell

Plus, The history of natural language interfaces
Natural language is the holy grail of HCI, but its principle challenge is precisely describing instructions of high granularity. Think of how many times you’ve failed to get Alexa or Google Home to do a slightly complicated task. This is because the number of possible interpretations is incredibly large. Natural...

Synchronize development environments with AI-generated aliases

Plus, Solving "it works on my machine" with Occam's razor
In the world of software development, the phrase “it works on my machine” can spell the beginning of a time-consuming, frustrating debugging session. This often stems from inconsistencies between development environments—differences in command setups, dependency versions, or configuration settings. A fundamental aspect of addressing this issue is ensuring that all...

Autoconnect to eduroam during Linux bootstrapping

Plus, Understanding the Linux networking stack
A common chicken-and-egg situation is connecting to institute WiFi during a minimal Linux installation. To download the tools you’re familiar with using, you need to have internet access. Secure networks, specifically 8021.X compliant ones, are notoriously difficult to configure from CLI because CLI authenticators are far behind their GUI counterparts...