alexeyza

5 ms·

1.
by alexeyza 4mo ago
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
2.
Advanced R (work-in-progress 2nd edition) by Hadley Wickham(adv-r.hadley.nz)
2 points by alexeyza 9y ago|0 comments
3.
by alexeyza 9y ago
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.&qu
4.
Jeff Gothelf talks about “Scaling Lean: Principles Over Process”(vimeo.com)
1 points by alexeyza 9y ago|0 comments
5.
A brief history of software engineering research(faculty.washington.edu)
3 points by alexeyza 10y ago|0 comments
6.
Ask HN: Should we treat chatbots as real “team members”?
2 points by alexeyza 10y ago|0 comments
7.
Lies, damned lies and software analytics: why big data needs rich data [video](youtube.com)
4 points by alexeyza 10y ago|0 comments
8.
by alexeyza 11y ago
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.
9.
by alexeyza 11y ago
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 buildi
10.
by alexeyza 11y ago
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
11.
by alexeyza 11y ago
That's great!! I'm happy it helped. Can I ask what initial decisions you had, or what did you reorganize with time?
12.
by alexeyza 11y ago
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.
13.
by alexeyza 11y ago
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 ou
14.
by alexeyza 11y ago
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
15.
by alexeyza 11y ago
This sounds great and I'm sure it would resolve some of the barriers to entry for educators.
16.
Why and How Educators Use GitHub(alexeyza.com)
52 points by alexeyza 11y ago|21 comments
17.
by alexeyza 12y ago
Thank you Manuel (and all the contributors) for creating and working on mOnOwall! It was a great project.
18.
by alexeyza 12y ago
Very cool theme.
19.
by alexeyza 12y ago
Indeed, their servers are located in the US
20.
The Emergence of GitHub as a Collaborative Platform for Education [pdf](alexeyza.com)
13 points by alexeyza 12y ago|4 comments
21.
by alexeyza 12y ago
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).
22.
Do educators use GitHub to support learning and teaching? How? [Survey](docs.google.com)
3 points by alexeyza 12y ago|0 comments
23.
by alexeyza 13y ago
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 ?
24.
by alexeyza 13y ago
Great news, now just waiting for a Humble Bundle deal with Portal in it.