ashton314

6 ms·

31.
by ashton314 2mo ago
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!
32.
by ashton314 3mo ago
I have an account and I donate regularly. I was not made aware a vote was happening.
33.
by ashton314 3mo ago
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.
34.
by ashton314 3mo ago
More tasteless business bros completely missing the point of art. Fitting that they centered the text on this page.
35.
by ashton314 3mo ago
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 signature dispatch. When I tried breaking up the massive “i
36.
by ashton314 3mo ago
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 equivalent programs.
37.
by ashton314 3mo ago
> "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 before going to work doing something that has absolu
38.
by ashton314 3mo ago
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 through good employment. The university is there to e
39.
by ashton314 3mo ago
I’m rather partial to Plankalkül actually
40.
by ashton314 3mo ago
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 function keys on another layer as we
41.
by ashton314 3mo ago
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 much so that I hate other layouts now. I've looked
42.
by ashton314 4mo ago
This is Rhombus’ native data type! Such a nice data structure.
43.
by ashton314 4mo ago
More like the Knights who say Nil
44.
by ashton314 4mo ago
) There matched your paren for you.
45.
by ashton314 4mo ago
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 you fully expanded it. I think the Monty Python referenc
46.
by ashton314 4mo ago
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. :)
47.
by ashton314 4mo ago
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 feel initially. It’s much more general: it works with neste
48.
by ashton314 4mo ago
This needs a flag to insert random blank pages
49.
by ashton314 4mo ago
I think that this needs an application of Bayes Rule against the ¼ chance I guessed and got it right by luck.
50.
by ashton314 4mo ago
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 not a framework like Doom Emacs or Spacemacs. Instead, it&
51.
by ashton314 4mo ago
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 around the world (and others too maybe) and they are interest
52.
by ashton314 4mo ago
100% Elixir is much more a Lisp than Ruby is.
53.
by ashton314 4mo ago
But are you wearing it slip-shod, like the natives do?
54.
by ashton314 4mo ago
No, it’s actually the right word. I’m saying you see past syntax and get to the underlying semantics of PLs after learning Racket. (And modulo is a perfectly acceptable word to express this.)
55.
by ashton314 4mo ago
Racket gets in your head like nothing else. Once you learn it, (Scheme does this too) you get x-ray vision to see every other language modulo syntax. I have been writing Elixir professionally for the bulk of my career. (It’s been pretty awe
56.
by ashton314 4mo ago
All power to you! As an aside, have you seen Typst? It’s got LaTeX-level typesetting quality but the markup syntax is a lot friendlier (close to Markdown) and the scripting language is a Real Language™ with sensible error messages and sub-s
57.
by ashton314 5mo ago
Pangram flags this as 100% AI generated with high confidence.
58.
by ashton314 6mo ago
I have a Kindle with KOReader on it and it’s awesome. I recently bought a book directly from the author ( Isles of the Emberdark , Brandon Sanderson) and the author, being excellent, provided it without DRM so I had no trouble reading it. B
59.
by ashton314 6mo ago
This is so cool! I'm going to have to try building this. Thanks for sharing!
60.
by ashton314 6mo ago
> reasoning about program correctness is not possible Not possible for all problems . We cannot decide correctness (ie adherence to a specification) for all programs, but we can definitely recognize a good chunk of cases (both posit

More ›