skysight-inc/HackerNews huggingface dataset:
> WUFFS promises it's correct

With respect to what standard of correctness? If the answer is that the object code is guaranteed to behave according to the source according to the C standard that is a useless guarantee because of the possibility that there is UB in the source code, in which case the compiler could release the kraken and it would still be "correct".
This is some kind of real life modern Sherlock Holmes story. We have the Adventure of the Bruce-Partington Plans, The Adventure of the Second Stain, and The Adventure of the Naval Treaty as possible models..

"If divulged, this document could bring about very dire consequences for all of Europe, even war." The minister's wife is probably trying to hide evidence of some previous tryst from her husband, but got the documents mixed up..
near was the author of higan (https://higan.dev), a SNES emulator which is at the cutting edge of accuracy and emulation research. If you have even touched in passing the field of Nintendo console emulation, it's quite likely you've heard of them or their creations. I hope https://near.sh continues to stay up as an archive of all that they built over the years.

near posted a few words of encouragement when I was wondering whether to start a SNES emulator of my own, which inspired me to build one over the course of a few months. That journey gained me a huge amount of engineering, personal and aesthetic fulfillment.

I hope all the people Near/byuu inspired never forget their contributions to the field either. Rest in peace.
Another study where they don't differentiate between fast-food beef, cafo vs. grass-fed, processed with nitrates/nitrites vs. non-processed, etc. And only one year of dietary surveys, for a disease that takes many years to develop?
>Almost all competitive games nowadays have a powerful client side anticheat which is constantly monitoring processes on a kernel level to combat kernel cheats.

That's totally ok if the anticheat admins are providing a computer to run the software on and not attacking one the player owns. Again "almost everyone else does it" doesn't make it ok, I don't know why people keep repeating that.

>absolutely nothing left on the computer

That's nice that it doesn't leave a mess, copying tons of data out of the machine from ring0 probably exposes people to a lot of liability though, that whole thing sounds like a terrible idea but it's still better than the status quo so props to you for clearing that bar.

>- Everything has malicious potential as soon as you click "Yes"

Yes. That's my point.

>What if Facebook shares all your personal data randomly? They won't.

Well, it's not random, usually you have to pay for it except on some pretty bad days. That's a great example of why I would universally reject something like this though. You pretty much can never trust someone handing you closed blobs.

I'm honestly pretty shocked anyone tolerates this, it sounds pretty similar to random cavity searches when you leave wallmart. Maybe because I'm not a "kid" anymore I wouldn't know what the social scene looks like.
Of course, but the specifications are normally written by Boeing, and the implementation is outsourced. The reason is the system as a whole has to function, meaning the spec has to be written by the team that has knowledge of the whole system.

MCAS interfaces with quite a few other systems on the airplane.
Seems fairly normal from what I can tell. Issues like needing everything to be vetted my a mechanical/civil/electrical engineer, depending on what it is, and not being able to machine your own parts and needing to let the university machine shop bill time.
On debian derivatives, you can use `apt-get build-dep` to install all the compile-time dependencies of a package.
Research target mutual funds. They're all many people in your situation need.
Yes, and that was published two days before the “encounter”.

Interestingly as an aside Reuters reported at the time Bombs were dropped, certainly not repeated by the BBC https://www.reuters.com/world/russian-forces-fire-warning-sh...

The whole information sphere around this feels very “managed”.
I've never seen this site be so aggressively crying about their machines not supporting Windows 11, after a decade plus of crying about Micro$oft in general. No matter what they do, they're always wrong. It's time for you to install Linux Mint. The suffering of HN must come to an end.

To change requirements, a new version was necessary. They can't cut off support on Windows 10 from old hardware which has until 2025, so this is how it has to be. I have a new i9-11900K build that's the snappiest thing I've laid hands on, and I'm eagerly awaiting Windows 11. Microsoft has done far too little of this type of cutting off of old hardware, and no one here knows the exact details on why they chose those generations of chips. There's more to it but no one at MS is going to sit and debate with you, it's just the way it is.
Some of the products the company I work for develops are specifically for the Ag seed research industry. We develop instruments like on combine weigh systems used to measure weight, moisture and yield of various grain hybrids as they are harvested.
From my limited perspective, it appears that for decades this industry has cared most (almost entirely) about breeding hybrids that increase yield in various climates. There has been very little attention paid to other constituents and characteristics of the seed.
It’s only been in the last few years that our ag research customers have been interested in breeding for other characteristics. I think in large part this is because it’s not been very cost effective to collect this data (primarily through things like near-infrared spectroscopy mounted on harvesters and drones)
As pvg pointed out, "facts" are a red herring here. You can make non-factual statements that aren't flamewar and you can make factual statements that are. Sticking to "facts" is actually one of the favorite tricks of trolls (I'm not saying anyone was trolling in this case—it's just an instructive example) because then when you say "please don't troll" they can say "what part of my perfectly factual statement do you have a problem with". https://hn.algolia.com/?dateRange=all&page=0&prefix=false&qu...

The problem with the flamebait sentence I was objecting to was twofold: (1) it was political rhetoric of precisely the kind you would read in a political publication or hear in a political broadcast, and (2) it took the thread on a generic ideological tangent, that is it replaced the topic of Cuban work on covid vaccines with a much larger, more general, and more inflammatory one. Yes, it's related; the word "tangent" implies that; but that's not enough. It reliably leads to much worse discussion, and predictably did so in this case. I've been trying to explain this to HN for many years:

https://hn.algolia.com/?dateRange=all&page=0&prefix=true&sor...

https://hn.algolia.com/?dateRange=all&page=0&prefix=true&sor...

https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...

There's nothing different about the moderation practice in this case—it was utterly routine. But two things were different: (a) I wrote more hastily than I usually do and didn't calibrate my language very well; and (b) something about the specific question of Cuba appears to land differently with HN's internationally distributed community than most subjects do.
Near’s contribution to SNES emulation is unequalled, covering perfect dumps of every game possible, the most accurate emulator, and even pushing the envelope on what the SNES could do with HD mode and widescreen support.
Such a brilliant hacker, such a loss. Thanks for all the effort.
Quidquid cognoscitur cogniscitur per modem cognoscenti. But mass witness events with physical traces are quite another matter, epistemologically
Interestingly enough, net flows of those funds are negative[0] as more and more retirees pull to fund their retirement. The only thing keeping the stock market rising at the moment is in all the buybacks keeping demand up and supply down.

[0, page 11]: https://www.goldmansachs.com/insights/pages/top-of-mind/buyb...
How is killing processes when the user "logs out" at all good for security? If the processes were malicious or vulnerable, they could have done their damage or been exploited while the user was still logged in.
Psychological safety is that quality of culture that tends to empower people to do what's right, even if it goes against the grain.

Without it, people will not stick their necks out or call out problems. They won't tell you the truth or that they are having a hard time.

As someone new to the management sphere, but coming from an engineering background, it was the absolute first thing I've gone out of my way to establish.
Surprising that schools are requiring additional certs to be added a a device for internet access.

This enables "keybridging" mitm attacks on any TLS connection that trusts the cert. Best load a 3rd-party browser and install it locally, rather than compromise the whole device.

https://nakedsecurity.sophos.com/2013/01/08/the-turktrust-ss...
So you're proposing war with Russia over the Ukraine then? Because that's the alternative here.

Fortunately it is possible to be friends with someone without fighting someone else. That's how 99% of friendships work 99% of the time. The US and UK are allies even though the US didn't fight Argentina in the Falklands and the UK never really engaged in Vietnam.
Thanks for linking that, there is a lot of interesting information in that document. They provide a rationale for why each nutrient is mandatory or voluntary as well as public comments and rebuttals.

>One comment suggested vitamin D fortification should be viewed as hormone replacement therapy

Found that particularly humorous
I‘m sorry but have you been living under a rock? SwiftUI, UWP and Jetpack Compose are platforms that differ extremely from the way Swing works. Swing on macOS looks like OS X 10.9 (still uses Lucida Grande as the System Font), we’re 5 releases past that. On Windows, it looks like Vista, we’re past that, too, see modern apps such as the Terminal.
Well, considering that shitbags like Peter Thiel found ways to make BILLIONS in their Roth (as if Roth was created as a tax haven for the ultra-rich), it will be a tad hard for the donor class I mean Congress to write Roth-taxing laws without screwing themselves.
Just renew support for Windows 7, and maybe update it a little bit. I will be dragged, kicking and screaming to Windows 12.
I mean, as long as they're basically using the same ingredients and process, why not say something like "Wisconsin Parmesan" instead of essentially "Fake Parmesan"? I couldn't care less about getting Parmesan from the actual place in Italy, but I would like the same ingredients and the same cooking process.
Fertilizer is actually the problem. The soil is losing magnesium because we don't practice crop rotation anymore, so we load up the soil with fertilizer, 90% of which runs off into our watersheds, wreaking havoc.

It can be solved by using less efficient / more complex farming practices which aren't amenable to mass production of monocultures. But that makes a lot less money, so it will never happen.

A different solution would be to pass legislation specifically to protect the nutritional value of our food. But that would just prompt the ag sector to pump the soil full of so much crap to meet the law's requirements that it'll speed up the collapse of ecological systems (in addition to possibly poisoning us).
Sounds like a good way to have every milk container say "rBST free, from cows raised without hormones!" Which could also be stated "farmed in accordance with California law."
By the same logic, what's wrong with sticking with Windows 10 as a browser shim?
Perhaps unrelated, but how are artificial islands (e.g. Dubai's Palm Islands) engineered to support massive buildings?

Edit: I think it is already answered in [1].

[1] https://en.wikipedia.org/wiki/Palm_Islands#Risk_mitigation
It assumes that the fraudulent stablecoin created by Binance, and involved in the vast majority of trades, (more 70%, a few days ago) unwinds.

https://crypto-anonymous-2021.medium.com/the-bit-short-insid...

https://bitfinexed.medium.com/tether-is-setting-a-new-standa...

USDC (the second largest stablecoin), isn't appreciably better.
If smoke is bad for your lungs, then putting meat into a smoke house for a long time, infusing all of the food with smoke, and having that carcinogen-infused product pass through your entire digestive system seems… also risky. Just logic to me.
The Ethereum dApp Synthetix has a "DeFi" version of those. It's extremely inefficient and relies on centralized Chainlink oracles but it's permissionless and the assets keep their pegs.

The Korean project Luna has I believe a similar system although it's even more of a decentralization theater.
> You're not going to be running openssl or stunnel on an 8-bit microcontroller, though.

True, you may need BearSSL, as with this port: https://github.com/OPEnSLab-OSU/SSLClient

It's a bit fat for many 8 bit microcontrollers -- needs 110kB flash and 7kB RAM -- but you can get low end cortex cores that it'll work just fine with.
My bad, sorry =)

The share from this story is that we can enforce privacy just as we enforce more traditional types at no runtime cost. It scales because it is compositional and compiler can guide us through programs that won't leak data.

A more niche outcome is that Haskell's traditional type system is rich enough to encode this privacy enforcing type system.

I think if you just ignore the syntax, you can still gain a good intuition about how data might leak in subtle ways and what is sufficient to prevent it.
Yeah, I get it. My comment was off-topic for the article, but I just decided to go on a general retirement saving rant.
This on iOS would be a killer application.
or if linux devs would work together instead of all trying to make their own thing. that said, i think the devs that work on elementary os have good taste by the looks of it. pop and zorin as well
But increases diarrhea on a scale thought unfathomable? Every time you meet one of those 'life extension' types taking Metformin just know that they aren't living their best life in the bathroom.
Russia did help India a lot in developing its nuclear capabilities - both for peaceful purposes and for its military. From what I remember reading on the subject, the US actively helped us in the beginning, in the 60's, and even gave us some nuclear reactors. However, after we used and processed the Uranium from it for our nuclear weapons program, they were pissed and were in the forefront in imposing sanctions on us. They blocked access to a lot of science and tech to hamper our nuclear program, for decades.

That is when the Russians increased collaboration on nuclear tech with us. They went even further than the US and even helped us develop nuclear tech for the military - for example, by leasing us a nuclear submarine to our navy (which helped us to build our own nuclear submarines).

So yes, Russia has definitely contributed more to India than the US. (And they have done so in a lot of other fields too - India does owe a lot to Russia).
This is misleading. Formally verifying the behaviour of any large software is a really tall task, no matter what language they are written in.
This is a common misconception about Viagra and similar drugs. They aren't aphrodisiacs (i.e. they don't make you horny). What they do is affect blood flow.
What a terrible medium for this. Why didn't he put it on his site at righto.com?
If you live in the country you can fix that. Raising chooks is easy.

