ruuda

14 ms·

121.
by ruuda 2y ago
Yeah those others are in the triple dots menu, but paste is gone. Maybe I’m hallucinating that it was ever there, but I notice that I miss it which would be weird if it was never there in the first place.
122.
by ruuda 2y ago
I switched to Nemo after I got tired of Nautilus moving all the buttons for no particular reason every Gnome release, but a few versions ago they had a pattern that was genuinely good: a dropdown next to the current directory in the navigat
123.
by ruuda 2y ago
Yes, we hire worldwide as long as your working hours are compatible with Europe. (So US west coast and east Asia are hard, Europe shouldn't be a problem.)
124.
by ruuda 2y ago
We also have an open position for infrastructure software engineer, which is very similar to the platforms engineer I described above, but with more focus on software engineering and less on operational knowledge like networking. (In the en
125.
by ruuda 2y ago
Chorus One | https://chorus.one/careers | Platforms Engineer | REMOTE (Switzerland ± 6 hours) Chorus One operates validators on many proof-of-stake blockchains (the ones where security is based on a Byzantine fault-tolerant
126.
by ruuda 2y ago
A toy example: suppose we have some sudoku. You want to show publicly (maybe in a HN comment) that you know the solution, without revealing the solution itself, because then anybody would know it and be able to post that they know it. A zer
127.
by ruuda 2y ago
Which is odd, given that it contains zero interactive elements even with js enabled.
128.
by ruuda 2y ago
If you don't like to run javascript outside of a browser, MkDocs is a great Python-based alternative: https://www.mkdocs.org/
129.
by ruuda 2y ago
Or if you write it by hand at all, use RCL, then you can also abstract away the repetitive parts: https://github.com/ruuda/rcl/blob/master/examples/vega.rcl
130.
by ruuda 2y ago
The RCL configuration language, https://rcl-lang.org / https://github.com/ruuda/rcl . Lately I'm working on support for floats to complete the json superset promise. Also I added a shorthand for &q
131.
by ruuda 2y ago
https://developers.google.com/tech-writing covers the same topics in more detail.
132.
by ruuda 2y ago
Another one is that your friends on average have more friends than you. (Because you are more likely to be friends with people who have many friends than with people who have few friends.)
133.
by ruuda 2y ago
I tried to make embeddings from my personal listening history a few years ago ( https://github.com/ruuda/deepnote ) with the idea that listens of music that matches well would be played in the same session, basically wor
134.
by ruuda 2y ago
That’s interesting!
135.
by ruuda 2y ago
Thanks for pointing that out, I didn’t know types in Cue could be self-referential.
136.
by ruuda 2y ago
Two examples that satisfy these criteria are Dhall [1] and Cue [2], but in one sense they are not interesting examples: Dhall is a total language on purpose, it does go the “not Turing-complete” route, and Cue has no functions so there is n
137.
by ruuda 2y ago
At the moment nothing like that exists. Eventually it should be possible to generate RCL types like https://github.com/dhall-lang/dhall-kubernetes does for Dhall.
138.
by ruuda 2y ago
RCL has control flow and types: https://rcl-lang.org/ . No record types yet though, so they are not yet very useful to validate e.g. a Kubernetes manifest against a schema.
139.
by ruuda 2y ago
Yep. I was always using only the low end of the volume slider and having the same problem as OP that the steps were too coarse. So for Musium, I added a logarithmic volume control with a step size of 1 dB. That difference is on the border o
140.
A type system for RCL: Implementing a typechecker in Rust(ruudvanasseldonk.com)
4 points by ruuda 2y ago|0 comments
141.
by ruuda 2y ago
> Will that always hold? It’s hard to be sure about whether anything will always be true, but I intend to not expose environment variables, CLI arguments, or other impurities to RCL. > What about environment variables? If the langua
142.
by ruuda 2y ago
Shrinking is built in to libFuzzer! (`-minimize_crash` in libFuzzer, `cargo fuzz tmin` with cargo-fuzz)
143.
by ruuda 2y ago
The major omission in this article is fuzzing. Not only is it practical and in wide (and growing use), it’s also far more advanced than QuickCheck’s approach of generating random inputs, because fuzzing can be _coverage-driven_. Property-ba
144.
by ruuda 2y ago
Or you could write the query in a language that is easy to write by hand, like https://rcl-lang.org/ , so you don't need ChatGPT to translate for you.
145.
by ruuda 2y ago
This one was iconic among the people involved, we printed it and stuck it on the wall in the office: https://news.ycombinator.com/item?id=13783584
146.
by ruuda 2y ago
Apologies, wrong tab, I meant to post here: https://news.ycombinator.com/item?id=40677941
147.
by ruuda 2y ago
> The lack of a formal market for land has not made land any cheaper, it has simply shifted the price from being denominated in money-dollars, to time-dollars and pain-in-the-butt-dollars. Vitalik writes about this too: https:/&#x2
148.
by ruuda 2y ago
> The lack of a formal market for land has not made land any cheaper, it has simply shifted the price from being denominated in money-dollars, to time-dollars and pain-in-the-butt-dollars. Vitalik writes about this too: https:/&#x2
149.
by ruuda 2y ago
https://goomics.net/239/
150.
by ruuda 2y ago
In Utrecht, the municipality will lend you a bakfiets with all the equipment you need (soil, shovel, tile cutter) to replace a few tiles in front of your house with plants. You don't need a permit to do it. https://www.utrec

More ›