skysight-inc/HackerNews huggingface dataset:
The correct answer is we don’t know. In other words we rolled out a technology and now we’re conducting a giant science experiment on ourselves where it’s possible that the consequences are extremely harmful, such as producing a generation that’s going to suffer from all kinds of mental and physical issues through lack of exercise, insomnia and poor social skills. That compounded by a medical industry that likes to throw drugs at symptoms rather than solve the underlying causes.

It could go the other way of course and lead to a generation that’s smarter and more capable than ever before, thanks to being exposed to far more collective knowledge and wisdom than any before them.

Probably it will be some of both but to put it in context I think it’s always good to remember radium water (https://en.m.wikipedia.org/wiki/Radithor) as a cautionary tale of how blind faith in progress and technology can go wrong.
Itaninum only lost because Intel did the mistake to allow AMD to design x86 chips.
I mean it's still $150 billion a year? Hell, even if the only work is corporate debt that could have gone into reducing the deficit directly?

If you're worried about overspending it seems weird to try and reduce the spending by.... reducing receipts. Just reduce spending!
This right here. Actions speak louder than words, and if your first action is to go contrary to the company culture you profess, how do you expect anyone to believe in it?
A reasonable explanation after the fact for how the AI broke containment would be little consolation in the case of superintelligent AI.
Heck, you could have an actual siren connected to the USB port! It'd be annoying enough that people would investigate if anyone tried anything.
Removing soft drinks and alcohol came easy, but removing carbs in a daily diet became extremely difficult for me and hence I plateaued. I am curious to know what you replaced it with?
Swift 5 will most likely include async/await
Rent-a-sister: Coaxing Japan’s hikikomori out of their rooms
I think the takeaway is both. Avoid state changes and use a functional style wherever possible. But, when you do need to make state changes, keep it inline rather than hiding it behind function calls. Better to have one long function, sectioned off by comments, than to have state changes with subtle order dependencies in several different functions.
Is this the Sage you mean: https://github.com/sagemath/sage-binder-env

Once in a while someone working with/on Sage pops up on my radar but I am not sure what the up-to-date and maintained example is unfortunately.
Is it really a backup? Ipfs has no 'upload' so if you clear your local storage, everything will be gone. I think it's unlikely that multiple users will generate the same content hash.
I think the use of formal methods on these key features would allow you to argue that they should not be changed. Giving more weight to resisting key feature change during initial development, as well as when the project matures and develops a user base, will help a lot with stabilization. That means less technical debt and fewer random breaking changes that tend to occur with Agile and other dynamic development practices.
Standard ML has existed for 35 years. Even if you started programming with Fortran, it's been around longer than half of your career.
I cannot upvote this enough. Not for the Php and MySql specifically, but for the general, sadly unfashionable good sense to keep things simple; to steer clear of buzzword-driven development and complexity for its own sake, which seems to be the bane of so many projects these days.
> And what causes the extra risk-taking by men, though?

Probably Testostorone

> Male reproductive success is heavily tied to being able to successfully acquire economic and sociopolitical resources.

That has only been true for something between a few thousand years to maybe a hundred years (when true upwards mobility was established). So as much as I like to think that humans can overcome their inner animals, it can't be ignored that a lot about us is governed by traditional evolution (which movea much much slower than our social systems).

Trying to place blame here on either sex in the current social system is not really productive here. Trying to place blame on women, who had (and in some places of the world still don't have) little/limited say in their choice of reproductive partners up until a few generations ago, is historically short-sighted at the least.
I love how complex this has become. Debian now needs to build a custom API, or use DDNS secured just right for LE verification records (which would give mirrors full access to obtain any debian.org cert, as the DNS-01 challenge doesn't contain enough info to filter on. You either control DNS, or you don't - DNS-01 doesn't have a middle ground of owning a single record AFAIK, and it certainly doesn't have the concept of shared ownership of a single record without race conditions..).

Now multiply that by the 1000 or more projects that each mirror syncs content from, all with something different because nothing standard exists.

LetsEncrypt is great, I love it, I have 10's of certs for personal stuff from them. I think they've completely changed the CA landscape, hopefully forever.

However I'll say it again, LetsEncrypt does not solve this problem. That's OK. LetsEncrypt doesn't have to solve every problem with TLS!
Personal experience from GOOG 3 years ago: Staff SWE, 220K base, ~200K stock grant per year (if you ship something really impressive, numbers go way up from there). This is with "exceeds" perf reviews which is a baseline to stay in good graces. That is, in short, why startups have trouble hiring Staff SWEs from Google. From what I heard from my FB peers, comp is better there by about 15-20%, but work is more boring, and there's more politics. Why did I leave, you might ask? From a realization that you can't make all the money in the world, and intense desire to get off the treadmill. And make no mistake, Google puts you on a serious treadmill when you join.
Edit: I read a stale link. My bad.

---

I live in the bay area, have ordered over 200 times with Munchery, and haven't gotten any shutdown email.

All meals are shown as sold-out through Friday. Normally you can order up until 2pm the day of.
I'd like to, but I'm missing Obj-C/Cocoa knowledge too. ;-)

But I dropped a link with a friend of mine who is super into classic mac, and mac in general.
> automated trading

> It's really obvious what we want the system to do

Nope.
You and twic make similar points, which I think are reasonable but miss a very fundamental difference between e.g., ecommerce webapps and something like a robot.

The how and what questions in robotics/manufacturing ground out in formal methods style mathematical modeling in a way that the sort of questions that dominated the last couple cycles of tech did not (because those tended to be behavioral specifications about humans -- click more ads, book more taxis, click the buy button, etc).

Formal methods didn't capture "engagement" or "click-through rate", but they do capture "safety" and "liveness".

Consider any of the examples you give. At the top level of the design process, we need to derisk things that demand mathematical modeling (battery life, car behavior). How do you go about determining the probability of a car colliding, or tease out the various things that might inform that probability? Not (only) by white boarding with business stakeholders or asking consumers, but (also) by building models of how the system behaves and analyzing those models.

Obviously, formal methods aren't a silver bullet, and yes, software engineers will always spend a lot of time at whiteboards and in meetings.

But when it comes to the future of formal methods, the question is whether the systems we expect to take center stage in the software world look like to sorts of systems where properties like "safety" and "liveness" are a) hard to specify, b) lend themselves to mathematical analysis, and c) are critical to business success.

