skysight-inc/HackerNews huggingface dataset:
Yes, and making those languages (SPARK, Dafny, F*, CBMC,....) more widespread, the kind of something that everyone expects to be out of the box on their favourite language is how this can eventually gain more adoption, than a few selected companies, or academic research.
Yes, and I suppose my mistake might to think that that something is a saturation weapon necessarily, or disposable, necessarily conflicts with it being something other than a weapon designed for mass-scale minimum-cost production.

I suppose this is Iran's equivalent of Tomahawk.

Plywood can also be bent with heat. There's a thing called a 'high frequency plywood bending press'. But these thin parts probably make more sense if they're made of fibre-reinforced plastic.

I don't think consequences on range would be so bad, but what really matters is probably cycle rates and cost.
It has happened. Twice. Russia-China in 1969, and Pakistan-India in 1999. Arguably one should count the Cuban missile crisis too.
I guess for whatever reason this one was flagged? Seems enough people consider it not-relevant.
The main issue is that proofs take almost literally forever to write. You cut your productivity by a factor of 100-1000 if you want to prove things.
I’m an old, but if I was in that demographic I would probably launch a Discord space (or tenant or server or whatever they call it in Discord parlance).

Slack could be an alternative. Not sure if teens are used to that though? Perhaps Matrix could be another alternative, but the UX there can be quite confusing IMHO.
It's not just temerity I think. Picolisp is a very different animal compared to all modern lisp and scheme flavors. It is the last "true lisp" that I am aware of -- it has an ultra-minimalist interpreter (hand-written in assembly, by the way) that actually represents programs as linked lists. A function is really just a list with the first element contains the argument and the second one the body, and the arguments are bare symbols. Picolisp has no compiler (not even a bytecode compiler), no lexical analysis and no other preprocessing. There is only the reader and the output goes directly to the interpreter. On the upside, this makes Picolisp the only language with truly "first class" functions in the sense that you can really create and manipulate them at runtime just like you would strings or integers, unlike pretty much every other language out there, where "lambdas" are just syntax sugar over function pointers. On the downside, this is all of course completely unchecked and pretty unsafe, and, to come back to the original point, you do not have such conveniences as lexical scoping. That would be literally impossible to implement without changing the nature of Picolisp into a proto-compiled language.
EPA releases report on Apple's hazardous waste violations in urban silicon fab
See, by 2010, we were already focusing on Red-Hat Linux....

You have no idea of what visibility I actually had, how Networks worked with Mobile, which buildings we shared, common lunch talks, nor I am going to disclose most of the NDA stuff.

So think whatever you want out of it.
Highly recommend implementing accounts for your software and licensing through that, as well as making some features of your app online only (server side), even if they don't have to be.

If your software becomes commercially successful it will eventually get cracked and many corps will use that because licensing in an org setting is messy and who wants to ask for software or deal with the red tape?
Usually true. But it is an apparent aberration of a wanna-be hard rule. A single data point is important if it refutes a rule.
Ask HN: Looking for Investmentor Interested in Small Eco-Tourism in Portugal
No, not really. There are some unique facets to Singaporean culture that heavily discourage innovation. This isn't the case for most of the rest of the world.
1000s of people leaving a stadium faces the same latency: not a WFH/WFO issue
This is exactly the type of story I remember reading about too.

I feel the best type of public education would have been the listing of the many electromagnetic radiation sources we already have. Taking a sample person, say, from inner London, and enumerate just how many of the radiation gets to them already, from the 4G and previous sources, radio, the different equipment that a city has, and so on. I feel like people are missing the historical context is these cases, same with the COVID vaccine. We were already subject to many of the vaccines, and in many cases, the COVID vaccine wasn't anything different.

https://www.immunize.org/official-guidance/state-policies/re...
Yes.

Threshold cryptography.

Each participant generates one part of a key, and can only create one part of the signature.

