skysight-inc/HackerNews huggingface dataset:
> decide it should have been grounded

It should haven't been flown in the first place, as it breaks the rule of having a full-authority control system dependent on a single non-redundant sensor.

Boeing got approval for a limited-authority control system, and then modified it to be full-authority without redoing the paperwork. They KNOWINGLY LIED on the type certification documentation. If they wouldn't have lied the aircraft wouldn't have gotten of the ground in the first place.

> Boeing does not actually have the authority to ground aircraft

They do, it's called an Airworthiness Directive and a manufacturer can ask for it and FAA will comply. Even if the FAA is un-operative due to a US government shutdown, they could've notified EASA, CAA, etc. to prevent a knowingly-faulty plane from flying. They CHOSE to cover it.

> the FAA does something that needlessly costs the airline
industry lots of money

Try to balance corporate greed vs safety, and it won't end well because lives of people some place far away don't have monetary value to FAA. Safety MUST be paramount in all aspects, trumping profit, because otherwise people will die.
Yes. Because of Gödel, von Neumann and others stopped trying to build machines that can prove anything.

Of course, following the critiques and further revisions of Zermelo’s set theory by Fraenkel, Skolem, Hilbert and von Neumann, a young mathematician by the name of Kurt Gödel in 1930 published a paper which would effectively end von Neumann’s efforts in formalist set theory, and indeed Hilbert’s formalist program altogether, his theorem of incompleteness. von Neumann happened to be in the audience when Gödel first presented it [1]

[1] https://medium.com/cantors-paradise/the-unparalleled-genius-...
Ah? That's good to know!

How to set this up on a domain which is not connected to Internet? How is the check done?
I haven't read it in detail, and I don't know how difficult it is, but there's a free book on how to (among other things) automate Office applications with Python:

https://automatetheboringstuff.com/

Chapter 12-14 look relevant to you (Excel, Word, and CSV).
There's no way Boeing will be going "under" just because 1 model of their planes is impacted

737 MAX is impacted but there's still 737 NG which doesn't have these issues

And then there's 747, 767, 777, 787 which are still under production

This is just the commercial plane side of the business, there's the huge defence side as well

Finally, Boeing has been playing this game a long time, very well connected in gov and congress, and its business impact many states and employees. Boeing is basically too big (and too well connected) to fail; even in the worst possible case, they'll probably get a bailout.
I am not satirical. Maybe the troll is a nazi but honestly, no one can for sure know.

The hitler pepe meme is a meme making fun of the fact that many media outlets are happily using the term nazi against everyone they dislike.

It's pretty obvious that the account is a troll account and that they are a big parody of the outrage culture by using the exact same outrage but with a twist.

By even acknowledging any of these outrage trolls they show that they are no better and is in the sandbox with them. This is the level of Buzzfeed, they belong with the trolls throwing sand at each other.
It’s discarded today. Natural gas itself is a byproduct of drilling for oil, and there are places where, due to a lack of convenient pipelines for transporting it, huge quantities of natural gas are just burned as waste.

Edit: citation. It’s called “flaring”. https://en.wikipedia.org/wiki/Gas_flare#Impacts_of_waste_fla...
From what I remember of a visit to one of the sites working on the Ariane 5 rockets, those are transported by waterways
Show HN: Before I was a Software Engineering I was a 3D Artist
If that was my server I would of course put a joke in /etc/shadow - did you try to brute force the hashes? It would not be a great surprise to find some obvious funny content if you try?
Because the core proposition value of make is the dependency graph and incremental rebuild, which then trivially allows for parallelisation with -j<n>, and doing that with shell scripts is basically reimplementing that part of make, only badly.

Instead of pushing for makefiles to become shell scripts for the part you mention, I usually implement such things as support scripts (in shell, python, whatever) - who often come in useful on their own - and call those from make targets. IOW using the best tool for each job, with make as the orchestrator.
I am really curious about how this would happen.

