treyd

5 ms·

1.
by treyd 7d ago
> not only do you need specialised data structures, but all (transitively) allocating calls need to be specialised Most crates for containers will be written such that the container types take an optional allocator type parameter that de
2.
by treyd 7d ago
Can you point to a specific example that ends up being a "worst of both worlds" in your perspective?
3.
by treyd 7d ago
Here's an article about the research on it which lays out the properties in simple terms: https://smallcultfollowing.com/babysteps/blog/2016/10/02/obs... I'm curious why you think that sta
4.
by treyd 7d ago
That's just not an accurate description of how you write Rust in practice. There's no separate "high level" and "low level" parts/forms of the language any more than the software development process alrea
5.
by treyd 7d ago
> the very thing you reach for a low-level language for - they typically require unsafe There's a formal proof asserting that if you keep up the safety invariants within an unsafe region then that will not infect other code, even in
6.
by treyd 12d ago
A system that makes "business decisions" indistinguishable from malice is an interesting one.
7.
by treyd 16d ago
What are the architectural differences between this and Android's ahead-of-time runtime?
8.
by treyd 16d ago
I don't understand why few people are pointing out the obvious vulnerability here that you can control the wires going into the photosensor controller and pretend that the photosensor is capturing whatever image you want. I imagine it
9.
by treyd 1mo ago
You're conflating the effectiveness of the mechanism with its systemic impact. * Pangram: Yes we should really be discouraging people from putting trust in tools like this because they can't be made totally reliable. * Antivirus:
10.
by treyd 1mo ago
It's actually worse if it is plausibly trustworthy for "99.9%", since that's enough that naive users will get accustomed to believing the verification badge is authentic. When a motivated malicious user (who doesn&#x27
11.
by treyd 1mo ago
No biological process is 100% precise. DNA copying being imperfect is the driver of evolution, which is the prime example of this. What I assume they're referring to is that their ribosomes just "make fewer mistakes" when c
12.
by treyd 1mo ago
The thing with Nostr is that the protocol spec expressly forbids relays from forwarding messages to each other. What this means is that users trying to reach each other need to shotgun messages to many relays, or congregate around specific
13.
by treyd 1mo ago
I couldn't disagree more. Juniors have very poor design sense and can't guide the AI to land in the right spot. Consistently on my team the developers who are the most reliant on AI are causing me the most trouble. They produce
14.
by treyd 1mo ago
It'd probably be hard to do directly/algorithmically, but the shadows from the trees is what I was looking for visually.
15.
by treyd 1mo ago
A help with this is the sun is to the left and it seems to be midday, so you could answer the "cardinal direction" question just from the picture with "west ish", which is what it turns out to be.
16.
by treyd 1mo ago
There's a reason for this. Rob Pike was asked about it and said that syntax highlighting reminds him of the bright colors of children's toys and he personally disables it so that he can focus on the text. I don't know why it
17.
by treyd 1mo ago
There is such thing as criminal negligence. Not saying that's what happened here, but people do sometimes go to prison for being uniquely bad at their jobs.
18.
by treyd 2mo ago
Debugging concurrency issues isn't a syntactic process so they have to resort to println debugging. This works but isn't exhaustive and burns a lot of tokens.
19.
by treyd 2mo ago
Rust's concurrency libraries leverage the type system to make these issues much harder to encounter.
20.
by treyd 2mo ago
You'd probably also be able to use an intrinsic to avoid the pain of inline asm and make it portable.
21.
by treyd 2mo ago
I'm sure Apple will love this.
22.
by treyd 2mo ago
You've already been able to badly implement monads in Go for 10+ years. Why wouldn't you be able to implement them in a way that the compiler can enforce correctness of? If you don't want it don't use it. It's tha
23.
by treyd 2mo ago
Codeberg is a service, not software. If we applied this standard then Codeberg would already have been in violation of the 4 Freedoms because they forbid distribution of CSAM (I would hope). Forgejo is unaffected by this because it's
24.
by treyd 2mo ago
> But thats also an admittance that the American labs can’t compete on merit anymore This is exactly it. Try to buy a BYD in the United States. You can't (without a complicated process) because they're so much better cars th
25.
by treyd 2mo ago
My understanding is that tokenization is largely serial, so for a large initial prompt it can make up a large chunk of input processing time since after handing it off to the model inference it's (able to be) fully parallel across all
26.
by treyd 2mo ago
> don't fool yourself if you think this won't come to the Linux world. I'm curious what you mean by this. I'm not necessarily rejecting the point, but I also don't see how this could happen without substantial s
27.
by treyd 2mo ago
Consoles made sense as a product category where specialized graphics hardware was not generally available for consumer PCs. We have this now, every PC has some kind of graphics hardware, and has for many years. Consoles have been riding on
28.
by treyd 3mo ago
Can you elaborate on what causes that reaction specifically?
29.
by treyd 3mo ago
I've used phrasing like this from time to time before, like when trying to compare two ideas that are unalike but have some fuzzy similarities. I wouldn't use it to describe functions but "problems", "solutions&q
30.
by treyd 3mo ago
You can load multiple card identities onto the same SIM and select the one you want to use.

More ›