skysight-inc/HackerNews huggingface dataset:
Hmm. I wanted to offer a course based on Idris this time around, and found that I would have to cover a lot of Haskell to get to the main parts of Idris. As I was about to teach this semester, somebody pointed out the new book "The Little Typer", along the lines of "The Little Lisper" and "The Little Schemer". Looks like Pie is a toy language in "The Little Typer". Pie looks promising - I'll dig in and spend a weekend on it :)
Global warming has been proceeding as was estimated back in the ~1980s so how do you know if there is a downside when the calamity does not occur?
Many investment term sheets mandate it. If you don't want to vest then don't take money from someone who says you have to vest.
If you care about camera so much, especially in low-light, you probably want to upgrade to a Pixel, the night sight feature is like magic.
AWS Lighsail can transfer 1 TB from S3 for $5. And no fear of losing a second drive while you perform a network synchronization.
4 US dollars per gallon in China.
This seems very exciting. It will be fun to follow it's effects in the future.
Metro has some pages about it: [0][1]

It's still very much in planning stages though, thus the "eventually" in my comment. Might be the same "eventually" as the Purple line making it to UCLA, or it might be the same "eventually" as high-speed rail between LA and SF. I'm hoping for the former...

0: https://thesource.metro.net/2018/06/07/rail-concepts-release...

1: https://www.metro.net/projects/sepulvedacorridor/
That page does not address the actual issue. It argues:

>"We're fortunate that the amount of solar radiation reaching the Earth's surface is very stable."

The actual issue is totally different. It has to do with a (supposed) link between solar magnetic field activity and cloud formation on earth.

Your source is simply irrelevant since it argues against a strawman.
Did you click on the link? It goes the the article I wrote, which has a ton of sources at the bottom.
Profiling doesn't make it better - it just limits the inconvenience to a minority population. I mean that isn't new at all - there was already a 'terrorist attack swap' done between Japanese communists and Palestinian nationalist terrorist groups to dodge profiling. In 1972, the Lod Airport massacre. Not looking at the Japanese men's luggage in Israel wouldn't have helped them at all since they didn't fit the profile at all.

The truth is the airport security is worse than useless because anyone who wants to kill a lot of people can just use guns, bombs, or vehicles through walls while people are in a dense area.
Interesting. Can you give a 1980s source for the prediction matched with current data?
You do realize that she went public with accusations after Trump’s nomination of Kavanaugh? What happened years ago was only privately documented.
That’s an increase of 300% over the average. Still seem like a good thing?
Show me reigning US conservatives who aren't espousing those ideals cited. Go on, I'll wait. Even the libertarian puritans like rand paul have fallen in line with the socially and economically regressive republican platform of today.

The only ones willing to stand up to the hypocrisy of Trump and actually represent conservatism have been sidelined consistently.
Big tech has your kid’s data – and you probably gave it to them
> First, the hard plastic seats make my butt hurt,

