ashton314

3 ms·

1.
by ashton314 8d ago
Step one: open up the LLM Step two: close the LLM Step three: pick up a pen and write Writing with LLMs is a great way to make yourself stupid: https://lambdaland.org/posts/2026-08-07-ai-writing-stupid/ I'm g
2.
by ashton314 8d ago
I am a deep enjoyer of Typst. I love it and I use it absolutely everywhere that I can. CeTZ is a really good package, but I still reach for a tool like Omnigraffle if I need to make a really complicated diagram.
3.
by ashton314 10d ago
Ah, fellow Butterick fonts enjoyer—Butterick's fonts have spoiled me: compared to pretty much every other professional font I've seen, they're the cheapest and most conveniently licensed fonts out there.
4.
by ashton314 10d ago
Someone has already mentioned Matthew Butterick's fonts and his online "book" Practical Typography [1]—absolutely fantastic material there. Some concrete suggestions from me: - Fira Sans [2] is a lovely, legible sans-serif fo
5.
by ashton314 13d 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
6.
by ashton314 18d 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.)
7.
by ashton314 18d 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
8.
by ashton314 18d 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
9.
by ashton314 18d ago
Here’s a link to the repo directly: https://codeberg.org/ashton314/emacs-bedrock I hope Bedrock is useful to some people. :)
10.
Emacs Bedrock 2.0(lambdaland.org)
191 points by ashton314 19d ago|58 comments
11.
by ashton314 22d 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
12.
by ashton314 25d ago
The article is about “end” as in “purpose” not as in “conclusion”.
13.
Two Ends of Programming(lambdaland.org)
2 points by ashton314 25d ago|4 comments
14.
by ashton314 25d ago
Glyphs is like the only game in town for font editing. I’m an Omnigraffle enjoyer too.
15.
by ashton314 28d ago
What are you trying to do to halt that atrophy, then?
16.
by ashton314 29d ago
Only works on desktop regrettably
17.
by ashton314 1mo 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:/&
18.
by ashton314 1mo ago
Someone please wake me up from this fever dream
19.
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.
20.
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.
21.
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.
22.
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
23.
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
24.
by ashton314 2mo ago
You're right—I did mean microKanren. Thanks for the correction.
25.
by ashton314 2mo 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
26.
by ashton314 2mo 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
27.
by ashton314 2mo 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
28.
Writing with AI Is Stupid(lambdaland.org)
5 points by ashton314 2mo ago|4 comments
29.
by ashton314 2mo 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.
30.
by ashton314 2mo 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

More ›