I think the answer to that question is yes.
Downvote facts. I don't care about the fake worthless internet points. It is just pathetic that people downvote actual facts without having an actual rebuttal or intellectual counterargument. Nope just be a coward and downvote because I don't like it.
I really like that the manifest files are just single JSON files.

Chocolatey packages are pretty complex [1], and even worse is the automatic system [2] used for building the main packages [3], which tries to keep everything updated. There's a very steep learning curve if you want to contribute and fix packages.

Contrast to the simple manifests in the scoop main bucket [4] and it's looking much easier. There's some variables there for auto-updating that aren't immediately intuitive, but it doesn't look nearly as complex as chocolatey.

Between the extras [5] and other community buckets [6] this is looking pretty compelling -- can't believe I've never heard of it before.

[1] https://chocolatey.org/docs/create-packages

[2] https://chocolatey.org/docs/automatic-packages

[3] https://github.com/chocolatey/chocolatey-coreteampackages/tr...

[4] https://github.com/lukesampson/scoop/tree/master/bucket

[5] https://github.com/lukesampson/scoop-extras/tree/master/buck...

[6] https://github.com/lukesampson/scoop/blob/master/buckets.jso...
Same for people that live in Southern California. Charging at home is great!
I would go one step further. Don’t section them off with just comments, use nested scoping blocks. At least most modern IDEs then can collapse the sections and you still have the concept of local variables.
The part of an LCD that turns on and off is separate from the layer that imparts color to the subpixels. If the blue subpixels have a slower response time than adjacent subpixels, then there's something quite odd about the display's design.
I read their website and I'm still concerned i don't get it. (or maybe that's why they're shutting down).