You can do stuff like requiring 3 of 5 signatures parts to be valid, etc.
Does this have something to do with their merger with McDonnell Douglas?
Nah, 3:2 > 16:10 > 4:3 > 16:9
At least Europe can make commercial jets where the doors don't fall off in-flight.
As in you would call in using a modem? I’m old enough to fit that bill, but I never managed to find a friendly BBS, haha. At least that way my parents didn’t get any astronomical phone bills.
Honest question: Is X popular amongst teens?
>related to a unique null derivative instead of multiple maxima

I think the word you're trying to use is "bimodal" and yes, that is one example where the author's reasoning fails. But it's not the only one.

>I couldn’t find any papers or information on this.

You said you have no formal higher education in mathematics - how would you even go about finding (let alone understanding) papers? Regardless, just to be clear, this is not something you would learn from papers but from introductory textbooks and university courses. Everyone who has to deal with statistics in science needs to go through a whole lot of extra education exactly because there are many pitfalls like this.

>it is essential to check the underlying data distribution to avoid being misled by the information

That is another half-truth that everyone on the outside seems to agree on, but it is useless in practice. What do you do if the underlying data is not accessible. And what if you don't have the means to process it for every paper you read (which is what usually happens)? Then you have to rely on the actual tricks of the trade, which will come naturally if you worked with tons of statistics before. There are lots of telltale signs that let you spot bad analyses by only looking at a plot or summary chart. Granted, you won't catch all of them, but it often takes real malice and deep statistical competence on the author's side to cover up these things.
Hacker-Friendly natural haven!

Let me know if you would like to hear more.
That's assuming that the language will still be called English anything. It might as well split into American, Australian, British, etc. We don't call French or Spanish modern Latin, do we?
I've never had an issue using my normal Phillips head screwdrivers with Ikea stuff
The way I read GP's argument, the (yes, very diluted, but real) "oversight" would come from the fact that every shareholder would have to base their bidding price for e.g. Boeing shares on, among other things, the probability of this company being devalued by 51% following a scandal like this.

If (and I understand this is a huge "if") this kind of action was more common, you might think twice before investing into any companies that run a serious risk of direct government interaction to protect the public.
No? Exponential Gaussian?

Whatever you do, you should explain first what you do that your whiskers stay meaningful and are not just whatever randomness your outliers produced.
Why cant another country that des not have copyrite laws host this.
https://www.youtube.com/watch?v=Y65FRxE7uMc
I would use redbean, from the same author, and use HTML.
Like, there aren't computer-controlled industrial robots that are many many times stronger than humans?!? Wow, and here I thought there were.
I think the best example of this is the strategy pattern. In that way, strategy classes are really just a wrapper around a function and its persistent, mutable internal data/state.
I do not know TLA+, but there is an abundance of other theorem provers that can model C very closely, including overflow, assignments, etc.

So closely, that when you transcribe such an algorithm to C, there is very little room for error, even if the C code isn't proven directly.
Yeah really crap article, so painfully shallow. Anyway I use librewolf
Macros and optimizations: it's just a phase
A fair point here is the impact of the crime. As the author puts it: "if it delayed a successful treatment by just 1 year, I estimate that it would have caused the loss of 36 million QALYs (Quality Adjusted Life Years), which is more than the QALYs lost by Americans in World War II."

Of course these are just the wildly successful instances of such fraud. Many such fraud probably represent just one more quickly ignore paper. But still, the crime matters because it has this potential to derail a field. The magnitude of the crime is not represented by calling it "fraud".
I agree with the other commenter that his is not even remotely true... given something like

loop {
if (A) { ... }
if (B) { ... }
}

100% branch coverage means you've encountered both cases, but the loop could have encountered these in any number of ways specifically this branch could be encountered as either A && B both A && !B && B && !A, all of them exhaustively, and could even depend upon whether the order branches were taken matters.

