skysight-inc/HackerNews huggingface dataset:
Ahh I didn't think about this. I was thinking more in the lines of Photoshop, where you can have multiple layers and then compress them together when exporting and lose the metadata. But yes, this is definitely sensitive enough to not take any chances.
Is yours built into the dash? How much of a pain is it to update the maps? Mine stays in the suction cup mount on the windshield, but when I update it once a year or so, I can easily bring it into the house and plug it into my computer. It's not linked to my radio at all, so I don't get niceties like lowering the volume, but I don't mind.
Guru Maps is pretty nice, available on iOS and Android.
Even then it doesn't matter if your software is "correct" if you don't understand/have not captured all the requirements.

You could write a formally verified MCAS system in Coq or whatever that still kills people because you didn't consider the case of sensor failure (because that wasn't in the requirements). Or because you didn't consider the case of double sensor failure or a combination of extremely rare hardware failures (that wasn't in the requirements either!).

Your code is mathematically perfect, yes! But it was built with the incorrect assumption that the hardware is perfect as well!

I'll take a robust set of tests written by someone thinking outside of the box in terms of what could fail, how it will be used in operation, etc. over a piece of software "guaranteed unsinkable" because it is formally verified.
I have a hard and fast rule to never use a work computer for anything except work. Also, enforce rationing your use of FB to after 7pm for 15 mins max. You'll find the hours spent wasted can be summarized in a 15 min block. The key for me is hard and unbreakable delimiters.
I disagree. Beowulf is a staple of English literature, and a well-known poem for many.
Ars’ most coveted work-from-home essentials
Yeah, although I’ve tended to do that less and less over the years. I typically play with new languages, tweak my blog engine or do low-level coding for fun.

Of course, this does not include stuff done during regular work hours when I do work from home.
New rule: whenever facebook announces a breach and scale of effect, just square the scale of effect right off the bat. You'll probably still be a little low, but you'll be a lot closer to the number in the second (or third or fourth) press release.
Something like this requires dedicated and deliberate behavior modification to fix.

You've essentially developed a habit. Like others have said, this might be caused by various factors, so look at what's lacking in your life and try to fix that, but afterwards you may need to create a plan in writing to correct the behaviors of the habit that has formed, because otherwise, even if you fix the root cause, the habit might still remain.

As for how? That's a good question that I don't yet have the answer to. I'm working on the first part myself. After I fix my root cause, I think I will fix the habit via a combination of lists and daily resets (i.e. no old tabs on the computer the next day).
Goodness, I am a dunce and miscopied on my phone. Forgive me!

https://www.forbes.com/sites/kalevleetaru/2018/07/20/faceboo...
https://news.ycombinator.com/item?id=19692249
Yes, that kind of instrument (with crypto under the hood) would not be perfect or "pure". However, people use cash or banks, which are perfect neither, and benefit from it. Anyway, we should better try to build it than try to guess how it will be used.
The trouble with formal proofs is that you can only prove that the code does what you say it does, not that it does what it needs to do.

MCAS performed as designed. Only reading one AoA sensor, acting on bad readings, not rejecting values that are clearly out of bounds, operating continuously without any limits on its pitch authority, all of this was how is was designed to work. You could have proved MCAS “correct” and ended up with the exact same result.

A lot of software problems are due to discrepancies between the design and the implementation, of course. But it’s not a panacea.
> "seems like they are aggressively trying to grow even more. Maybe to raise stock price?"

it's interesting to note that google is tacitly admitting that their tentacular data ingestion products (like maps) and their vast machine-learning infrastructure by themselves can't generate the value they're expecting, so they're resorting to direct monetization. otherwise they wouldn't take another PR hit like this.
So many complaints here. I just want to say that I love Ubuntu. It's the perfect combination of the sturdiness of Debian combined with easy access to a sprinkling of proprietary apps that I need on a regular basis. Thanks Ubuntu!
Maybe they are trying to move away from advertising supported "freeware" model. Charge directly for things at point of use.
So, if construction can't keep up, that means we're adding jobs too quickly.
I refer you to Joel Spolsky about formal proofs of programs:

[…]

So in the first day of that class, Dr. Zuck filled up two entire whiteboards and quite a lot of the wall next to the whiteboards proving that if you have a light switch, and the light was off, and you flip the switch, the light will then be on.

The proof was insanely complicated, and very error-prone. It was harder to prove that the proof was correct than to convince yourself of the fact that switching a light switch turns on the light. Indeed the multiple whiteboards of proof included many skipped steps, skipped because they were too tedious to go into formally. Many steps were reached using the long-cherished method of Proof by Induction, others by Proof by Reductio ad Absurdum, and still others using Proof by Graduate Student.

For our homework, we had to prove the converse: if the light was off, and it’s on now, prove that you flipped it.

I tried, I really did.

I spent hours in the library trying.

After a couple of hours I found a mistake in Dr. Zuck’s original proof which I was trying to emulate. Probably I copied it down wrong, but it made me realize something: if it takes three hours of filling up blackboards to prove something trivial, allowing hundreds of opportunities for mistakes to slip in, this mechanism would never be able to prove things that are interesting.

https://www.joelonsoftware.com/2005/01/02/advice-for-compute...
I don't agree with this article. I did my undergrad with a Physics & CS double major. It was painful, 9 semesters of maximum allowed courseload. While people seemed to be impressed, I always felt like an imposter, knowing less CS than the CS students and less physics than the physics students. Couldn't maintain a great GPA either. Applied to 8 PhD programs, got rejected by all of them. Most of the CS companies also rejected me (a recruiter said I had too many degrees (???)). I did end up working at a National Lab, which was an amazing experience.

Side note: The American Physical Society(APS) publishes undergrad physics employment data[0] that my peers and I used to look at to feel good about our non-grad school prospects after BS. After my degree I realized it is biased at best, misleading at worst.

Currently I am doing an interdisciplinary (read flexible) masters program in computational science. It allows me to take both CS and physics grad classes and do research in physics labs too. Now I plan on pursuing research in machine learning applied to super big data hairy physics problems. I am gonna apply to PhD programs again (fields are fuzzy: physics, CS, ML, data science).

Would I do it again? Hell yeah. Started out as physics and then CS seemed interesting. Both gave me valuable skills: Good understanding of data structures, HPC, prototyping is helpful with physics problems, and I am not afraid of math in grad ML classes because of physics.

Would I recommend it to others? Not really unless you are extremely passionate about both (took me about 2 years to feel that) or are a genius and confident in your abilities (I am not). I am still anxious about the future, and where will I fit. If you have a passing interest in physics, do CS with a physics minor to satisfy that itch or pursue an interdisciplinary program[1] so you are not stranded employment wise. Set on being a physicist? Take some CS classes (data structures, simulation, numerical analysis, HPC, algorithms etc.)

People of HN, if you have a similar background/work in a similar field, I would love to pick your brain about your path and research/career options.

[0] https://www.aps.org/careers/statistics/index.cfm
[1] https://www.siam.org/Students-Education/Resources/For-Underg...
Nina Sharp, and Walter Bishop? :D
I know that feeling; it's addictive, because it feels so good. Make sure to take rest days, otherwise you might injure yourself from not giving the muscles and tendons enough time to repair.
Agreed. I am assuming (I make too many assumptions) that the definition of common sense is part of the project, with some stated tests/goals being a success criteria. Otherwise, one could never complete anything.
What awful news!

Unbelievably stupid (for reasons hopefully clear to everyone here). Extremely infuriating that someone would think that the people with these skills aren't extremely valuable for suitable software jobs (...contrary to what the market says).

Especially so in Silicon Valley, where so many software engineering jobs are more on the side of scientific computing, and actually require advanced science degrees.

E.g.: my previous employer was an EDA firm; guess what: writing software for litho mask optimization requires a solid knowledge of EM physics, chemistry and math quite beyond what a typical MS in Comp. Sci. might give. (Everyone on my team had a PhD, none a CompSci).

