skysight-inc/HackerNews huggingface dataset:
In that plane analogy, assuming the plane's design load capacity requires all 4 engines to be fully functioning, a fully loaded plane suffering a failure of 1 out of 4 engines is dealing with a "degradation scenario".

It will have to jettison some amount of load (proportional to loss of one engine) to save the rest of the load or it risks losing the entire plane.

This is a fault-tolerant system with degradation possibilities.

If this degradation possibility isn't acceptable, then the plane's design load has to be reduced. Plane will carry only so much load that can be safely flown with minimum surviving engines (say, 3 out of 4, or 2 out of 4 or even 1 out of 4).

When the plane is operating in this configuration with redundant online engines, there are interesting challenges w.r.t efficiency of the engines. These 4 engines will now have to be at their best efficiency when loaded only 2/3 or 1/2 or 1/4 of their load capacity. Because that is expected to be their normal operating condition. And they should be able to operate under higher load condition (which may not be efficient, and stressful) for a sustained duration that is desired for the plane to land safely.

Obviously, the plane that has to operate with spare engine capacity is more expensive. It is worth deploying such a solution only if the cargo being carried is more expensive even when adjusted by the probability of occurrence of this scenario.

These exact same trade-off scenarios exist for design of distributed software systems that have to tolerate machine component failures.
Presumably any moons that did not end up in a nice stable resonant orbit would have had a higher chance of being ejected or colliding with something.
Yes this is certainly a solid counterargument, but if you decompose it into its aspects I think someone could make contrary points:

1. I would always advocate for testing full-stack with the datastore in the loop. E.g. an actual API request from a test runner all the way down into a test instance of Postgres. Isolating your testing to specific layers is clever, but I find 99% of my errors come from forgetting to adjust SQL queries after migrations were performed, or other things that are not going to get caught in the BL layer. If you did your BL correctly using the latest C# 8.0 primitives, you get a lot of compile-time guarantees of correctness (e.g. null enforcement throughout), so the value of unit testing these layers is diminished from my perspective.

2. The value of architectural abstractions changes over time. I would certainly advocate for a temporary IRepository injected into a service implementation if it makes the initial 100 iterations of the code faster by way of using a LINQ-to-objects shim in place of Postgres. But, once this code has been running stable in production for months without concern, perhaps its time to take out these abstractions so that the people responsible for maintaining the code on a daily basis have less complexity to deal with.
ProList: Earn money by giving ideas to founders
This implies it's OK for Microsoft to have the data in the first place. I don't trust them any more than Google.
Differential forms, de Rham cohomology...
At least it lets you get into a safe place and position. Perhaps you can even get someone to watch over and be ready to call 911 if it comes to that.

Edit: Perhaps this hints at some medication that is not currently viable but could be administered if the seisure was predicted: "Notably, seizures are controllable with medication in up to 70 percent of these patients."
> If an article whose message is basically "Toxic particles are everywhere, unavoidable, pragmatically undetectable, and they're killing you" isn't fear mongering, then I don't know what is.

This particular article is definitely on the sensationalist side, but... no, that's taking it too far. These particles certainly aren't "undetectable", that of course is what the research was about to begin with. They're simply uncounted by current standard metrics. So... we could change the metrics, right?

Likewise, they're only "unavoidable" in the strictest sense of being impossible to fully eliminate. But we know (or have good hypotheses about) the processes that create them and some techniques for mitigation. Maybe we could try those, and if they're a net benefit then maybe sensationalist journalism that motivates it is a social good.

I'm all for citing good science instead of BBC review articles, but let's not throw the baby out too. The science is real, and needs to be discussed. Even by the BBC.
APIs aren't a type of contract in the legal sense.
The biggest pain point I have is the lack of nil-able vars. Maybe it doesn’t make sense in term of type systems, maybe it is that way for reasons of reliability - but in practice it’s a pain to work with JSON APIs or NULLable fields in DMBS’ if you come from a language where these things just work.
Microsoft Confirms Departure of Cortana from Android, iOS and Microsoft Launcher
The problem is that the data obtained via a third party, without a warrant, is admissible in court. And IANALE, but HIPAA has exclusions and exemptions for law enforcement.
> What actually matters is spending

Exactly right.

MV = PT

Where M is the monetary base, V is the velocity of money, P is the price level, and T is the real value of transactions.

Central banks would love it if they could precisely control inflation by creating and destroying money.

What actually happened with QE is that M increased and V decreased in almost the identical magnitude, leaving P and T virtually unchanged.

