HackerTrans
TopNewTrendsCommentsPastAskShowJobs

rhaps0dy

no profile record

Submissions

Is memory-safe Linux within reach?

agarriga.substack.com
5 points·by rhaps0dy·7 месяцев назад·2 comments

Think twice before translating all C to Rust

agarriga.substack.com
9 points·by rhaps0dy·7 месяцев назад·4 comments

comments

rhaps0dy
·18 дней назад·discuss
I can't figure out why this font is better than DejaVu Mono, or Monaco (mac). They all look basically the same to me. I actually would love someone to explain what the difference/improvement is, in other parts of life I know subtle changes add up.
rhaps0dy
·24 дня назад·discuss
Yes. That's why you should use Doom Emacs.
rhaps0dy
·4 месяца назад·discuss
Thank you, this was fun, I sang notes for a bit :)
rhaps0dy
·7 месяцев назад·discuss
Thank you for saving me a skim
rhaps0dy
·7 месяцев назад·discuss
No RSS? I want to subscribe :'(
rhaps0dy
·7 месяцев назад·discuss
Possible! But fixing this seems easier than re-writing in Rust with reasonable expectation that the software behaves the same?
rhaps0dy
·7 месяцев назад·discuss
Most Linux CVEs are memory corruption bugs. Previously I argued that we should compile C to be memory-safe rather than translating all C to Rust, to avoid introducing logic bugs.

Here, I argue that several parts of the kernel can also be compiled in a memory-safe way.
rhaps0dy
·8 месяцев назад·discuss
Unless we go extinct. But I concur.
rhaps0dy
·8 месяцев назад·discuss
I'm vegan, I don't eat tortured animals. Thanks though.
rhaps0dy
·8 месяцев назад·discuss
Yeah, that's fair. There's hope though!
rhaps0dy
·8 месяцев назад·discuss
Yeah, but long term it will increase GDP due to the UK being able to have better (fewer) regulations than those allowed by the EU. It does require Parliament getting it together.
rhaps0dy
·8 месяцев назад·discuss
To solve all the problems with Helm it seems easy enough to use Python dataclasses that serialize to YAML (or your favourite language).

Then to convert a new Helm chart to this you can just use AI + tests that check the two things render to the same output.
rhaps0dy
·9 месяцев назад·discuss
This is awesome. Measurement and experiment for a very quotidian thing is a great vibe.
rhaps0dy
·10 месяцев назад·discuss
Yeah, it's very clearly LLM-edited, but it's fun to read. The LLM did a good job.

It's not just a tech blog post - it's a thriller. ;)
rhaps0dy
·10 месяцев назад·discuss
Basically Emacs Lisp. Where `nil` is the only falsy value, and anything else (including `t`, which analogizes to `Some(())`) are truthy values.
rhaps0dy
·10 месяцев назад·discuss
> First, like others mentioned, you'll have N+1 problems for nested lists. That is, if we call comments() on each post and author() on each comment, we absolutely don't want to have one individual call per nested object. In GraphQL, with the data loader pattern, this is just 3 calls.

Why is that a problem? As far as I can tell, those calls are all done on the server, where they're cheap normal function calls, and the results are all sent back with 1 roundtrip; because of the pipelining.
rhaps0dy
·10 месяцев назад·discuss
Super cool work!! How much of a limitation is it to have the robot be basically 3D-printable? Though I can see it's basically required for making it buildable by others.
rhaps0dy
·10 месяцев назад·discuss
The easiest thing to do is probably use A* to find the solution, then imitation learning on the NN to learn it. (The immediate feedback gets rid of the vanishing/exploding gradients problem).
rhaps0dy
·11 месяцев назад·discuss
latest update from Xe:

> After further investigation and communication. This is not a bug. The threat actor group in question installed headless chrome and simply computed the proof of work. I'm just going to submit a default rule that blocks huawei.