Viewing profile — codebje

Codebases written by native English speakers are almost exclusively ASCII, but codebases written by speakers of languages other than English frequently have non-ASCII content, even…

Thanks for the link to SPJ's notes, I'll read that tomorrow. Equivalence of terms is an efficient tool for verification; I suspect that isn't really in the set of goals for Fuse, t…

Also, it was super common practice to just go direct to undocumented internals. You didn't have a clean API to duplicate, you had all the untamed glory of a CPU with no MMU to deal…

CP/M-86 was definitely a thing, but CP/M-386 was not. By the time the 386 existed, DRI had dropped the CP/M name in favour of Concurrent DOS - though they had MS-DOS compatibility …

Can you expand on your understanding of GRIN doing parts of supercompilation? As I understand it, GRIN doesn't do any supercompilation; it's a structural transformation optimiser b…

It's nice to see a GRIN backend in the wild! It looks like a tidy little functional language - a small, easily grasped syntax surface and generally clear semantics. That you've got…

IMO the biggest issue was always not knowing what correct is in the first place. The vast majority of software we use, the stuff that's riddled with errors, has those errors largel…

If it can give me the recipe without 14 pages of backstory about how Nonna used to make it, it'd be satisfying a real need.

Formal verification should definitely be about the software you're verifying exhibiting the properties you desire under the conditions you specify. Formal verification at the under…

You shouldn't have been able to formally verify the algorithm fails to protect the critical section. Wrapping ticket numbers can lead to starvation (literally, if we follow the bak…

How different is this to, eg, the Google developer program, in which I can create a new OAuth client for Google users?

There's lots of things to show for the research! Part of what the research shows is that correctness-by-proof has a cost in developer effort. If there really is a vulnerability-apo…

They're using a custom fork of FEX ( https://fex-emu.com/ ). CodeWeavers, AIUI, have a plan - and their plan may also be using FEX as a basis.

Minor nit: a steam machine is running Proton . Which is wine, yes, but wine that Valve supports, wine with patches and changes (afaik, most of which get upstreamed to wine). On a M…

I am not sure that the perspective you have taken is the same as what I understood from the parent post; what I took from it is that things like registers, memory locations, ways t…

They were not keeping it beyond the timeframe necessary for the model to process it, so there wasn't access there to audit.

Same reason you wouldn't just emulate a Z80 on a desktop. People don't build retros because they're practical.

If `left_pad()` calls `send_env_vars()`, how can you add exfiltration to `send_env_vars()` without having to change `left_pad()` to expose the use of the network? "You can't" shoul…

Authorisation is a way to do that, too.

When you need to use an effect, you need it in the type. If you directly call a function using some other effect, it propagates into your function. So far, so colourful. But you ca…

Sounds like an argument for organised labour to me!

Wouldn't the parent's post mean that you bring profit to the company, but you're worth less than the full amount of that profit because, should you demand to be paid more, you can …

I think I was simply not very good at expressing what I was trying to convey, sorry, and it is a fault of mine to come across as gotcha-y even when trying not to. Thank you for res…

That would be a remarkable feat for something where the current operating model is termination as soon as the request in flight is finished. Every chat API request to a model start…

The context window limit prevents it, for one.