Central banks have very little influence over the real economy, aside from short-term changes in interest rates.
What data-analysis package do you prefer over pandas? I've used pandas since circa 2015, and lately have been trying to become fluent in R and the Tidyverse, but it's been hard so far to unlearn the deeply ingrained python/pandas patterns.
Holy moly! It helps me so much. Thanks for making this. I love the darkmode & just got the pro account. So many good features
Velvet Revolution: Prague's Ghosts of Communism
I’m a developer but have built a side gig renovating 100 year old homes. My partners in the effort are a carpenter who can do pretty much anything and a former machinist who can take anything apart and put it back together (whether that’s a motor or a house). He recently completed a vr6 engine swap on a gen-ii golf. What the article mentions about the parallels with the auto body shop and agile are true. We don’t intentionally run it this way it just organically works like this. Over two years of doing this we’ve had numerous conversations about how the mind of a carpenter or fabricator is very much like the mind of a developer. You have to visualize the problem, evaluate multiple approaches and then ultimately work uninterrupted to create the solution.
I’ll have to check that out, thank you for mentioning it.

Is `-k` very recent?
It can only detect noisy compromises of the phone. So it can detect the public jailbreaks but it won't detect state level malware. https://able.bio/elizabethwind11/testing-iverify--12unx2t
I really like this syntax. I wonder if it has ever been proposed for Rust? It should be compatible with the existing semantics and could be phased in and then made mandatory in a new "edition".
Design systems that UI designers come up with can be baked into the utility css stylesheet in advance, before devs or other designers access it through html. Kinda like a living style guide, but in code. That's really the point, the css stylesheet is basically an intermediary step and single source of truth for the styles in the design. Then when stuff is being built devs don't have to think about styling, only layout and applying the correct values that are predefined in the css.

That said, if you're on your own, have your own boilerplate and design skills that you can apply in real time and know css/html, you might be better off with regular css.
The main general threat posed by nanoparticles, at least as described in the article, is inflammation. Exercise has an anti-inflammatory effect.

I don't understand why you think the content of the article being upsetting makes it fear-mongering. Sometimes it's appropriate to be worried about things! It's not as if the article is telling you to buy some miracle cure or make massive changes to your lifestyle.
As a business, you must invest in chatbot technology, so that you don't have to see your customers departing to competition. Check out http://s.engati.com/142 and see how you can have an edge over others
In find this resource one of the best: https://jeremykun.com/2013/04/03/homology-theory-a-primer/
Those were patent licenses, not copyright.
What strikes me the most is the amount of support he received and the people he was able to meet when he was a child. I don't want to dismiss his talent, but this level of support is NOT available to 99%+ of population. His parents have done a wonderful job.

To recall my days as an undergraduate at a well-known UK university studying mathematics - large classes (300+) where everyone is disposable, nothing to do but sleep on the table when you work through the problems quickly at a workshop, no interesting projects or opportunities to latch on to develop yourself, nothing to do for days but party, waste talent and occasionally read a math book to catch up. Essentially you are hammered to be average until maybe you enter a PhD course. At that point it is too late.
> never heard of anyone who actually uses mnesia for real

I didn't till I had to become one of them this year. Mnesia is real, it's prime time, but not in place of something like Oracle.

> comparing an oil rig driller to a fisher price screwdriver.

Better analogy would be Comparing SQL Server to Redis. Mnesia is, at it's heart, a(n optionally) Transactional K-V lookup that can be run distributed. It's use case it works VERY well, but I wouldn't consider it a substitute for Relational storage.
So you’d take joy in making your coworkers’ lives hell instead?

I understand the kind of joy-of-expression that lives in things like https://poignant.guide/dwemthy/, but if you attempt to put that in a production codebase, I’m not gonna be at-all positive in code review.
Or one for terrible advertisements...
> It's also true that if the pilots had followed the runaway trim procedure

The aircraft did not act how the manuals define runaway trim condition. MCAS was intermittent, runaway trim is constant. Checklist: https://i.imgur.com/K7El4K4.jpg

Nevertheless, the preliminary report says that crew identified the issue and followed the runaway trim procedure, but it still left them struggling to maintain control. Report: https://flightsafety.org/wp-content/uploads/2019/04/Prelimin...
I've wrote an extensive piece (p1: http://minid.net/2019/04/07/the-css-utilitarian-methodology/) about this too called "In Defense of Functional CSS" (p2: http://minid.net/2019/08/12/in-defense-of-functional-css/) I give all the arguments I think are valuable for this discussion.
I very much like that people like Tao are famous. It’s relatively good for the intellectual spirit and hopefully it inspires others.

However this fixation with his “extraordinary capacity”, scores, medals and accolades; I wish we could skip it.

Let’s talk about the awesome work and why it’s awesome. Let’s play through some of it: I’m relatively sure most people know nothing more about Tao than “he’s a genius”. What’s the point of that?

