judofyr

10 ms·

61.
by judofyr 2y ago
I looked a bit into this a few years back and found it quite interesting. Despite them calling them "Tiny Pointers" I would say it's closer to a open addressing hash map. You have a specific key, and then you can "alloca
62.
by judofyr 2y ago
I’d rather have «wip» commit messages, and thus forced to open the diff, than worrying of the message being hallucinated. I’m totally cool with people using this as an initial draft and then manually tweaking it though.
63.
by judofyr 2y ago
> The standard library is full of unsafe code. Yes, and this means that for me to trust that the code is memory safe I need to trust the people who develop the standard library (or validate the unsafe usage myself). Rust has a good track
64.
by judofyr 2y ago
I've written a similar library and I can heavily recommend the approach: https://github.com/judofyr/tubby . The main difference between this and the other approaches (HTML_slice, Phlex) is that Tubby doesn't d
65.
by judofyr 2y ago
I’ve been following this over the years and while I’m a bit tired of it to address your other points directly, let me at the very least say that while he’s clearly very emotional and not always reacting in the most productive way, there’s t
66.
by judofyr 2y ago
> “I am playing at least one more day here in New York and, if I do well, another day after that,” Really? This is taken a bit out of context. Day 1 is a qualification phase. Only the top 8 after that ends up playing on day 2. Saying «I
67.
by judofyr 2y ago
The principle here isn’t about the dress code per se (Carlsen hasn’t made much fuss about it earlier[1]), but the fact that a minor mistake on his part (he chose the wrong pants) is being punished severely. What would would be wrong with gi
68.
by judofyr 2y ago
Many different reasons: 1. The biggest one is probably that there is already so much interest and depth in regular chess. "Everyone" focuses on it, so that's what your friends know and where you can find competitions and comm
69.
by judofyr 2y ago
Please elaborate! What's your definition? I was struggling a bit to phrase it precisely. My main point was to distinguish between "well-defined panic" (which is just like any other panic) and "silent memory corruption wh
70.
by judofyr 2y ago
Go without concurrency is fully memory safe. However, once you start using goroutines there can be memory corruption and segfaults: https://github.com/golang/go/issues/37484 . Note that these are not recover
71.
by judofyr 2y ago
The arguments around limits are addressed towards the end (under "Update 8/12/2018"): > > If 0/0 = 0 then lim_(x -> 0) sin(x) / x = sin(0) / 0 = 0, but by L’Hospitals’ Rule lim_(x -> 0) sin(x)
72.
by judofyr 2y ago
I actually tried to Shrinkray it myself, but after ~3 minutes it crashed with the following stack trace: (4 nested BaseExceptionGroup: Exceptions from Trio nursery (1 sub-exception), and then: +-+---------------- 1 -----------
73.
by judofyr 2y ago
Oh, that’s a neat idea. To reply to the sibling comment: Nix runs commands under a sandbox. It’s not bullet proof, but useful enough that it will prevent obvious commands like deleting local files and accessing the network. It took some tim
74.
by judofyr 2y ago
Well, aren't you going to share the reduced file? Okay fine, let's see for ourselves: # Setup git clone git@github.com:RustPython/RustPython.git && cd RustPython && cargo build --release git clon
75.
by judofyr 2y ago
> OTOH, these expressions do not generate a regular language. Okay sure you're technically correct here, but only because these expressions generate a subset of a regular language. The LLM can only be invoked on a substring that c
76.
by judofyr 2y ago
Your rant is a bit unfounded for this paper as they do actually take completely standard regular expressions (no backtracking or anything like that) and extend it with one more construct. Calling it «semantic regular expressions» seems perf
77.
by judofyr 2y ago
The word bug sort of implies that the device was struck by a terrestrial arthropod animal. Calling a software defect that happens due to a programming error a "bug" definitely is worthy of quotes. (The etymology of a word can be q
78.
by judofyr 2y ago
https://www.typescriptlang.org/tsconfig/#isolatedModules
79.
by judofyr 2y ago
> It’s exactly the sort of community which can potentially outperform whole large fields, because of the median researcher problem. On the other hand, that does not mean that those fields are going to recognize LessWrong as a thought-lea
80.
by judofyr 2y ago
Very fascinating results though! The sharding approach is quite a simple way of doing more fine-grained locking, making sure that writes don't block all the reads. Pretty cool to see that it actually pays off even with the overhead of
81.
by judofyr 2y ago
One thing which wasn’t obvious to me from the benchmark: What’s the key distribution? A sharded map will probably have great performance on uniform keys, but in my experience it’s far more common to have power law distribution in real life
82.
by judofyr 2y ago
From the article (emphasis mine): > Private Cloud Compute hardware security starts at manufacturing, where we inventory and perform high-resolution imaging of the components of the PCC node before each server is sealed and its tamper swi
83.
by judofyr 2y ago
What did you replace it with? I've been been using NixOS for a (non-critical) server which replaces another server that was "managed" by Ansible. Now that's it running nicely on NixOS, and while it's far from perfec
84.
by judofyr 2y ago
> And everyone should note this is the television of the 1980s. You still don't really have home recording, there are a limited number of channels, and the monoculture truly exists. This is a good point as well! When reading it I wa
85.
by judofyr 2y ago
> Thinly veiled 'I despise stupid people', this one. Are you talking about this comic (i.e. a few sentences from the book) or the whole book? I read the book a few years back and it's entirely focused on culture as a whol
86.
by judofyr 2y ago
Let me see if I understand this correctly: CRDTs take an editor event such as "insert at position X" and turns it into something a concrete operation like "insert to the right of node Y created by client C" which is then
87.
by judofyr 2y ago
Looks neat! A similar tool for this would be VCR (originally built in Ruby, but ported to other languages since): https://vcrpy.readthedocs.io/en/latest/ . This injects itself into the request pipeline, records the
88.
by judofyr 2y ago
The README of Spice has detailed explanation of the approach: https://github.com/judofyr/spice
89.
by judofyr 2y ago
I implemented this in Zig earlier: https://github.com/judofyr/minz It’s a quite neat algorithm. I saw compression ratios in the 2-3x range. However, I remember that the algorithm for finding the dictionary was a bit un
90.
by judofyr 2y ago
Oh this is super interesting. I was only aware of the two first while writing Spice. I’ll definitely look into the two last as well. Thanks for sharing!

More ›