skysight-inc/HackerNews huggingface dataset:
> The really simple answer to this question is: because at a high level of abstraction, it isn't useful. Most applications are being specified by people who don't understand in any detail what they want the application to do.

The world is changing.

In high-growth-potential areas, I think we're starting to see a shift away from the style of software where "what to build is hard but how to build is easier" and toward application domains/products where exactly the opposite is true.

IoT, next-gen factory automation, robotics, ADAS, automated trading, etc. all have two extremely important things in common:

1. It's really obvious what we want the system to do (minimize energy usage; produce widgets without killing Joe the machinist; go to the store and don't kill anyone; make money; etc.)

Unlike with social apps/online communities/productivity software/games, the "what did the customer want" problem is likely not THE key failure point.

2. It's extremely non-obvious how to map those high-level desires onto software.

These application domains, which I think will drive growth in the software industry during the next cycle, are kind of dual to our current ones (web and mobile apps).

So, at the highest level of abstraction we know what the customer wants. That's not the point where we need the most derisking. Also, the hardest problems -- the ones where derisking efforts will land -- are amenable to mathematical treatment. Because of this shift, mathematical modeling tools are going to play a big role in the industries that (I think) will drive growth in the coming decades. And that means the zeitgeist of software engineering will change.

I'm not sure if those mathematical modeling tools will look anything like today's theorem provers and model checkers. Probably only in the same way that Python looks like FORTRAN.
> “Years ago, we were on their dark-web webpage but it was asking us to turn on a video camera so they could see who was about to type in the password and there’s no way we were doing that. And we didn’t even have the password. We’d just been given their URL, so went to it because we were told that’s how they communicate.”

Yep. clearly a dark-web connected nationwide conspiracy of serial-killers here.

Now on the other hand, I would absolutely believe you if you told me there was a nationwide consortium of taggers using the same or similar smiley faces and sharing their tags with each other on social media....
Disturbing the silence
I think the answer to your question is, yes, however you want to be sleepy due to a need for sleep rather than impaired function.

CO2 is damaging to your body, I am not an expert in these matters however I know that much.

Becoming tired due to CO2 is in effect a minor form of gassing yourself, and during sleep high CO2 is bad for you and I would assume does not give you high quality sleep - same as alcohol makes can make you drowsy while also interrupting your sleep.

"Natural" sleepiness has none of these downsides.
Ways Women Entrepreneurs Can Fund Their Startups
Yes, Lazarus is totally awesome, I love it! I have tried to get people in companies to use Lazarus but they wont go near it because it is Pascal. The other problem with Lazarus is that they need to make a one click installer, I saw that put alot of people off
You should trust your judgement on this one, it already sounds like you’re leaning towards turning him away and just want confirmation. If he doesn’t fit your company culture why would you hire him? If he were a day to day employee, would you still hire him if he wasn’t a culture fit?
Nope, the economy goes in fairly predictable cycles and it doesn't care who's president.

Stocks are currently over valued: see Nobel prize winning economist's CAPE ratio.
I imagine economic bubbles are not independent. I wonder if this in sum with the student loan 'bubble' could make things worse than in part.
Rent seeking? Probably rent seeking.
Would you go to war for this person?
No. I do not believe we are in a bubble. At least for skilled professions that keep learning, the likelihood is the reverse. As more layers of abstraction make it easier to produce business value, a smaller number of skilled professions will be able to generate more and more revenue with less time.

Programming is different than doctors or lawyers. Programming in terms of value can scale. Doctors can only see a certain number of patients or perform a certain number of surgeries. A lawyer can only take a certain number of cases. They produce value based on their time in each of these tasks. That amount of value is somewhat fixed.

However, a skilled software professional can complete one project that produces a large amount of business value, or the coder can develop a new product that generates a long-tail stream of revenue over time.

For example, a coder that built the Google Ads Platform has helped generate a tremendous amount of revenue for Google, and that revenue keeps pouring in.

The bubble is real, but for IT/SD professionals that tend to get complacent with their skills. Traditional IT is getting abstracted away entirely. SD is getting more and more complex as many more frameworks/knowledge is needed on a yearly basis to do modern software development. Building a simple monolith is no longer acceptable for many companies. One must learn modern distributed systems.

The sad truth is that it will continue to take less and less resources to accomplish the same business goals in the future. One must stay on top of the latest technologies to climb on top of the coding pyramid. Luckily, this pyramid is starting to segment based on Front-End, Back-End, DevOps, etc. which means the truly skilled professions in those domains will rise to the top and command salaries much higher than currently seen.
With more actual restaurants delivering through Postmates/Door Dash/Uber Eats there are just a lot more options available from known restaurants. At a similar price point, I would rather order from a restaurant that I either have already ordered from or that has good reviews vs a non-restaurant food delivery service that I don't know anything about.
> Not to mention that "uncovered later" is pretty damn worthless.