While formal methods give an exhaustive proof.
physical strength, dexterity, skill, and combat training still make a hell of a difference in a gunfight. A gun only makes a physically weak person strong against someone without a gun.
And if you have a framework you know you're going to be able to replace by the time it becomes unusable. They already have a more energy-dense version of the original battery. Who knows what the future batteries are going to be like ? I suppose it will only get better.
Everyone loves a joy vacuum.
These NFC chips have counters to deactivate themselves after the allocated number of trips has been reached.
The visible "productivity" as in manager friendly LOC. The actual productivity goes up.

Managers don't want that though, for reasons that already Dijkstra has outlined.
Because most companies view the manual as an afterthought. You've already bought it. What are you going to do if the manual is bad, return it? And even then, you're returning it to a third-party store - the manufacturer isn't going to care care. You bought an ShelfExpress for 50% off at Furniture Mart, can you really expect them to care?

Ikea, on the other hand, prides itself on user experience. Everything is Ikea-branded, so any complaint will come back to Ikea because the buck stops there. Everything is sold internationally, and they don't want to translate it into a dozen languages, so they have to make clear assembly diagrams. Their entire brand is built around having great assembly instructions!
Agree completely, but if you "need" that level of complexity, I'd rather be working with Vue or Svelte.
> From a rogue AGI's perspective, there's a nonzero probability of a random human with a grudge finding the hardware it lives on and just unplugging it.

Which is why it obviously will live in "the cloud". In many different places in "the cloud".

Oh, and:

> (Funny enough, that second goal is exactly the same goal that people have if they're an expat

You misspelled "immigrant".
Reposting here since the other thread got flagged.

Note, I am not a lawyer or anyone who could professionally give an opinion on this.*

The most egregious violation the author purports Apple did is the illegal venting of hazardous chemicals.

IMHO, the most plausible evidence supporting the author's claim can be found in the (redacted) EPA report in observation #11.[1]

My understanding is that waste streams (hazardous materials being vented into the environment) must be accounted for in order to accurately calculate how often you must change carbon filters (called breakthrough time in the report) and that carbon filters lose efficacy as hazardous gasses are passed through it.

Anyways, the report found that Apple did not account for all the waste they were putting through the filters and thus could not accurately assess the "breakthrough time" of the filters. There is a plausible case that could be made that a filter had reached its "breakthrough time" -- potentially leaking hazardous gases into the environment. This reportedly has been occurring since atleast* Dec 2020, which could be around the time the author moved in which was also 2020 (unspecified range). Note, this neither confirms nor denies the claim that hazardous chemicals did leech into the air.

1. https://www.dropbox.com/scl/fo/312oqvretg7yyhfx0ohx4/AGZduVX...
They might have been under pressure (why else would they validate a failed test)? And you can't blame people for not being a whistleblower.
Why not both? Punish those making the decisions with prison time, and those turning a blind eye because it was profitable with at least some of that profit.
I agree, the Steam Mac app is a lot worse than it is on Windows or Linux.
I would suppose that’s because they’re just running it in some kind of wrapper rather than having any kind of native implementation, that’s just an assumption based on how it feels to use though.
That would be animal cruelty, like buying someone a baby chick for Easter just to laugh at them trying to take care of it or find it a good home.

Parrots are flock animals. An unfriendly parrot means it's not been socialized or engaged with enough, probably isolated and unhappy.
Eating too late is unhealthy, but that is not the same as skipping breakfast. Eating too late or too early both have negative results.

The first paper says:

"Unlike lunch and dinner, which are recommended early in the day, it has been proved that to have breakfast too early may be deleterious due to melatonin levels, which may still be high in the early morning."

The second paper references a 12 week randomized controlled trial that shows that it is good to skip breakfast, eating within a time restricted window (12:00 - 20:00).

Personally I usually aim for a TRE of 12:00 - 17:00 and that has worked well for me over the past 15 years. Skip breakfast, early dinner, as recommended by those papers. I feel lethargic and tired if I eat breakfast. Listen to your body.
The UK rail network already supports QR codes, with the busiest station handling over 80M entries/exits per year.

Meanwhile, the integrated subway/overground/bus network in London supports direct payment with NFC smartphones, without the need for an intermediate "smart" paper ticket; the infrastructure for vending those; or the (not insignificant) cost of producing the tickets. Not sure what Montreal was thinking!
Or like slap them on the wrist, fine them a few million and act as if nothing has happened, like every time before.

Considering how tight boeing is with the government, which scenario is more realistic? :)
Contracting MRSA is considered suicide now?
Drop the notarization and core technology fee and we're all good
Didn't one of them also specifically tell a family member that if he dies it was Boeing?
Basically everyone is redicovering the build tools and minifiers used by compiled languages, that we lost when everyone decided they had to be written in nodejs instead.

