ruuda

16 ms·

181.
by ruuda 3y ago
One challenge working with SQL from statically typed languages (including Python + Mypy) is that you have to convert the query inputs/outputs to/from types and it's a lot of boilerplate. I started an experiment to generate th
182.
by ruuda 3y ago
I met Bram once, at an open source fair at Google’s Zürich office. At the fair everybody could show off their projects. There was one person who had built some kind of AST editor/IDE, where the unit of editing was not the file, but fun
183.
by ruuda 3y ago
There is the example of the required lipids in parental nutrition not being approved causing baby deaths that could easily have been prevented. Eliezer Yudkowski writes about it extensively in Inadequate Equilibria, but some of it is also i
184.
by ruuda 3y ago
I've been to some algoraves where people livecode this, it's amazing to experience live.
185.
by ruuda 3y ago
How does USD compare to Collada?
186.
When will AI be able to infer the ending of the book “I Want My Hat Back”?(metaculus.com)
2 points by ruuda 3y ago|0 comments
187.
An Algorithm for Shuffling Playlists(ruudvanasseldonk.com)
2 points by ruuda 3y ago|0 comments
188.
by ruuda 3y ago
This is definitely not the case, the team behind Pik is eager to get JPEG XL deployed, but Chrome is blocking it.
189.
by ruuda 3y ago
> because you have to take risk and disagree with the masses. You will either end up with negative reputation or a very large one. A prediction market is a zero-sum game, and you should only participate if you expect you can beat the mar
190.
by ruuda 3y ago
Vacuum does more than removing dead tuples though, there is still a need to update statistics and summarize BRINs.
191.
by ruuda 3y ago
If you ever stop using Apple, you can take your mail with you. I've been using Thunderbird since 2006, first on Windows, then on Linux, and it's still the same profile directory as the original installation.
192.
by ruuda 3y ago
The page works perfectly fine without javascript enabled.
193.
by ruuda 3y ago
I think the cookiewalls are older than 5 years, no?
194.
by ruuda 3y ago
Actually I suspect unnecessary use of async IO is what makes many Rust applications slow. It surely makes things slower to compile (+100s of crates dependencies for the Tokio ecosystem), it makes the binaries bigger, which in turn makes the
195.
by ruuda 3y ago
Related observation from 2017: https://danluu.com/input-lag/
196.
by ruuda 3y ago
For packages that I need to pin to specific versions, that's also easy to do with Nix.
197.
by ruuda 3y ago
No, that is not a fair summary; Nix is the nicest way to manage Python packages that I have found thus far.
198.
by ruuda 3y ago
Color is fine with me, but I'd love to have a standard way to disable emoji.
199.
by ruuda 3y ago
No, but we did create an open position for an engineer to build internal tooling around LLMs.
200.
by ruuda 3y ago
And if you have to version it, Kelvin versioning is more appropriate for standards.
201.
by ruuda 3y ago
This is no surprise, the tokenizer is constructed to minimize the encoded length of the training corpus, and most of that is in English or at least using the Latin alphabet.
202.
by ruuda 3y ago
> A system must use cutting-edge Byzantine fault-tolerant (BFT) replication protocols, which neither of these systems currently employ. Cutting-edge? pBFT (Practical Byzantine Fault Tolerance) was published in 1999. The first Tendermint
203.
by ruuda 3y ago
It's weird that the article mentions Makepad, but somehow fails to observe that Makepad's primary demo application is actually a software synthesizer. Go watch some of Rik Arends' talks! Most recently this one from RustNL las
204.
by ruuda 3y ago
I would love to see a Jepsen test of this when it's ready. The Redis Cluster evaluation [1] was a great read. [1]: https://aphyr.com/posts/283-jepsen-redis
205.
by ruuda 3y ago
Even for light photo editing and making memes and such, I much prefer Krita over Gimp. I find the interface more straightforward to use. (And in terms of features I prefer Photopea over both, but unfortunately it's not free software.)
206.
by ruuda 4y ago
Yes, pages on Codeberg load so much faster than on GitHub, it blew me away when I first tried it.
207.
by ruuda 4y ago
> but that doesn't really sound possible It sounds almost too good to be true, but snarks enable a prover to convince a verifier in O(log n) time that a statement of size n is true. In fact many constructs enable this in O(1) verifi
208.
by ruuda 4y ago
You could split on words instead of tokens, but then you need a large vocabulary, you can't deal with inputs that contain a word which is not in the vocabulary, and it's not so clear what a "word" even is. Instead of com
209.
by ruuda 4y ago
You unfold it one token at a time by sampling from the returned distribution. To control the amount of variation, you can make the probability distribution more extreme, in the most extreme case you only select the most likely token, and th
210.
by ruuda 4y ago
I get a TLS error, my browser says the site is presenting a certificate for frhb79209ds.ikexpress.com?

More ›