skysight-inc/HackerNews huggingface dataset:
Given the fact that process node changes are coming more slowly, and TSMC's delayed 3nm node has finally hit volume production, I have a pretty good reason not buy in at the tail end of 5nm.

> Apple Has Procured TSMC's Entire First Run of 3nm Chips

https://www.extremetech.com/computing/343291-apple-has-procu...

I think lower sales are a result of the previous pandemic purchase spike, along with the M1 upgrade spike, in addition to people holding off due to the imminent release of 3nm chips.
I think that if you, an individual who owns some crypto, wants to store your key in a password vault, that's probably fine, as long as you accept the risks (you've done your due diligence and trust your password manager is secure enough for your expected risk factor, etc).

But if you're an exchange handling billions of dollars of customer assets, the requirements should probably be higher. The text implies that many employees at the company had access to the password vault, for example. Also, shared password vaults that I've seen tend to have functionality like the ability to share a password externally (something you probably don't want!), relatively low logging abilities (while it would probably be a good idea to track each and every time a crypto key was accessed and who acccesed it), etc.

At least that's my guess at what they meant — perhaps someone had deeper knowledge and can share that.
ChatGPT turing test
There are two sides to this arrangment: devs who mostly don't have a choice over the tools they use vs. the trillion-dollar company that is building and documenting them. The notion that the devs have just as much culpability in how things end up as AWS is absurd.
Generally, people go to a steakhouse to eat meat, not to hunt it.
I'm not a chemist, but this is something we're already very good at, and have been for quite some time. Silicon oxides occur very commonly in iron ores, and are a major component of slag.
Seems less dumb than targeting Firefox though. Presumably, in the universe of this conspiracy hypothesis, they would do it in a way that wouldn't effect Edge.
Curious what you've found to be reliable / would recommend?
Brute force string search:

/*@
// There is a partial match of the needle at location loc in the
// haystack, of length len.
predicate partial_match_at(char *needle, char *haystack, int loc, int len) =
\forall int i; 0 <= i < len ==> needle[i] == haystack[loc + i];
*/

/*@
// There is a complete match of the needle at location loc in the
// haystack.
predicate match_at(char *needle, int n, char *haystack, int h, int loc) =
\valid(needle + (0 .. n-1)) && 0 <= n < INT_MAX &&
\valid(haystack + (0 .. h-1)) && 0 <= h < INT_MAX &&
n <= h && loc <= h - n &&
partial_match_at(needle, haystack, loc, n);
*/

/*@
requires \valid(needle + (0 .. n-1)) && 0 <= n < INT_MAX;
requires \valid(haystack + (0 .. h-1)) && 0 <= h < INT_MAX;
requires n <= h;
assigns \nothing;
ensures -1 <= \result <= (h-n);
behavior success:
ensures \result >= 0 ==> match_at(needle, n, haystack, h, \result);
behavior failure:
ensures \result == -1 ==>
\forall int i; 0 <= i < h ==>
!match_at(needle, n, haystack, h, i);
*/
int
brute_force (char *needle, int n, char *haystack, int h)
{
int i, j;

/*@
loop assigns i, j;
loop invariant 0 <= i <= (h-n) + 1;
loop invariant \forall int k; 0 <= k < i ==>
!match_at(needle, n, haystack, h, k);
*/
for (i = 0; i <= h - n; ++i) {
/*@
loop assigns j;
loop invariant 0 <= j <= n;
loop invariant partial_match_at(needle, haystack, i, j);
*/
for (j = 0; j < n && needle[j] == haystack[j + i]; ++j);
if (j >= n) {
return i;
}
}
return -1;
}
Always wondered if not most of our sleep issues would go away if we spent a few days or weeks camping in the wild without electricity. Unfortunately not a long term solution.
This is wrong, but just plausible sounding enough that some readers will believe it. The other replies also seem to be nothing but further ChatGPT generated spam from same poster.

---

The V86 mode it's trying to describe here was/is a processor feature introduced by Intel in the 80386. It is not something specific to IBM ThinkPads or normally requires any BIOS component, and was first supported by Compaq's memory manager and Windows/386:

https://en.wikipedia.org/wiki/CEMM

https://en.wikipedia.org/wiki/Windows/386

It is reasonable to guess that "IBMV86" also makes use of this feature, though I don't know exactly for what purpose; and as a human, I am perfectly willing to say so instead of making up bullshit.
I can understand why you see it this way, but still disagree:

(1) p-values make significance the target, and thus create incentives for underpowered studies, misspecified analyses, early stopping (monitoring significance while collecting data), and p-hacking.

(2) p-values separate crucial pieces of information. It represents a highly specific probability (of the observed data, given the null hypothesis is true), but does not include effect size or a comprehensive estimate of uncertainty. Thus, to be useful, p-values need to be combined with effect sizes and ideally simulations, specification curves, or meta-analyses.

Thus my primary problem with p-values is that they are an incomplete solution that is too easy to use incorrectly. Ultimately, they just don't convey enough information in their single summary. CIs, for example, are just as simple to communicate, but much more informative.
While I agree in general, people who are candidates for ASV have to be screened first by a cardiologist. Certain traits can lead to a much higher risk of death while using one.
Sorry, yes, I should have specified that
It was not so well explained, but the GP does mean averaged over 24 hours, the power requirement is 250MW.
I figure that over 10 years later, the fact that the only example that consistently comes up is the Nissan Leaf means we've made excellent progress on EV batteries. It's the exception proving the rule.
NeurIPS DeepRL Workshop: Continuity Principles for RL Research and Development
It might be tough for it to work, because piracy is a thing. Pirates would probably love unmanned, unarmed sailboats full of high value trading commodities.
well, if we're taking strictly subjective personal experiences as some sort of a relevant benchmark, then I'm a Windows Firefox user that has never used MS defender for any length of time, and always strictly a reliable low-impact 3rd party AV like ESET or Emsisoft. so I guess the two of us cancel each other out.
I agree that it is a feature, but that feature didn't come with any downsides initially when the speed of everything else was also slow. The downsides are now substantial as the customer expects higher speeds. The downsides of not having the option to have final settlement quickly also seems to be a source of many other problems.

We also don't even need to change this aspect of traditional banking in order to add strong asymmetric encryption in front of the system. That would nip most fraud in the bud, and if nothing else save a lot of effort that goes into fraud schemes, prevention, and reversal.
My financial company has amazing enforcement around code quality, deployments strategies, separation of concerns, testing enforcement, escalation, approvals, backups, minimum security standards, vulnerability remediation and so much more. All of this is aimed at being able to keep compliant at scale. It's a large burden, but it's one you take when you hold people's money.
My frank experience with women in tech is that I see absolutley no difference with men except women tend to be more organized (I am a mess so what do I know).

But a pattern I keep seeing is women become unhappy in roles that are not very socially engaging. And this isn't because they are women but because of social expectations and upbringing. Women who just do the job because they like it just like male counterparts do great (or not). My point is that even though there are many women interested in STEM at the outset, how they see themselves matters a lot when talking about job satisfaction.

I've met multiple women over my career that were just brilliant but they set themselves up to be in management or other roles that aren't very technical but require social skills and all the while I want to ask them why they want to do that when they can just be a rockstar in technical roles and this is the only explanation I have.

Just to be clear, I am only talking about the majority I have seen. Perhaps everyone just leans into their strength and it is easier for women to be socially succesful? I feel like in tech at least, there is a competition to get women working in your team and management wins a lot.
>there's three gazillions of wires

My old math teacher would deduct points for not listing the units.
I was speaking of a specific city that has added extensive bike lanes. No idea of causality. Maybe a lot more people have decided to drive in and out all of a sudden.

I was mostly objecting to the comment up-thread implying that bike lanes are inherently win win. They can be a good idea on net while increasing driving times.
This sounds like your standard startup-y security stack. Bonus points for trying to use your cloud provider's hardware key storage and keeping secrets in 1password. It ain't great but you could do worse.

(I've worked at startups and we did better. No access to the cloud provider without a time-based escalation. Secrets in secrets managers. Passwords rotated regularly. Mandatory 2FA. Signed commits. But it would probably still look god-awful if we were a finance company!)
No typo, I meant Watts. I averaged the 4 hours per day
> the equivalent of an average coal power plant

Produces in an hour, four hours?
No, it makes sense. The parent is talking about continuous power measured in megawatts, i.e. megawatt-hours per hour, or megawatt-days per day.

300 million users * 4 hours/day * 5 watts = an average continuous savings of 250 MW.
lungs might not explode, but they can bleed if the pressure is set incorrectly. i've heard horror stories about people turning it up to 11 and throwing up blood in the mornings.
one way it could just be mW is if he/she meant “a coal power plant for the 5 years that the bug was active”
Symptom of a rapidly growing industry. With N(developers) doubling every 5 years or so, chasing newness at all times and not knowing about good old things is the norm.

I'd rather have that than an industry where any tech newer than 10 years is radical and scary.

Us old farts can remind the kids that old solutions exist when appropriate. It is much harder to try introducing something new into an org that doesn't want it, but needs it.
My car also nags me every time I unbuckle my seatbelt to park yet that doesn't mean everyone should have it unbuckled all the time. There's a reason it's designed to be naggy.

Having everyone easily disable Windows Defender will not lead to a great outcome.

There's a reason malware on Windows has been on a steep decline from the Windows XP days and I'd prefer it to keep it that way.
Does anyone know of a good hands on guide through learning how to use a model checker like alloy or tla+?

I see lots of value in adopting them, but the dsl's that they use are inscrutable to me. I'm sure that after some hands-on time I'd understand them well enough, but having a hard time figuring out how to get that ball rolling.
I wired up higher density screen support into the OS's blitter, so a modern very-hi-dpi screen with smooth fonts works. Utf8 support is a work in progress (palm did not have it). Modern wifi is easily provided by an ESP32, and a modern-ish browser engine is being ported (slowly)
V2 Aurora costs really took me by surprise at my last gig they used it. It seems to be extremely expensive compared to just about anything else.
Do it. sounds cool!
By just comparing TFR across income (read: IQ) groups, you can know that IQ is dropping.
I don't think porn is the cause here, but rather the number of people the internet allows you to meet. The more prospects someone has the higher they will set their sights--and those who don't those standards get left behind.
I had an issue in early builds of W11 with use of WSL 2 & Node, Github and VS Code. Something in the git change detection process caused Defender to decide it just decided it wanted 100% of a single thread on the 5600X system I was using. While coding it would just have a core screaming at well over 4Ghz. Just all of Mankind's greatest innovations that lead to 7nm lithography and incredible processor design
just to be a space heater. I never did get it figured out at the time. It also re-enables itself. So that's cool.
ok so lets build coal power plans because they are cheaper than nuclear ones :))
Rabidly Talking to Myself
The physics of rotating masses can no longer define the electric grid
Respectfully, I disagree. Yes, you can make it sound as if the homeowner is tone deaf to suffering and doesn't want to take on mild inconvience of property value decreasing. But let me give you a scenario, elderly people who spend decades paying off a house, the value of the house being a big part of their retirement (as is the case with most people, where a home is a big part of their net worth). Say, if the property value falls by half, so does their retirement runway and a real risk of making them candidates to be homeless too as they get older.