So they deliver you the food from their menu? So its just a professional food business with delivery but without the restaurant/dine-in option? So presumably their competition is actual professional restaurants and they're just in the professional food business?

I'm still struggling to understand how this is different from just ordering food delivered from any other food business? The fact that they say...presumably with a straight face...that you reheat their meals suggests to me that they must be pitching to sacrifice quality for convenience, but they seem to want to believe they're upmarket...

Forgive me, it just doesn't compute?
> the problems with those securities were illiquidity brought on by the difficulty in valuing the derivatives

Can you please elaborate and/or provide a source? I’d like to learn more.
If you're interested in autopilot in a traditional car, the Acura RLX, BMW 5-series, Mercedes C-class, Cadillac CT6, and Audi A4 have equivalent systems.
Why handle windows only? This was posted recently on HN :
http://gofi.sh - Fish - A systems package manager like homebrew but cross-platform
What I am saying is, that we will get to the point where it literally doesn't matter if world energy demand is increasing or not.

Why? Because if solar power and others, continue to go down in price, as they are doing now, then solar ect will be cheaper than coal.

From a purely economic stand point, countries will eventually just stop burning coal, because the alternatives are just flat out cheaper, even when you ignore the costs of global warming.

That point in time, when alternatives are just straight up cheaper than coal, isn't too far away.
This is true that many/most loans have already been refinanced. 2015-2017 europe was the hot bed for refinancing and anyone credit worthy has already done so. It's a good time for the fed to pull liquidity out of the system. If they do not then CLO hotbed would eventually just move to South America which is mainly risky energy companies.
> why in 2019 is there no good way to visualize a decision tree?

You should try https://github.com/parrt/dtreeviz. From Terrence Parr and Vince Grover, released in Sept 2018.

There is a good background article on the problem space and their design iterations here: https://explained.ai/decision-tree-viz/index.html
For an increasing number of "normal" people the phone is the primary computing device, mobile or at home.

However I'd be surprised if that trend applies to the HN crowd, which probably considers their phones as a secondary device, at best. An extension of the multiple other computers they use more frequently, something you need on the go, a mobile device that's used for quick glances and short uses, which gets relegated to second or third device at home. At least that's how I see it and it is why I value a small, portable form factor. Plus, I have small hands.
Ask HN: Can you share your experience with broken analytics?
Hello HN. We're building a product that prevents people from messing up their analytics implementation.

We're looking to understand people's experience with broken analytics, such as inconsistent event names for the same user actions, multiple versions of the same property, inconsistent types, forgetting to send events, etc.
For example iOS sends "Order Completed" and Android sends "Buy Item". Or for example web refactors the Signup flow, and accidentally stops sending the "Signup Complete" event.

Can you please help us learn from your experience with product and user behavior analytics?

1) When did you last experience "broken analytics"?

2) How did it break?

3) How did you realize that something was broken?

4) How long until you realized it?

5) What were the consequences?

6) How did you deal with it?

7) How could you have prevented your analytics from breaking?

8) How many people work at your company?

9) What are you building?

Link to survey, if you prefer that: https://goo.gl/forms/bptiCWfF5h86yrAs1

All feedback, insights, and discussions appreciated!
For me the big reason I switched is the first two. Installing locally to a single path makes for a lot less messy filesystem, and I don’t have to go admin to use it.

Also frankly, Chocolatey’s repos have become a mess, full of broken and untrustworthy software, and I just do not trust giving it admin permissions anymore. I don’t know what it is about windows software distributors that seems to lead all of them down this road, but I hope scoop can hold out...
The only products that support HTAP (hybrid OLTP/OLAP) well so far are MemSQL and SQL Server. It's definitely possible but youre right, it takes a lot of engineering and requires column stores and advanced execution engines to make it happen.

