michael-lehn

6 ms·

1.
by michael-lehn 12d ago
A small update on the naming rabbit hole. A few candidates I currently like: emsiel — pronounced roughly like “M-C-L”. I like how it sounds; several people independently said it sounds vaguely biblical. :-) The downside is that it feels mor
2.
by michael-lehn 15d ago
OK, you convinced me. :-) And the timing is probably good. I'm just about to leave my basement and head to LA for a few days to enjoy some actual sunshine. So I'll either turn to ashes or come back with a creative new name. ;-)
3.
by michael-lehn 15d ago
Yes, I know about the earlier ABC. :-) When I originally named mine, it was really just a small language for my own course, so I wasn't particularly worried about name collisions. And the wordplay was simply too tempting: students woul
4.
Show HN: ABC v0.1 – A teaching language grows up a little
2 points by michael-lehn 16d ago|6 comments
5.
by michael-lehn 26d ago
Ok, but why? I can host my own git server for using git just by myself. Why should I want to share it and loose any credit?
6.
Show HN: A self-hosting compiler from an undergraduate mathematics course(github.com)
3 points by michael-lehn 26d ago|0 comments
7.
by michael-lehn 29d ago
To get some upvote, to increase karma
8.
by michael-lehn 1mo ago
Today it's mostly working. Checkout the status here: https://www.githubstatus.com
9.
by michael-lehn 1mo ago
Yes, neovim is great.
10.
by michael-lehn 1mo ago
One thing I would add to the excellent suggestions above is that it can be surprisingly useful to go one level below what is usually considered “software engineering fundamentals.” I teach mathematics students, and over the years I've