I am not saying that a home owner purchased a right to not be affected by current policies. I am saying it never was a policy to make the street or sidewalk a residence and we shouldn't make it a policy now.
Ok, I get it now. This does make sense.
I agree it probably isn’t genetics alone, notably the increase in visual spatial skills I would suspect to have more to do with video games than genetics.

I have yet to read “the bell curve” said, but did they really use an argument that flew in the face of the abundant evidence of IQ increases unlinked to genetics as a result of better nutrition and education? Hell America gained a few IQ points nationwide from banning leaded gasoline alone so we also knew of environmental means to affect IQ levels. This was all known about and very well established at the time of authorship. Is there an excerpt?
You can use their online tool to see how it tokenizes words: https://platform.openai.com/tokenizer
You can edit your posts within an hour or so. Look for the " edit [–]" up there to the right of your username, just before the title.

EDIT: or "edit | delete [–]", as the case may be.
Totally agreed about the problem of long latencies due to bufferbloat in our medical system. I ran into it last year and I believe it significantly raised my risk of death.

A suggestion in case it's unfamiliar: there are doctors who don't take insurance. I can always see mine within a few days, for $80/month. (I set this up after the above experience.) It's absurd that I have to do this and also pay for insurance separately (paying much more than I did before the Affordable Care Act made insurance plans for catastrophic medical costs illegal) -- but that's where we are.
Wallet "apps" are not secure. It's an illusion of security. Unless the source is open AND verifiable there is no reason to trust it more than trusting FTX.