I think the OLAP scenario is pretty well covered these days while scalable relational OLTP is still new and would likely be the better focus.
Candilicious – revamped
For me, working on contracts on Ethereum, I have found formal methods to be invaluable (we use a tool by Certora [0] based on CVC4 solver). The trade-off shifts once you enter the world of immutable code, and the time we've spent designing, reviewing and now formally testing has been invaluable to shipping our product with confidence. We tend to think of our formal specifications like the ultimate unit test (instead of testing a few cases, test every possible case). Also, the prover has found subtle bugs which have really put a smile on my face.

An example spec might look like this:

description "Admin (and only admin) can set new admin" {
// e0, e1 can hold any possible environment and are ordered sequentially
env e0; env e1;

// free variable for possible values of new admin
address nextAdmin;
havoc nextAdmin;

// call to set the new admin
invoke setAdmin(e0, nextAdmin);

// assert one of two conditionals must hold for all cases:
// 1. We were the admin and the next admin is what we sent to `setAdmin()`
// or 2. We were not the admin, and the next admin is whatever is was before our call to `setAdmin()`.
static_assert (
e0.sender == invoke admin(e0) &&
invoke admin(e1) == nextAdmin
) || (
e0.sender != invoke admin(e0) &&
invoke admin(e1) == invoke admin(e0)
);
}

It's a few lines of code to verify a simple function, but it's incredibly powerful for us to know that our code works in all cases.

[0] http://www.certora.com/
Yes, but balance sheets of US banks have also improved fairly dramatically.

While I think a downturn may be in the cards, I don’t think another financial crisis is for the US.

China however...
Chrome version is waiting for a review :)
Basically FOMO at a time when everyone wanted to invest in Uber for X.
> But it can go from paper airplanes to model airplanes to real airplanes more quickly than you'd think.

It seldom does.

> Your hobby website could take-off to be an income and then a company and have leftover code all around.

When it provides you with an income, you can justify spending more time on refactoring, tests and correctness.
> No, it counts for nothing. That's your job as a parent.

Yes. Thank you for writing this, all of it.
You're very sweet. How about telling them something like...

Pardon me, Mr. Google and Mr. <consider who you're dealing with in these scenarios>, how are you sir? Would you kindly consider not publishing false statements about me?

Of course you may not be compelled to do so. However as a gentleman I'm sure you would ageee the ethical and trust implications are philosophically untenable. Therefore I assume you are intrinsically highly motivated to immediately take corrective action. Thank you!

Regarding the first sentence, please take it at face value. If that's your point of view I'd be glad to count you as a friend if you'd have me - ping anytime.

However, I'd probably not guess well how long Ehud will have to remain an Israeli computer scientist.
I don't see how munchery could possibly be throwing that much food away.

1 - ordering closes (closed?) at 2pm.

2 - I generally ordered Sunday night / Monday am for the coming week: 2 meals for 2 people each.

3 - with price increases over the last 18 months, they're pretty price comparable to delivery. I have a hard time believing there's no gains to having an industrial kitchen rather than a storefront, and from closing ordering at 2pm.

Also, Munchery charged $7/delivery, and I tipped $5. So they should have been breaking even at 3.6 deliveries/hour, assuming your $25/hr number...
Almost 10 years ago on bitcoin dev IRC channel I was asking the devs to consider having the reference specification to be formally specified, so that all clients, are at least supposed / expected to comply with it. They were not interested...
Not gonna lie when I got married and had a kid and started a new job all at the same time my weight went up like almost 30kg.
thus the exodus to gitlab or elsewhere, such as self hosting.
Formal methods assume the difficult part of software development is producing code which precisely conforms to a specification. In reality the difficult part is to even get to an unambiguous specification with represent the actual business needs, which are often vague or unknown when development begins.

This lead to iterative development. But iterative development does not go well with formal methods. With vague specs and iterative development, the code itself ends up being the spec. If well-written, the code even reads like a spec, and during the iterative verification, it is proven if the spec/code conforms to the product owners actual (often unstated) requirements. Just take user interface design: It is incredible hard to design a good GUI for a complex application and requires multiple rounds of user testing and refinements. But if you actually have a spec for an UI, implementing it is trivial and can be done by the intern.

