sestep

Yeah. I've been considering asking my boss about open-sourcing it but I'm probably gonna flesh it out a lot more first.

No existing semantics are enough for my goals, so I'm building my own based on Vellvm, and proving "equivalence" theorems to it and other related work that specify what quirks/discrepancies/idiosyncrasies they have with respect to each other.

Yeah it took a bit to decide which abstraction level to target but I ended up choosing LLVM IR (planning to try PTX soon). It's been pretty successful so far for SIMD stuff, although proving theorems about concurrent programs seems a lot slower so far.

My Rocq setup directly reads my actual code. And I fuzz my semantic models against the real machine.

Been doing this at work for the past couple weeks. Extremely powerful to be able to have an agent open a PR with some experiments showing it makes some function faster using SIMD or CUDA, and just confidently merge it because the PR has a Rocq proof that it's behaviorally equivalent to the original implementation.

But it's not browser diversity in the sense people usually mean when they talk about IE and Chrome. It uses the same WebKit engine Safari uses.

For me the answer is quite simple: it's the only browser on iOS that lets you run Chrome extensions and Firefox add-ons.

Currently I remap all backgrounds, text, and vector graphics, and I leave raster images alone. This works great for documents whose only raster images are photographs; some documents do have other raster images that might even have white backgrounds instead of transparent, so that's not ideal, but it seems to work decently well in practice.

Full title: "Silicon Valley sees AI as the solution – for everyone else, it’s the problem"

> In case you are curious about Fable: I intentionally did not test it because I was not sure if the classifiers they are running might downgrade me to Opus silently.

Is this still a thing? I thought Anthropic walked back the silent downgrades so now all the different domains downgrade non-silently.

> The famous E=mc^2 it's just the first term of a Taylor expansion.

Is this actually true? My understanding was that E=mc^2 is exact for a particle at rest.

It's slower. Wasm32 can just reserve 8 GiB (32-bit pointer + 32-bit offset) of the virtual address space from the OS for each memory, so checking for out-of-bounds memory accesses imposes no performance penalty. Wasm64 can't do that, so each memory access is a bit slower.