roca

9 ms·

121.
by roca 2y ago
I was inspired to write it by reading about Ladybird, so I wrote it for Andreas Kling basically :-). But there is also Flow: https://www.ekioh.com/flow-browser/ and Servo. Maybe in the future someone else will try. Als
122.
by roca 2y ago
I think sooner or later you're going to want to load lower-trust content --- IFRAMEs of third-party Web content, or sandboxed extensions, or something like that. Building your entire architecture on the assumption you'll never hav
123.
by roca 2y ago
Any kind of regulated doping has the same problems as the current anti-doping regimes. Whatever regulations you have, some people are going to try to get an advantage by breaking them. You need to catch some of those people or you don'
124.
by roca 2y ago
The goal becomes "dope the athlete the exact amount to win the final and drop dead immediately afterwards".
125.
by roca 2y ago
malloc() returning NULL isn't that helpful. Most applications just react to that by aborting, and most applications that don't abort take poorly-tested error-handling paths that often don't work. I don't remember ever se
126.
by roca 2y ago
In my Rust projects (including Pernosco, 200K lines), less than 0.1% of code directly uses "unsafe". It's a long way from there to 20%.
127.
by roca 2y ago
A tax on empty properties can't be passed onto renters.
128.
Real-Time Settlers of Catan(robert.ocallahan.org)
5 points by roca 2y ago|1 comments
129.
by roca 2y ago
What if Settlers had simultaneous time-limited turns? With a simple app assistant and a few rule tweaks, you can play six-player Cities And Knights in 45 minutes.
130.
by roca 2y ago
It's an impressive project. One of the key problems for any safe language interoperating with C++ (even a safe C++ subset) is that you really want to be able to interact with C++ standard library types (string, vector etc) safely becau
131.
by roca 2y ago
Rust's affine types and borrow checking give safe Rust a lot more power than the safe subset of Ada95. A trivial getter method that returns a reference (i.e. pointer) to a field of its object is safe in Rust, but in Ada95 (and C++ and
132.
by roca 2y ago
How does "redo the call with a smaller size" possibly help you? If you could get by with less memory, you should have asked for less memory in the first place.
133.
by roca 2y ago
The claim that Rust makes the safety of 20% of code worse requires some justification. It is utterly contradictory to my experience. Having to do a dynamic check (an array bounds check, or `Option::unwrap`) does not make code "less saf
134.
by roca 2y ago
I'm not in the US. You can do the same thing without physical documents, just convert the PDF to JPEGs and submit those to the model.
135.
by roca 2y ago
Doesn't work if they just paste scanned documents into a multi-modal model, unfortunately.
136.
by roca 2y ago
All I do all day is output byte sequences into a terminal. Therefore I am harmless.
137.
by roca 2y ago
Your focus on "the most cost effective way" is fine in principle but in practice, we don't know ahead of time what bugs exist and what their impact is. Experience has shown that the prevalence and impact of memory safety and
138.
by roca 2y ago
> If the gap is 10 orders of magnitude, narrowing it by 1 doesn't have a big impact, unless it were completely free, which it isn't. It doesn't need to be completely free to have a positive net benefit.
139.
by roca 2y ago
Ah, you seem to think I proposed using formal verification to eliminate 100% of memory safety bugs no matter what the cost. In fact I didn't say that, and I don't recommend that. There will certainly be cases, typically in very la
140.
by roca 2y ago
As a practitioner but also a small-time CS researcher, I don't expect verifying that small Rust libraries use 'unsafe' correctly will "waste my assurance budget". On the cost side: we don't know yet how hard it
141.
by roca 2y ago
Indeed, we don't have that model, and we definitely need it. I don't think it's intractable. We've made a lot of progress. I would like to see more focused effort on this particular problem from the academic community.
142.
by roca 2y ago
In six years I wrote a lot of the 200K lines of Rust for Pernosco --- a fairly sophisticated application server for a SaaS debugger. There are 40 instances of the string 'Arc::new(Mutex::new('. A lot of them are shared caches and
143.
by roca 2y ago
I think it's reasonable to look forward to verifying that small Rust libraries use 'unsafe' correctly. That alone would be really helpful.
144.
by roca 2y ago
In practice, those "undefined flags" are set consistently. In Pernosco we move rr recordings across architectures quite often and those flags have never been a problem.
145.
by roca 2y ago
I remember my wife working remotely and Source "Safe" corrupting the repo when the modem dropped while she was committing her work. Good old days.
146.
by roca 3y ago
Disclosure: I'm a former agnostic, now Christian. A person could have a well-founded belief in God without seeing him as Abraham did. What if someone in the early church had seen apostolic miracles and talked to an eyewitness of the re
147.
by roca 3y ago
> none of which did what they did or believed the way they do because of anything describable as what would count as evidence in science, or a court of law. Abraham is in that list, and is elsewhere described as the paragon of faith. Y
148.
by roca 3y ago
Doesn't cite TimesFM for some reason. Maybe the latter was published after this paper went camera-ready? https://blog.research.google/2024/02/a-decoder-only-foundati...
149.
by roca 3y ago
Microsoft's TTD handles multiple threads on multiple cores, because they instrument reads. But that's high overhead. I'd like to know more about what the embedded tools do. I see SourcePoint supports multicore x86, but the da
150.
by roca 3y ago
My favourite novel.

More ›