Source: Australian, with teenager. 1. It's not a ban on using social media, it's a requirement for age verification to create an account. This only limits usage on the few platforms that force an account to do anything.…
Chinese mini PCs are also affected: they're shipping with less RAM, at higher prices, or both.
I pay for my tokens for my own projects, at least when the ones Google seems willing to keep throwing at me for free don't cut it. I'd think that's not too uncommon, especially here where there's likely a high ratio of…
If the phone support issued the decrypt code, you could just replay that same code for every CD stamped from the same master. If phone support issued an encrypted decrypt code that could only be used with your challenge…
Maybe. There's less wiggle room though. You can't make a clone of a WCH, ESP32, GD32V, or RP2040 at a low enough price point to really profit from the gap. If Quintauris successfully makes a RISC-V range for automotive…
You used to be able to do surprising things with those old speakers using a timer interrupt: on an IBM XT it was possible to get 8kHz quality out of it, enough to make 4-channel MOD playback sound about as good as…
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 if only in the comments, but languages…
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, though.
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 with, and all the programs that did…
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 in Concurrent CP/M - and, as you say,…
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 built for functional languages,…
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 it to the point that it can compile…
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 largely because what it's supposed to do is…
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 undergraduate level, if you even see it,…
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 baker analogy), but the algorithm protects…
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-apocalypse due to AI, and it's not just a…
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 Mac you're probably going to use…
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 to implement square root, and so on, are…
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" should be the ONLY acceptable answer.
Authorisation is a way to do that, too.
Source: Australian, with teenager. 1. It's not a ban on using social media, it's a requirement for age verification to create an account. This only limits usage on the few platforms that force an account to do anything.…
Chinese mini PCs are also affected: they're shipping with less RAM, at higher prices, or both.
I pay for my tokens for my own projects, at least when the ones Google seems willing to keep throwing at me for free don't cut it. I'd think that's not too uncommon, especially here where there's likely a high ratio of…
If the phone support issued the decrypt code, you could just replay that same code for every CD stamped from the same master. If phone support issued an encrypted decrypt code that could only be used with your challenge…
Maybe. There's less wiggle room though. You can't make a clone of a WCH, ESP32, GD32V, or RP2040 at a low enough price point to really profit from the gap. If Quintauris successfully makes a RISC-V range for automotive…
You used to be able to do surprising things with those old speakers using a timer interrupt: on an IBM XT it was possible to get 8kHz quality out of it, enough to make 4-channel MOD playback sound about as good as…
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 if only in the comments, but languages…
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, though.
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 with, and all the programs that did…
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 in Concurrent CP/M - and, as you say,…
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 built for functional languages,…
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 it to the point that it can compile…
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 largely because what it's supposed to do is…
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 undergraduate level, if you even see it,…
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 baker analogy), but the algorithm protects…
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-apocalypse due to AI, and it's not just a…
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 Mac you're probably going to use…
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 to implement square root, and so on, are…
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" should be the ONLY acceptable answer.
Authorisation is a way to do that, too.