skysight-inc/HackerNews huggingface dataset:
And that's why Facebook's Press Release[0] does not mention the word Cryptocurrency. Just "blockchain technology".

[0]: https://scontent.fvno2-1.fna.fbcdn.net/v/t39.2365-6/65035641...
I don’t work in the space or DC, but have worked with people who are in this industry. It’s a career job usually, and many of these folks work in out of the way places. If you’re pulling down $120k in some suburb of Omaha, you’re doing very well.

The career path and security is important as well. A FAANG won’t hire a 45 year old technical SME.

There’s also an academic/industry connection. You may wear multiple hats if you're affiliated with the university, a lab, or a company. I met at least one person who was a professor at a major school, did work at a sponsored lab or think tank (ie. MITRE, RAND Corp, etc), and did some work over a sabbatical for a big name-brand defense contractor.
I think the most difficult lesson is that good software is like cheese or wine. You have to let it age, to find the proper way to approach the problem; adding more developers will not make the process faster.
I didn't even notice it linked out to stories. I read it as five slides.
You can't seriously discuss the threat to democracy and free society because the overwhelming majority of the people who care about privacy want to leave back doors to see that behavior used against the various boogeymen they don't like.

Everyone talks grand about protecting privacy in threads like this but when it comes down to it we vote for politicians who promise to institute invasive background checks for gun owners and use Facebook surveillance to root out white supremacists.

IMO while definitely good for society the general acceptance of homosexuality and weed use are two big blows to privacy because those were very relatable and common things that people wanted to stay hidden.
That's okay, because the population density of Africa is very low (it's comparable to that of the Americas, much less than Europe/Asia)[1], it's currently only 15% of the world's population[2], and Africa is an enormous continent[3] the fact of which the Mercator projection distorts[4].

[1][2] https://www.geolounge.com/continents-population-density/

[3] https://io9.gizmodo.com/africas-true-size-will-blow-you-away...

[4] http://www.petersmap.com/
Is it supposed to take so long to load coq base (~ 5min)?

All I did was Require Import List Omega. and I am now stuck in package loading.

EDIT: From Coq Require Import List Omega. works. Database for hints not loaded? Can't seem to get eauto to work
They often don't have a minimal internet infrastructure.

So purely virtual payment methods will be hard to use.
That's not what your links say. The first link says nine million electric vehicles might require 4GW or 8GW of extra generation capacity (depending on smart technology)

But there are 38 million vehicles registered in the UK [1]; and even the optimistic 4GW is greater than the power output of the proposed Hinkley Point C nuclear reactor [2].

If 9 million vehicles need 4-8GW of generation capacity, 38 million would need 17-34GW, i.e. 6.5 to 13 nuclear power stations' worth (or the equivalent in wind or solar)

[1] https://www.racfoundation.org/motoring-faqs/mobility#a1
[2] https://en.wikipedia.org/wiki/Hinkley_Point_C_nuclear_power_...
Facebook Cryptocurrency Plan Faces Opposition in France
Every time I see a new release of Mezzano mentioned on HN, I smile! I only play with Messanno using VirtualBox but one day I would like to get it running bare metal on one of my old laptops. There are a few show stoppers for using Mezzano as a main driver for getting work done, like the lack of SSH, but in general it is fairly complete. Cudos!
Not quite. More what I've written to stzup7 below.
BLISS links from Wikipedia are still working

https://en.wikipedia.org/wiki/BLISS

And there is https://www.vmssoftware.com/documents_list.html
The "preview" button at the top of the page goes to a form to enter my email for "book updates".

I'd be interested in reading a sample, does the book updates form provide one?
Spring Boot is precisely the magical nonsense the GP was complaining about.
Are We All Amazon Primed? Consumers and the Politics of Platform Power
Don't Learn Too Many Things
" That is, instead of making a HTTP post request to the application, test a method that takes the content of the HTTP request as a parameter and assert on the return value"

The http post is the input into OUR system under test, not an external dependency. Nothing is mocked. I find going through the entire http pipeline catches misconfiguration issues.

