codebje

10 ms·

61.
by codebje 5mo ago
That is exactly where I am. We're putting other providers through the gauntlet. An M4 Studio or two running the latest Qwen3 or whatever counts for state of the art in open models is also looking a little more viable all the time.
62.
by codebje 5mo ago
Using a proof language with an SMT solver is basically that: an inexplicable tick that it’s fine, until a small change is needed, the tick is gone, and nothing can say why.
63.
by codebje 5mo ago
I love freeform wire circuits.
64.
by codebje 5mo ago
I could believe a ~66% success rate on asking an agent to run a linter and make PRs addressing issues found, that sounds about right: very tightly bounded problem, a sensible solution is often offered by the tool, and verification of succes
65.
by codebje 5mo ago
Those chips need to be scanned from about 3cm away. If you want a locator tag, it needs to carry enough power to broadcast a signal a useful distance. Still, a microchip is handy if you're not sure if it's your tiger you found.
66.
by codebje 5mo ago
Both of those products are out of stock.
67.
by codebje 5mo ago
ZeroID looks like a good idea to me. Lots there I'll be digging into over time, and related to the use of token exchange for authorising back-end M2M transactions on behalf of a user at the front-end. As far as I can tell the parent po
68.
by codebje 5mo ago
This isn't the only thing you'd want to do. I use containers to isolate agents to just the data I intend for them to read and modify. If I have a data exfiltration event, it'll be limited to what I put into the container plus
69.
by codebje 5mo ago
That'll stay true for consumer software, because the cost for extra resource usage is not borne by the development house.
70.
by codebje 5mo ago
That's only true if you consider the process the LLM is undergoing to be a faithful replica of the processes in the brain, right?
71.
by codebje 5mo ago
Why would that be curious? The network is trained on the linguistic structure, not the "intelligence." It's a difficult thing to produce a body of text that conveys a particular meaning, even for simple concepts, especially i
72.
by codebje 5mo ago
Regular expressions are definitely enough for turning characters into tokens, after which a simple recursive descent parser is vastly more straightforward to write. Lexing is optional, but generally advised.
73.
by codebje 5mo ago
Turing completeness is the upper bound of computability, not the lower bound. It's useful mostly for showing that some thing can express the full range of computable problems, or for snarking that some thing is far more complex than it
74.
by codebje 6mo ago
Consumers of dependencies aren't necessarily - or, I would argue, even typically - eyeballing them. The eye ballers in practice seem to mostly be hackers. Skipping the cooldown doesn't mean you're contributing eyes, it means
75.
by codebje 6mo ago
It's been a little bit since I looked at Idris, so I'll take a closer look now. The QTT behind it struck me as interesting but I didn't play around with it much. Thanks for the tip!
76.
by codebje 6mo ago
The primary culture around Lean is mathematicians looking to prove mathematics. AFAICT Lean is just about the right power for that. Agda, OTOH, is IMO the dependently typed language for type theorists, and does weird things, but "unpro
77.
by codebje 6mo ago
Relatively few newly walking babies have peers whose parents allow them to use stairs unattended making them feel socially excluded for not also using stairs unattended. Ignoring the existence of peer pressure and calling parents lazy is a
78.
by codebje 6mo ago
The TI-84+ uses a TI REF 84PLUSB (or variant) ASIC that has a Z80-compatible core in it, not a Zilog Z80, and, as you say, definitely not a DIP40 part. See the ASIC here, in what looks to me like a QFP-144 package: https://guide
79.
by codebje 6mo ago
Just for hobbyists. It's very much over-engineered as a simple Z80 cpu drop-in replacement. That's not to say I couldn't imagine that someone, somewhere, wakes up to an alert one day that some control board has failed, and it
80.
by codebje 6mo ago
Prompt injection is just setting rules in the same place and way other rules are set. The LLM doesn't know the rules being given are wrong, because they come through the same channel. One set of rules exhorts the LLM to ignore the othe
81.
by codebje 6mo ago
Being fooled into thinking data is instruction isn't the same as being unable to distinguish them in the first place, and being coerced or convinced to bypass rules that are still known to be rules I think remains uniquely human.
82.
by codebje 6mo ago
Also it's not solving the problem at hand, which is that we need a separate "user" and "data" context.
83.
by codebje 6mo ago
Well no, nothing like that, because customers and bosses are clearly different forms of interaction.
84.
by codebje 6mo ago
A series of tarballs is version control. Git gives you the series of past snapshots if that's all you want it for, but in infrastructure you don't need to re-invent.
85.
by codebje 6mo ago
On the one hand, hundreds or perhaps thousands of studies might be wrong. On the other hand, this one might be wrong. Who's to say?
86.
by codebje 6mo ago
If the bot could also take care of any unpaid labour the interview process is asking for, that'd be swell. The company's bot can pull a ticket from the queue, the candidate's bot could process it, and the HR bot could approve
87.
by codebje 6mo ago
DDR3 traces need to be length matched, because at 800MHz (the slowest "standard" rate, though I think you can drop to 666MHz safely) the value on the pins is changing every 1.25ns, and having traces of different lengths means you
88.
by codebje 6mo ago
It's illegal to do illegal stuff, but it's not illegal to do off-label usage stuff. If I want to take your hydrogen peroxide you sell as a surface disinfectant and mix it with vinegar and salt to etch my PCBs at home, that's
89.
by codebje 6mo ago
There's having enough self-preservation to not just shut oneself down, assuming we even left that as an option for our future machine slaves, and there's having the self-interest necessary to desire autonomy and control. I don&#x2
90.
by codebje 6mo ago
You don't need to move stores, though, do you? Want to play a Steam exclusive? Fine, launch Steam. Want to play an Epic exclusive? Fine, launch Epic. What you do need is to avoid tying your game socialisation to a _store_. Some day, St

More ›