More fundamentally: If you do have the spec stated completely and unambiguous in a formal language...why don't you just compile the spec then? Seriously, why translate it by hand into a different language and then spend a lot of effort to prove you didn't make any mistakes in this translation? DSL's and declarative languages seem more promising as ways to bridge the gap between spec and code.

That said, there are obviously domains where formal methods are worth it, because you really want the extra verification in having the logic stated twice. Especially in hardware development which doesn't lend itself to iterative. It is just a small part of software development overall.

The most promising future for formal methods are in type system, since they are not separate from the code, so they lend them selves much better to refactoring.
I’m waiting for a “book the cook” food delivery service where I can ask a chef to cook whatever, get a quote, pay for it and have it delivered.
"HTTPS does not provide meaningful privacy for obtaining packages. As an eavesdropper can usually see which hosts you are contacting, if you connect to your distribution's mirror network it would be fairly obvious that you are downloading updates."

It is a dangerous mistake to decide what kind of privacy people need. Privacy should be absolute and without conditions.

What if you live in Iran? Some Ubuntu packages are already inaccessible due to government's pornography keywords censorship. E.g. I can't download "libjs-hooker" from this http link http://archive.ubuntu.com/ubuntu/pool/universe/n/node-hooker... from Iran. What if the government decides to censor the "tor" package?
Even with gas that cheap you're paying $0.06 per mile (30 mpg). At $0.2/kWh you're only paying $0.04 per mile.
If there's a river, a large section of it must be surrounded with a wall, too. New Orleans did exactly that. Many other coastal cities already have levees around their rivers to prevent seasonal flooding, and there's even a whole country in Europe that is famous for being below sea level, so there's nothing new here. The walls are not even noticeable when there are even taller buildings nearby. Smaller streams, leakage, and sewage can be pumped out mechanically.

The harbor will also have to remain outside of the wall. In the event of a tsunami, any boat left in the harbor will be toast. It's a cost that the city is willing to bear in order to protect the majority of its residents from an existential threat.

If what you're worried about is sea level rise, not a tsunami, then the harbor is not a problem at all. You just build the harbor higher so it stays above the new sea level. The massive concrete backside of the harbor could even form a section of the wall.
I would break it just like the most common problem scenarios my enterprise runs into on a frequent basis.

Then watch how they approach the problem. They may fix it, and if so, great!

If not, that's OK too.

The key is to watch how they work. Do they know how to do that work?

Many of us can just get our Linux fixed. Might take a while, may have to learn a new thing, whatever.

That's what you should be looking for. People who can run it, and when there are bumps in the road, get past them, improve and share with others.
Build Python 3.5.2 on Ubuntu with Profile Guided Optimization
#Open a terminal
mkdir -p ~/fastpython3/src
mkdir -p ~/fastpython3/install
cd ~/fastpython3/src
wget https://www.python.org/ftp/python/3.5.2/Python-3.5.2.tgz
tar -zxvf Python-3.5.2.tgzcd Python-3.5.2/
./configure --prefix=${HOME}/fastpython3/install/
make profile-opt
make install
export PATH="${HOME}/fastpython3/install/bin:${PATH}"
which python
That’s it, yes. Thank you.
Aren't you fearing of infringing Apple's IP since you have reimplemented their API, or you haven't reverse engineered their API (incl. private & internal) so it is actually a clean room design?
Genode uses PCI MMCONFIG, so you have to use 'qemu -machine q35' not 'pc'.
Be honest, until 10y ago, ml type inference was invisible to 90% of the coders. Probably rejected willingly even ('where are my objects?')
I've ordered over 200 times.

Munchery is pretty good food, with better variety than sf peninsula restaurants, and definitely much healthier, delivered cold to your house. The value is it's waiting when you get home. You reheat it and have a good (sometimes great!) meal in 5 minutes.

As for local restaurants, there's not great delivery options here, particularly if you don't want pizza or sandwiches.