rhaps0dy

6 ms·

1.
by rhaps0dy 12d ago
Kellin Pelrine already beat KataGo in 2022 ( https://www.reddit.com/r/baduk/comments/13at6s5/how_many_bli... ). Why is this different? Is it meaningful that Shin is also extremely good at beating professio
2.
by rhaps0dy 12d ago
Super cool! I just learned about 'incertae sedis' from here—though I think these things should at least be in their kingdom (e.g. Naldaviricetes are clearly viruses no?)
3.
by rhaps0dy 3mo ago
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 subtl
4.
by rhaps0dy 3mo ago
Yes. That's why you should use Doom Emacs.
5.
by rhaps0dy 6mo ago
Thank you, this was fun, I sang notes for a bit :)
6.
by rhaps0dy 9mo ago
Thank you for saving me a skim
7.
by rhaps0dy 10mo ago
No RSS? I want to subscribe :'(
8.
by rhaps0dy 10mo ago
Possible! But fixing this seems easier than re-writing in Rust with reasonable expectation that the software behaves the same?
9.
Is memory-safe Linux within reach?(agarriga.substack.com)
5 points by rhaps0dy 10mo ago|2 comments
10.
by rhaps0dy 10mo ago
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 co
11.
Think twice before translating all C to Rust(agarriga.substack.com)
9 points by rhaps0dy 10mo ago|4 comments
12.
by rhaps0dy 10mo ago
Unless we go extinct. But I concur.
13.
by rhaps0dy 10mo ago
I'm vegan, I don't eat tortured animals. Thanks though.
14.
by rhaps0dy 10mo ago
Yeah, that's fair. There's hope though!
15.
by rhaps0dy 10mo ago
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.
16.
by rhaps0dy 10mo ago
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
17.
by rhaps0dy 1y ago
This is awesome. Measurement and experiment for a very quotidian thing is a great vibe.
18.
by rhaps0dy 1y ago
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. ;)
19.
by rhaps0dy 1y ago
Basically Emacs Lisp. Where `nil` is the only falsy value, and anything else (including `t`, which analogizes to `Some(())`) are truthy values.
20.
by rhaps0dy 1y ago
> 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 Gra
21.
by rhaps0dy 1y ago
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.
22.
by rhaps0dy 1y ago
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).
23.
by rhaps0dy 1y ago
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 t
24.
by rhaps0dy 1y ago
> Wouldn't the other way around be easier for finding good tools? I agree, and Pyrefly seemed good; I was just wondering why people don't mention it. Thank you for the comparison thread and post, I've read it and found it
25.
by rhaps0dy 1y ago
I mean, sqlalchemy until very recently needed a mypy plugin to type correctly ( https://docs.sqlalchemy.org/en/20/orm/extensions/mypy.html ), which was just deprecated in 2.0.0. Perhaps you should do the u
26.
by rhaps0dy 1y ago
Hah, I stand corrected. In my defense, Ty make it a lot more obvious and ominous on their github ( https://github.com/astral-sh/ty ): > /!\ Warning > ty is in preview and is not ready for production use. >
27.
by rhaps0dy 1y ago
I've heard of `ty` too but recently I learned about Pyrefly, which is not in pre-production alpha, and is also Rust: https://pyrefly.org/ Is there a good reason to avoid using Pyrefly?
28.
by rhaps0dy 1y ago
I would describe it as exactly "resolving a license compatibility issue". Taint in linux kernel refers to marking this kernel as not supported, which often just means not purely GPLv2 compatible anymore. Proprietary AMD and nVidia
29.
by rhaps0dy 1y ago
Though if the rust compiles to NVVM it’s exactly as bad as C++ CUDA, no?
30.
by rhaps0dy 1y ago
Sutton was talking about progress in AI overall, whereas Pinhasi (OP) is talking about building one model for production right now. Of course adding some hand-coded knowledge is essential for the latter, but it has not provided much long-te

More ›