Then there's the whole academic pyramid aspect: there are way more PhD students than academic jobs, and cutting off access to jobs for people getting PhD's in the US is a good way to slowly kill science (which is an international endeavor).

Out of all the stupid anti-immigration initiatives, this one is the most outrageous.

Signed, a mathematics PhD working in software engineering.
There's a nice middle ground between this and a one-at-a-time submit queue: have a speculative batch running on the side. This gives nice speedups (approaching N times more commits, where N is the batch size) with minimal complexity.

One useful metric is the ratio between test time and the number of commits per day. If your tests run in a minute, you can test submissions one at a time and still have a thousand successful commits each day. If your tests take an hour, you can have at most 24 changes per day under a one-at-a-time scheme.

I worked on Kubernetes, where test runs can take more than an hour-- spinning up VMs to test things is expensive! The submit queue tests both the top of the queue and a batch of a few (up to 5) changes that can be merged without a git merge conflict. If either one passes, the changes are merged. Batch tests aren't cancelled if the top of the queue passes, so sometimes you'll merge both the top of the queue AND the batch, since they're compatible.

Here's some recent batches: https://prow.k8s.io/?repo=kubernetes%2Fkubernetes&type=batch

And the code to pick batches: https://github.com/kubernetes/test-infra/blob/0d66b18ea7e8d3...

Merges to the main repo peak at about 45 per day, largely depending on the volume of changes. The important thing is that the queue size remains small:
http://velodrome.k8s.io/dashboard/db/monitoring?orgId=1&pane...
I suspect it's not that the included Watson Python didn't or wouldn't work but rather that the Watson-Python costs money (via paying for Watson) and Python-Python does not.
Same here.

The quicker you distance yourself from social media the healthier you will be. There's literally everything to gain by leaving it behind.
This is a case in which generational GC can help. If you allocate goroutine stacks in the nursery, then you can use a bump allocator, which makes the throughput extremely fast. Throughput of allocation matters just as much as latency does!

(By the way, Rust used to cache thread stacks back when it had M:N threading, because we found that situations like this arose a lot.)
I'm a co-founder and CTO at Mercury. We have some amazing frontend UI (the onboarding flow especially) if you'd like to check it out, and our backend is 100% Haskell. AMA
I thought this was the successor to Time Cube at first.
The best part about Jersey is leaving Jersey.
Thanks, I forgot this is an ionized species (the + charge). That can change kinetics a lot.
The article states: "When MCAS senses that the angle of attack is too high, it commands the aircraft’s trim system to lower the nose. It also does something else: It pushes the pilot’s control columns downward"

No, it does not push the pilot's control columns downward.
Don't medicate but challenge yourself. Learn a new editor while doing your job. Try using Windows instead of using a Mac. Try typing only left handed. There are varioud challenges to overcome boring assignments. Also try a standing desk so if you skive then you must stand up for fifth teen mins.
This is probably bad advice. Better advice would be to just find a good experiment at a reputable school and latch on.

Projects in experimental physics at a good state school are typically a great place for access to a machine shop, computing resources, and the possibility for travel, in addition to the departments typically having a lower student to professor ratio compared to the engineering schools.

You're also more likely to work for people with a variety of skills.
Adderall is good for focus once you break the habit of social media / youtube, otherwise it just makes you really good at focusing on social media / youtube. I know this from experience.
Ask HN: Why is Hacker News unable to effectively discuss difficult topics?
Given your perspective, a more important question might be what underlying algorithms are being used? I’m only a rookie data scientist but knowing that (for example) a random forest outperformed a neural net in this case, or even just a set of heuristics, is solid information. These can be built in Python, R, even C depending on the application, developer experience and a bunch of other stuff.
Yes, agreed, but for life or death situations, as a programmer, I would prefer to use all tools at our disposal; besides money it does probably improve the quality if you spend this time.
How to Run Minecraft on a Rasberry Pi Purely from Solar Energy
Also wondered what was the logic behind this decision...
It sort of was a "sports analogy to war." It was created after the American Civil War, which killed around 1 million people, and football was at least in part an attempt to "keep our Ivy League boys tough." Now people do it for the money, pride, or fame.