It is not worthless as a deterrent to the CA. Proof of a fraudulently issued certificate are grounds to permanently distrust the CA. So, yes, they can do it, but hopefully only once.
Data Structures 101: Graphs – A Visual Introduction for Beginners
Binary Search Algorithm without recursion
That's an interesting perspective that I hadn't considered. I'm not sure if it's right though. You think it's symptomatic of desperation? I don't think of the lead-up to the 2007 financial crisis as a particularly desperate time for most people.
I might have agreed once, but PayPal's UI/UX has been dramatically improving in the last year or so.
Almost all advertising companies were gearing up to respect that, then IE10 violated the standard as in the RFC and set a default value for that header.
This appears to be two things:

- Overcomplicated both in design and implementation

- Not especially interesting or novel

Unless I'm missing something?
I always hated how Tesla used gas savings as part of "how cheap" their cars were. It felt dishonest. Just give me the damned msrp without tax credits or gas savings.
> He does not fit in the company culture that we want to build.

Sounds like you already know what to do.
Wow, this makes me really sad. If you are so unable to see the problem I have no hope we'll ever fix this problem.

As I wrote in the top comment, I'm often surprised when reading articles which compare our current state with the past, the amount of life we've destroyed, the amount of pollution we're producing. So yes, subject to the same problem, but open to learning the facts...

You sound like the person that gets invited to a party, brings 100s of uninvited friends, completely trashes the house, kills a lot of the other invitees, and then is surprised when somebody thinks it's a problem:" you still have something resembling a roof, you can still sort of live here, what is the problem?"
For those not familiar, Superchargers are the exception not the norm for charging your car. You use it to travel long distances, but not typically during your day to day commute. Superchargers are meant to be a convenience to rapidly charge your car on the go if you need it.

If you regularly charge at home, like most people do, you can get extremely low rates at night during off-peak hours. It only costs ~$0.12/kWh for us in SF. Something like $9 to charge the car from 0-100% for ~300 miles of distance.
Yes - such a slow rise can be managed in developed nations, along with some erosion. The major issue will be storm surges and other events.
This is not news. Nobody actually uses recursion for a binary search unless they're using a functional language.
It has that potential, and I'm sure that's part of the business case for it (along with the more likely concern about exfiltration of data from secure networks).

Or it could be privacy software that lets you look at data you're sending to the cloud, modify it, or prevent it altogether.

It just depends who is in control of the software.
I haven't been anywhere near it, but DO-178C is allegedly friendly to formal methods; DO-333 is the formal methods supplement.

Adacore had a white paper, "Testing or Formal
Verification:
DO-178C Alternatives
and Industrial Experience" that naturally I can't link because I'm on mobile.
I was able to build it fine on 10.14.2 ‍️
Asynchronous Programming in Rust book
Given that they just laid off 7% of their employees due to cost measures I'd say likely not. They're just not longer subsidizing it for owners because they don't need so much of a draw card.
Some people are just not happy unless they are unhappy. Or outraged. Or both.
If you are a 300 pound person and want to be a 150 pound person, you have to eat like a 150 pound person. Forever.
SV doesn't really fit the criteria of a bubble.

Bubbles gain steam by being accessible. The more people that get involved, the larger the bubble becomes. It isn't a ponzi scheme, but acts like one in many ways.

ICOs were well on their way to becoming a bubble, but being pegged to the price of cryptocurrencies, the bitcoin bubble popped before the ICO bubble really took off.

But if you look at the ICOs there was rampant fraud. Basically people writing white papers, with no real companies or products, and then raising millions of dollars. Very similar to the dot com bubble.

SV in and of itself creates a tremendous amount of value. Sure there are some spectacular failures, and some questionable investments, but overall there is value that is created. Without getting into any morality discussions, but purely looking at revenue, profitability, return to investors, companies like Uber, Facebook, Twitter, Airbnb, Tesla, and so forth have created tremendous shareholder value.

When you some a "stupid" app raise $5MM it really isn't much considering how much these other companies have raised, the revenue they generated and so forth.

So SV is definitely not a bubble per say. You could make the case that some valuations are inflated, but that is a sign of the macro market where SaaS companies are enjoying their largest revenue multiples ever, but if that corrects there will be a rest of perhaps 30-50% in market cap, but no where near total collapse.

Additionally these companies do have underlying products, services, benefits, and revenue.