"For the database, you can test a method that takes parameters and returns the appropriate query." - That's what the fake database does. Implements the interface to the database. In this case implements a fake query method. Nothing is mocked. Stubed but not mocked.
Think how much money we could make back selling skins for the control interfaces to pilots!
Isn’t this the same NYT which hired Sarah Jeong whose twitter history has questionable tweets as well?

Harvard and other institutions should take into account the youthfulness of the indiscretions in this age of of immaturity coupled with the way social networks and archiving works. It’s one thing to be a mature adult and being responsible for bad tweets and youthful tweets, however bad they may be, with exceptions for things like bullying.

This issue deserves some careful deliberation given that kids may not be prudent in their formative years and should be able to engage in debate and talk honestly and get feedback if they are deviating much.
Cheap LED bulbs actually flicker significantly, which I realized when I filmed using my camera's "slow motion" capture at 240 frames per second.

In our bedroom, I put in some LEDs, not realizing there could possibly be a difference between cheap and expensive ones. One night I filmed my cat doing something dumb in slow motion, and when I looked at the playback the whole room was strobing.

It was pretty wild. I might even still have the video, and could see about posting it somewhere.
Bureaucratic mandate of technology is probably an important step in making people think not just of themselves.
I do hope all those developing countries with a democratic government will ban this one.
It is insane that there is a company like Peakon that its only product is related to employee engagement but their own people seems to not be happy (see glassdoor reviews).

What a time to be alive.
It indicates that writing and editing thousands of pages of documentation will be contractually required. Word proficiency can save a lot of pain for everyone on that team.
India rolls out blockchain for billions of telecom subscribers
Stuff like this benefits the victims party, in this case republicans. I think this kid deserves the spot no matter what he believes in.

You can't judge a person from some online comments unless it is an actual crime. He was 16 when he wrote bad comments. I wrote a bunch of stuff that I now think is stupid as hell when I was a teenager. Who doesn't? This article really displays why privacy is important and why you shouldn't have social media at all. You never know who is watching and it might bite you in a couple of years.

I hope he gets the spot and that organizations stop punishing people for their political views. Schools used to be the place where you questioned authority, now it's basically the reverse. The school with students act as an authority that questions regular people.
Other than my own experience, I've seen some data that led me to believe that Go is more pervasive than I previously perceived:

Go started out with a share of 8% in 2017 and now it has reached 18%.
In addition, the biggest number of developers (13%) chose
Go as a language they would like to adopt or migrate to.

https://www.jetbrains.com/lp/devecosystem-2019/

Regardless of variance, I wouldn't call 18% tiny. Specially given the trend:

https://jaxenter.com/go-number-one-for-2019-hackerrank-repor...
I love the concept of this. Not so much to capture energy from individuals who are using the devices purely to produce energy, but to capture the energy produced from large groups doing something that they would be doing anyway, e.g. people using exercise bikes and treadmills at a gym, or prisoners exercising in a prison exercise yard.

But, unfortunately, some quick sums suggest this might not be particularly economically viable:

- 75W sustainable energy output per person, i.e. 0.075kWh

- 33% efficiency of energy conversion, i.e. 0.025kWh

- GBP0.05 per kWh to sell back to grid, i.e. GBP0.00125 per person per hour

- 8 hour day = GBP0.01 (i.e. 1p) per person per day

- 100 people in a gym, or prison, or whatever = GBP1 per group per day

i.e. unlikely to cover the cost of lighting and heating. Even if you could improve to 100% efficiency, and offset against electricity purchased rather than reselling back to the grid, you'd still only be looking at increasing that by a factor of 10.
That link has a great punchline. "All of this is easy with threads which never cause any problems!" I haven't tried Go, but this seems certain to be an exaggeration.
As it should, what student or faculty would want to invite this person to their school? If a university is looking at grades and activities of the four years of high school, racist spam has to count too, even if he 'was only 16'. That's who colleges are admitting after all.

