GolDDranks

8 ms·

61.
by GolDDranks 1y ago
> I don’t see anything that would even point into that direction. I find it a kind of baffling that people claim they can't see the problem. I'm not sure about the risk probabilities, but at least I can see that there clearly e
62.
by GolDDranks 1y ago
I think it's very fortunate, because I used to be an AI doomer. I still kinda am, but at least I'm now about 70% convinced that the current technological paradigm is not going to lead us to a short-term AI apocalypse. The fortunat
63.
by GolDDranks 1y ago
It's interesting that whereas old kango are Chinese loanwords, many newer ones are made-up words, and some even got backported into the Chinese language!
64.
by GolDDranks 1y ago
Dijkstra _could_ be universally taught in 7th grade if we had the curriculum for that. Maybe I'm biased, but it doesn't seem conceptually significantly more difficult than solving first degree equations, and we teach those in 7th
65.
by GolDDranks 1y ago
The problem with computables is that equivalence between them is only semi-decidable. (If the two numbers are different, it is decidable, but if they are not, it isn't. The problem is that you don't know if they are different a pr
66.
by GolDDranks 1y ago
Supposed by who? Maybe it's supposed to be 柔術.
67.
by GolDDranks 1y ago
The bank I used to use had a per-verification request code that the app showed. If the party dealing with you knew the code, you could be sure they were the party who initiated the verification request.
68.
by GolDDranks 1y ago
Huh, I was thinking that it's accelerated gravitational frames that cause the dilation, and I've encountered a lot of statements that argue the same. This is from wikipedia: "This is because gravitational time dilation is man
69.
by GolDDranks 1y ago
To make this even clearer: Let's imagine that there is a huge amount of time dilation (we live on the surface of a neuron star or something). By climbing a bit, we experience 1.1 seconds instead of 1.0 seconds experienced by someone wh
70.
by GolDDranks 1y ago
According to ChatGPT, the speedup factor for getting 10 cm higher is 1 + 1.09e−17. (With ΔT = gh /(c^2) The math seems to check out, but not sure if the formula itself is correct.) Surely, if the clock ticks at rate 1e-19 in a second,
71.
by GolDDranks 1y ago
I've been to many snack bars, and once in my almost ten years in Japan, I found one that didn't welcome foreigners.
72.
by GolDDranks 1y ago
Agreed, I said 95% just to be generous, should've mentioned that.
73.
by GolDDranks 1y ago
> TBAA, like C has by default, generally is easier than just no aliasing [note: I assume no aliasing here to refer Rust's mutable references, not C's restrict] I don't accept that statement. Rust's mutable references
74.
by GolDDranks 1y ago
The situation is not that bad. The rules of unsafe code were pretty badly defined back then, but they are in process of becoming a lot clearer, and like the grandparent argues, with a well-defined aliasing model like Tree Borrows, they are
75.
by GolDDranks 1y ago
> Unless I'm just misunderstanding the point they're trying to make here. You misunderstand the word "can". Yes, you can, in unsafe code, do that. And yes, that is undefined behaviour ;) https://play.rust-l
76.
by GolDDranks 1y ago
However, in this case, we are not talking about a painting, but a woodblock print. (Not disagreeing with your point in general, though.)
77.
by GolDDranks 1y ago
And in East Asia, we use a system based on exponents of 10000. I kind of like it, except when I have to think about it and the short/long scales at the same time. 10000^1 = 万 10000^2 = 億 10000^3 = 兆 10000^4 = 京
78.
by GolDDranks 1y ago
Thanks for the inline dictionary lookup, I TIL'd that both of those words were popularized by the Simpsons.
79.
by GolDDranks 1y ago
Ah, the Saint Hannes cross, or sankthanskors in Sweden, or hannunvaakuna in Finland. It's not so much related to campgrounds, but to mark sightseeing spots in general.
80.
by GolDDranks 1y ago
I have written very little Zig and a lot of Rust, but I love both languages. However, Zig having breaking changes has made me wary of not starting anything serious it with – yet. I'm still happy that these changes happen, because I&#x2
81.
by GolDDranks 1y ago
While I agree that good automatic translations are great, the fact that the current unconfigurable mess that doesn't even respect the user's settings (neither the settings of their Google Account nor the settings of their browser)
82.
by GolDDranks 1y ago
Yes, legal trolling is unfortunately a thing.
83.
by GolDDranks 1y ago
Which is crazy, because the shapes are just an idea, and you can't copyright ideas. They also couldn't be a trademark infringement (IANAL, though) if you don't use them in your branding.
84.
by GolDDranks 1y ago
(To share a recent personal experience about Markov models: I bootstrapped recently a HMM with hand-assigned weights. It was around 15x15 class transitions, 225 weights. That's small. Or rather, microscopic. Then I ran it against real
85.
by GolDDranks 1y ago
A traditional Markov model trained (rather, just "fitted") on tokens or words is a small language model.
86.
by GolDDranks 1y ago
Re: Prompting to ask. Thanks, I'll try that. And I'm gonna try version 4 as soon as I can.
87.
by GolDDranks 1y ago
Two problems: 1) Writing a high-performance memory allocator for a game engine in Rust: https://github.com/golddranks/bang/tree/main/libs/arena/src (Still work in progress, so it's in a bi
88.
by GolDDranks 1y ago
I sincerely hope you'll manage to find a job! What I meant was purely from the capabilities perspective. There's no way a current AI model would outperform an average junior dev in job performance over... let's say, a year to
89.
by GolDDranks 1y ago
After using Claude 3.7 Sonnet for a few weeks, my verdict is that its coding abilities are unimpressive both for unsupervised coding but also for problem solving/debugging if you are expecting accurate results and correct code. However
90.
by GolDDranks 1y ago
Edit time's already over, sorry for the confusing wording: *not only do I enjoy writing Rust

More ›