skysight-inc/HackerNews huggingface dataset:
> I assume that you would agree that the control system specification is the ethical responsibility of the control system design engineers.

It is the primary responsibility of the control-system, but there is still also a responsibility with everyone who interacts with that spec to speak up if any flaws are noticed.

One of the big things that tight deadlines do is give tunnel vision to the engineers, so "just implement the spec" becomes the goal and the forest can be missed for the trees.

There were probably dozens of engineers that saw the MCAS specification as part of their duties; here's a few possibilities for what happened:

1. Nobody considered the case of improper MCAS engagement under normal flight conditions; this should clearly qualify the system for "Hazardous" classification under DO-178, which would require redundant AOA sensors.

2. Someone considered this case, but didn't speak up (was very junior, or it was way out their specialty).

3. Someone spoke-up, but was told by the person they spoke to disregarded it for the same reasons as #2, so it never made it to the control-system design team.

4. Someone spoke-up, it made it to the control-system design team, and business pressures caused the concern to not be investigated.

#4 would be significant ethical issues for the control-system design engineers, but I think it to be unlikely compared to the others.

#1 can be indirectly caused by time pressure. The certification process is supposed to slow things down, but there is some indication it did not sufficiently do so in this case.

#2 and #3 show ethical lapses outside the control-system design department, and are not just isolated to the individual in question, a safety culture needs to include cultural norms of speaking up about potential problems even when you think you are wrong.
I feel like this is the death of tightly written television. Getting my wife to pay attention to things well enough to pick up clever nuances has proven nearly impossible. Kids these days.
If your locale supports them, then all calendars would contain them. I worked in many EU countries a couple of decades ago and they all had them in their print and work calendars and the software had it as well.

Tooling support is generally required to know what specific dates holidays are on as well, and we manage.
What is it you were saying? Sorry, I wasn't listening, I was glancing at my smartphone.
https://youtu.be/4Z5_uHOONNE?t=120
I suppose “social networks” are the replacement, you’re exchanging getting spammed by random actors you don’t know to a single actor (the social network).
Note that with Rust's cargo, replacing a registry source with a source from github isn't possible without also changing the Cargo.toml. Cargo always consults both .toml and .lock files, and only uses the .lock file to the extent where it's consistent with the .toml. If it notices any inconsistencies, e.g. .lock pointing to github but .toml pointing to crates.io, its behaviour depends on the parameters passed. If you pass --locked or --frozen, it gives an error. If you don't pass any parameters, it tries to fix the issue by itself. It can't use the information from the .lock file to get the precise version, and thus just uses the latest version that's still consistent with the version requirement in the .toml file.

I don't think that cargo's decision to always consult the .toml was actually motivated with security in mind. Instead I think cargo's authors just wanted to avoid the hassle for developers of having to constantly invoke commands to update the .lock file (is this what "convention over configuration" means?). So I think this is an instance where a choice done for better ergonomics actually ended up improving security as well.

Note though that even with current cargo, any PR that claims to do a simple cargo update could very well not be such a PR. It could e.g. include an "update" to a yanked and possibly vulnerable/backdoored version. One malicious upload, even if yanked, could be milked for a long time. See repi's comment in this thread for a solution: https://news.ycombinator.com/item?id=21887445
The adverse effects for interferon were brutal. It has a boxed warning about suicide.

I’ve talked to people who took it and it was like having the flu for months.
Yeah, you would just drive to Laos or Cambodia or take a short flight to one of the nearby island countries for a week.
The actual dataset from the paper: https://voice.mozilla.org/en/datasets
I used to not enjoy it too until I found something I genuinely was good at and was competitive: an indoor rowing studio. I now enthusiastically workout 5 days a week. And rowing is a very efficient use of my time, I burn roughly a calorie per row stroke. A 20 minute rowing session means very little dietary restrictions.

The big thing that worked for me was data. I weighed myself every day no matter what and even if I knew I was going over the calorie count for the day I logged it anyway.

For me that was when this vast mystery of diet was cleared. Once I saw how directly linked they were it became very easy to say no to things and it continues to do so.
Not if they have profit / distributions.
Actually, the cost of HCV drugs is less in the US than in many EU countries due to the aggressive competition.
Some of their regs are pretty antiquated. They can disqualify people for using prescribed ADD meds for example with would actually make one a better pilot.

But the bar for a PPL was surprisingly low to me in many ways and the sport pilot license is shocking.
"Some rich old white men are creepy toward non-Asian women too" is not "red-pill-esque."
Also you get access to democracy and safety.
It's not C, but a new language with similar syntax. Based on reading the docs at [1], the assignment is sugar for generating a new binding for the result of that expression that shadows the previous one.