The craziest part is that the kid seemed to be defending his actions, thinking that it was wrong to have his spot taken away.
Even Facebook does this when you have left it open in a tab for too long.

[edit]: spellcheck failed.
The next step may have to be electrification of the ferry. Orkney has actually been looking at an intermediate step, the "plug in" ferry while docked for the MV Hamnavoe: http://www.orkney.gov.uk/OIC-News/UKs-first-large-ship-to-sh...
How can we increase our Reading Speed?
Dev Random
Are there any US cities doing experiments similar to this? All I hear in the news are NY's subway problems and crumbling infrastructure across the nation while politicians do nothing. A whole lot of innovation in the public sector seems to be happening in Europe and Asia.
There are massive issues with the calculation of poverty designed to give the illusion of progress under globalized production chains. In reality, the metric is completely disconnected from what people identify as poverty. The entire premise is flawed. See: Steve Pinker for an example of this technique in use.
well, spain... keep in mind he's only involved in the politics of barcelona, which is the capital of catalonia, which is only a part of spain. and he didn't even get that many votes, despite pairing with a well-established party as "ciudadanos". which have already broken the deal with him anyway.

in general, I'd say the consensus is that he's an opportunist. he knows how to play politics, but he's an opportunist. we are aware of his image in france.

in my opinion, he only joined ciudadanos for convenience, so he could enter the game in a decent position, and now he will attempt a transition towards the socialist party (if they want him, and it's still way too early for this, we probably need to wait 4 years until he's free of his current responsibility in barcelona). this is highly speculative on my part, but it's the way I see it. enter the scene through ciudadanos, and then distance himself through his actions, not leaving ciudadanos himself, but rather being rejected by the party itself. first by criticising the idea of ciudadanos being part of an agreement in madrid to have the support of an extreme-right party (Vox) so the right-wing parties could have the city council, and later, just a few days ago, by giving Ada Colau the support to be named mayor in barcelona, in exchange for "nothing". he's good at navigating the waters, he has experience at that, but everyone knows he's just an opportunist. he's already in the middle of the first scandals regarding some businessmen paying him 20.000€ each month for his involvement in politics. anyway, there are bigger things at play in catalonia with the independence process and all that, so in general people doesn't even care much about him. he's lucky to have that.
The F-35? Being wasteful? They wouldn't dare...
I just need to know all the “what’s in it for FB” first, then I can tell if they are really opening it up, or just makes them a much bigger monopoly
It will never die. But this is precious:

> The u in urandom stands for the Greek letter μ, meaning “micro”. The randomness of /dev/urandom is reduced, in comparison to /dev/random.
I liked traction, with its focus on try all these things, one may get you to the next level, then try some others. Does this book take the same approach?
At what point do you see the transition where genocide becomes preferable to uninhabitable earth? Ever, or never?

At what point does "the enemy" strike first, not because they want "our" resources, but because they need us to stop using resources so they can survive at all? Ever, or never?
Switching to a smaller aircraft isn't necessarily good for the environment.

For example the A319 burns 5%/less fuel than the A320 but has 15% fewer seats, in common configuration. So the per-seat emissions are worse than if they had sold the remaining A320 seats at cost
Personally, I believe PayPal, Western Union, banks, etc. have come up with decent ways to send money electronically.
Breakdown of the cost:

* Star Prototype (machined parts) ……………….. ~$15.6 k

* Dephy (actuators and encoders) ……………….. ~$8.7 k

* SDPSI (belts) ……………………………………… ~$0.2 k

* McMaster-Carr (bearings, fasteners, etc.) …….. ~$1.6 k

* Misumi (shafts) …………………………………… ~$0.1 k

* Motion Industries (angular bearings) ………….. ~$0.8 k

* Amazon (batteries and case) …………………… ~$0.5 k

* K&J (magnets) …………………………………… ~$0.0 k

* Shipping charges ……………………………….. ~$0.9 k

* Total Cost ……………………………………….. ~$28.5 k

The greatest cost (~$15.6k) is for the machined pieces.

That seems seriously inflated though.

