ashton314

When I first started using Emacs, my dad gave me his config. (Yes, I actually experienced https://xkcd.com/297/ irl.) A few years ago a friend of mine asked for some help getting a simpler Emacs setup—they wanted to move off of Doom Emacs. I made Bedrock as a bare-bones starting point that focuses on built-in customization and understandability. Even if you're comfortable in your own setup, you might find something useful in the files there. :)

Comment · 12 days ago

Peewee Pebblestone

Comment · 17 days ago

I really dislike how narrow it is. Fortunately that is customizable! This is my version that I’ve modeled off of Input Mono: https://codeberg.org/ashton314/iosevka-output

Comment · 19 days ago

Also: is this actually a choreography? Or are you doing runtime monitoring to ensure deadlock freedom?

Comment · 19 days ago

If one of the humans involved shows up here, I have a few questions:

How are you doing endpoint projection?

What is your KoC strategy?

What existing research systems (Choral, MultiChor, Chorex, etc.) did you take as inspiration?

What benefits does your system have over ChorRus?

Comment · 24 days ago

Nice to see some Butterick fonts employed on a blog. ;) Mine’s the same, but I went with Valkyrie and Hermes Maia.

Comment · 26 days ago

Cost can be much greater than either foldl or foldr

Comment · 28 days ago

I am really sorry—it seems that you’ve only had teachers you feel would be better replaced with AI. That’s unfortunate. I consider myself lucky, and I can only think of one or two duds who little better than screen readers for their slides. I think the average experience of students across junior, high school, and college is a mixed bag, but almost all have at least one or two teachers who care. You seem to be unlucky, and I’m sorry.

> If you ask a professor what qualifies them do they say their research or their pedagogical skills?

The majority will say “both”, unless they’re teaching faculty in which case they’ll say pedagogy. Source: I spend a lot of time around professors.

I don’t know any students personally who think they’d be better off with an AI professor. I know a lot of current college students.

> I’ve probably thought about this much longer than you have.

All I can say is that that is a strange argument to attempt.

Comment · 1 month ago

What an incredibly cynical take. Might as well have people date AI boyfriends and be governed by AI politicians.

> Students can and will learn better with ai “professors” than they do now.

No, that’s not true. You have no evidence to suggest that.

> The problem is that higher education is not about learning ultimately.

It is, actually, and many institutions do a good job of this. Some don’t, but they’re not all just degree mills.

Comment · 1 month ago

This is absolutely not the case in my experience. I am building a very large embedded domain specific language for describing distributed systems. It looks like a small subset of Elixir, but with object-oriented syntax in a lot of places. (It’s called a choreography; there exist many other choreographic programming languages.)

Even though this programming language is absolutely nowhere in any large language model’s training set, they have so far done extremely well at extrapolating from the small set of examples I’ve given it when I need an agent to generate some tests or whatever for me.