Viewing profile — ashton314

You'll like Brandon Sanderson's keynote talk: https://www.brandonsanderson.com/blogs/blog/ai-art-brandon-s... Quote: You might say, “Well, if AI gets good enough and the product is…

I'm on a $4/mo droplet on Digital Ocean and my static site has been just fine. I'm using Caddy and it seems to handle the load like a champ. My site is very lightweight though, so …

Ooo I love anything miniKanren related. I did a close reading of the implementation in the original miniKanren paper; you can see my write-up and implementation here: https://codeb…

Nice! I saw the code and thought, I bet there’s a way to do some SIMD here… never touched intrinsics in Rust before so I really appreciate you writing it up!

I have an account and I donate regularly. I was not made aware a vote was happening.

In the article, Mitchel mentions how this doesn’t always work. In fact, as someone who’s worked in compiler development, I can say it’s a small miracle when it does work.

More tasteless business bros completely missing the point of art. Fitting that they centered the text on this page.

A few years ago, I was working on an interpreter implemented in elixir for a domain specific language. It was a pretty basic metacircular interpreter. It relied heavily on function…

A (relatively) new way to create a super optimizer is to use an egraph : https://egraphs-good.github.io/ These are nifty data structures that can quickly search the space of equiva…

> "You can't complain about being require to take a 100-level history course because our job is to turn out renaissance scholars who can debate philosophy at cocktail parties befor…

This is not great. The purpose of higher education is not to get you a job. That's certainly a nice side-effect and I hope that all my students will be able to support themselves t…

I’m rather partial to Plankalkül actually

I'm in Emacs 99% of my day, and I don't think I've ever used the function keys inside Emacs. All my volume/brightness/etc functions are handled on a separate layer. I've got functi…

Typing this on a Moonlander right now. Love it to pieces. The tenting kit is pricey but incredibly stable and, to me, is worth every penny. I've gotten used to the ortholinear so m…

This is Rhombus’ native data type! Such a nice data structure.

More like the Knights who say Nil

) There matched your paren for you.

Matthew Flatt picked “shrubbery” because it’s tree-like but not fully expanded, so it tends to be more broad/flat than deep like a tree. Hence also the term “enforrestation” when y…

Here's the paper I wrote: https://lambdaland.org/files/2024_ecoop_type_tailoring.pdf Lots and lots of documentation, some experimentation, and asking people. :)

I’ve written a little library Rhombus. I think my favorite thing is the `…` operator. Go check it out. It’s not like the splat operator in other languages, though it does give that…

This needs a flag to insert random blank pages

I think that this needs an application of Bayes Rule against the ¼ chance I guessed and got it right by luck.

If you find yourself wanting to try out Emacs but are (understandably) turned off by some of its archaic defaults, I encourage you to check out my Emacs Bedrock [1] project. It is …

I spoke to the couple (it’s like a single married couple + a bunch of scripts they’ve wrote) who handle the formatting for a bunch of the programming language-related conferences a…