mullr

6 ms·

1.
by mullr 2mo ago
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 web site.
2.
by mullr 6mo ago
Why would I use this over the existing Proptest library in Rust?
3.
by mullr 3y ago
"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/KathyLovesPhysicsHistory
4.
by mullr 3y ago
https://docs.oasis-open.org/virtio/virtio/v1.2/cs01/virtio-v...
5.
by mullr 4y ago
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 and feared the worst. But when I actually got down to it, ever
6.
by mullr 4y ago
I've had no problems with dwarf.
7.
by mullr 4y ago
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 on the back of regular
8.
by mullr 4y ago
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 essential difference between nom/chomsky and tree-sit
9.
by mullr 4y ago
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 it actually is. However, for my own parser which is currentl
10.
by mullr 4y ago
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 site it came from. This is directly in the result
11.
by mullr 5y ago
> 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 that explains how the program actually works, and the
12.
by mullr 5y ago
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/micrologic/lite
13.
by mullr 5y ago
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 one that comes to mind, it's been a little while)
14.
by mullr 5y ago
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 choices out of your toolbelt. Perhap
15.
by mullr 5y ago
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 likely have to put my editor in there as well.
16.
by mullr 5y ago
> support for the Wine and Proton compatibility layers on Linux is included
17.
by mullr 5y ago
> 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 start to do anything remotely sophisticated, n
18.
by mullr 5y ago
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 browser (front end). How do those two programs agree on pieces
19.
by mullr 5y ago
> 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 online tutoring, and I found that even with an audio connect
20.
by mullr 5y ago
They are willing to share the dataset, just tell them what you want to do with it.
21.
by mullr 5y ago
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 the nation’s college campuses. The likelihood this is accur
22.
by mullr 6y ago
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 pointless if not. This may be because you do not in fact want or nee
23.
by mullr 6y ago
> 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 probably need some meta programming or reification of the predi
24.
by mullr 6y ago
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.
25.
Effective Property-Based Testing(blog.auxon.io)
87 points by mullr 6y ago|34 comments
26.
by mullr 6y ago
It certainly seems to be rarely used. It's interesting to look at the concurrency stuff in Clojure and its uptake: - Atoms: very popular. Usually what people reach for, perhaps overly so. - STM / refs: Not commonly used, but I won
27.
by mullr 6y ago
It’s completely correctable. If fb/Twitter wanted to, they could track every person who saw a piece of “wrong” information, and plaster the retraction in front of their face.
28.
Code Reviews Are Changes Too(blog.auxon.io)
5 points by mullr 6y ago|0 comments
29.
by mullr 6y ago
It already does.
30.
by mullr 6y ago
Emacs 27 includes a native JSON parser (as opposed to one written in elisp, used previously). This matters a lot if you're using `lsp-mode`, since the LSP protocol uses a JSON encoding. I've been using local builds of emacs 27 f

More ›