I have been working with Makefile’s, with a team, for close to ten years and have never encountered anyone accidentally using spaces. I guess someone editing it via GitHubs web ui or something.
> if all natural gas use was made obsolete by nuclear or some magic renewable...

Helium is a by-product of nuclear fusion. Magic indeed!
I think providing only the used sources is enough and the journalist should do all what is reasonable possible to find the original source of a news, so avoid speaking about something they read/heard from X and X said he read/seen from Y and Y from Z , the journalist should try to find the original source(if possible). For things that should remain anonymous they should describe how credible is the source and content.
I am not saying it necessarily applies to this case, but France, like all countries in the EU, does not have actual freedom of speech.
Branching increases because a piece is not constrained by other pieces. A (say) 20% branch increase will increase exponentially through the tree. Branching is probably higher earlier in the game now because there are more otherwise blocking pieces in play.

> Gaining positional advantage at cost of anything other than pawn is probably not worth it

This kind of post makes me want to give up on HN. I have actually played it (albeit a very long time ago) and you are wrong. Please try it.

But even if true, and only a pawn dies, it drastically changes the nature of the game as a white pawn is a barrier to white pieces. Make that barrier permeable and the entire game changes.

> Taking your own pieces would be sub-optimal choice in every-case other then avoiding mate

Or inflicting mate, if you're blocked from that by your own piece. Or opening an attack that otherwise blocked. Or freeing pieces otherwise useless (bishops seem to get this badly, though maybe it's just me - I was never a great player). Any major piece otherwise trapped can now escape by taking any lesser piece of its own that's fenced it in.

It totally changes the game. Position is just as important as pieces, and maybe more at different times.
So: e is the basis giving rise to a group homomorphism between (R,+) and the unit circumference. That is: e is inherently trigonometric. Not irrelevant.
IIRC, marching cubes also has a patent on it so many applications generating meshes from isosurfaces use slight derivations of marching cubes that generally speaking, accomplish the same goal. I don't know if this is still true (patented part).

Edit: the patent has expired and is in the public domain. Alternatives were used for many years though.
Learned some good tricks here. There's one that I use but did not find in the article. This one:

# Borrowed from https://marmelab.com/blog/2016/02/29/auto-documented-makefile.html
.PHONY: help
help: ## Display this help section
@awk 'BEGIN {FS = ":.*?## "} /^[a-zA-Z0-9_-]+:.*?## / {printf "\033[36m%-38s\033[0m %s\n", $$1, $$2}' $(MAKEFILE_LIST)
.DEFAULT_GOAL := help

.PHONY: load-terraform-output
load-terraform-output: ## Request the output JSON from Terraform
some commands
some more

It makes Makefiles a little more self documenting.

Now I issue a `make` (or `make help`) to get a listing of the documented tasks. Very helpful.
Functional Programming Study Plan
> Total non-optimisation.

Lots of non-thought too. Sending e-mail directly from the place where web requests are processed isn't very smart. What if the SMTP subsystem is currently down or very slow? How many e-mails will you send if an attacker starts 1000 parallel web requests for a password reset?

A saner way to do these things is to just set a flag ("password reset requested") in the user database there and do the actual work asynchronously in a regularly performed maintenance task. It'll also prevent all these attacks based on misuse of user input by default (unless, in this case, you pointlessly decide to update the user's e-mail in the user database to what the hacker specified).
Free as in 'Do as You're Told': Evaluating the Thinking of Richard M. Stallman
To add to your point, a lot of insurers only provide cyber insurance with a certificate from a specific range of CAs, and LetsEncrypt is not one of them. Frustratingly, Symantec is allowed.
There were books using this differently where it would skip to the end to get a paycheck out of it. Thats probably why. Not cause of a CYOA. I think it was posted about here on HN. This is an interesting comment though. I hadnt thought of ever seeing a CYOA book in digital form but I guess it makes total sense.

Here's a prior discussion on another technique that's somewhat related called "stuffing":

https://news.ycombinator.com/item?id=17315249

