alethic

5 ms·

1.
by alethic 1mo ago
Racket and Rhombus are nice for writing embedded DSLs, yeah. More generally, they're nice for writing macros. Scheme in general is nice for writing macros with its `syntax-case` and first-class notions of syntax objects, but Racket is
2.
by alethic 1mo ago
Cool project! The title is not quite accurate though, the project is "a metadata search engine similar to searxng in rust". It doesn't look like it implements / intends to implement any of SearXNG's advanced feature
3.
by alethic 1mo ago
No, they do a pretty good job at getting around it. I only run into issues with Brave/Startpage, Google/DuckDuckGo/Wikipedia all work fine. And when you're fusing together multiple sources getting CAPTCHA'd is not a
4.
by alethic 2mo ago
(I should note that there is also utility in confirming the correctness of results that are too complex to be adequately verified by humans. The recent result that NF is consistent wrt. ZFC, among others (Peter Scholze's Liquid Tensors
5.
by alethic 2mo ago
The utility of autoformalization is not actually in confirming the correctness of human-checked results. Mathematicians have a pretty good peer review process. I'm not actually aware offhand of any mathematical results that were accept
6.
by alethic 2mo ago
This is of course a massive privacy violation, since the code that scans for CSAM can be switched out to scan for anything else at any time. (It's even easier to do now than when Apple first proposed it, as language models since have g
7.
by alethic 4mo ago
Pandoc templates use $...$ or ${...} for variable substitution, yes. body is one of the special default variables: the rest are documented in the manual. If you scroll to the bottom of the template linked from the article, you'll notic
8.
by alethic 4mo ago
Don't forget the image rendering library!
9.
by alethic 5mo ago
In the context of this post, that's absolutely hilarious they're vibe-porting their Zig codebase to Rust . I love Rust, but you couldn't pick a language with slower compile times... XD
10.
by alethic 7mo ago
Recently, some 9front developers have picked up femtolisp, and are hacking it into something for their own use. https://sr.ht/~ft/StreetLISP/ I believe its adoption was motivated by needing to write/generate
11.
by alethic 10mo ago
(It doesn't help that the syntax is *weird*. You've got your choice of an S-expression Scheme syntax or a stack-oriented ML syntax, *and* you can use both together. And there's at least one undocumented de facto syntax floa
12.
by alethic 10mo ago
Yes, I have had the same experience with the specification. It really is quite difficult to follow :c Their SpecTec system is fancy and neat but I don't think that auto-generated specifications produce something worth reading. Perhaps
13.
by alethic 1y ago
No one else has tried implementing the RCS standard. There just aren't any open-source Android libraries for RCS out there, much less anything in AOSP. https://github.com/search?q=rcs+android&type=repositories
14.
by alethic 1y ago
They are similar, but effect handlers are more powerful and more amenable to typing. https://lobste.rs/s/q8lz7a/what_s_condition_system_why_do_yo...
15.
by alethic 1y ago
The checked exceptions analogy is a good one. Thinking of effect handlers as resumable checked exceptions with some syntactic sugar is very accurate. For someone with a Haskell background, thinking about them as "dependency injection
16.
by alethic 1y ago
It's similar on the surface. Another language, Effekt, does actually use interfaces for their effect declarations rather than having a separate `eff` declaration. The difference comes in their use. There's two things of note. Firs
17.
by alethic 1y ago
It's currently on on the flagship instance and will be on by default in the upcoming 4.5 release.
18.
by alethic 1y ago
The short answer is you'd write your code the same, then add .cyclic annotations on cyclic data structures. ("The same" being a bit relative, here. Nim's sum types are quite a bit worse than those of an ML. Better than G
19.
by alethic 1y ago
ORC/ARC are a reference counting garbage collector. There's a bit of a terminological clash out there as to whether "garbage collection" includes reference counting (it's common for it to not, despite reference coun
20.
by alethic 1y ago
I'm not very interested in arguing over the ins and outs of "user expectations" and Mastodon vs. Bluesky, sorry. I would suggest you try it yourself and come to your own conclusion about whether this is a usable system :^)
21.
by alethic 1y ago
I expect them to be unimportant. This has been merged upstream and running on the flagship Mastodon instance for a little while now. There is also a section related to performance available at the link I posted. Third header, "Likely C
22.
by alethic 1y ago
There is a detailed explanation available at the link I posted. Second header, "Approach".
23.
by alethic 1y ago
This isn't correct. Mastodon merged fetch-all-replies in March. https://github.com/mastodon/mastodon/pull/32615 The only difference in visible replies is in the moderation choices of the server the post