I think we’d be better off if we took the time to understand great work and let our appreciation of great people live through that.
Want to make your own Golang apps run in a browser? Here’s what we learned ...

We had a lot of fun—and learned a lot—from our little adventure at TiDB Hackathon 2019. If you want to make your own Golang applications run in a browser, here are some suggestions:

As [WebAssembly Weekly - Issue #100](https://wasmweekly.news/issue-100/) mentioned, "WebAssembly support for Go applications is very much in its infancy.” For example, Golang hasn't fully supported WASI, and goleveldb doesn’t support Wasm/js. Be discreet before you go too deep, and clearly understand the use cases for your application.

Make sure your application doesn't have third-party platform-specific dependencies that can’t be compiled to Wasm.

Browsers don’t allow port listening and file operations, so you’ll have to work around those limitations.
The Runcible Spoon

I'm an IU grad myself and 100% agree it's still one of my favorite breakfast spots; I'll be down there for the holidays and it's definitely on the list.
Quickly skimming the CWL User Guide, calling that a “language” is a huge stretch. Looks like writing a bunch of YAML config files which let you write more YAML files to construct a UNIX pipeline and run it.

In which case, why didn’t you just use bash?

Yeah, I know bash stinks. But this is not my fist rodeo* so I’m struggling here to see how CWL stinks less. See again: Inner-Platform Effect, Greenspun’s Tenth Rule.

--

* i.e. I already know how easily “workflow engines” go up their own arse because I’ve done it myself. And CWL fails the same sniff test. Not a good start.
I would second the parent. DRY was a false God. I would say RCL: reduce cognitive load.

Obviously if there is a manageable way to reduce repetition, take it, but I would not add a lot of complexity for the sake of brevity. That's turning your dev team into a data compression algorithm made of meat.
Yeah, that's unfortunate. But I wouldn't expect a free account to be recoverable. You need to have put something on file, whether government ID or billing info, in order for anyone to verify whether someone who claims to be you is actually you. Americans are weirdly averse to using government IDs, so billing info is really the only option.
I don't think so. I have worked on problems where most of the team had their head in the clouds, dreaming up wild solutions, and then we end up going with a team member's solution who suggests something very easy, requiring almost no technical skill, that should have been obvious, but all of us missed.

Practical is good. What will actually kill your creativity is self-doubt. Stop doubting yourself and be happy with the way you are.
As an example American nuclear control room crews are given 20 hours of simulator training with an exam every six weeks. Fail and they are taken off shift for extra training and given another exam. How often are airline pilots given emergency procedure simulator training?
Which still was not enough, as the crash showed. The simple fact that neither the FAA nor EASA have yet cleared the 737 MAX for flight is a pretty good indicator that it was, indeed, the planes fault. I think the "human error" argument phase should be over by now.
"Code as art" implies a strictly different set of criteria than the ones I listed. If the Venn diagrams overlap a lot for you, that's great, but it's rare.
I don't believe jerks should lose in court because they're jerks, but I am happier to see jerks lose.
I’m curious, has anyone here had an actual need for genetics in production code? I mean, like you actually have an uncountable or at least large number of types that you want to push through a generic mechanism?

I use “generics” in TypeScript but it’s always a very small number of types: usually two, maybe up to 10...

There’s no reason I couldn’t do that without generics, just by writing a couple line plugin for each type that converts it to a common representation.

I’m not convinced that’s even strictly worse than generics from a usability perspective.
It's not a bad analogy because the point (it's not yours) doesn't depend on the idea of whether the data changes or not. Regardless of if the data evolves or not, it's still not yours to control (to a complete extent).
> "If an article whose message is basically "Toxic particles are everywhere, unavoidable"

The article suggests that you can reduce exposure by avoiding the busiest roadways. Even stepping a few feet away from the roadway reduced the nanoparticle counts.

> "Someone correct me if I'm wrong, but you can't "offset" pollution with exercise."

Exercise increases your chances of living a long life and remaining healthy. Being exposed to pollution works against those chances, but you're still much better off exercising than not.
Doing the things I said well makes you an irreplaceable member of a team, worth your weight in gold.

Save art for the canvas, for your weekends, for your loved ones. Bring a professional self to your job.
Before this thread gets too deep, can I just invite everyone over tonight and we're re-watch GATTACA?

https://en.wikipedia.org/wiki/Gattaca
The "linage" implies that they aren't aware of it, or at least they weren't when designing the language. Rob Pike is more of a systems guy than a type theorist.

Like most systems guys, they know of how C handles types and how C++ handles types. The concept of Parametric Polymorphism or sum types outside of OOP is most likely something Rob Pike was not familiar with as it's hard to see why sum types were not included in the language.