[1]: http://www.sac-home.org/doku.php?id=about:core
Start lifting weights. There’s nothing more motivating than actually seeing gains. Also it’s fun in general imo.
Sounds great, what about E2E encryption though?
If you eat the same meal every day you'll wind up unenthusiastic about food as well.

The key to effective exercise as a means of weight loss is to find something you really like doing.
Aside from being about a quarter commercials, TV shows often feature quite a bit of filler/padding content. It'd be odd if people didn't pick up on some of it and play with their phone when they have the option.

I always think to this Mitchell and Webb gift shop sketch that parodies the worst of this: https://www.youtube.com/watch?v=7MFtl2XXnUc
Whaaaat? Are you telling me the package manager that installs tens of thousands of files for a simple app is poorly designed? What's poorly designed about each dependency recursively installing its own dependencies even if some of them are shared?
> in recent years I have seen more and more people using phones during content they actively sought out including their favourite tv shows

This. The internet (and thus phones) has matured into a platform for behavioral addiction. Even if we want what's on the main screen, our brains need to interface with the second screen with an alarming degree of regularity.
Python is actually scary fast because anybody that uses it for serious numerical work will use numpy.
This brings up an interesting conversation. As a user which should you pick, a device like Yubikey that is closed source and unverifiable or a device like OnlyKey that is open source and verifiable but without a traditional secure element? Its not a new question as this is essentially like the Trezor vs. Ledger debate. We try to provide information here https://docs.crp.to/security.html that is clear and gives user's the ability to make a choice. There are actual exploitable vulnerabilities that have occurred with "secure elements" while there are potential and theoretical vulnerabilities mentioned in this HN post.
>> when you have the option of staying in a place that is warm year round.

Bugs. There is something to be said for a deep winter when opening a window doesn't mean invading in an Attenborough documentary worth of wildlife into your bedroom.
> When we detect a commercial on the TV

How exactly? Is the app always listening?
The Evolution of Usenet News: The Poor Man's Arpanet
I found the article a little... well, I'm not sure what adjective to use, but a little "off".

>People told me that the first few weeks of exercising would be the hardest, and after that point all the endorphins would kick in (or whatever) and then I would really start to enjoy that.

Yes, it's the most difficult to start a new habit when you start it. It's certainly not a common claim that endorphins "kick in after a few weeks" though.

>It turns out that in actual practice, I don’t exercise to lose weight, I exercise so that I can eat more calories and still lose weight.

I'm the same way, but it has nothing to do with exercise, and it's certainly not "exercise's fault" (personifiying a bit) that I have poor willpower (or very good rationalization).

>It also meant that honestly speaking the real key to losing weight was the calorie counting, not the exercising.

This is not a revelation. Literally every gym, fitness club, personal trainer, pro or amateur athlete, etc... they will all say it's an 80/20 split between diet an exercise. "Abs are made in the kitchen" is a very common phrase amongst bodybuilders/those who want abs/athletes.

>Also key for me was understanding that the exercise and calorie counting was going to be a permanent thing now, and not just something I was going to do until I hit a goal.

I mean... if you diet and exercise and lose 10lbs, then stop dieting and exercising... you will gain the 10lbs back.

>I felt better when I started exercising, and I feel better now than I did a year ago, both physically and mentally. But it’s important to note that exercising and bringing my body closer to something that corresponded to my own internal self-image of myself did not, in fact, solve all my problems.

This is a great point and really the only part of the article with any insight. I think it's very important to realize that going from unfit to fit actually doesn't solve a lot of the problems one may think it does.
If you only pay attention for 10% of the content, GoT is much lossier than baseball. Sparse vs dense would be more sensible terminology.
I heard that advice 10-20 years ago, and I think it made sense then: junk calls were accomplished with autodialers feeding into phone banks with real humans to finish the scam.

With modern VOIP I’d be surprised if anyone compiles lists of possible marks: your outbound traffic can be way more than before, so why not let the computer call everyone and see who bites every time?
Economic power is leveraged into political power. This power is used to maintain the status quo in favor of the currently economically powerful through regulatory capture, patronage, and increasingly outright corruption.

We cannot remain an egalitarian democracy if economic power continues to concentrate as it has, regardless of median living standards.
You'll have to forgive me, but its not like external audits do much for C-corps either. All they achieve are financial check boxes, nothing to do with ethics, morals, benefit to society. Nonprofits by design are not supposed to generate profit, they are for lack of a better term, a co-opted form of wealth redistribution. We shouldn't actually need them. Government or communities should be directly providing their services, but you know, capitalism is a thing, and shitty rich people are a thing.
Yes, this has been my practice as well, except that voicemail is mostly for unknown callers to get a chance to actually get a message to me (just in case). For people I know, if it's important then they need to SMS me to tell me that they're going to call. If they can't text for some reason, then there's always voicemail.
Played the counting levels with my 22 month old who can count to 20. The only thing I would suggest from our experience is the cats “dressed up as ducks” was confusing for her.
Yeah seriously. Imagine being locked up and loud music blasted at you. This isn't science, this is inhumane; imagine doing this to a human.