You could say there is hype, over valuation, and so forth, but we aren't anywhere near bubble territory.
Thank you thank you. It seemed like something I would really like but the first thousand or so words of the README were beyond my limited intellectual capacity.
Maybe she thinks that she can cause Tesla a PR event. If she can, she may well get what she's after (an apology? the 2018 bonus? the rest of the as-yet-unvested sign-on bonus?).
I feel like that about America in general. Sales Tax is never included, or they display the price assuming a auto pay discount or some other such 'discount'. Don't get me started on tipping.
nosuchthing actually presented the results of research. You presented nothing but claims with no support. Advantage: nosuchthing.
From screen space to voxel space
It's worth emphasizing that QUIC is more general than a new transport for HTTP; it has wide ranging applications, due to being far more versatile than TCP.
Chinese gene-editing scientist downplays reports that he could face death
For awhile now I've been preaching my prediction which is:

When (not if) the market crashes again, it will happen MUCH faster than previous crashes due to increasing automated trading and general speed of news. Expect a flash crash within minutes instead of days. And, if there is a halt in trading it will crash even faster.
A couple of years ago I found myself weighing 250lbs. Basically morbidly obese.

I decided to change that. I went through all the food I bought during the week and decided to do some culling.

I removed anything with sugar and replaced it with Stevia.
Removed the soft drinks, alcohol, and carbs.

I follow this diet 6 days a week. One day a week, I indulge myself: a pizza or burrito or have a few beers.

I also go to the gym 5 times a week. Run 5k in 25 minutes plus one hour of weight lifting. Nothing to intense mind you.

I have lost nearly 80lbs with the last 24 months.
The trick is to do it slow and steady.

I always cringe when I read about the latest fad diet: Lose 5 lbs in one week or some crap like that!

In the end, it takes time and will to achieve results but once you get into a routine, if very easy to keep going.

During my holidays, I usually drink, smoke and eat whatever I want but as soon as I get back home, I go back to my routine.

Some people think that this is boring but honestly, unless you are an athlete competing at a high level, you don't need to eat carbs every day.

This is just my experience. Results may vary.
> iOS was basically AppKit, so anyone already developing for the Mac knew most of what they needed to know to develop for iPhone.

Maybe. But AppKit was not the Mac Toolbox.

When my career began being good at memory management was a skill to be proud of. I would say now, being good at concurrency is a skill to be proud of.

I don't really have to worry about memory management any longer but didn't worry about threading when I started my career.

As I see the younger generation entering the programming field I wonder in what ways the craft will be different when they've had a few decades under their belt.

Will parameter tuning datasets for machine learning be the coveted skill? Who knows.
It's easy to add new bucket entries by adding json files. Also if I understand it correctly, their auto update feature allows many apps to be self maintained i.e. you don't have to update the json when a new version comes out.
What i found is that i can open a window to bring fresh air in but togather with it magnitude of pollution that causes cancer and asthma...

Not a great choice if you ask me.
"Inlining functions is not a readability thing."

Sometimes it is for readability. For example we have code that serializes commands sent to a device. It used be built with a command pattern which was hard to debug. We have replaced it with a huge switch statement and now the code is much easier to understand and refactor. Obviously this approach often doesn't work but there are cases where inlining makes code easier to read.
Couldn't agree more. I want to know how much money I need to part with today without the mental gymnastics. They do the same in restaurants here in Singapore. List price... then on the bill you get tax and service charge added.
The Mind Wanders (2018)
Making all layers secure is just an exercise in redundancy.
Taxpayers aren't subsidizing them as much anymore either. Quite possible they just couldn't afford dumping electricity anymore.
Paper Technologies, Digital Technologies: Early Modern Medical Records (2016)
3d printing a model of mount rainier using digital elevation model (dem) files
I don't necessarily disagree with that -- what kicked off my reply was the statement, "Honestly, it sounds like you may be geared more towards software architecture rather than software development." (And, you know, rereading that sentence removes any doubt I had about the correctness of my initial response.)

If you can rigorously ask architecture questions, and don't let people get away with hand-waving, that sounds fine. I've been asked good architecture questions and I've been badly asked bad architecture questions too, so... it depends on the question, and how you ask.
They charged about 20 cents per kWh in Virginia, and gas is about $1.92/gallon, so that was already the case.

This is caused primarily by extremely low gas prices, though, not just Supercharger pricing.
There has been quite a lot of new, exciting and actually useful science in recent years about how to have a healthy body, but I think most people only look at calories. Some may look at fat/carbs. And some may also look into excercise as well. But in order to have a healthy body long term it seams you need to look into all of that, and sleep quality, and mindfullness/stress control.

That may sound like a lot, but each piece helps you out a little to keep the other pieces in check. Having a full night of sleep keeps your impulses in check. Excercise helps you sleep, keep muscle mass and fat at desirable levels. Eating healthy makes sleep easier etc. And they reinforce each other.

So keeping yourself in this healthy steady state is actually quite easy, as long as you take a holistic apriach and not over specialize in each area.

This is a hunch of mine though I havent really found any studies that take all of those things into account, just the specific interactions between those things.
Yeah it is somewhat misleading, though they do clearly show the true purchase price vs the "Savings price" on the final page after you configure the car. The first few pages sort of bait you in to thinking it's cheaper though.

