codebje

9 ms·

151.
by codebje 11mo ago
I do apologise if my response came across as deliberately nitpicking on the specific item; my intent was to highlight that there are many cases where things we might broadly find unpalatable actually do happen all the time, with no harm exc
152.
by codebje 11mo ago
I really love this comment, it's got a very "tree-falling-in-the-woods" vibe to it. On the direct face of it, no, it turns out it doesn't matter: plant cellulose is not toxic to humans, a certain level of it is in many p
153.
by codebje 11mo ago
That's the "carry phantom types around" option, but it only gets you so far. If you never need to compute with the term, it's enough (see https://play.rust-lang.org/?version=stable&mode=debug&edit
154.
by codebje 11mo ago
QTT is about clarity on erasing values rather than types, eg, if you define 'Vect n a' do you need to set aside space in the memory structure for a vector for 'n' or not. The types themselves are not represented. If, eg,
155.
by codebje 11mo ago
Not for matrix multiplication, because there's no term-level chicanery to worry about; you just need phantom types for the two dimensions on your matrix type. You can express a lot just carrying phantom types around and using basic pat
156.
by codebje 11mo ago
For me personally, the latter, but there's definitely people out there that just love driving. Either way, these silly reductionist games aren't addressing the point: if I just want to get from A to B then I definitely want the ab
157.
by codebje 11mo ago
They really are pretty awesome little ICs. Thanks for the interesting link!
158.
by codebje 11mo ago
On a Pico? No - the PIOs replace other peripherals a µC might be able to use to achieve this sort of bitrate, so you'd not really have the tools you'd need to change GPIO pin states once every 3-4 CPU clock cycles. In a sense the
159.
by codebje 11mo ago
Using The Approved Set™ from your browser or OS carries no privacy issues: it's just another little bit of data your machine pulls down from some mothership periodically, along with everyone else. There's nothing distinguishing yo
160.
by codebje 11mo ago
CQRS should really only guide you to designing separate query and command interfaces. If your processing is asynchronous then you have no choice but to have state about processing-in-flight, and your commands should return an acknowledgemen
161.
by codebje 11mo ago
You're absolutely right! ... is a phrase I perhaps should have used more in the past.
162.
by codebje 11mo ago
There's no self-propagation happening, that's just the terrible article's breathless hyping of how devastating the attack is. It's plain old deliberately injected and launched malware. OpenVSX is a huge vector for malici
163.
by codebje 11mo ago
I wound up subbing for the three months. My experience has been pretty positive, using Cline in VS Code and moving away from Qwen3 Coder on OpenRouter. Q3C did a good job overall but I was using the free model (with $10 credit sitting on OR
164.
by codebje 11mo ago
$6/month. It's $3 for the first month (or first months, on longer subscription cycles, but it's first unit of subscription cycle at half price only). At $6/month it's still pretty reasonable, IMO, and chucking less
165.
by codebje 11mo ago
That form of domain name is very common in DNS configuration. All it means is the name is complete already and should not have any local search domains appended. It's unusual to see it in URLs, but its presence should be harmless; that
166.
by codebje 11mo ago
Well of course hardware fails, and of course verification doesn't make things work perfectly. Verification says the given design meets the specification, assumptions and all. When the assumptions don't hold, the design shouldn&#x2
167.
by codebje 11mo ago
Specifications that are formally verified can definitely cover real-time guarantees, behaviour under error returns from operations like allocation, and similar things. Hardware failures can be accounted for in hardware verification, which i
168.
by codebje 1y ago
The Australian federal government goes through waves of "reducing the size of the public service" by firing and/or capping full-time hires, but the work's still there to be done so contractors get the gig.
169.
by codebje 1y ago
I only considered the Federal level, it's nice to get some input about state level shenanigans. (And despite the grandstanding, they still agreed to pass supply bills to allow the public service to operate!)
170.
by codebje 1y ago
Here in Australia the (single party) government of the day was dismissed in 1975 after failing to secure a supply bill. The government was dismissed by the Governor General, the Crown's representative in Australia, and the event sparke
171.
by codebje 1y ago
Here I sit, broken-hearted...
172.
by codebje 1y ago
It looks like it doesn't handle ArXiv IDs that have a forward slash in them, eg, https://arxiv.org/abs/cs/0211011 as viewed at https://asxiv.org/pdf/cs/0211011 is a 404 error.
173.
by codebje 1y ago
Knowledge workers aren't fungible, and outsourcing them always fails.
174.
by codebje 1y ago
"Humor can be dissected, as a frog can, but the thing dies in the process and the innards are discouraging to any but the pure scientific mind." - E. B. White.
175.
by codebje 1y ago
Also there are people occasionally poisoning the community pot, don't forget that bit.
176.
by codebje 1y ago
Perhaps this is an ignorant question, but wouldn't you need AC to select the s ⊆ A whose existence the contradiction depends on? A constructive proof, at least the ones I'm trying to build in my head, stumbles when needing to prod
177.
by codebje 1y ago
Interesting - what is correctness of the kernel here? That it faithfully implements the model?
178.
by codebje 1y ago
You're basically right, with one teensy caveat: you can't prove the kernel is correct. No model can prove that it is itself consistent, and if you use a more powerful model to prove consistency you're just shifting the goalpo
179.
by codebje 1y ago
In general: code << world < audio << textures << video Executable code is pretty tiny relative to everything else, including libraries. Libraries only get really big when they include media assets. When it comes to medi
180.
by codebje 1y ago
It's extremely hard to get an accurate count of connected devices, so we're all just estimating. There's lots of sources giving rough values for things like smartphones or IoT devices, there's a reasonably common estimat

More ›