Some things aren't worth knowing, considering the suffering it would take to learn.
CAD software like AutoCad does not have any good Open Source alternative. As it is mostly used by Civil Engineers, I think when the Civil Engineers will motivated by the Open Source manifesto, they will approach making soemthing good alternative of CAD software!
C Is Not a Low-level Language (2018)
Personally I'd try two things to make the process easier:

1) Fit physical activity into your day to day life. I run to work but there are far less extreme ways to do this. Walk or cycle places, find a hobby that burns some calories etc. Leading a life that involves movement is far more sustainable than trying to start an exercise habit.

2) Try lots of different exercise routines. After a lot of trial and effort I've found running and swimming work best for me, with maybe 5/10 min weights after a swim. I've previously tried cycling, dumbbells, thai boxing and many many body weight/calisthenic/ natural movement type systems. Everyone's different so it's worth trying out a load of things to find which you'll actually enjoy.
This comment is shared around for a couple of years now, but finally sourced it from Splice's Facebook at; https://www.facebook.com/spliceofficial/photos/a.55520699121...
Can't get much colder or wintery than Finland, Denmark, and Norway, but

> For the second year in a row, the world's happiest country is... Finland!

> Finland topped the list of 156 countries, which were ranked in the United Nations Sustainable Development Solutions Network's 2019 World Happiness Report. The report ranks countries on several well-being variables including income, freedom, trust, healthy life expectancy and more.

> Two other Nordic countries came in second and third place, Denmark and Norway, respectively.

From https://www.usatoday.com/story/travel/news/2019/03/20/finlan...

Meanwhile, in the tropics:

> On the other hand, South Sudan ranked the least happy on the list.
I think what squarefoot is looking for is lightweight (tiny?) C apps that have limited abstraction layers. For example, Gtk+, which is pure C, is no longer considered lightweight. It was with Gtk+ 1.2 because GTK was just a small wrapper around X11 in the 1.x days. That is what AzPainter is. AzPainter basically depends on xlib, xft/freetype, and some image libraries (libpng, libjpeg).

Modern C apps with a GUI typically build on GTK but that toolkit has become massive. Modern GTK3 apps are built on top of dbus, pango, atk, cairo. This is not necessarily a bad thing though and libraries like ATK provide accessibility which is important. At the time GTK+ was created the competing toolkit at the time, under Unix, was Motif and it had the nickname "bloatif". Now we've reached a point where GTK3 is much much larger and "bloated" than a 2019 Motif application.

If we include C++ the Qt and WxWidgets toolkits are also massive. FLTK is still a lightweight option though.
Had no idea that the town from the Chumbawamba song was actually a real place: https://www.youtube.com/watch?v=fiChvSOABxI
It's the opposite for me. I can't watch anything but tightly written media. The second I pickup an inconsistent plot point made to fill time or product placement, I zone out.
TFA shows a slide w/ data from Nielson. Apparently 71% of people do.
I have some bad news for you - the administrative state is very much in an adversarial relationship with you if you do anything other than breathe.
I've worked on systems in 3 categories:

1. Safety

2. Non-Safety

3. "Safety"

For #3 I mean it's "we realize that failure has bigger repercussions than a fail-whale, but we can't afford to do any of the ISO processes that have been proven to work." Sometimes I feel like my only job on those sorts of systems is to bang the "Normalization of deviance is not okay" drum in every meeting.

All failures need to go to the PM and get signed off on, otherwise the PM has a false sense of the actual reliability of the system. If the PM wants to get more budget for safety concerns, they should be able to hand a stack of 100s of pages of papers to whomever controls the purse strings and say "These are the failures in the last N days" If all they can say is "some of my engineers have expressed concerns" then 0 change will happen.
> It will explode and kill people eventually

It will? Some of the stuff in this thread is really over the top.
That was my old practice, but spoofing means that not only is that ineffective, you're often blocking real numbers that you might want to be able to reach you.
aside from the lack of anonymity, you are also restricted to 501(c)(3) entities
Back when I was first learning Phoenix, I watched a couple of your videos! The one I can remember is about using edeliver to deploy, which I'm using right now for my little project, Podalong.

Just wanted to thank you for them, it's a solid resource for anyone interested in Elixir/Phoenix. I hope you reach and exceed your goals!
Whoa, I always figured that Rabies would be like a state covered thing, given that generally every case makes a news article. Sorry that happened to you, did you for sure come in contact with Rabies or just suspected?
> It's true that people who only watch one screen will find something else to do during a commercial, but people who habitually use two screens will use both regardless of what's on the TV.