Wonder how much someone with a well calibrated workshop CNC could get that down to...?
I should clarify, I meant: higher numerical intake limits for immigrants to developed countries.

Basically, most of the liberal parties have found this "hack" to win elections. Where they wouldn't be able to win elections normally, they simply keep importing more and more people, and these immigrants reliably vote for these parties. Eventually, these places end up becoming one party states. Consider the case of California as an example.

It's quite an indictment of the democratic processes.
Huh, indeed, factfulnessquiz.com seems to be selecting wrong answer as correct even though they list correct answer correctly on http://factfulnessquiz.com/answers

Pretty serious given that there are only 13 questions and that's what the whole website is about. They didn't even leave any contact. I'll send an email to gapminder.

Nice catch, and a really bad job from whoever made the quiz website. Triple checking those answers should be a priority.
This just in:

>A bunch of Concerned Travelers took to social media in a concentrated Public Awareness campaign to ensure the public knew that Boeing's New Brand(TM) Still a MAX 8, or MAX 9.

Sometimes, it's a better idea to not try to take the easy way out. It never ceases to amaze me how businesses will look at a widget with a clear design defect, and then just cosmetically tweak and rebrand it, assuming that will make the problem go away.

I suppose that might work with something minor, but with something like what Boeing has going on, they need to stop listening to the people they picked up from McDonnell Douglas, (Echoes of the MD-11 and DC-10 anybody?) and just do the right thing.
> was a promise from the Federal Reserve to pay whoever had that piece of paper to pay them the actual money written on it.

FYI, as written, that statement makes little sense. The term "actual money" does not mean anything. US dollar notes are actual money.

Before Nixon Shock, the dollars were on a gold standard. The government had a promise to give whoever had the US note the specified amount of physical gold (metal). As it is now, it is called a fiat currency, and no government exchanges it for gold or any other metal or any other form of money. It is still "actual money" though, by most sane definitions.
I'm with you in general that golang code is very unmaintainable in the long term.

> Go has been carefully designed to solve the problems of today.

I'd even argue it was "carefully designed" to be in the 70's. Other than "goroutines", the language is stuck in that decade. No generics, no expression based syntax, exposing system-dependent "int" type and encouraging its use, badly designed interfaces that can't be used for tagging, badly designed time package, the list is too long to mention here.
It'll happen eventually. Allow the Porsche Taycan to make up for it:

https://www.automobilemag.com/news/2020-porsche-taycan-turbo...
Running Laravel in Kubernetes at Scale (2018)
Investment Summit for Family Offices
Different strokes for different folks, and all that.

My sole car is a Prius C, which I think is in the neighborhood of combined gas/electric 100HP. A co-worker of mine has a Charger with a ridiculous amount of HP and a large SUV. He likes to tease me about my the hamster under my car's hood, and I like to remind him I've spent less than $500 in gas in the past 24 months.

I don't need a fun car to get to work, and I can rent trucks for hauling. To each their own.
"Types say what you data is"
Are you saying to first check the type of your data before running a boolean so that you can catch high level things that are Null when they should be char or int?
Every news report I've read about Libra includes the words 'cryptocurrency' or 'digital coin', so they're not doing so great controlling the narrative.
You use the past tense here. Why did you stop selling?
Thank you. I’m not happy with some aspects of it but will share it on here soon.
The same policy which would introduce a ban on new non-plugin vehicles by 2030 also requires that the renewable percentage in the electricity grid will increase from 30% today to 52% in 2025, and 70% in 2030. And electric vehicles will mostly charge overnight, when the percentage of renewables is higher than those average numbers.

https://static.rasset.ie/documents/news/2019/06/climate-acti...

So the changes to the grid are being made before the ban comes into force. And any electric vehicle bought now will over its lifetime get significantly more than a majority of its electricity from renewable sources.
yes, definitely. My father teaching me to code as a kid was a very happy time!

Today, I would start by playing a bit with the browser developer tools, and then move straight to shadertoy to produce cool opengl demos.
This data should mandatory in all school curricula throughout the world. One of the greatest impediments to understanding the social reality of the world around us is the general population's ignorance of this data.

