skysight-inc/HackerNews huggingface dataset:
> First, you do realize that there already has been an OS that has been formally verified, right? It's called seL4. There is also a C compiler that has been formally verified. It's called CompCert. So there is a clear path to get there on the software side.

CompCert has not actually been formally verified - only the middle-end has. The C preprocessor and assembler aren't, the frontend formerly wasn't (but I think is now), and bugs have been found in those parts by fuzzing.

Plus being a faithful implementation of the C spec certainly leaves room for security issues…

(Why do we say "formally verified"? It sounds like weasel words. What is formal about it?)
It‘s always funny and surprising to non-insiders, but tax law and criminal law don‘t have that many touchpoints.

If you pay extortion money or bribes as a company, it‘s not just that they‘re deductible, you‘re actually obligated to account for them.

Being illegal and being deductible don‘t have to do anything with each other.

Don‘t forget Al Capone was actually convicted for tax evasion in the end, as even illegal businesses have to pay taxes.
IMO, this sort of thing is just as dangerous as any other type of radicalism. Take anything too far, and you cause immense damage to society.

The formative years age just that. Disrupt that significantly, and the individual is forever lacking. Society needs people in all roles, we'd die of plagues, and disease from vermin, without garbage pickup. Incredibly vital, that job is.

Yet who will create new vaccines, new tech to clean up the planet, get mining and resource production into space, and more? Only those with certain genetic gifts, but the "feel goods" want to believe everyone is identical.

Equality is not this. Equality comes from things like providing access ramps for those who cannot climb stairs, providing tools for those to make the best of what they have.

You don't "pull down" people to make equality, you lift up people. And this means that you see who needs help, and give it.

And you can't do that of you pretend everyone is the same.

As a side note, plumbers, electricians, those working in construction, arborists, on and on, there are many very comfortable, well paying jobs open to those without advanced science, math, language skills.

In my public school, both at grade and high school levels, we had shop class, and in high school, auto, electrical wiring, art, A/V, environmental science (farming), and more. There was something for everyone to excel in, and I took most of these, on top of advanced sciences/math, for fun, for the sheer sake of knowledge.

Don't remove potential, instead, seek how to enable every child's capabilities.

Lift up, don't pull down.
probably the latter. It's the same low effort style. Here's the most succinct crash course in comedy I know of https://misterandyriley.com/2016/10/31/how-to-talk-comedy-wr...

In this article the biggest sin is this one:

"Bananas on Bananas – similar to Jazz Trumpetry. Trying to top a punchline with another punchline right after it, and another, and another. Sometimes this might be great – but when it’s not, and the result is just tiring to watch/read/listen to, then you’ve got Bananas on Bananas. [via James Bachman and Simon Blackwell]" and its relative: "Hat On A Hat – this is in very common use in the USA, and has a similar yet subtly different meaning to ‘Two Sock.’ A Hat On A Hat is an occasion where two funny things are happening at the same moment in the script, or immediately adjacent moments, and those two comic ideas are each distracting from the other. The solution is normally simple: remove one of them."

People like to think that comedy is a matter of opinion. That's totally false - it's the originator of audience testing and a/b testing.

Starting in vaudeville performers would carefully study slight modifications to their routine and the audience reaction to them. Every comedian with a repeatable act learns what works and what doesn't. They cut/add/tweak/rearrange.

You can clearly see this in early versus later work of your favorite standup. The maturation of everyone's routine follow the same general comedy rules of what stays and goes. It's a describable teachable learnable repeatable skill. It's the reason that lots of successful comedians come out of the groundlings and ucb.

It's not a matter of opinion, there's decades of quantified research on this stuff. The OP article if it just followed basic comedy rules and structure would become immensely better.
These things are great for illustration purposes, when one uses something like Markdown or the like. This, paired with a tool, that draws trees (filesystem, etc.). But I'd prefer this part of my text-editor than online.
Dependency Confusion Supply-Chain Attack Hit over 35 High-Profile Companies
Ask HN: What technology do you regret choosing?
(3) Tonic discovered in Japan for astonishing effect on metabolism
This. Your working career is actually pretty short - for many of us in tech each year is at least 2 percent of your total working life. And hit 40 and it might be 5 percent a year. Do you really want to waste 5 percent of your working life/opportunities/salary doing a job you hate?
As much as fake donations I guess
The Key difference is that when I pay consultants they in turn pay the taxes (or in turn they have some expenses to towards somebody else who eventually pays the taxes), so overall they are not lost.