Similar to RSC rediscovering JSP, ASP.NET, PHP,...
I'm naturally inclined to be suspicious of people claiming pollution is the cause of a disease. It's certainly possible, and it certainly happens, but every individual case is a sample size of one, and the best we can say is it's likely an environmental factor played a part. On top of this, it seems the claimant has either through frustration or with malicious intent exaggerated or fabricated some of the claims. So, I'll agree with you to be highly skeptical.

On the other hand, it's entirely reasonable to assume that a large corporation would maximize its profits: it has a duty to. If the expected profits exceed the expected costs of breaking the law, guess what's going to happen. Probably the fairest outcome here is better enforcement mechanisms. Unfortunately, this outcome leaves both parties worse off in exchange for an improvement to society.
I don't mean the whole road, I mean segments. The speed changes while driving on it, not compared to what it was months or years ago. And then, yes, not using the design to signal the speed changes. If they're even in charge of that.
Yes those papers show that it is good to skip breakfast. Replied above.
Yeah but don’t worry about it, benefit of maturity and wisdom and seniority, is you can forget son minor details.

Sleep, exercise, testosterone sups (nothing crazy) and some quite time to compose your thoughts will all help, you need to take some dedicated time/care for yourself, and you’ll be fine.
> They might have been under pressure (why else would they validate a failed test)? And you can't blame people for not being a whistleblower.

When your literal job is to test critical safety features, yes, you can be blamed for failing at it. Especially when people died because you knowingly failed at your job.

What's next, not blaming architects for designing an unstable building that crashes down? Not blaming a chemical factory's security inspector for OKing dumping of toxic waste into a river?
I don't see what's the big deal about this. You put out your words for the world to see. Somebody found something interesting to do with that.

For that matter, why do you think companies like Google and Meta give you stuff for free? Because they earn money from your content! Google inserted themselves absolutely everywhere to have the best possible idea of what you do, where you go, who you talk to, what you read, and from that figure out how to best advertise to you.

When you sign up for a free service whatever you upload to it is how you pay for that "free" account.
Apparently they play a critical role in neurones (which can have millions of them) not only because the brain is the most energy hungry organe but also because they play numerous parts in how they work : neurotransmitter transporters and regulators, stress modulator, epigenetic "signalors"... the list goes on.
No wonder ketones can have an impact such as healing epilepsy just by the effect they have on mitochondria. It is quit a fascinating domain of research and the potential it is unravelling is huge IMHO.

- https://www.youtube.com/watch?v=Y6iJMDhLmLc

- https://www.youtube.com/watch?v=_XTOKo99Ohg

- https://www.youtube.com/watch?v=o7sftaJThk8
I'm not trolling, and I'm sorry if it came off that way. As someone not living in the states, I simply had more faith in the US Justice system compared to say, Russia.

I'm sorry if I offended anyone.
Thanks!

I found Teal, which seems to Lua what TypeScript is to JavaScript
The description in brackets for each jhana, if that's what you're referring to, seem to be sourced from "dhammawiki.org".