We need people to (a) understand that the world's population is increasing but that the rate of increase will inexorably slow and that (b) this means that the population will plateau. We then need people to ask themselves can the Earth support that level of population of 11 billion. The answer is an incontrovertible "yes". Anybody who claims the Earth cannot support 11 billion people is factually incorrect. Is it going to cause environmental stress? Yes. Will it cause environmental collapse? No.

People also fail to understand this other simple fact. Even though there will be more mouths to feed, there will be more hands to make the food. And given economies of scale, it'll arguably be easier to feed 11 billion than 7 billion.
The same survey claims that Go is more popular than C. I would be interested to know how well the Jetbrains user base represents the overall developer community.
I had a job maintaining fortran code on an openVMS OS running on itanium hardware.

Itanium was intel's failed attempt at a 64bit architecture and that's the platform VMS decided to port to. That made hardware expensive and as of recently obsolete (i think hp discontinued that integrity line of servers)

VMS doesn't natively support TCP/IP, because it predates it. The VMS communication protocol was called decnet. So you can imagine that porting vms-specific fortran code to work on a modern network stack was non trivial.

Also, everyone with VMS knowledge was a hacker. No real design or plan, just go in an change a thing here and a thing there and get it working.

All that being said, it was interesting to work on an OS that is so different from linux, specifically the file system had versioning.
I believe them that it won’t be readily available :)

That is, I’m sure Facebook will create link all that data together to improve their surveillance but not let others readily access it. Of course advertisers will still access it indirectly by using it to target their ads.
If you told me these images came from a black mirror episode I wouldn't even question it. It really shows how far urbanites have come; working out in tight packs, confined in dark spaces lit by colored artificial lights [0] [1]
Are people really going there or is it some kind of marketing scheme ? Running in downtown NY and inhaling smog seems more appealing than that.

> I could have also done hot yoga ($28), taken a high intensity interval treadmill class ($34) and sat in a detoxifying sauna for 30 minutes ($30).

You could also build a fully equipped home gym after 3 months of this regimen. Or feed your family for 6 months.

[0] https://static01.nyt.com/images/2019/06/17/fashion/17BOUTIQU...
[1] https://static01.nyt.com/images/2019/06/17/fashion/17BOUTIQU...
Rust is a programming language for people who like programming languages. Every feature under the sun. Seems like the new Scala in that regard. I'd definitely use it if I was building a web browser or something else where C++ was previously the only option, but I personally don't want Scala 2.0 to build web servers or cli apps. I would rather focus on what I'm building, which is where Go excels.
That’s true to an extent, but it’s important to bear in mind that you can’t lexically scope memory unsafety. Rust code that doesn’t contain an 'unsafe' block should be safe assuming that all of the libraries it’s built on are safe. But those libraries may well contain 'unsafe' blocks that are (one hopes) carefully written to be memory safe.
Good ol' Reddit, making a statement implying its factual, with linked sources saying anything but.
Python Could Rule the Machine Learning/A.I. World
Don't forget high transaction costs for BTC.
This is a bad headline. We have no idea who was behind the 2003 incident, and the linked article even admits that the 2013 Debian SSL vulnerability was probably an honest mistake. Saying that both of these were definitely the work of the NSA is an accusation not supported by any evidence.
Think construction... welders... carpenters... plumbers... guys who smash appendages and crawl around in mud.

I know quite a few old ones and I know many many more who struggle with pain every day as they are my age and talk to me about it. ( IT being my 3rd career after welding and meatcutting ) I have many friends who are dropping out of the workforce and finding alternative jobs because they cant do the work.

Painting is hard work but its one of the less body impacting you can do. There are a few roles like that and yes, being active is a good thing.
Julia is the new scientific computing language in the same way Go is the new enterprise dev language.
My bet is on Twitter starting WWIII. This is the app politicians prefer use, after all. We’ll have “the tweet heard around the world”.
This shit may fail because of too many cooks in the kitchen issue. They have 30 members with equal say