Paying a ransom by definition puts the whole sum in a black hole, tax-wise.
Should have been there earlier. From this major event in Wuhan
https://en.wikipedia.org/wiki/2019_Military_World_Games
End of October 2019 with 140 participating nations and 9308 athletes a couple of them could be traced to carry Covid-19 to the west. Esp. Italy and Iran, probably also the US. But there was no bigger outbreak then, this came later with Chinese travellers.

For the US see https://prospect.org/coronavirus/did-the-military-world-game...
> In Europe children are not required to write essay or complete extracurricular activities to enroll in highschools or middleschools, and they are not generally dumber than the Americans.

I had to do an admissions test, plus average grade from primary school (50-50 scoring ratio, if I remember correctly).

They score everyone, and put them on a list. The top gets in. The rest, good luck, try somewhere else.

So it's not random.
Lambda syntax is indeed horrible in Python. I hope some day they do something to fix it… Otherwise I really enjoy the language and the ecosystem.
ideally the length should go with the pointer, not with the string.
If only that was true all the time. Especially with car insurance a lot of people expect the insurance company to try to weasel out of damage payment.
Yeah, but if you can mitigate per process, you can keep the secrets of trusted code from the eyes of untrusted code by only affecting the performance of the untrusted processes. The way I understand it the "protection cost" would fall on potential attackers, not on potential victims (unless of course they are both, holders of secrets and runners of untrusted code).
D as in D language... https://dlang.org/
Third party insurance Claims can be huge, as well.

Selby train crash - a car derailing a train - was £20m!

https://en.m.wikipedia.org/wiki/Selby_rail_crash
Interesting article. Is this a tune in, turn on, drop out moment?
You could just study using your textbook and workbook. A lot of material relies on what you previously studied in some way. You should be able to learn the things that you missed with your experience and textbook.

Nowadays you also have the internet that can fill those gaps. If a student wants to learn, then there are many opportunities. But students usually don't want to.
Extroverts can be incredibly ignorant and dangerous when they encounter introverts. They seem to operate on very simple heuristics.
https://archive.is/8N41B
Symbols being stripped isn't usually for "open source" reasons. Neither is minification. It's done to reduce sizes.

