codebje

7 ms·

1.
by codebje 22d ago
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. 2. The tec
2.
by codebje 22d ago
Chinese mini PCs are also affected: they're shipping with less RAM, at higher prices, or both.
3.
by codebje 24d ago
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 h
4.
by codebje 1mo ago
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 code to decrypt the
5.
by codebje 1mo ago
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 use, there&
6.
by codebje 1mo ago
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 hearing it over a phone. B
7.
by codebje 1mo ago
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 which support it oft
8.
by codebje 2mo ago
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.
9.
by codebje 2mo ago
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 shonky things beca
10.
by codebje 2mo ago
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, ev
11.
by codebje 2mo ago
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, analyzing program f
12.
by codebje 2mo ago
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 and run prope
13.
by codebje 2mo ago
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 vague and
14.
by codebje 2mo ago
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.
15.
by codebje 3mo ago
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, would be about runn
16.
by codebje 3mo ago
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 the critical se
17.
by codebje 3mo ago
How different is this to, eg, the Google developer program, in which I can create a new OAuth client for Google users?
18.
by codebje 3mo ago
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 different f
19.
by codebje 3mo ago
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.
20.
by codebje 3mo ago
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 CrossOver to package u
21.
by codebje 3mo ago
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 all _implementation
22.
by codebje 3mo ago
They were not keeping it beyond the timeframe necessary for the model to process it, so there wasn't access there to audit.
23.
by codebje 3mo ago
Same reason you wouldn't just emulate a Z80 on a desktop. People don't build retros because they're practical.
24.
by codebje 4mo ago
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.
25.
by codebje 4mo ago
Authorisation is a way to do that, too.
26.
by codebje 4mo ago
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 can have generic effects. Your arguments and return type can s
27.
by codebje 4mo ago
Sounds like an argument for organised labour to me!
28.
by codebje 4mo ago
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 be replaced by someone who won't demand
29.
by codebje 4mo ago
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 responding with patience despite that. The first point I interp
30.
by codebje 4mo ago
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 starts from the frozen post-training state. Weights are loaded in

More ›