I swear there was some weird one where you opened a book, and skipped to the end and it counted as reading 300 pages.

Another discussion:

https://news.ycombinator.com/item?id=11520212
Service workers are a poor replacement for the shared HTTP cache, since the cache will not be shared among users.
I just stumbled upon this old portfólio of mine and decide it to share with you good folks.

I still love computer graphics but know I know a fair amount of how they work. I hope in the future combine this two passions of mine.
It's pretty much all farms in the US, since most farms in the US are hard corn or soy farms. It's large and small. Bank owned and family owned. Everyone buys their seed every year. It's not some conspiracy, it's just better business for the farmer.
It is better to consult a nutritionist. He advises books, and how to introduce a diet.
You could go one further and just say, "yes, Americans eat birds on special days."
Because frankly, I neither trust letsencrypt nor the certificate authority system in general. This might prevent eavesdropping in your coffee shop wifi, but won't help against industrial spionage powered by three-letter-agencies who probably control some of these authorities.
> This is something that is ostensibly already in a typical article.

It really isn't though. Most sources are not mentioned in a typical article. Prominent interviewees are mentioned by name, but more often then not information comes from a quick Google search, someone not established enough to be mentioned (eg you would mention a professor, but not a young research assistant/secretary), or even Reddit.

Not to mention that a large amount of articles contains no original research at all. Often it's a press release, a rewrite of a press agency release, or just a copy/paste and rewrite of some other website.
Definitions and case law surrounding 200 year old text aren't immediately intuitive from the layman's reading.
Man fuck the government. I ain't free until I can purchase a fully automatic AK with grenade launcher attachment and the finest kush this side of the Rocky's at Walmart.
Lots of programmers don't want to automate their jobs because they have to be present at work, and their work pays too damn well to quit. There 's also the possibility of building an automatic SaaS or other kind of service and be financially independent, which they might be missing out (or opting out of, considering that it doesn't pay as well, especially in the current year).

I agree with the article that automating your job is completely ethical. What's unethical is wasting people's time keeping them at work after they have delivered the value they 're hired for.
I think you mean freedom of the press? Libel is still illegal.

Frankly, the problem with the press in the US is that it's lost all credibility and is mostly filled with activist instead of journalists.
I see the error of my ways now.
I believe the goal of chip based system is to get rid of "your username is your password" problem of credit cards in the long run.

Is the world ready to remove the magnetic stripe and numbers on the card? Only expose them through your online bank and keep them separate from the card. Then only some online payments will be vulnerable - like hotel bookings.

For example Revolut cards still have the stripe, but the card details are hard to read, almost invisible for the eye unless under proper light
The beluga (both the previous version and the XL one) are both derived from other Airbus planes (A300 & A330)
That's not true. At least not for the common definitions of "freedom of speech".
Thanks, will follow up.
Except that when discussing transcendentals (full-blooded reals such as e and π) integers such as –1 have measure zero and are therefore ruled out as freak coincidences.
It's not easy but iirc you can do it with a DNS-01 challenge, if your internal domain name is valid (doesn't have to resolve to anything though).
> > the price of helium does not reflect its value

> doesn't make sense

Indeed. Unless there are externalities, a free market by definition brings a price into line with the current value of a good.
This story is so odd to me.

On the one hand, if true, all Bloomberg had to do was produce evidence; a single compromised server. They didn't. On the other hand, if the journalists fabricated the entire story, saying that all these big companies were hacked, why didn't anybody sue them? It was a major accusation! It just kinda...disappeared.
The issue I see with rust is that they (partially) repeated the mistake older operating systems made: they assumed that the Unicode of that time will be Unicode forever.

While UTF8 is just an encoding, a Rust UTF8 "String" is actually a UTF8-encoded Unicode 11.0 string. Or version 12.0, possibly 12.1. Maybe 13 soon! Who knows. A moving target, certainly.

If you're "agile", you can just recompile and you will be fine, the next Rust version will surely support any changes in the Unicode standard.