I raise my own sheep for food, heavily under-stocked so they can pick and choose what they want to eat (makes the meat taste much better than when they are forced to eat bitter stuff they don't want). I don't eat lamb, I let them mature to 2-3 years old first to develop a stronger taste which I prefer, but not so old that they get tough. Beef tastes bland to me now (unless it is charred and/or served with horseradish).

Soil tests show my soil is high in magnesium, low in phosphorus/sulfur, and normal for calcium/potassium, pH is low and I probably need to apply ag lime (nothing has been applied for at least 9 years).
Why do people always complain?

If someone sells something with requirements - it is their choice and not down to people whinging because they want the latest thing but can't due to XYZ. This world doesn't owe you squat.

Note - my personally built PC doesn't have a TPM, but when I get round to it I may purchase one and then upgrade - and I won't friggin' moan.
I kind of think if we went back 30+ years and said 'lets start on open OS' it would likely be a good idea to start with a more micro approach.

However the whole debate is totally different today with BPF, library kernels, uni-kernels, OS virtualization (containers) and so on. The much more important need to run memory managed languages on top as well.

Of course all of these questions are not totally new, as always in computing it just new spins.
WSL is still evolving, although very promising.

Browser and UI (displaying charts) integration is not great with WSL. Perhaps one day.
I always get a negative reaction for mentioning the Emergency Airworthiness Directive sent to all MAX pilots. Media accounts never mention it, either.

The Boeing Emergency Airworthiness Directive says:

"Initially, higher control forces may be needed to overcome any stabilizer nose down trim already applied. Electric stabilizer trim can be used to neutralize control column pitch forces before moving the STAB TRIM CUTOUT switches to CUTOUT. Manual stabilizer trim can be used before and after the STAB TRIM CUTOUT switches are moved to CUTOUT."

https://theaircurrent.com/wp-content/uploads/2018/11/B737-MA...

For those who are skeptical of mainstream media fake news on the topic, here's the official final report on the Lion Air crash:

2018 - 035 - PK-LQP Final Report
http://knkt.dephub.go.id/knkt/ntsc_aviation/baru/2018%20-%20...

I also recommend the recent Aviation Disasters episode on it. While shallow, because it has to fit in 40 minutes, I was shocked that it was surprisingly accurate. Kudos to the Smithsonian channel. I wouldn't be surprised if AD waited until that report was released before doing the episode, so it would be using verifiable facts.
What The Pentagon’s New UFO Report Reveals About Humankind
I think it's unlikely that Earth is the only planet supporting life. But for a planet to support intelligent life capable of interstellar travel carrying vehicles capable of flying in our atmosphere, and have those aliens spend the huge amount of time and money to travel over here... They'd have to after something far more valuable that what they seem to be interested in.
I switched to Linux for my workstations three years ago and never looked back. If Microsoft had developed anything worthy of replacing XFCE, bash and the Linux kernel... well I probably still wouldn't switch back because I just don't trust Microsoft with my work machines anymore.

I still have Windows machines for games and streaming, but those are just my toys. I can take or leave them.
Small thinking does not get you very far.
Maybe, but given how very far from any kind of sophisticated democratic governance we are, their use, and thus cryptocurrencies' use, will persist for at least our lifetimes.
Accident, espionage, or counter-intelligence. Any if them seem plausible against the backdrop of modern intelligence agencies' screw ups.
Kiwi Farms whole deal is to harass people online. I'm not sure they need a reason. A girl set herself on fire due to their harassment in 2013.
> a nice Euler angle transformation

I'd probably go with something like:

double cf = cos(phi),sf = sin(phi);
double cp = cos(psi),sp = sin(psi);
double ct = cos(theta),st = sin(theta);
alpha = [ cp*cf-ct*sf*sp cp*sf+ct*cf*sp sp*st;
-sp*cf-ct*sf*cp -sp*sf+ct*cf*cp cp*st;
st*sf -st*cf ct];

but I agree it would look better with:

alpha = [ cψ*cϕ-cθ*sϕ*sψ cψ*sϕ+cθ*cϕ*sψ sψ*sθ;
-sψ*cϕ-cθ*sϕ*cψ -sψ*sϕ+cθ*cϕ*cψ cψ*sθ;
sθ*sϕ -sθ*cϕ cθ];

Either way, I don't think Euler angles are ever going to be "nice".
Yes, I used to love tomatoes from the local greenhouse. The sorts we get now just taste and smell fresh cut grass. For the farmers it's about what species of tomatoes grows the fastest and largest, with least work. However this is usually the least interestingly tastewise.

The tasty plants still exist, you just have to find the right sorts. They won't be found in your local grocery though.
Make sure to incorporate an anti-twister mechanism for extra weirdness points: https://en.m.wikipedia.org/wiki/Anti-twister_mechanism
Such a sad series of events. When folks bring up why people don't just walk away from the PC when being cyberbullied/harassed online, it is often because we attach so much of our lives to our online identities and internet friends. How can you just walk away from what may be your only social outlet?
I did not read Sebb767's comment that way. I read it as one user thinking about alternatives and stating what is technically possible. Technicaly no one needs an "app store", i.e., middleman, to run a program on a computer; meantime, F-Droid works. I think the strange analogies you make are just abstractions you have created in your mind. The comment you replied to offered no such bizarre analogies. HN is a site for intellectual curiosity. Trying to censor or bully free-thinking users into accepting the narrow-minded marketing of large corporations like Microsoft and Amazon is arguably not this forum's highest and best use.
I’ve been learning about regenerative organic farming and those folks would make the claim that conventional fertilizer and biocide intensive farming is responsible for those bad veggies. Conventional agriculture destroys soil health and this leads to depleted crops. There’s just no nutrition left in soil that has been doused with chemicals. Places like subway buy that produce because it’s cheap.
Measurements of what? What if swap out my GPU? Or RAM?
Duplicate of https://news.ycombinator.com/item?id=27653450 and partially https://news.ycombinator.com/item?id=27652814
ok new title: "Windows 11 will create heaps of needless trash, in 2027"
Another user gave such an example already: https://news.ycombinator.com/item?id=27654775
You really don't need to do much to catch their ire. It's enough to annoy one wrong person, especially if you're vaguely trans or some other minority.
Mel nods in approval: http://www.catb.org/jargon/html/story-of-mel.html
The Effect of Adult Entertainment Establishments on Sex Crime [pdf]
The Podcast Is Here Taboo Topic
But the printed copies are supposed to come with a cover page that says "Burn Before Reading".
I really want to be as optimistic as you are, but I can attest from personal experience, not about chemistry, but about math - not everyone can understand basic mathematics.

I often tried helping friends and classmates, in one-on-one sessions, to understand basic (primary and/or high school) math. Sometimes, you just end giving up. This was after trying a number of different approaches, different learning techniques, different ways of understanding / visualising abstract concepts, etc.

Not everyone can understand abstract concepts (or our teaching methods are too primitive).
So will 5G…
While OP's trial is bigger, it should be noted that just like metformin treating epilepsy and T2 diabetes, a ketogenic diet also seems effective for this condition: https://pubmed.ncbi.nlm.nih.gov/16190943/
I was under the impression that cramps are from an imbalance of potassium, calcium and magnesium. Supplementing the one you are lacking generally resolves the problem, but its hard to know for an individual without trial and error unless you are 100% sure of your diet.
Problems with math rendering on the web (2020)
Rust in Action
Since the point of s-expression syntax/homoiconicity is macros, I'm surprised to not see any mention of them in the feature list linked here. Does BLisp support macros? If so, what kind?

Also, is there an example of the type inference working?