> But the sort of description of so called "jhana" in the article misses it - it points to the feelings generated in the body.

I mean, they are referred to (the first 4 jhanas) as the "rupa jhanas" - that is, form or bodily jhanas. That's because they're coarse and involve sensations of the body and materiality.

> We don't focus on the feelings, rather keep driving the boat (focusing on our meditation object). Then ... boom... we suddenly hit a river bank and have no idea what happened. It's unmistakable.

I think the article may gloss over it a bit, but the author does seem to say this too - in that the meditation practice aspect of it is just a way of organising attention such that the jhana state is invoked (they describe it as like a "sneeze", in that there is an intentional, physical build up followed by an involuntary and hard-hitting release, and that they hit "hard and fast") - and then the practical technique aspect of the sitting is not really useful because the jhana takes over. That sounds pretty accurate to me, as a practitioner of Theravada for 10 years or so.
Mt. Gox to distribute $9B repayments starting July [pdf]
They are the same, but in a different language. Jhana is Pāli, Dhyana is Sanskrit. Pāli ist the language of the oldest collection of discourses of the Buddha, on which Theravada buddhism is based. Sanskrit appeared later and is often used in Mahayana traditions.

As far as I know both Pāli and Sanskrit are artificially created languages, by merging various Indian dialects of the time, for the purpose of communicating spiritual/religious teachings across ethnic boundaries.
Not the original reference I was thinking of, but close enough:

https://thecounter.org/lab-grown-cultivated-meat-cost-at-sca...
I'm I'm eating pigeon (which we used to a lot as a child) - I was always told that Wood Pigeon was the tastiest - but I can't say I could tell the difference.
I built my own tool: https://go.rest.quest

It's a simple flat list of links that you annotate with a description for better search. The killer feature is that it works with Firefox's keyword search. I can enter `go gith prof` in the url bar and hit enter. Since there is only one entry that matches (with description 'github profile'), I'm immediately redirect to that link.
There's also an interesting split occurring with continental Euro-English, which is primarily being spoken by non-native speakers as a lingua franca. The divergence is presumably going to accelerate after Brexit, now that there's even fewer native speakers around to anchor it to British English.

https://en.wikipedia.org/wiki/Euro_English
You're missing the point.

Given your example no software can ever handle this equation given infinite numbers, as all CPUs have a maximum number they can compare.

Just like you cannot prove that a bridge will be able to handle a given load. Engineering fundamentally can only make assurances within expectations. Your tests define these expectations, and by covering 100% branching coverage you've exhaustively explored all valid states your software can have.

Do note I'm talking about actual 100% branching coverage here, not just 100% coverage of your own code, ignoring libraries and runtimes you've imported. That's way harder then you seem to think and the reason why sqlite (the linked page) has so much more testing code then application code
Most memorable for inventing the MP3 and then patenting it.

The difference in "economic size" between the USA and everywhere else has more to do with political economics than with actual production. Mostly, the USA has the reserve currency status, which means it gets to print money while selling inflation to other countries, in exchange for real goods and services. This obviously creates an unbalanced influx of goods and services.
Its slow because it's read by a camera. That takes extra steps, and like you mention, lighting conditions. A QR code has to be detected, read and decoded, and thats after the image is processed. An NFC is orders of magnitude faster. Heck even an old school magnetic strip is faster than a QR code.

A better application for QR codes is scenarios where it doesnt matter that its slower. Airline checkins, concert tickets, etc work well, a busy subway where people are queueing to get through a barrier as quickly as possible is one of the worst places to use it.
Operative word there seems to be had.
Free public transport would make all of this stuff unnecessary.
> In all other engineering fields you have to produce calculations and "proofs" that your design ought to work.

That seems obviously false, unless you understand ""proof"" in such a lax manner that software engineering has them as well.
There is always this option: https://youtu.be/vYrXLaU8guU