Football, like pankration, creates incredible athletes, but that doesn't mean that the sport should still exist.
My saltiest comment was reportedly "If taxing price gougers seems stupid you're going to hate the pitchfork-toting mobs." I'm not sure how to work some kind of contextual analysis into it but I'm pretty sure it's something on your to-do list. Good on you for the creative idea and implementation and putting it out here for us to sprinkle salt on.
There are still American Quakers. Though there have been many schisms, they are not now a heavily Republican group by any stretch. They were when Lincoln was in office, of course, but party identification underwent a well-known realignment over the past 150 years, so if 19th century Quakers are who you have in mind, this is more a misleading than an enlightening observation.

Full disclosure: I grew up Quaker. The Quakers I knew were more like this fellow than Herbert Hoover or Nixon:

https://en.wikipedia.org/wiki/Norman_Morrison
I'd be furious if it were fake and I bought it.
Ubuntu LTS users have had the option to install Java 11 for exactly 24 days today. The maintainers' choice to package Java 10 as "openjdk-11" and leave it that way for as long as they did was a mess, to be sure, but let's not pretend like this is the fault of people clinging to old software out of stubbornness. Staying on Java 8 has not been an uncommon position, especially after it became completely clear that while Oracle would no longer support it, plenty of large, reputable organizations would for at least a couple years to come.
That's a really interesting way of looking at it, thank you!

Is there some kind of underlying base that you /can/ apply deliberate practice to?

I'm trying to think of what 10x programmers know or can do that is practicable...
Yeah I see that reading through posts here. I've ordered myself a couple to try out. I hate disposable things but seem to have no choice with pens or sunglasses.
Federation of 10B users? I guess this is a naming standards or unique ID issue. ReOpenLDAP is said to scale to 100 million users. So I guess we need a bunch of those, each starting with a 4 digit prefix. [1]

That said, I am not a fan of federation. I would like to see the old stand-alone websites make a come-back.

[1] - https://github.com/leo-yuriev/ReOpenLDAP
Regarding the terminal, on Gnome-terminal it is possible to rebind copy-paste to ctrl-c and ctrl-v. If you do this you need to start using ctrl+shift+C for ^C
Just treating the symptom, not the problem. It will come back to bite as all amphetamines do.
> the sorting was the time-consuming part

I'm not sure I understand why sorting is necessary.

> Now consider how much more unpleasant that manual counting is, since the Skittles are haphazardly un-arranged in the image.

It's actually very easy: my program outputs images annotated with each recognized Skittle circled with the guessed color: https://imgur.com/a/jlPWXRf You don't need to manually count, just make sure all the circles are the correct colors.

I'm also pretty confident you could improve the accuracy quite a bit by improving the lighting when taking the photos, and/or incorporating something more sophisticated like a neural network (probably trained with Skittles from several bags, separated by color+rejects, with many photos in different random arrangements)
Mathematicians often don't rely on the exact correctness of a proof's description, instead relying on a rough sketch of strategy.
No you didn't. This is an emotional problem masquerading as a cognitive one.

This happens to me at my three-hour university lectures. Some days I am emotionally tortured and cannot focus at all. Some days I am emotionally healthy and can focus through nearly the whole thing.
Good? Passwords should NEVER be encrypted. The correct terminology is 'hashed'.
Because roommates don't share the same wifi? Or friends crash on each others couches and take an uber the next day? What's next, are you going to say the Nest cam is watching them in the bedroom? Again, this is all hyperbole.
"Various hacks (as we would call them in the software industry) were developed."

Dear God. That's a sentence I never, ever wanted to hear about an aircraft.
The 6502 Watch, Because Someone Had to Make One
As far as I understand, what your describing is a simple build only one commit at a time submit queue.

What they are describing here is to detect if items do not conflict beyond a simple merge conflict and build & commit them simultaneously, increasing the throughput of the submit queue system.
The Fuk exclusion zone is about 150km^2. If it were covered in solar cells, that would be about 22,000 MW. Fuk, with all reactors producing at capacity, is about 4,500 MW.

