Viewing profile — mullr

Another 2 day old vibe coded project. The premise is great, but it’s pretty apparent that no thought was put into it. They couldn’t even be bothered to write their own text for the…

Why would I use this over the existing Proptest library in Rust?

"The Lightning Tamers", by Kathy Joseph, is a wonderful and accessible book about the history of electricity. Her youtube channel is great too: https://www.youtube.com/c/KathyLoves…

https://docs.oasis-open.org/virtio/virtio/v1.2/cs01/virtio-v...

I had the opposite experience. I worked for a company with a bunch of Clojure projects, written by people of varying levels of experience. I had to do some cross-cutting changes an…

I've had no problems with dwarf.

Every Linux C/C++/Rust developer should know about https://github.com/KDAB/hotspot . It's convenient and fast. I use it for Rust all the time, and it provides all of these features…

Caveats: I've used nom in anger, chumsky hardly at all, and tree-sitter only for prototyping. I'm using it for parsing a DSL, essentially a small programming language. The essentia…

Error recovery in nom is left as a very obtuse exercise to the reader. Custom error reporting is difficult at best. That stuff is supposed to be better in chumsky; I don’t know if …

For Kagi, at least, there's a very well integrated search customization method that they didn't bother to show here. For any search result, you can add a ranking adjustment for the…

> If it's not too much to ask, do you mind sharing some of the pain points? To me, the point of literate programming is that you have a coherent (literate, if you well) document th…

Yeah, it's really not. You CAN do knuth-style literate programming in org-mode ( https://orgmode.org/manual/Extracting-Source-Code.html ) I used it to make http://mullr.github.io/m…

And to really rub salt on it, they have a syntax that looks very much like stock latex for math symbols, and SOME of them are the same, but not all of them! (all / forall is the on…

you mean like 'u' for micro, and 'lambda'? I think this is pretty common. Regardless, you're probably doing yourself a disservice if you're allowing things like that to take choice…

What are people doing about this on the client side? The solution that comes to mind is to do all my Rust builds in a sandbox of some kind, but with rust-analyzer involved, I'd lik…

> support for the Wine and Proton compatibility layers on Linux is included

> Isn't part of the point of Rust that you don't manage memory yourself, and rather that the compiler is smart enough to manage it for you? For trivial cases, kind of. But once you…

As a regular web dev, you are constantly staring a distributed system in the face: it’s made of the program running on the server (back end), and the program running in the web bro…

> Tutoring sessions on our platform are completed using a whiteboard and text-based chat (no audio and video). Have you found that to be sufficient? I recently tried doing some onl…

They are willing to share the dataset, just tell them what you want to do with it.

A truly staggering amount of “scare quotes.” From the site: > As a conservative watchdog to the nation’s higher education system, Campus Reform exposes liberal bias and abuse on th…

To me, Cucumber is a way to write executable specifications that can also be read by non-developers. This can be tremendously powerful if done judiciously, or tremendously pointles…

> Have you ever considered how we could use the predicates in the filters to create Specialized generators that only generate inputs that will be accepted by the filter? You probab…

We like to run the tests as part of CI with a relatively small number of iterations, and then turn the knob way up in a nightly or weekly scheduled test job.