A binary with symbols has tons of extra crust that is largely unnecessary. Even if you have them, what good does a stack trace do if you don't also have the source to fix it?
WhatsApp Group Links – Join or Share Your Groups
Only banning not burning?
Counter-points (post size was limited so I'll put them here):

1.
Everyone tells me it's the responsible thing to do. Counter-counter point:
everyone above my age seems to have done it. They would be crazy not to
recommend the next generation to do it, because the next generation has to pay
for their pension. Since my age is lower than my country its average life
expectancy, that means I can't trust the opinion of the majority of people
about this. I don't like to think in such a distrusting manner. Phrased
differently: the majority of people can not be objective about this, because
they're already invested and they need to keep the thing they invested in
alive.

2.
Since I don't have a brain that thinks finance is interesting, anything I do
myself might be risky. Counter-counter point: seeing people cry about losing
their pension has made my brain label that as risky too.
In Germany, when you finish primary school, your teachers give an advice on which school you can attend: Gymnasium, Realschule or Hamptschule, depending on how good they think you are.

First of all you don’t have to attend the school your teachers advised, you can still attend a Gymnasium if your teachers said you should go to a Hamptschule. So it’s significantly different from the selection criteria of that American high school.

Then this selection process is known to be biased against children of foreigners. Somebody said that without strict competition in high school admissions we wouldn’t have playstations and covid vaccines, so it’s useful to know that the founder and CEO of BioNTech (who is a Turk-German) was advised to go to a Hamptschule by his primary school teachers. So he wouldn’t have been able to attend university.

Said that, having a brother that works as a teacher in a Gymnasium, I insist that these kids are not learning anything esoteric or peculiarly complicated. If the average kid in an upper middle class neighbourhood returns an assignment with less than one typo per row, he would be remembered for years.
I understand the performance criticism. But people don't have that many apps, storage is cheap and we have plenty of ram. Today a high end smartphone has 128gb of storage and 8gb of ram. Some have 512gb of storage and 12gb of ram. An actual high end desktop computer has at least 64gb of ram and enough storage to have quite a lot of Electron runtimes installed side by side.

My M1 MacBook pro with only 8gb of ram, I asked 16gb but someone did an ordering mistake, has no issues to run multiple electrons apps at the same time and storage is not something I think about.

By responsive I mean accomoding different display sizes, to have a layout that makes sense on a small laptop with a touchscreen or a 4k 32" external display.

For most usages, I will rate react much higher than Qt5, like almost everyone one in the the industry. The only Qt interface that I think is nice and up to modern standards, and that I remember is the Tesla user interface. It may be a few others because sometimes Qt makes sense, but not for desktop in my humble opinion.
So the ruling class (capitalists) have defined what theft is and have armed bodies to enforce it.

Profits aren’t somehow defined as theft, despite all value being produced by the labour of workers, who are paid a fraction of the value they produce.
Wait wait wait. So if I want to pay bribes, I can just say that I have been extorted that money and all will be legit?
> could use projects like Oberon and "STEPS Toward The Reinvention of Programming"

Like Dart, Flutter & Fuchsia?
Fortunately the repercussions were minor, but the mistake is still a huge facepalm. Storing monetary values in the database as simple floats.
> we've (I think) already agreed that parents are a large part of the problem.

No.

> Even worst: you can manipulate parents, and perverse incentives all but guarantee that evil people will be attracted to this opportunity.

Of course, those evil people would never think of becoming teachers or professors in order to brainwash thousands of students over their careers.

Because that would be, what, wrong and stuff?
He shouldn’t have mentioned it at all.

It was massively irresponsible for a political leader to bring up anything that wasn’t actually shown to work at that point, and the ensuing shitstorm was entirely predictable.

The responsible, statesmanlike thing to do would have been to tell the public all the stuff that he was doing behind the scenes to find solutions, not throw out something specific but unproven.
Hopefully the GA release is available soon!
If i wanted the compiler to generate code for `return 0;` I'd write it that way. If i wanted to use c as my macro assembler i very much expect the compiler to _not_ make this transformation.

If I wanted language with clever optimisations I'd go for something way higher level like lisp, haskell. Most optimisations are often only useful to make sure you can program generically without a headache. Optimizing code generated by macros or monomorphisation/type specialisation/template instantiation/however you call it is really useful. Is it worth it otherwise? For me the difference between gcc -O1 and -O3 suggest this is not worth it in the domain where c is typically used.
Sqlite has probably much wider (and more stable) support with other languages than pandas.

Also it is a different thing. Pandas is very nice to do data analytics or crunch numbers on reocurring data, but I wouldn't replace a database with it.
Cheating Spouse
You know I also had almost the same issue but my case was that she was not truthful about it. Kept going out saying she was going to the gym, She leaves with gym cloths, changes on the road , goes for her date and comes back home with gym clothes. It was all speculations until I hired BarrySanchez AThackermail DOtcom to help with a phone hack. it took about 9 hours and her phone was hacked, I was able to get hold of her exact location with the GPS enabled feature on the web platform. Really guys hackers are the best way to know if your spouse is cheating on you.
I've read both books and done the Nand2Tetris course.

I think Code by Petzold is decent in that it's a book you can read in bed etc. but it spends a long time discussing mechanical relays as an analogue and later discusses various processors in depth.

I think Nand2Tetris is slightly better in that it focuses on what I'd consider to be the most important stuff, but it's an actual course and requires significantly more effort.

Nand2Tetris is probably the best course I've ever done though, including my university studies in Physics and ML. It's fun and you learn loads.
You forgot another line, it was actually:

Creating NetworkComponent
Dropping NetworkSocket
Dropping NetworkComponent
Dropping NetworkSocket

Besides, you forgot another tiny detail,

By replacing the socket now the port number is another one, and all processes that had open connections to that port will now crash, or have messages dropped without getting why.

I can also fabricate plenty of error situations with Rust if you feel so inclined.

And if you were actually serious, you would be aware that there are Roslyn analysers that validate IDispose follows proper RAII patterns, like https://github.com/DotNetAnalyzers/IDisposableAnalyzers

Remember, Rust isn't perfect, and only fixes 70% of existing error patterns, I can have plenty of inspiration with the remaining 30%.
I’m curious of folks take on this health insurance article:

https://www.aeaweb.org/research/regulating-health-insurers-a...

The claim is that the medical ‘loss’ ratio caused insurers to want to pay more for healthcare so that the fixed profit percentage would be a higher gross.

I am not an expert on health insurance, but if it’s like gambling, then I don’t like the idea that a casino is profiting on people’s lives.
I see how it can be used to evade taxes.
>I remember learning everything I should have in high school in 1 semester at a CC.

But maybe the reason you could do that is because you had already studied this before. When I look back on school work, they look trivial. Even things that I've forgotten look trivial.

Subjects like mathematics (in high school and earlier) are about experience. Sure, explaining hope to calculate the area of a triangle is very easy, but if your only experience with it is having it explained to you and using it once, then you'll probably forget how to do it or the relation it has to the area of a rectangle. We do the trivial stuff so much in school that you get an instinctual feeling for it. I never felt as comfortable with any of the math I learned in college than I did with earlier topics. I suspect it's because I never got to build up that feel for it.
Chinese Bitcoin miners could be headed to Texas
You and she probably have some points of heated disagreement, but I'm fairly sure she doesn't hate your existence.
Augmented reality crisp (potato chip) sandwich
This is a common misunderstanding in another group I converse with. Left in his context refers to the American one, which refers to an overarching field that is represented by the American progressives and includes the moderate dems (center left) progressives and socialists /communists, amongst others. You're coming from a European left right split, which means something different.
You have to trust them with your Apple ID (from the FAQº):

Why do you need my Apple ID?

Apple allows anyone with an Apple ID to install apps they’ve built themselves onto their devices for testing. AltStore uses your Apple ID to communicate with Apple's servers on your behalf and perform the necessary steps to prepare your account for installing apps onto your device.

Do you save or send my Apple ID to anyone besides Apple?

Your Apple ID is never sent to anyone but Apple. AltStore does save your Apple ID so it can refresh apps for you automatically, but it is stored securely in the device’s keychain. AltServer does not save your Apple ID, and requires you to enter your credentials each time.

(Ofcourse, Jailbreak isn't necessarily more secure - you have no idea if they inject a malware into your device during the process.)

º https://altstore.io/faq/
Took a quick look at the Table of contents and what does this have that Suttons book, Spinning up RL by OpenAI, and Lillian Wengs blog doesn't cover?

I can see that it includes Vanishing gradients, and Imitation Learning (BC and max Ent IRL) but those two things are more Deep Learning related, and more towards Deep RL.
This was an important consideration in deciding to purchase pet insurance for my British Shorthair. As far as insurance goes it probably falls under the category of "not necessary." I added up the cost of the premiums over my cat's lifetime and realized I would probably break even at best. But in this one instance the peace of mind is worth it.

For everything else I almost never purchase insurance because I know I will get out ahead. I especially am always surprised that people buy the $20 travel insurance airlines sell at checkout. But for someone who flies once or twice a year, maybe the peace of mind is worth it.

People often purchases based on emotion and insurance is no different.
I agree completely, I would love quantum computers to be in a place where all universities and most companies can do useful stuff with them, but they aren't and these companies which pretend that they are seem like scams.
> Even if you have them, what good does a stack trace do if you don't also have the source to fix it?

It makes patching the binary yourself a heck of a lot easier. As is often the case with legacy enterprise software from a vendor now long-gone…
> I can understand where the author is coming from, but this is the cruel reality of the world.

This article was written in 2015, when this kind of dilemma (who would you save) was purely theoretical.

Fast-forward to 2020/2021, and it became real: we had to decide how to allocate scarce, life-saving resources -- COVID-19 vaccines -- and we decided to distribute them to the elder and most vulnerable first.

I hope this decision -- replicated in most countries around the world -- will put an end to this attempt to calculate the value of human lives.
If you define having a particular value system, as a bias, then I agree. But I'm not seeing any fallacy here. The grandparent is stating that as long as we have a belief/value system where IQ/beauty is valued, then in a situation where all other things are equal, then IQ/beauty should be valued more.

That's not an unexamined or implicit belief, and intellectual rigour is in this case only relevant when applying it.

Where is the is/ought fallacy in that reasoning?
We were going to compete with steam at one point but after a bunch of research decided against it.

Unfortunately, the critical mass problem is almost always the reason why nothing gets innovated anymore. We would have had an objective better experience for users and devs/publishers alike but the chances of success were next to nothing given the cost of migrating for both sides.

Really sucks.
So if I understand this right, CPUs try to predict what operations are going to be made in order to gain performance, but instead introduced a vuln that killed performance? Wouldn't the logical thing be then to get rid of the predictions on hardware in order to be able to turn off these mitigations?

Are there CPUs out there / being made without these SoC predictions?
I assume lots of bug hunters (especially those from third world countries or those currently unemployed) depend on the bounty money to support their livelihoods.
Do you have a police report to go with it? If yes, then sure.
I've been using a Polyend Tracker for ~6 months and it's been such a fun experience. I'm by no means someone old enough to have been using trackers back then but the Polyend Tracker is has a really thought out interface enabling rapid prototyping as well as whole song production on it.