ruuda

10 ms·

91.
by ruuda 2y ago
Especially for the command line and a browser which are primarily rendering text, pixel density matters so much! Why look at pixelated text when you can have print-quality crisp text? I never want to go back to low pixel density displays! I
92.
by ruuda 2y ago
I’ve been browsing the Lenovo (and others’) website for weeks, and the only two laptops it shows with 2TB storage and 4k display are the ThinkPad P1 and P16s. The ThinkPad X1 and Framework 13 have a much lower resolution display. Also, I ap
93.
by ruuda 2y ago
I should have said "large" then, I could only find a 16" model with the specs I want. It's not bulky in the sense that a gaming laptop is.
94.
by ruuda 2y ago
My 4-year old Dell XPS 15 is up for replacement, but somehow no manufacturer aside from Apple is making laptop with decent specs nowadays? I want 2TB storage, a 4k (or close) HiDPI display, good build quality, and not a bulky gaming laptop.
95.
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
96.
A float walks into a gradual type system(ruudvanasseldonk.com)
29 points by ruuda 2y ago|8 comments
97.
by ruuda 2y ago
Through this article, a few links away, I learnt about tiling logs, explained in https://research.swtch.com/tlog .
98.
by ruuda 2y ago
I'm working on adding floats to the RCL configuration language ( https://rcl-lang.org/ ) to finally deliver on the json superset promise. Blog post coming soon!
99.
by ruuda 2y ago
Quod Libet handles album artists properly with the right sorting options? (And also it's one of the few that supports original release date, another seemingly essential feature that few players support.) In Musium ( https://d
100.
by ruuda 2y ago
John Carlos Baez on that article: https://mathstodon.xyz/@johncarlosbaez/113964127171705485
101.
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
102.
LLM text makes human interactions less fun(ruudvanasseldonk.com)
2 points by ruuda 2y ago|0 comments
103.
by ruuda 2y ago
Try https://rcl-lang.org/ instead then, it has syntax that you can write without needing ChatGPT.
104.
by ruuda 2y ago
I think LaTeX is the poster child of this. Nobody writes a LaTeX preamble from scratch, you always copy your previous document and tweak it.
105.
by ruuda 2y ago
I'm an engineer at a company of about 70 people (about half of that engineers), and I personally review most applications to our engineering roles. About 60-70% of applications we receive are low-effort or automated spam of the kind ge
106.
by ruuda 2y ago
Ctrl+N in Vim, and API docs.
107.
by ruuda 2y ago
I have a blog where I post a few posts per year. [1] /feed.xml is served with an Expires header of 24 hours. I wrote a tool that allows me to query the webserver logs using SQLite [2]. Over the past 90 days, these are the top 10 reques
108.
by ruuda 2y ago
If you're looking for a human-friendly json superset (comments, non-quoted keys) that can also abstract away repetitive configuration with variables and list comprehensions, check out https://rcl-lang.org/ .
109.
by ruuda 2y ago
This has been a good driver for me to add features to https://rcl-lang.org/ . I just added List.sort for today’s problem.
110.
by ruuda 2y ago
Cool, it would be nice if that one aligned the days which were on weekends, as those tend to have harder problems.
111.
by ruuda 2y ago
My experience from predicting on Metaculus, and following this space for a few years, is that it's hard to operationalize the thing you want to predict precisely. Regularly, things go completely sideways in ways that the author did not
112.
by ruuda 2y ago
Some comments here point at impossibility results, but after screening hundreds of job applications at work, it's not hard to pick out the LLM writing, even without watermark. My internal LLM detector is now so sensitive that I can tel
113.
Does It Scale (Down)?(bugsink.com)
2 points by ruuda 2y ago|1 comments
114.
by ruuda 2y ago
Pronunciation bears little relation to how words are written. For the longest time I thought I knew how to pronounce Greenwich, because I knew how to pronounce ‘green’ and ‘sandwich’. (Or things like advertising vs. advertisement, etc.) I s
115.
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
116.
by ruuda 2y ago
There are some downsides but also huge upsides aside from not wasting energy, for example offering very fast finality. Bitcoin has not moved to it, because arguably the new system would not be Bitcoin any more. It's a coordination prob
117.
by ruuda 2y ago
> That a lot is expected and taken for granted from the security researchers by triagers that behave like you have to “prove to be worth listening to” while in reality they barely care to process and understand what you are saying The un
118.
by ruuda 2y ago
There is a growing culture of microdependencies, where one project can depend on hundreds or thousands of libraries, combined with automated "vulnerability" tracking, which means projects are constantly receiving notifications abo
119.
by ruuda 2y ago
https://rcl-lang.org/
120.
by ruuda 2y ago
To add one to the mix: https://docs.ruuda.nl/squiller/

More ›