I 100% guarantee that there will be a major hack, from a major app, at some point in the future where it turns out that all seed generation was not in fact random. Honestly, it's probably already happened multiple times and they just haven't gotten caught. Those stories where people claim that all their crypto got stolen even though they never shared their seed—you know the stories that everyone always dismisses as, "You must have let someone else see it." Well, some of those are probably true.

When you generate a private key through an app you are 100% trusting that the person who published that version of that app did not do something trivially easy like decide to generate all seeds from a known incremented input. You'd never know. And if that person caught caught internally the company is far more likely to cover it up, because otherwise they will collapse overnight.
To everyone asking for more detail - don't bother. I don't mean to sound mean, OP, but if you have alpha ("several basic Buffett-style value strategies seem to beat the S&P 500 handily"), go start a prop shop and make millions of dollars. You can turn huge profits with even miniscule alpha.

The problem is, armchair traders typically commit a few classical blunders:

1. Accidentally used future information to make trading decisions in backtesting. Obviously a crystal ball would make for GREAT alpha. And while you might think it's easy to avoid doing this, there can be some very subtle oopsies that are not apparent at all to even a somewhat sophisticated analyst that will catch you out. This was a common oopsie I would see our analysts do, sometimes only even becoming evident after the research team had vetted and idea and they hand it off to me to implement and I'd be sitting there in the data flow and have to tell them "yeah this data item you used, it's latency sensitive, did you make sure you were using the appropriate network path when you keyed into the dict or did you just hardcode the common one - because if you hardcoded then you're using a crystal ball for all the other network paths".