Yeah, same for me. And I've heard that the ~80s crop of NYC subway cars were made in Japan. Except there, they have upholstered seats. But that wouldn't work out well in NYC, so they got hard plastic. But on the other hand, the oldest LIRR cars (refurbished for the 1966 World's Fair) had upholstered seats, and they were ~OK.
Norton Commander - I use Mac and PC daily, and managing files has never been as fast and powerful as it was with NC. Windows Explorer and Finder are pretty weak file managers.
> fully autonomous subways systems like those in Singapore

Nitpick, but in Singapore only three subway lines are fully autonomous (CC, DT, NE). The remaining two are not (EW, NS) because they were built with older technologies.
As far as I can tell no domain expert thinks that is an actual issue. You are at this point wondering if a magnetic activity event MIGHT occur in the future that then MIGHT have some indirect effect on clouds that then might impact global warming substantively.

We might also get a supervolcano eruption which would cool things for a while!
Pivotal haven't launched a serverless framework, they've launched a FaaS(ish) framework.

Serverless implies that the management of the underlying infrastructure is owned wholy by a third party, and the only exposure to you is the higher order abstractions, leaving you to only worry about the business logic.

This is not that.

You still need to water and feed a Pivotal/K8s platform, and those things are awful to run.

"What’s interesting about Pivotal’s flavor of serverless, besides the fact that it’s based on open source, is that it has been designed to work both on-prem and in the cloud in a cloud native fashion, hence the Kubernetes-based aspect of it. This is unusual to say the least."

This isn't unusual. Every software house seems to be building a dream of hybrid cloud on-top of Kubernetes. Rightscale, Openwhisk, Cisco Cloud Centre, IBM Cloud Private, ServiceNow and others build their sales strategy across cloud mobility.

This dream of cross cloud portability needs to die. You either end up:

Option A

- Leveraging the cloud native logging, storage, networking, database and analytics services, leaving behind only the container layer which is portable. By this stage, you end up having to re-write those parts of the json/yaml/terraform to handle deployments into other clouds ANYWAY. So what's the benefit again?

It also encourages you to do stupid things like single account deployments in AWS since federation for these abstraction layers are still very much a pipe dream, significantly increasing the blast radius concern.

Option B

- You run your own logging, storage, networking, database and analytics services inside the K8s which defeats the entire point of being in the cloud in the first place.

Being cloud agnostic is a great pipe dream, but the economics of running an abstraction layer (Pivotal / Openshift / Mesos) vs cost of exit just doesn't add up for 99% of companies. Just use the native FaaS/Data/Analytics.
What is an increase of 300%?
Because they can get away with it and it gives them more power to exploit. They are maintaining damned wish lists of bills for 'convenient events'. The only reason they stop is fear that they'll be lynched metaphorically or otherwise for their actions.
> As for email clients, I do keep wondering how Thunderbird can be so slow, how its rendering system can be so shite.

It's effectively single-threaded, with all the I/O running on the same thread as the GUI (oh import is so fun). And you need to load the entire metadata database for a folder into memory at once.

I have looked into fixing it before, but it does require redoing pretty much the entire API, which means its several man-years of developer work. And Mozilla has never invested enough in Thunderbird to let that sort of work get done.
Still quicker in London, doubly so if you're including walking to and from the car park.
Incorrect title.

Also, Growth in Growth? Are we in derivative territory here, or is this a grammatical error?
> Russia and China are more spread apart and they both have more high speed real than American has.

How do you explain car craze in china. Its the biggest car market in the world and one thats growing rapidly.
So exactly the opposite of what you are suggesting would happen is happening in china.

China comparisons makes no sense. Car ownership is not accessible to most chinese they have no option but to build a rail system. It is not because ppl prefer travelling in trains(vs cars) its because they have no other option. You have cause and effect reversed. If everyone in china can afford a car like USA they would prefer American interstate system. Who would possibly want to live in cramped quarters built around rail system when you can live in suburban mansion with basement home theatre system.
Is China really more spread apart? It’s a smaller country with a vastly larger population. That population is heavily weighted toward the eastern half of the country, too.
How about Eclipse with a Markdown plugin, or - if you do a lot of math heavy stuff - a TeX plugin[1]?

I use the latter for taking notes in Eclipse and it works pretty well for my purposes, although that does imply the overhead of learning TeX if you don't already know it.

[1]: http://texlipse.sourceforge.net/
They've been working with the guy in the video for over 6 years [1], and he's the former CEO of the Santa Clara Valley Blind Center, which has aims for "a future where awareness, legislation and technology meet at a crossroads to provide individuals who are blind and visually impaired the same opportunities as their sighted peers" [2].

It sounds like they're taking this seriously.

[1] https://www.youtube.com/watch?v=cdgQpa1pUUE

[2] http://www.visionbeyondsight.org/About-MissionVision.htm
US transit is heavily optimized for cars, even in places with pretty good mass transit. Don't let your personal experience with US metros color your expectations for what public transit can be.
> What if I have to carry groceries, or take young children with me,

I exclusively use public transport, and regularly do both of these without any problems.
> If you take climate change, which is a serious issue, it’s been co-opted by pessimistic baby-boomers and turned into a dark nightmarish scenario

I hear this much more from millenials than baby-boomers. If anything baby-boomers are pretty laissez-faire about the whole thing which only feeds further into the millenial distrust.
I find it amazing that you seem to assume that "therapy" is a given necessity and this is some how acceptable.

I live in a society where there is still a stigma (unfortunately) around mental health issues. The down side of this is that many people who could benefit from assistance from a mental health professional don't seek assistance.
The up side, is that because issues such as depression and excessive stress are not seen as normal or good, there is a lot of pressure on employees to ensure that their work places promote mental (and physical) health, and they are held to account if this is not the case.

If there was an industry where there was found to be a very high proportion of workers suffering injury that resulted in legs being amputated, our first reaction would not be to ensure that the workers had access to inexpensive artificial limbs. There would be an outcry, the cause of the injuries would be identified and laws put in place ensuring that the offending work practice was illegal.

I beg forgiveness for this example from the many military personal who have lost limbs in the service of their countries, but I believe my analogy stands, even the military makes every attempt to ensure their troops don't walk down a mined road without protection.
> What the heck is the train line doing near Fresno?

A major purpose of the train is to reduce future expected freeway traffic that is largely driven by demand between the San Joaquin Valley and the two (well, four in the longest view) termini.

Avoiding the populated parts of the San Joaquin Valley would have missed much of the point of the project.
Here's an interesting overview of US cities mass transit by an urban planner from Houston (an admittedly vary car centric place.)
https://www.vox.com/the-goods/2018/12/7/18131132/public-tran...
Good question. I work at Pivotal. PFS is a commercial, supported packaging of Riff (which adds dev and ops aspects to Knative). As opposed to running and supporting the OSS components on your own.
Of course they're not going to unload hundreds of people onto it all at once. Would you?

Of course safety drivers are going to be there for a while. Was the perception really that they would test a bunch and then just pull all of the drivers immediately after? Why would they take such a risk when they can afford to have the drivers monitoring for a while?
It is indeed much more efficient. In general, you can evaluate a scalar function and its gradient with less than twice the effort required to compute the scalar function alone -- regardless of the number of parameters.
English contains ambiguous words. What does "contains" mean in the previous sentence? In P6 it means searching a string for a substring. Your code asks P6 to treat @menu as a string. If you want to treat it as a list and grep that list then use grep:

my @menu = <hamburger fries milkshake>;
say so @menu.grep('hamburger'); # True
say so @menu.grep('hot dog'); # False
say so @menu.grep('milk'); # False
say so @menu.grep('er fr'); # False
say so @menu.grep(<es mi>); # False
I think this is more exploiting XLA to speedup autograd than for deep learning. You would generally use tensorflow for actual training, I've never encountered any situations where autograd had to be used during training.
Diet itself seems pretty heritable, at least for children. Up to a certain age, we generally eat what our parents tell us to, and that is generally pretty similar to what they're eating.
good starting point:
https://www.skepticalscience.com/Hansen-1988-prediction-adva...
The major reason we drive with the space between cars that we do is human reaction time. That is at least an order of magnitude better in autonomous cars.
Dokku is excellent and does all the heavy lifting for what OP was asking for. For the UI, https://github.com/intercity/intercity-server is a good way to go (https://intercity.io/ has some screenshots and such).
Also applies to employees' stock. Except companies generally don't re-up their employees's options with each round of dilution.
"Interestingly l Reuteri is also found in human breast milk."

When I looked into breastfeeding, different sources said it had oxytocin in it which made people feel more connected or increased trust. Made me start wondering if society's break from breastfeeding might be causing a lot of social and family problems since the bootstrapping phase of trust wasn't there anymore. That's on top of how childbirth happens in hospitals treating it like industrial process.

Now, you say that's in breast milk. Now I'm wondering if we can add the problems it might knock out to the list of negative effects of no breastfeeding.
Should be sales.
Speaking as the co-author AWS's Rust Lambda Runtime: there's no fundamental impediment for us supporting Rocket (or any other web framework), but I suspect there'd need to be changes made in Rocket to support how Lambda expects input. Namely, Lambda functions don't see raw HTTP requests, but instead, fully parsed JSON. This blog post shows how Lambda expects data to be formatted: https://aws.amazon.com/blogs/networking-and-content-delivery...
Sam Harris explores these topics in his book Free Will, I wasn't blown away by the read but would still recommended it if you already find yourself fascinated by the discussion.
Honestly, this rarely seems to come down to cloud pricing considerations. Rather, the goal for most shops who choose something like PCF is to (a) simplify onboarding and ongoing work of devs since they don't need to learn the nuances of each cloud IaaS, (b) stripe a single ops model across each infrastructure pool, which matters since no enterprise of size is using only one. People buy because they struggle to ship, and PCF helps these big companies put their focus back onto shipping software, not where or how it runs.

Disclosure: I work at Pivotal.
Not true. Symantec have offices in Australia
Hey, I'm sorry about the penis thing. Just so you know, I first checked for signs showing a bare penis with a diagonal slash through it.
A lot of grassland can’t support a forest. Cattle are able to survive on land that is otherwise too marginal to do much of anything but grow grass.
Well, it definitely sounds neat, and although I really wish it weren’t JavaScript, that’s actually a pretty good choice based on popularity. Pity it couldn’t have been TCL, Lisp, or even Scheme or Python.

I can’t wait until the modding community picks this up and figures out how to integrate it. Gonna be fun times ahead, no doubt!

As an aside, this was a bit of a surprise to me:

> you can learn more about how to sign up for that beta by clicking this line of green text

Link. Link. Doesn’t everyone know what a link is, these days?
No, the purpose cited and the comparison made in cost justifications was to North/South freeway traffic it would displace, not competition with air travel.
Or maybe a dysfunctional society :(
Wow, this makes me feel old. Tons of .com companies (very common to actually have .com in the company name) were listed on the NASDAQ back then.
Some say that people with second class honours do better than people with first class honours.
I feel like a lot of AI problems move directly from “this is so terrible that it’s completely useless” to “this capability is a fact of life that I no longer think about” without ever passing through a conscious “this doesn’t suck so much anymore” stage. Speech recognition and translation both did this. They’re far from perfect but they’re good enough to get a lot of real-world use, but somehow they still have a reputation for being worthless junk.
Of the founders I have met that are fully vest, most stick around. I presume because they have a comfortable lifestyle or their shares will be worth more by their direct participation in the company.

I firmly believe that true altruism does not exist and find it insulting when I'm told otherwise. There's always a trade off.
Really frustrating that this is still the argument presented by skeptics. The Suspicious Observers community has been debunking the solar radiance theory for years. Looks like the next major disruption in science is coming concerning whether the sun is gaseous or not.

https://www.youtube.com/watch?v=_A7VFVwAA5U&t=0s
On the contrary, I think a quarter mile is perfectly reasonable for a public transit stop in my city. Sorry to suggest otherwise.

However, when I think about loading up my young children with all of their stuff, loading me up with everything I need, etc, and then dragging that down the street a quarter mile, then waiting for the bus, boarding it, riding to the transit center, transferring, riding another bus to the light rail station, riding that downtown, and then doing it all again the other direction... well, I'm pretty confident in my original point that the car is a hell of a lot more useful. Sure, you can exist with only the public transport option, but I was not asserting otherwise. But a lot of people on HN seem to think that not only is it possible, but that it is the superior choice.

So, no offense taken, in fact I appreciate you affirming my original comment about so many folks on HN commenting from the viewpoint of someone with a young, uncomplicated life :-).
This is gonna be pretty hard to figure out. I'd recommend you take it to someone knowledgable - a startup accountant or lawyer perhaps; they can give you comparables. For the kind of money you're talking about you should definitely have a lawyer looking over the docs.

I tried writing out some general advice, but there's so many possible scenarios: is the company hot, is growth flat, is it trying to sell to someone (PE firm or later stage investor), why are they even buying your stock?

I agree with ralph84 that selling some smaller number keeps you in the game and also let's you cash out - founders and early employees regularly do this, and they are big believers in future upside. Also remember that even if the stock goes up in the future, you should price in the cost of having that money now (everything from the appreciation of a house you may buy, to factoring in expected value).

Main advice: get a lawyer. If you're looking for someone to talk through the options informally, my email is in my profile.
An easier option than 2 for most Australians: come help build the software industry in New Zealand. It's a 3 hour flight and requires zero paperwork for Aussies to work here (as long as you have no criminal record; so you probably can't move so easily after you disobey one of these requests...).
I'm a bit unsure where the headline comes from. The latest WPSR has net imports of crude oil as 4,016kbpd...
Straight-A ness is a very subtle slippery slope. You start off by being normal. Then you do well in a few difficult courses, and people start telling you - you might be the first straight A student in a long time. And despite yourself, you start being a lot more conservative in your course selections. You start dropping courses when you suspect that you might not get an A (mind you, you're still doing very well, and you might even get an A, but there's a small risk). An early B would have made me much more knowledgable, since I would have gone out and explored a few more out-of-the way areas, and taken more difficult courses towards the end. (This is based on my experience.)