But once a Rust program or crate is no longer actively maintained, many small assumptions will be baked into its Unicode handling at a much lower level than, say, the typical Windows C++ program that uses the OS-provided dynamic libraries for string processing.

Who knows, maybe the consortium will never introduce breaking changes, but I suspect that in a decade or two people will be cursing Rusts too-strong integration with the Unicode of the 2010s...
UAVs
It works over DNS. There is a lot written about it on the net, I don't have any specific recommended article.
what kind of cheese was it? And how is it kept for all this years?
When company fires such an employee who is innovating and cutting costs, it's like killing golden goose. I am not sure why any employer would think of loosing such valuable asset when in fact they can get more automation done from him.
But do you have to give the automation tool to the company? My impression is that the automation tool is not part of the job.
China’s Technological Domination over the World Is Inevitable
That doesn't have it reduce the energy, it's just shifting between them I think. So total energy use seems to remain the same, you're just changing where people get it.
There are blasphemy laws for instance. Right to be forgotten. Etc.
This feels a bit like saying, I'm not going to use a traditional wood beam and shingled roof for my house, because it won't help against a meteor.
If you're calling from the EU, this gets stuck in an endless loop of GDPR consent redirects.
You can do this with the chip card as well, also you can still tip.
Winning is not about body counts; it's about reaching your strategic objectives.
Personally I don't see why we cannot get all three.
THX is just for sound, right? Why not buy a cheaper TV and a separate certified speaker set?
So, if helium is light enough to escape Earth's gravity, why don't we use helium balloons to go to space? I mean, these guys [0] are trying to take a rocket to the edge of space using a helium balloon, but there's still a good old-fashioned rocket involved.

[0] https://www.bbc.com/news/uk-wales-49827415
Here's what code looks like when it was written by a non programmer:

https://victorribeiro.com/universe/ (old demo I made long time ago, before start going to college for my SE degree)
Curios, why post this?
I suppose it depends on what type of grandma you have :)

Maybe with training, your grandma could enjoy plinking targets and also be safer in her home?

There are grandmas that love hunting and spending time at the range.

It'd be nice to live in a world where nobody ever commits acts of violence. Unfortunately, we banned violence long ago, and it seems that criminals are still doing it anyway. The next best thing we can do is be prepared.
This is mainly because of poorly designed sites - including sites with TONS of js ads that obfuscate the text.
For one practical example, Gödel's incompleteness is directly related to decidability problems in CS. there's this glorious liar paradox machine discussed by Computerphile [0].

[0] https://www.youtube.com/watch?v=macM_MtS_w4
I can give an example.

Recently I was working on a project with multiple Makefiles, ie Makefile.{win,nix}. My Emacs config did not load makefile-mode due to the suffixes. As spaces are my default, I got spaces on TAB, iirc even after turning on makefile-mode.
The Tantalizing Promise of Blue Energy
I think it's fine.

In the first occurrence, $(sourceCodeSnippet) is replaced in the code, and later evaluated (and the result of this evaluation will be passed to the const result).

In the second occurrence, it is replaced inside a string, so it doesn't get evaluated, but the source code is just treated as a string (and displayed in the error message).

Note that the macro nullthrows is just generating some code depending of sourceCodeSnippet, and this code will be evaluated later.
Wondering why you would use that over e.g. Notion? Looks like a mix of notion and tiddlywiki (?), but also really stripped down. Also: can you export the entire Roam notes database into text files? (i.e. do you actually own your data?)
This seems like it would take a lot of effort to mildly annoy someone.

And the only way it can be automated is if the service doesn't protect itself against automated user sign-ups, which they will either start doing once someone really takes advantage of it, or will result in their domain being categorised as spam once they start sending lots of sign-up emails (either by the user or gmail in general).
Do you have a reason to assume that Stadia will be around for a long while?
We don't know what a new discovery will be good for until after we make it.

