alexeyza

a TUI that runs all my daily Linux updates from one place.

Updating my machine used to be a dozen scattered commands: apt, fwupd, and a pile of dev tools I want kept current (node/npm, go, claude, opencode, plus binaries like kitty and lazydocker) that each update their own weird way. Now it's one Bubble Tea dashboard that checks each tool's installed version against upstream and only downloads what's actually behind, so I can see at a glance what's current and what's not. Adding a new tool is easy enough that I just toss new ones in as I start using them.

It also has a cleanup mode that hunts down all the pesky cache files that quietly eat your disk and reclaims the space in one pass, which has saved me from the "laptop full again" scramble more than once.

Currently, testing it privately and tweaking to make it awesome.

Another tool I made for myself is automated video editor (takes folder of raw photos images, and generates edited video that can be shared online). Used it among other things to edit all my GoPro raw footage laying around (hundreds of files).

Seems useful.

However, I tried on several arXiv papers, and on all of them when clicking on references I get a "Sorry! We couldn't find the references for this paper. This paper might have been posted recently. Try again later."

(on chrome 59.0.3071.115)

Yeah, I added one of the add-ons for a video adapter, so I think my order will be shipped much later. But, I'm excited to play with it, and see what other people can do with it.

Well, I use Octopress (similar to this) for my own blog. But, for the course, where I wanted all the students and other staff members to be involved, I wanted something much more simple. More specifically - nothing that would require building. Perhaps that could be just me and my preference.

This might be a good solution if people want something a bit more fancy as a course website. Thanks for sharing.

I posted a blog post yesterday on Why on How educators use GitHub, and thought it might be interesting to some of the people here as well.

https://news.ycombinator.com/item?id=10256868

That's great!! I'm happy it helped.

Can I ask what initial decisions you had, or what did you reorganize with time?

Yes, you're probably right. I didn't want it to include any HTML (to make it easy for anyone to contribute to course website), but perhaps there is a way to use a simple Markdown for GitHub pages.

I used it to teach my class as well. But I have to be honest, it wasn't obvious at first how to use it - especially how would I manage the course website there (which needed to accommodate different semesters). Eventually, I figured out that I don't really need an HTML website, but using Markdown files would get the job done (and would be better, as it makes it easy for students to commit PR with corrections and suggestions to the course website and material). I really love our setup now, but it took some figuring out the best way to do it. BTW, if anyone is interested here the course website (just as our example):

http://startup-programming.com

Thanks for sharing your experience!

In fact, the blog post doesn't include all the details, but some of the educators we interviewed were not from CS. You can see a table describing all the participants in our research paper (the link is provided at the end of the blog post).

Just like you, I believe it is completely possible to use this for non CS classes, and still gain all the benefits. However, like you said, there should be a basic understanding of Git.

This sounds great and I'm sure it would resolve some of the barriers to entry for educators.

Thank you Manuel (and all the contributors) for creating and working on mOnOwall! It was a great project.

Very cool theme.

Indeed, their servers are located in the US

Been using it for a while now, and it is awesome. I wish the +1 button was part of the regular GitHub (so that non-ZenHub users could see my +1).

Awesome way to design a product. I wonder though, how the users reacted when they saw "dead end features". Were there any frustrated users when they saw it was mainly a "mock-up" web site ?

Great news, now just waiting for a Humble Bundle deal with Portal in it.