amluto

14 ms·

211.
by amluto 3mo ago
> Water that's coming out of your tap is generally aiming for neutral (~7 ph). Not really. In the US at least, there’s the “Lead And Copper Rule”, which effectively requires utilities to adjust water composition to make the water mi
212.
by amluto 3mo ago
As a little public resource announcement: <script type="module" blocking="render" src="https://cdn.jsdelivr.net/npm/justif@0.5.0/dist/auto.js" ></script
213.
by amluto 3mo ago
I’m fairly confident that the blog post is trying to say something like this: Given a polynomial function from C^n to C^n, the following statements are equivalent: (a) det DF is nonzero everywhere. (b) det DF = c for some constant c != 0 Th
214.
by amluto 3mo ago
Surely OpenAI could adjust their RL to sharply penalize cheating. They have access to the full traces including reasoning: it can’t be that hard to detect an attempt to find the solutions outside TVs space that is fair game for exploit atte
215.
by amluto 3mo ago
Codex appears to be a mildly complex, somewhat-but-not-outrageously-sloppy Rust program (yes, I’ve poked around at its source — thank you OpenAI for making it more or less open source). It has lots of features, mostly related all the fancy
216.
by amluto 3mo ago
Binary search is log time but otherwise pretty awful. If you don’t specifically need a sorted array, use something like a B-tree instead. > I'd also want to try interpolation search for this Years ago, when ORC unwinding tables we
217.
by amluto 3mo ago
There’s a section about extensions in the FAQ.
218.
by amluto 3mo ago
Are you saying that you have an application where you want the loose-typing-with-integer-affinity semantics for a column (or some other particular affinity)? It would be entirely reasonable to have a specific type for each loose-with-affin
219.
by amluto 3mo ago
There’s no need to store the literal edition in the DB file. Instead the edition could be a library construct that sets appropriate flags. So if you set edition 2026 you get WAL, etc.
220.
by amluto 3mo ago
This stinks. On the one hand, sure, the unlimited aviation plans are targeting customers with lots of money. And they involve fancy, expensive-to-replace, FAA-approved hardware. On the other hand, it’s sort of an easy market to target as su
221.
by amluto 3mo ago
Making a useful multi-uid-capable daemon that can’t become root but is not so nerfed that no one uses it is nontrivial. If nothing else, what policy would you use? Why do you think that no other uid is equivalent to root?
222.
by amluto 3mo ago
> Writing tests used to be a pain. This is no longer the case. It is ok to request unit tests/CI tests for each PR. These have never been more important since large refactors are becoming increasingly common. Human and LLM review ma
223.
by amluto 3mo ago
It’s the other way around. The prompt instructed a GPT-5.6 agent to try to make a proof that would survive review by a GPT-5.6 subagent. If there were some defect that would cause the reviewer subagent to accept an incorrect proof, then one
224.
by amluto 3mo ago
My issues with the definition of L are mostly about the order in which things are written. L(t, epsilon)_e breaks down the range of L onto its component values indexed by edge, but this only really makes sense when you know that t and epsil
225.
by amluto 3mo ago
I was not a fan of the writing style of the proof. There seem to be some irrelevant details: Is the mention of 8-flow at all relevant? I, at least, found the definition of L on the first line of the proof of Lemma 2.2 to be needlessly ins
226.
by amluto 3mo ago
No, the comment is right. The prompt had GPT-5.6 reviewing the proof, and the result, unsurprisingly, survives review by GPT-5.6.
227.
by amluto 3mo ago
For anyone using these models for anything remotely sensitive, keep in mind that Anthropic says [0]: > We retain inputs and outputs for up to 2 years and trust and safety classification scores for up to 7 years if your chat is flagged by
228.
by amluto 3mo ago
If you want to get correct answers out of math, it helps to start with correct definitions. A random variable is a random variable and is not the same thing as a stochastic process. You now seem to be talking about stochastic processes, wh
229.
by amluto 3mo ago
Is it just me or do the first few examples seem worse than doing the same things without effects? I can have a function fail by having it invoke an “exception” effect that doesn’t continue it. Or I can return a result and have that result
230.
by amluto 3mo ago
> This is under-taught in comp sci so I'll say it in all caps for visibility. THERE IS NO KNOWN GENERIC WAY TO MEASURE INFORMATION ENTROPY!!!! Both your comment and the OP seem to conflate a distribution with a sample from a distrib
231.
by amluto 3mo ago
> A setup where company.example sends email from companymailings.example but sets a reply-to for support@company.example is perfectly valid So shouldn’t this be done explicitly by setting a policy at _dmarc.companymailings.example instea
232.
by amluto 3mo ago
While nothing good can be said about the design of DNSSEC here, it seems to me that the new np feature’s semantics are also misguided. I get it: if I own company.com and I’m not using foo.company.com, then maybe I should set np=reject on co
233.
by amluto 3mo ago
A major confounding factor is everything else in the air. Humans produce lots of different gases, and CO2 is usually a proxy for the overall concentration of our effluent gases. But in a submarine, or in some buildings, there are gas filter
234.
by amluto 3mo ago
Even if you live in an air quality paradise, it’s not ideal for your indoor air to be the air that manages to sneak through all the little cracks in your structure. Especially if you have cold outdoor temperatures, indoor humidity such that
235.
by amluto 3mo ago
I feel like you’re arguing against a straw man. No one is arguing that there are practical audio microphones + ADCs that produce accurate, undistorted 32-bit float output across the full representable range. But they don’t need to! For pr
236.
by amluto 3mo ago
One possibility (pure speculation) is a bad antialiasing filter. The Nyquist frequency at 44.1ksps is 22.05kHz, which is only ~10% above the audible band. This means that you need a rather sharp filter both when downmixing and when playing
237.
by amluto 3mo ago
The comparison of cardiovascular safety with vs without the vaccine is not even close: https://www.science.org/content/blog-post/covid-19-vaccinati... (Personally, I wish researchers would not forgot quite so ofte
238.
by amluto 3mo ago
It was kind of fun being able to easily distinguish 128kbps MP3 from the source audio. (Some early encoders were really bad.)
239.
by amluto 3mo ago
> Higher sample rates are lower latency for the same block size This a truly bizarre statement. On the one hand, of course higher sampling rates are lower latency for the same block size measured in samples . But all sampling rates
240.
by amluto 3mo ago
I’m amused that there is no discussion of failure modes. What if the resource someone GETs turns out not to exist? What if the POST fails and needs a retry? What if redirects are involved?

More ›