ashton314

34 ms·

91.
Doom on Emacs(github.com)
3 points by ashton314 9mo ago|0 comments
92.
by ashton314 9mo ago
Location: Salt Lake/Utah Valley, Utah Remote: Yes Willing to relocate: Possibly Technologies: Elixir, Ruby, Julia, Haskell, Rust Résumé: https://lambdaland.org/resume.pdf Email: mail@wiersdorf.
93.
by ashton314 9mo ago
The hedgehog knows one great thing. This is it. Thank you.
94.
by ashton314 9mo ago
I wonder how hard some folks ant Apple had to work to keep Alan Dye away from the Emoji design.
95.
by ashton314 9mo ago
Ok but if I try to get ye flask, will it tell me why I cannot get ye flask?! (This is a Strong Bad reference for the younger kids here.)
96.
by ashton314 9mo ago
I have nothing bug praise for Zotero. Zotero is absolutely essential to my workflow as a researcher, second only to Emacs. Without Zotero, I would be spending inordinate amounts of time keeping all my papers + associated citation informat
97.
by ashton314 9mo ago
Hey there! Thanks for reading my article, and thanks for sharing something cool about TS! ------ Real quick: I'm a PhD student and I'm looking for an internship this summer. I've done a little work with gradual typing—working
98.
by ashton314 9mo ago
Hey Mickey! Thanks for all the stuff you've made in the Emacs space. Thanks for commenting here. :)
99.
by ashton314 9mo ago
Hey! Thanks for the kind words. :) I'm working on some updates for the upcoming release of Emacs 31. Should be good!
100.
by ashton314 9mo ago
This exactly. Last year I got handed a big ball of work slop. Someone asked me to review this big ol' design document and I had the hardest time parsing it. It sounded right, but none of the pieces actually fit together. When I confr
101.
by ashton314 9mo ago
> you can highlight a binding if it’s mutable or style an enum/struct differently Wow! That is an incredibly good reason. Thank you very much for telling me something I didn’t know. :) UPDATE: I've added a paragraph talking a
102.
Tree-sitter vs. Language Servers(lambdaland.org)
266 points by ashton314 9mo ago|69 comments
103.
by ashton314 9mo ago
Sounds like someone is a fan of Anathem !
104.
by ashton314 9mo ago
https://lambdaland.org
105.
by ashton314 9mo ago
If you just wait a few months, then that program will be written in a typed language. The type checker for Elixir is coming along nicely and every release brings more checks.
106.
by ashton314 10mo ago
I've been burned by this a few times and now I have the Hugo binary in source control. I had to dig through the releases a little bit to find the version that didn't break everything.
107.
by ashton314 10mo ago
The power to serve
108.
by ashton314 10mo ago
Woohoo! Context: UNIX v4 was believed lost to history until a tape labeled “UNIX v4” was found in a cardboard box in a closet at the University of Utah. It was not clear whether or not there was anything on the tape still. It looks like the
109.
by ashton314 10mo ago
What do you do now? I’ve been buying physical books off of Abe Books—not a bad thing at all—but I’d like to use my jailbroken kindle again because the form factor is so convenient.
110.
by ashton314 10mo ago
Right. The problem is that those languages are relatively permissive in their type systems. Obviously Rust can capture more in its type system than C can. You would probably want a type like “decreasing unsigned integer” for Rust and some w
111.
by ashton314 10mo ago
> … verify/synthesize invariants in languages people use? Good question. This is the holy grail. This is what everyone in PL research would love. This is where we want to get to. Turns out a language as “simple” as C has sufficientl
112.
by ashton314 10mo ago
This is written by Matthew Butterick—a lawyer, typographer, and programmer. He's got another online book called Practical Typography that will help you appreciate (and make!) good typography: https://practicaltypography.com&
113.
by ashton314 10mo ago
I hear you: I don't like how skinny the letterforms are. There's an "extended" variant that I find much more pleasing. I put together a customization you can see here: https://codeberg.org/ashton314/
114.
by ashton314 10mo ago
Here’s how you can clear it: https://github.com/orgs/community/discussions/174310#discuss... I had the same issue too, and this was the only thing that fixed it for me.
115.
by ashton314 11mo ago
Life is pain! Anyone who says otherwise is selling something. —The Dread Pirate Roberts Everyone who’s produced something good, beautiful, or valuable has had to struggle. That’s just the way work works.
116.
by ashton314 11mo ago
Then substantiate them.
117.
by ashton314 11mo ago
A analogy: For the same reason why natural wood is more beautiful than plastic. Natural wood gets its beauty from little faults and irregularities. The process of growing a tree takes a long time and thereby is more valuable. A plastic fa
118.
by ashton314 11mo ago
* it writes in an imitation of your voice.
119.
by ashton314 11mo ago
Now we need to selectively breed moss until we have astrophage
120.
by ashton314 11mo ago
These are small benchmarks, so don’t over-generalize from this data point alone, but Racket absolutely crushes Python in terms of speed and goes speedily enough against other popular performance-focused languages: https://lambdal

More ›