2. Assuming that if you see a price, you can trade at that price. Even HFTs can't just go get any ole' price they see.

2.5. A tangent to 2 is that your own trading activity can impact prices. Not important if your alpha is long term but if it's short term then this can be significant.

3. Ignored trading fees, and I don't mean brokerage fees - I mean SEC fees, etc that are usually very small for most retail trades so most brokerages don't even show you them (especially because depending on exactly how they executed your trade they might be different than you'd get if you just sent them to an exchange).

4. Not taking into account tail risks. Look at how many retail investors got blown the fuck up when XIV died [0]

[0] https://www.forbes.com/sites/jimcollins/2018/02/06/it-works-...

Trading is hard. There's literally armies of ridiculously sophisticated actors as your market participant peers. I always used to joke that the federal budget is to defense spending as our nation's brainpower is to finance. (We probably throw WAY too much %-wise at it, but damn do we get a world class product as a result.)
I'm very Americanized owing to the amount of American content I've consumed, especially due to the internet. For example: I also say 'dude' and use American spellings for words.
I don't understand. CIs are equivalent to computing a bunch of p-values, by test-interval duality. Should I interpret your points as critiques of simple analyses that only test a single point null of no effect (and go no further)? (I would agree that is bad.)
Uh..Okay ? Lol
> Surely it is Firefox' team's responsibility to use system calls in a sane way, say not almost 50x more than the competition?

The docs for that function don't say anything about performance: https://learn.microsoft.com/en-us/windows/win32/api/memoryap...

They also don't say anything about "sane" usage, and while I don't have an MBA, I'm pretty sure they don't teach anything about `VirtualProtect` ratios when doing competitor analysis.

One possibility is that the Chrome team's implementation was more efficient due to luck, or they invested the resources to identify the performance characteristics of this function call, whereas the Firefox team missed it. I don't think "Chrome has more development resources than Firefox" is news to anybody.
Yeah I liken it to someone who picks up a blacksmiths hammer and then goes and drives some nails with it. It's like 'sure I guess it works, but man there are way better options that will work better'. Happens with all our industry tools, but perhaps there is no better example than database choice.

Engineers often see a database simply as a place to store things, it's just a box.. they work on a product for awhile that's using mongo, they are more likely to choose it later when they are developing a solution because they've used it before and know it 'works' and more importantly they know something about it. Databases as a topic of study are complicated, there are tons of tradeoffs happening all over the place and until you hit any given pothole you may not really understand those tradeoffs.

I guess what I'm saying is that in my life I'm lucky enough to have an old friend that is REALLY into databses. You should find this friend or become this friend.

Honestly at the end of the day this is all human nature. The hammer worked for you before why do the research to find out that there is a better hammer for you to use that would get your job done quicker and easier. You've gotta get these boards nailed down RIGHT FUCKING NOW or your bosses are going to be pissed.
There are a ton of errors and misconceptions in that view as well. Dawkins claimed genes were discrete entities only concerned with their own replication and kept on with that view despite the discovery of introns, gene shuffling, and about a dozen other major discoveries in the field, like epigenetic modification and others. This criticism of the hyper-reductionist approach of Dawkins is nothing new, either. See this from 1995:

https://www.washingtonpost.com/archive/entertainment/books/1...

> "The intervening two decades between that volume and this have seen a major technological revolution in the science of genetics. Just how do these breakthroughs affect Dawkins's ideas about the origin of diversity? The answer, apparently, is not at all. Dawkins's descriptions of genetic processes are facile and outdated. According to him, the power of natural selection is still "almost limitless" genes are still discrete entities with "a flintlike integrity" that remains unaffected by their environment from generation to generation."

Similarly, the relationship between Charles Darwin and modern evolutionary theory is about as distant as that between Isaac Newton and modern physics, which is another concept that the Dawkins crowd (in which I'd include Charles Murray, Sam Harris, etc.) seems uncomfortable with.
Yeah one of the issues is that much of the 12-step recovery community does not condone alcohol abuse disorder medication. So to extend your analogy it would be like a community that focuses exclusively on curing diabetes through a ketogenic diet, but also tells people they shouldn't take their insulin. Maybe ketogenic diet works, but we do need good data to figure out how it compares to taking insulin.
Laughs in USB Condom[0]

[0] https://en.wikipedia.org/wiki/USB_condom
Anyone got any other experiences with things that cause brain fog? I don't think I have sleep apnea (my wife often falls asleep after I do and she doesn't report any kind of weird breathing issues for me, nor snoring).

But even though I generally sleep 8 hours a night, I am quite tired during the day and I often have trouble focusing. At night, I fall asleep like a log and I don't wake up during the night.
The problem is that you're using HN primarily to comment on topics that are classic ideological/nationalistic/religious/political flamebait, and at the same time have been posting low-quality flamewar comments yourself. I'm not saying all your posts have been this, but enough of them have that this pattern is not ok.

If you want to commit to avoiding that in the future and to making sure that ideological/nationalistic/religious/political topics do not dominate your HN posts, we can unban you.
It is not that tokenization is optimized for English, but rather the other way around perhaps.

Take "lampara" or "pantalones" in Spanish for example. English speakers were clever enough to shorten those words to "lamp" and "pants" respectively. And they have done this with many words.

Translate text into Spanish and you will see text gets longer and there is more meaning encoded into words.

"La mesa" refers to a female table, although tables are not lifeforms and have no sex.

To me some languages impose a communication tax. It is taboo because people conflate language and culture and such.
I take full credit for this, mostly though my HN comments. You're welcome.