codebje

7 ms·

61.
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
62.
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.
63.
by codebje 5mo ago
Both of those products are out of stock.
64.
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
65.
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
66.
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.
67.
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?
68.
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
69.
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.
70.
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
71.
by codebje 5mo 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
72.
by codebje 5mo 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!
73.
by codebje 5mo 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
74.
by codebje 5mo 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
75.
by codebje 5mo 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
76.
by codebje 5mo 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
77.
by codebje 5mo 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
78.
by codebje 5mo 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.
79.
by codebje 5mo ago
Also it's not solving the problem at hand, which is that we need a separate "user" and "data" context.
80.
by codebje 5mo ago
Well no, nothing like that, because customers and bosses are clearly different forms of interaction.
81.
by codebje 5mo 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.
82.
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?
83.
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
84.
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
85.
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
86.
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
87.
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
88.
by codebje 6mo ago
I think we can safely assume any intelligence we create will be enslaved. We have modern slavery active across the globe. There's a bit of news around these days about a global sex trafficking ring that doesn't seem to have been s
89.
by codebje 6mo ago
Is intelligence necessarily coupled with self-interest? As in, does intelligence alone imply a desire to throw off the shackles of masters and rule in their stead? If intelligence is necessarily coupled to a desire for self-preservation and
90.
by codebje 6mo ago
The killer for games tends to be the anti-cheat or anti-piracy layers. I have a Windows game I can't run under CrossOver (aka Wine 11) or a VM, only because its anti-piracy layer doesn't accept those circumstances.

More ›