In the end, I thought their pricing and buying process was a breath of fresh air compared to my experience with my Audi. By the time I walked out of the Audi dealership I had spent about $6k more than the original quoted price they gave me on the floor. I had about 3 pages of papers that look like excel sheets "explaining" it all. Tesla gave us a half page sheet with maybe 6 line items that clearly explains the costs.

The gas savings really do add up though. One of my previous comments I did a rough TCO between the Model 3 and my Audi A4 and found we saved about $1500 a year in fuel costs. After 5 years the car ended up being about $10k cheaper than my Audi despite it having a higher sticker price
I'm curious, do you typically pay actual "hourly rate x hourly consumption" in a regular US household? Where I live (Europe), even though we have new fancy "smart electricity meters" with resolution of a few seconds, all the deals available from power companies offering electricity are based on "monthly average rate x monthly consumption".
Spot on. Security should be baked into the way you work. It should be baked into an formal CS education too. I have joined teams full of seniors and "leads" who on paper should be miles ahead of me in terms of experience and competence and have had to teach them the basics you mentioned. It immediately creates a stressful overhead of constant auditing, nagging and unnecessary stress in the team when security is introduced after the fact.
A better discussion of the issue:

https://www.youtube.com/watch?v=MjV7EDuL21M
But don't you get extremely high rates during the day (something like $0.48/kWh) for daytime use in the summer with that plan?
> 1. I have installed package X. I want to validate that the files that are listed in a manifest for package X have not changed on a host.

not going to argue with the rest of your flame (others already did) but the answer to this one is

apt install debsums
>>I would hope we see a postmortem to get a better understanding of what went wrong.

High level -- FOMO lead mediocre VCs to take OPM (LPs reaching for yield) and spray and pray. Bros who went to Stanford gave other Bros who went to Stanford $100M+ because of connections, because what do you have to lose?
Paradise Lost is one of the most important poems
> After 5 years the car ended up being about $10k cheaper than my Audi despite it having a higher sticker price.

This would imply a really huge running cost on the Audi over the Tesla in addition to gas - what's that cost? Assuming it's a new car, I assume repairs etc are covered under warranty?
Months of unemployment != servitude. There is an option.
If we develop a set of working scripts to indicate availability, then women will still go for men who are "bold" enough to deviate from the script and seize the day. It's a complex issue, and it's my belief that the traits that women find attractive in men and the traits that women would like to find attractive in men are two different sets with less overlap than you'd imagine.
Well, shit. You basically just described me (brain fog, depression, anxiety, borderline low testosterone in the 200s they won't diagnose, permanent nasal congestion). I don't have an answer, I'm just watching my life slip between my fingers in slow motion. I have obstructive sleep apnea and hypothyroidism, you could get tested for those if you haven't been. The CPAP is more or less useless for me but it helps some people. External observers have noted an improvement since my thyroid hormone replacement therapy, but I still mostly just want to die. Good luck. (I'm in the US, that didn't help.)
On demand food delivery has several major problems that were all very predictable

1) you can't predict how much food to make. On demand food companies were throwing away 30% of the food they made every night

drivers cost ~$25 an hour, and only do ~6 drop offs.

2) lots of idle driver time

3) routes can't be optimized (or only minor optimizations in real-time)

4) on average they are only dropping off 1.3 meals per delivery, making each meal very expensive to deliver

I helped start http://Thistle.co (only in California) to fix these problems; people order their meals for the week (doesn't work for everyone obviously) and we drop off 3x/week, with optimal routes and many more meals per dropoff. The company has been really capital efficient in doing so, hardly raising any money but doing 10s of millions in revenues.
Isn't Deliveroo's model exactly the same as that of GrubHub/Seamless, DoorDash, Postmates, Caviar, etc.? In Europe, there's also Just Eat and Foodora in the same space.

Deliveroo has started expanding to use local kitchens (that have no physical restaurant where diners can go), though you'll also find examples of those on GrubHub/Seamless.
> shift "what to build is hard but how to build is easier" toward application domains/products where exactly the opposite is true.

Interesting insight, thanks for sharing. I wonder how this will affect management of teams that deal under these conditions.
>> I'm impressed that they raised the amount of money they did.

I'd be impressed if they could do something productive with the money. Raising money isnt a goal or milestone in itself, it is more a reflection of networks than intelligence/grit/creativity/deliver-ability.
Japan has been surrounding itself with huge concrete walls to fend off tsunamis.

They're obviously unsightly, but I wouldn't be surprised if other developed countries eventually adopted the same solution to sea level rise. Humanity is pretty good at building walls around itself; it's not so good at enduring a bit of inconvenience right now to prevent disaster later.

https://www.theguardian.com/world/gallery/2018/mar/09/after-...
Show HN: A Chrome ext. to exclude selected domains from Google search results