ashton314

6 ms·

1.
by ashton314 4d ago
Exhaustion very understandable. Elpaca is nice and stable now, and the integration with use-package is fabulous. But if the built-in is working for you, no need to change it. Now that use-package supports the :vc keyword, there’s imo much l
2.
by ashton314 8d ago
Hey! I'm doing great, thanks. Kimball's class was a lot of fun. Nice you "see" you again. (Can't tell who you are by your username—feel free to email me at the address on my blog if you want.)
3.
by ashton314 8d ago
:) Yay! No shade on wgrep, mind you—I used that for a long time and it's been one of my favorite tools. But now I just… don't need it. It's so nice being able to do consult-ripgrep -> export results to a buffer -> chang
4.
by ashton314 8d ago
I love Elpaca! The built-in package management story has gotten so much better in the past 10 years, but Elpaca is so, so good. My personal config is kinda the antithesis of Bedrock—it's bloated, slow, and uses over 100 packages. Elp
5.
by ashton314 9d ago
Here’s a link to the repo directly: https://codeberg.org/ashton314/emacs-bedrock I hope Bedrock is useful to some people. :)
6.
Emacs Bedrock 2.0(lambdaland.org)
191 points by ashton314 9d ago|57 comments
7.
by ashton314 13d ago
Julia is my go-to when I need a fast language that I can reason about in a functional way. The type system is fine, the pattern matching is pretty darn good, the metaprogramming story could be significantly better but it’s not bad and b
8.
by ashton314 16d ago
The article is about “end” as in “purpose” not as in “conclusion”.
9.
Two Ends of Programming(lambdaland.org)
2 points by ashton314 16d ago|4 comments
10.
by ashton314 16d ago
Glyphs is like the only game in town for font editing. I’m an Omnigraffle enjoyer too.
11.
by ashton314 18d ago
What are you trying to do to halt that atrophy, then?
12.
by ashton314 19d ago
Only works on desktop regrettably
13.
by ashton314 21d ago
Erik Spiekermann is a genius. He made Fira Sans to be a total antithesis to Helvetica. Now, I like Helvetica, but I also love the pure character of Fira Sans and it’s my go-to sans serif. Here’s a better link for Fira Sans: https:/&
14.
by ashton314 28d ago
Someone please wake me up from this fever dream
15.
by ashton314 1mo ago
Forgejo is splendid. Codeberg is a hosted instance; depending on what you’re developing it may or may not be a good fit for you. But the Forgejo stack itself is decently light-weight to self-host, very fast to use, and is easy to navigate.
16.
by ashton314 1mo ago
Yes it is. With the Artificial Inanity systems and the Rampant Orphan Botnet Ecologies (ROBE) beginning to spew tremendous amounts of crap (a technical term) onto the Ret, things are getting tricky for us ITA.
17.
by ashton314 1mo ago
The transition from leadership to management has marked the decay of many a civilization or organization. We need subject experts, not McKinsey consultants.
18.
by ashton314 1mo ago
Another approach, using macro expansion to perform the type checking: https://docs.racket-lang.org/turnstile/ Turnstile relies on the fact that in Racket, you can have identifier macros [1] which can be expanded in p
19.
by ashton314 1mo ago
> exhaustively cover a search space This is the gotcha: in stateful environments you'll have state-space explosion so big you'll have to come up with some compromising measure of "equivalent". You're right that t
20.
by ashton314 1mo ago
You're right—I did mean microKanren. Thanks for the correction.
21.
by ashton314 1mo ago
Hey Dan, nice to run into you on the internet. How are you? :) For those curious, there are a lot of neat ways to implement choreographic programming! Choral uses a custom compiler which gives it very powerful analysis techniques. Some are
22.
by ashton314 1mo ago
If you do not already use MyNoise to help you focus at work, then, like, what are you even doing? Sometimes I'll listen to music of various kinds if my work isn't too deep, but whenever I need to concentrate deeply on a problem, M
23.
by ashton314 1mo ago
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 the same, what’s the
24.
Writing with AI Is Stupid(lambdaland.org)
5 points by ashton314 1mo ago|4 comments
25.
by ashton314 1mo ago
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 ymmv.
26.
by ashton314 1mo ago
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://codeberg.org/ashton314/microKanren miniKanr
27.
by ashton314 1mo 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!
28.
by ashton314 2mo ago
I have an account and I donate regularly. I was not made aware a vote was happening.
29.
by ashton314 2mo 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.
30.
by ashton314 2mo ago
More tasteless business bros completely missing the point of art. Fitting that they centered the text on this page.

More ›