Having IO functions return a tuple of error and value rather then an Option type is not simplicity it's complexity arising from lack of a type primitive. The feature is ugly and very much looks like it was implemented by someone who wasn't aware of a type that can be a Value OR an Error. So instead he implemented a type that can be an Error AND a Value and left it to manual run time checks for the programmer to figure out if an error even occurred.

The other thing is that this "tuple" type of error AND value looks like a hack. Tuple types can't be saved to a variable in GO and can only be returned by functions and immediately unrolled into its separate primitive values. It's like Rob knew something was off in this area so he created a temporary concept of a tuple in the return value of a function to make up for it. A consistently designed language wouldn't have a Tuple only returnable by a function call. It seems strange and inconsistent.

Additionally, the fact that, in GO, some types can have Nils and other types default to a zero value implies that Rob Knew nulls were bad but didn't know how to completely get rid of the null.

I'm thinking that Robs initial notions of sum types and parametric polymorphism is that they can only be implemented via hierarchies of inheritance which in itself has many problems. It makes sense because this is what systems programmers are exposed to (C, C++) as opposed to typed lambda calculus or Haskell. So it's easy to see that Go is the result of Robs awareness of problems with OOP but lack of awareness of the theoretical alternative.
Not necessarily, insofar as “Go where you always use the (result T, err error) return type” is a dialect of Go rather than Go itself.

You could give this dialect a name and then maybe the compiler could enforce rules on projects that declare that they’re using that dialect (like C compilers do with dialects like “c19” vs “gnu99”), but it’s not strictly necessary; you can also just create “dialect tooling” that wraps the language’s tooling and adheres to those rules (like Elixir’s compiler wraps Erlang’s compiler.)

And a CI shell-script, or git pre-commit hook, that runs a linter before/after running the compiler, is an example of just such “wrapped tooling.”
It has, but hasn’t gained much traction.

There is already a “let” to show you that a variable is being created, adding more verbosity to a feature that, in some sense, is about removing verbosity kinda misses the point, in my opinion.

That said, never say never, but if I was a betting kind of person, I’d bet against it ever being accepted.
FWIW this was common in British universities in the early 2000s -- the intro CS courses would be taught in a functional language like SML or OCaml. I think the professors liked that you don't end up with this situation where half the class already learned C and is bored, and half didn't and are going to need to spend a few months understanding what a pointer is. Everyone's equally unfamiliar with SML.

I think they've all switched to Python or Java now, though.
An Attempt to Recreate the Blender 2.8 ToolBox in Qt5
"The awards and honors have only multiplied...."

I see what they did there.
The thing that you are missing is that they said it flew EXACTLY like all other 737s. The same thousands of 737s that have been flown around the world for years. The fact that you are saying they didn't follow the "proper runway trim procedures" doesn't hold water. Not following the trim procedures caused ZERO crashes in the last (what?) million 737 flights!!! Whether that was the proper procedure is completely irrelevant. The pilots were given 30 minutes on an iPad and sent on their way being told they needed to do nothing different. Two crashes in (what?) a few hundred flights is the result of pure greed. Lots of people should be in jail.
It's a 14-person training set with an 8-person test set, so my guess is that it can pretty accurately predict seizures in the small group of people it is trained on. Whether the model could be kernelized for a useful general deployment is unclear. It still requires many electrodes attached to the scalp, so there is a still a ways to go before it can be integrated into a watch, for example.
I think we need a DNA GDPR. The notion that your unique genetic makeup and data derived from your DNA is yours to do with what you will that you can revoke at any time.
IMHO the price will only be low while people are selling. You dont want to wait for that downward pressure to stop. You never know how fast it will bounce back.
Maybe because learntherisk.org is part of the Robert F. Kennedy Jr spin machine?

https://www.scientificamerican.com/article/how-robert-f-kenn...
And equally importantly, other planes don't crash nearly as much. Boeing managed to make a new plane that's much more deadly than existing planes on the market. It doesn't even matter so much why it's more deadly, just that it is. Placing blame on pilots misses the point, when those same pilots would not have crashed in those same conditions in a different plane.
They did. Just that the training manuals were inadequate. Part of Boeing trying to grandfather the MAX as a normal 737. Issuing comprehensive training plans would have gone against that claim. Os they didn't. And pilots flew a plane they had every reason to believe to behave like any other 737 out there. But which didn't.
I do not know the original poster and can not speak for them in any way. However I think it's under appreciated how much we resist changes to the way we live, such as living in ways that require less driving. Anything that threatens the "right" to drive, even by letting other people drive less, is met with a huge amount of resistance in my experience, an amount that I have not been able to understand in any other way.
As a tax-paying citizen, I feel like this should be required - even if only some of that info.
It assumes you need a bunch of subcommands, except I only need a good old single command with options, a la curl. The help subcommand in particular is mandatory.