smasher164

why do we see pdf viewer exploits on ios when we have sandboxing mechanisms nowadays like wasm? Or is this exploit accounting for the sandbox breakage?

> you wouldn't normally use a database replication protocol to actually transmit live video

Right, I'm more concerned about the areas where there's overlap between atproto and matrix, like with identity and authentication, for example.

One thing I'm wondering is how ATproto can be integrated with voice/video chat. Would you combine it with Matrix, XMPP, or some custom protocol?

Yeah I think if Julia had a plain interpreted mode or a base template JIT that could tier up to LLVM's, they could drive that execution latency down a lot.

a) Thanks for putting this together!

b) Please don't hijack my scrolling.

c) I really wish Lean were more mature as an application programming language. Its standard library is really lacking.

They might use this bug as a reason to be able to extend it for another week or something.

It's still shocking to me that the approach taken wasn't to have Claude write a tool that translates Zig to Rust. I imagine it would've been cheaper, deterministic, and each iteration would produce a better tool.

If you have a goal of making your OS usable, you have to design it with this in mind. Build your kernel and driver subsystem in a way that legacy OS interfaces can be implemented on top of them. Find ways to repurpose existing infrastructure so you don't have to do all the work yourself.

I guess I interpreted this part of their README as implying that the author found RC too fragile

> Reference counting buys correctness and composability, but at a cost.

> Disadvantage #1: you must balance every reference. Each value_create, value_retain, and each operation's implicit retain of its operands has to be matched by a value_release. Forget one and you leak; do one too many and you free memory that is still in use. The training examples in examples/ are verbose precisely because they are scrupulous about this in their error paths; that verbosity is the price of leak-free C.

Is there a reason you didn't go with something like Boehm for a library gc, instead of writing your reference counting implementation?

lol yeah I guess the best move right now is to fetch their /feed and iterate through <post>s