Then they are only using the handheld (or laptop) screen, and they are not watching the TV
Correct. You can pretty much always replace complex numbers with 2x2 matrices.
It's a generalization of the everyday concept in an analogous way to how the reals generalize the integers. Obviously fractals exist in ordinary integer-dimensional space, but the Hausdorff (or fractal) dimension provides additional descriptive mathematical insight.

https://en.m.wikipedia.org/wiki/Hausdorff_dimension
I would, happily, if you could explain me why?
Away from my desk I've been using Bluetooth headphones exclusively for over a decade now, and it does happen just as much with non-Apple phones. It's just some configurations of phone antennas and device antennas are unhappy together when they're both on your body.

My anecdotal evidence is that AirPods have really solid Bluetooth reception with my iPhones.
They never tested this before??
I was being sarcastic, see my other reply for a clearer point.
Another thing is that you should view calories from simple sugars as calorie multipliers in terms of weight loss. Too much sugar causes insulin to stop opening the cell gates for glycogen to be consumed, similar to a lock getting worn out so the key(insulin) stops working. The net effect is no matter what you do you're not going to be able to consume as many calories causing fatigue and glycogen that stays in the bloodstream stores as fat.
If it indicates that the person enjoys writing software enough that they’re spending spare time doing that, then that’s positive.
If people are interested in learning more about fasting, I put together a few visual guides on it here - http://impossiblehq.com/nutrition/intermittent-fasting

I also highly recommend the zero fasting app for tracking. Super simple and really clean app that makes tracking fasts simple.

Start small and see how it goes. I find the 16/8 routine tends to work best for me personally with 36 hour fasts sprinkled in every couple weeks.
You'd have to increase the plan's price (bad) or charge a fee per share (horrible).
>>According to data from Nielsen, the TV metrics company, 88 percent of Americans "use a second digital device while watching TV." Seventy-one percent of Americans "look up content related to content they are watching," while 41 percent of Americans are busy messaging "friends/family about content they are watching."

Has anyone here actually watched Nielsen TV recently? This is the oldschool stuff. Comcast. Not netflix/hulu/Disney. The commercials are INSANE. I stopped watching sitcoms a few years ago when they switched to 21 minute shows. A third of primetime content is now ads. For reruns, thanks to compression tech/editing, ads are on the screen almost half the time. And those ads are ALL for old people. Diabetic testing supplies. Laxatives. Investment consulting. Erectile dysfunction. Medicare part B. Incontinence products. That's what the second screen is for: To distract one's self until the animated colon commercial goes away.
Sky shepherds: the farmers using drones to watch their flocks by flight
I'm curious about what YouTube is like at 270 kbps.

Some basic text sites:

https://text.npr.org/

http://lite.cnn.io/en

Previous Hacker news discussions:
https://news.ycombinator.com/item?id=17787816
I agree that's ideal, but there's plenty of people who won't find any form of exercise enjoyable. Or perhaps will only find some types of exercise (after years, I really only like hiking and biking, which doesn't help much with upper body strength).

The other thing that works is just being motivated. I find I feel like crap if I go for a long time without exercising, so I will.. even if I don't particularly enjoy doing it.
Yeah, rowing rocks. I just finished the Concept 2 100K challenge. I feel seriously good pretty much all the time. My posterior chain is much stronger. My posture is much better. I can eat anything. The correct rowing stroke is difficult to master, more so if you want to row on the water. Time spent with Dark Horse or Training Tall YouTube videos will help quite a bit.

Jumping rope is also very underrated. I’m just starting the CrossRopes challenge.

Weight training is fairly rated. Spinning fairly rated. Ellipticals are overrated.
You tricked me! I thought it was a comedy. Slavoj Žižek is pretty interesting.
It's even worse because, unless someone is stupid enough to send an e-mail saying "hahaha wage-theft, they'll never catch us," bad-actors can hide behind the veil of idiocy. They might have been promoted up from these stores, know that wage-theft is happening, but continue on knowing that they won't face consequences for it later.
> Almost none of the languages mentioned are "formally specified"

They all have written specs. Many of them even have these specs standardized, see ANSI INCITS 226-1994, ISO/IEC 16262 and ISO/IEC 23270:2018.

> most of them are hardly fast either

It’s borderline impossible to be fast compared to C or C++. By that statement I meant 2 things.

(1) They’re likely to be much faster compared to whatever ad-hoc equivalent is doable within reasonable budget. People spent tons of resources improving these runtimes and their JITs, it’s very expensive to do something comparable.

(2) On modern hardware, their performance is now adequate for many practical uses. This is true even for resource-constrained applications like videogames or embedded/mobile software, which were overwhelmingly dominated by C or C++ couple decades ago.