"X" did happen. And it made that much land unusable.
Where I live (Oregon) there's a sizable Lacrosse population, and the high school where my son will eventually go has a big Lacrosse team. Football is big but Lacrosse is almost as big, and I wonder if Lacrosse (or something like it) will end up surpassing football. But are the head injuries as serious? It seems like no.

Another interesting sport to compare would be hockey. While hockey players don't tackle each other like football players do, they do check each other into the boards and those can be some big hits. Is CTE prevalent in professional hockey players as well?
I tend to agree. If I have a bunch of applicants for a programming job, given the choice between a similarly capable computer science graduate, or a natural sciences graduate (e.g. physics, chem, bio, oddly psychology - except I'm biased I have qualifications in the last two) then I'm likely to pick the non CS qualification applicant because of the breadth of experience, and the implicit recognition that the computer isn't the most important part of the job. Having said that I've worked with a few excellent CS grads, and for some tasks, good ones are really valuable.
Do you have a public playlist?
I think this is likely to be true, but I do wonder if there might be a better way to spend those resources. For this particular example, you’d have been better off putting more money into flight testing with various sensor errors.
FYI - I just posted a review video where I walk through Cloud Run doing some demos. Check it out at: https://sysadmincasts.com/episodes/69-cloud-run-with-knative
It's OK by me that things you can't get insurance for die off. Nobody knows risk like insurance companies.
It's not a difficult topic. It's a topic that is spammed with discussion that is either: (a) members of two tribes giving each other the full nelson, (b) members of two tribes gloating with other members of their tribe saying that the members of the other tribe are stupid.
> Notice SpaceX can [..] keep a schedule?

They cannot. Your statement is actually kinda funny, since "elon time" is its own meme and ULA uses "Schedule Certainty" as one of the main talking points to distinguish themselves from SpaceX (see [0] as an example of the ULA CEO doing exactly that on the SpaceX subreddit)

[0] https://www.reddit.com/r/spacex/comments/aqbnza/spacex_prote...
I think these two statements can be reconciled:

- IBM's hardware support is excellent to the point of being obsessive

- IBM's support for anything that is not a hardware problem would be better-implemented by a 5 year old eating paste
Forward, where the wing is higher off the ground. The rest is like a skateboard suddenly accelerating, which will tend to pitch you nose up (and on the ground).
In the post-bang environment, you can flip those numbers around to see the order in which the hot nuclei capture the hot electrons. A [He+2] nucleus can grab hotter electrons than a [He+1] ion, which in turn can grab hotter electrons than a [H+] proton.

So at a temperature cool enough for neutral He to exist and still hot enough for [H+] ions, they were pretty much the only massive things around that could react with each other.

If an [HeH+] caught a hot electron, it would fall apart into He and H, with no further need to share electrons. A [H+] could glom onto that neutral H to make [H2+] (which also forms when cosmic rays blast through an H2 cloud). If an [H2+] caught another electron, the H2 and another [H2+] will react to make [H3+] and H. So it turns out [H3+] is a pretty common hot cloud molecule, too.

Plain old H2 doesn't exist by itself until the temperature drops enough for those positive ions to catch electrons and stop being an acidic plasma.
I think that the author is mistaking the fact that trimming the plane forward means that more force is required to pull back on the yoke for the plane actively pushing the yoke forward.
>And what kind of topics generate most salt?

politics, gender, race, theoretical physics (particularly dark matter) and javascript.
>i’ve had great results growing basil. I had a plant we named Harry,

Wow, really cool idea, naming individual plants. Much better than the pet rock concept ;) Going to give it a try, next time I plant something. Related, as a kid doing organic gardening, I once read a book called Talk To Your Plants. Just searched for it:

https://www.amazon.com/Talk-Your-Plants-Jerry-Baker/dp/B000H...

That's the one, I'm pretty sure. There is also this one which I have not read:

https://www.amazon.com/Talk-Your-Plants-Will-Eisner/dp/08973...
Train models and run notebooks on AWS cheaper and simpler than with SageMaker