It's perhaps better to have a few gaping holes in your resume. Probably it pushes you more. A relevant quote that I find inspiring:

"And I tell you, if you have the desire for knowledge and the power to give it physical expression, go out and explore. If you are a brave man you will do nothing: if you are fearful you may do much, for none but cowards have need to prove their bravery."

- Apsley Cherry-Garrard, "The Worst Journey in the World" [1]

[1] https://en.wikipedia.org/wiki/The_Worst_Journey_in_the_World
I suppose I care less about the suffering of less intelligent animals than I do about more intelligent ones. All else being equal, I’d like chickens to be raised better, to the point where I pay a lot extra for it (though this is partly pure selfishness, I think chickens who’ve gotten a lot of exercise taste much better), and I think that sadism against chickens is still sadistic and evil, but even if they can suffer, I’m not going to put them on the same level as eg a suffering whale.

And babies past a few months of age are pretty remarkably intelligent, albeit still a bit uncalibrated.
I get that, but given its the first time this has happened in 75 years its still quite a dramatic milestone, even if its unlikely to reoccur next week.
> Fresno is the third largest city in the state

Fifth, behind LA, San Diego, San José, and San Francisco.
Yes, I am fairly sure.

> Circumventing an electronic protection

> Unauthorised access

The company providing the protection cannot by definition circumvent it or be unauthorized. If a third party decides to deliver a payload to your browser to discover your Facebook password, then they are violating the DMCS in the US. But if Facebook decides to deliver a payload to your browser to discover your Facebook password that is simply them doing business in a different fashion. This isn't a violation of US law, so refusing it do it would be a violation of Australia's very poorly-considered new law.
I'm a VC, so let me shed some light on this.

The biggest reasons we require founders to be on a vesting schedule is not really to protect our investments (as mentioned by another commenter). If the founders were to decide to screw us over somehow, our investment is already toast, and we potentially have other recourse.

It's to protect founders from each other. Most successful startups have multiple founders, but the most common reasons for failure is also disputes between multiple founders. Bad founder breakups are frequent. They can be survived, but only with a vesting schedule for the founders, so that the remainder founders aren't screwed by having to, in essence, work for the founders who left.

If you have two founders, and one leaves after 2 years due to a disagreement — without a vesting schedule, the remaining founder would have no motivation to continue to create value, given all the value he creates goes in an equal amount to the founder who left.

Even with a vesting schedule, in this case, we'll typically negotiate to repurchase the majority of the stock of the departing founder.