Viewing profile — alethic

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 implemen…

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…

(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…

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 awa…

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 A…

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 botto…

Don't forget the image rendering library!

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..…

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 b…

(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 …

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 s…

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=…

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...

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 bac…

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 co…

It's currently on on the flagship instance and will be on by default in the upcoming 4.5 release.

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 …

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 fo…

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…

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 …

There is a detailed explanation available at the link I posted. Second header, "Approach".

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 …