Viewing profile — 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/…

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 mi…

How should we treat conversational bots (chatbots)? Should we treat them as tools, CLI interfaces, and mere apps? Alternatively, should we interact with them as "humans"?

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 s…

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=1025…

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 f…

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 acc…

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 describin…

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" w…

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