If you are curious, then the point of figuring out how something works is to satisfy your curiosity.

If you're not curious, then there is no point to it.

On the other hand, curious people poking at things sometimes make discoveries that turn out to be useful. For that reason, even the incurious have learned to tolerate and even encourage the investigations of the curious, even though they often seem pointless.
Buildings and Industry is the heading, which covers a lot more than just housing.
MWI may remain fashionable forever in some subset of parallel future universes.
The long term solution is using excess energy from renewables to incinerate, capture, and separate elemental components.

There is never going to be a way to make transistors repairable or separable.
I now how to do the check over DNS when the name is known outside - the problem is that I have my own internal domain not visible on Internet
> Because the core proposition value of make is the dependency graph, which then trivially allows for parallelisation with -j<n>

My core argument is that this rarely matters, and in the cases it does, it is often the case that the project's needs surpass what make provides anyway. Or they're using a very special version of make with very special supporting infrastructure, like bsd.mk.

I'm compiling some 100k lines of legacy C (for a custom operating system) plus compat shims that make the thing run on Linux and my very very trivial build script (plain posix compatible shell) takes less than 5 seconds to run in debug mode. Optimized release builds are a bit slower, but this hardly matters in day to day development. It would be trivial to add some parallelism with xargs.

Fwiw I can compile the same thing with CMake, and it's faster only sometimes. It often happens that a header changes and everything needs to be built anyway. And it often happens that the parallelism bites me back when one file gives an error which scrolls out of sight as a dozen other files are still being compiled in parallel.

I've wasted far more time fighting subtly broken makefiles (that don't pick up some dependencies and thus fail to recompile the things that need to be recompiled), and build systems with fancy declarative languages that don't present an obvious way to do what you do in one line of shell when you don't need to worry about a dependency graph.
I got stuck looking for some perf figures too. I realise they are going to vary widely by hardware, batch size, message size etc, but it would be really useful to have a comparison against, for example, a single RabbitMQ instance.
I wonder whether Project Loom will create a split in the Kotlin ecosystem between coroutine-based concurrency and Loom lightweight thread-based concurrency.

Java will have a similar problem with CompletableFuture and third-party projects like Reactor used in Spring WebFlux.

However, Kotlin baking in language syntax for a competing concurrency model will exacerbate the split.

With Java already having type inference, concise lambdas, and with upcoming records that can already be faked in current versions via Lombok, the value proposition of Kotlin seems questionable outside of Android with its held-back version of Java.

Clojure is another story entirely, offering a very different and compelling way of thinking about computing on the JVM. By contrast, my developing view is that Kotlin is different enough to require learning something new yet not different enough from modern vanilla java to offer substantial advantages.
>It should increase the branching factor considerably

Is branching factor actually that relevant? Just from writing some naive AIs for fun I got the impression that the only thing that actually mattered is how well you can evaluate a position without branching further. Whether you have 40 or 100 (or 1000) moves available, you usually just want to only look at "the best" 10-15 (ideally even less if you can), and how reliable this determining of "the best" is seems like a way larger factor than just how many branches there are in theory.
Which means that freedom of speech is (in some cases) limited because of the religious freedom of others. It doesn't mean that freedom of speech doesn't exist, it means that the "balancing exercise" between certain Rights is performed differently.

Edit: There is no state in the world where there exists some sort of "absolute freedom of speech".
Does the fact that ARM is a bad choice disproves all other choices other than WASM? I'm not sure this is a good argument here. Lower-level bytecodes are more flourishing than just ARM.
It's the problem being discussed in the article and this thread.
So because you think it’s not a good enough defense against three-letter agencies, you’ll let everyone else continue to eavesdrop too? Controlling a CA isn’t even enough to strip confidentiality, there needs to be an active (private keys!) and ideally public (certificate transparency, CAA) attack on top of that that entities who can pull it off definitely won’t want to waste.
The problem is that I also have domains which are completely internal, not known/resolvable outside
The true size of Africa's e-commerce market