roca

54 ms·

601.
by roca 5y ago
It's pretty unclear exactly what was proved in 2003 and in 2006. But the point remains: for COVID19, after a year of searching we don't even have a suspect animal host.
602.
by roca 5y ago
One of the things Wade brings up is that gain-of-function research was justified by its proponents on the grounds that it would help prevent and/or deal with future pandemics. So a good question that needs to be addressed now is: did g
603.
by roca 5y ago
That wikipedia article says > In late May 2003, studies were conducted using samples of wild animals sold as food in the local market in Guangdong, China. The results found that the SARS coronavirus could be isolated from masked palm civ
604.
by roca 5y ago
That is one of the points in the article in favour of a lab leak hypothesis. People have been searching for an animal host (not necessarily a bat, could be an intermediate host) for over a year now and haven't found anything. The anima
605.
by roca 5y ago
That is cool stuff but having to run your application in a VM is annoying for users (it was for VMWare). Also a problem in AWS where you don't have nested virtualization.
606.
by roca 5y ago
TTD uses code instrumentation so typically has a lot higher overhead than rr on single-threaded code. On the other hand, it can handle shared memory and use multicore, so for parallel programs on big machines TTD could be faster. TTD has so
607.
by roca 5y ago
Intellitrace doesn't capture the full program history. rr reproduces everything in userspace memory (and registers) at any point in time. TTD is the closest thing Microsoft has to rr.
608.
by roca 5y ago
I think we can support io_uring with some work. Basically we need to have rr manage the real ring buffers and give the application fake ring buffers, then have rr copy data between the fake and real ring buffers at defined times.
609.
by roca 5y ago
With just an instruction trace you can't figure out which application code the interpreter executed. AFAIK modern Java VMs all use tiered compilation which means there is likely to be some interpreted code sprinkled around even if th
610.
by roca 5y ago
It won't work for anything with a JIT or interpreter, not without significantly more work.
611.
by roca 5y ago
There is experimental support for ARM. https://github.com/rr-debugger/rr/issues/1373 Also, Undo works on ARM.
612.
by roca 5y ago
gdb's implementation of record-and-replay is terrible and to some extent poisoned the well :-(.
613.
by roca 5y ago
Some of our customers report regular 5x speedups in debugging time. https://twitter.com/rocallahan/status/1371607271826878464 Of course there is some "cap" on the value tooling can provide, but whatever
614.
by roca 5y ago
Perhaps the bug we chose to demo there is not representative of most bugs, but the underlying bug is in C code and Brendan Gregg, the person who debugged it "for real", debugged it using gdb. The erroneous state in this case is in
615.
by roca 5y ago
Use up your free sessions and if you want to use it more, email us at inquiries@pernos.co and we'll work something out. Thanks for the cargo-rr crate, that looks nice.
616.
by roca 5y ago
These are important, but for larger projects "speed" is often not a feature of print debugging when you need multiple iterations of refining your logging statements. "Simplicity", sure ... it's difficult to beat the
617.
by roca 5y ago
It doesn't have to be that way, record-and-replay debugging can overcome this.
618.
by roca 5y ago
Almost all the reasons people use print debugging can be overcome by improving debuggers --- and to some extent already have been (in the words of William Gibson, the future is already here, it's just not evenly distributed yet). I t
619.
by roca 5y ago
The "Rust Book" says signed integer overflow to be two's complement in release builds and panic in debug builds: https://doc.rust-lang.org/book/ch03-02-data-types.html That's clear enough for progra
620.
by roca 5y ago
That's fair, but asking for and getting Linus' approval would have at least put them in a much stronger position. They didn't even do that. (And I doubt Linus would have even given his approval, in which case they wouldn&#x27
621.
by roca 5y ago
Ask Linus to approve it.
622.
by roca 6y ago
You're just making stuff up. Most aspects of Rust's design are based on lessons learned from mistakes and good ideas in C++ and other languages. There was a conscious effort to avoid inventing more new things than necessary.
623.
by roca 6y ago
If you restrict exceptions to that case, then Rust has exceptions (panic/catch_unwind). So I'm not sure what your point is.
624.
by roca 6y ago
> What does that even mean in the absence of a formal standard and competing compiler implementations? It means that when the language designers are asked "what is the behavior of this code (that compiles and doesn't use '
625.
by roca 6y ago
Exceptions are terrible for correctness. They introduce hidden control flow paths that developers forget about and fail to handle correctly. (Also they break the "pay for what you use" principle, so C++ is split into two ecosystem
626.
by roca 6y ago
Fortunately I am mostly able to avoid working on legacy C++ code these days (rr being the exception, and it's only 70K lines). Rust code accumulates some cruft over time, but Rust's type system and safety guarantees put a floor on
627.
by roca 6y ago
The browser can't tell the difference between a site that legitimately "needs Web Audio" and a site that doesn't.
628.
by roca 6y ago
Some of us are mentally scarred from decades of dealing with weak type systems, undefined behavior, and general inability to be sure of what's going on in gargantuan C++ codebases. Rust was more or less specifically designed to appeal
629.
by roca 6y ago
I think not. The state of Mozilla is mostly the result of decisions they made in the past that are no longer operative, and factors that were never under Mozilla's control.
630.
by roca 6y ago
If you look at where they invest their resources, it's Firefox. It's almost funny because Mozilla critics are about evenly divided between "Mozilla needs to move beyond the browser" and "Mozilla needs to focus on th

More ›