skysight-inc/HackerNews huggingface dataset:
It's a great idea! Bitcoin needs more formal verification. I wonder how much of e.g. Lightning Network can be proven, assuming SHA256 collisions can't be found, miners include transactions and signatures are unfalsifiable and not malleable. Roasbeef wanted to do it in TLA+, but I am not sure he will find the time.
The wikipedia entry seems to evade the most blaring question that popped into my mind: why the 2 cockpits? After a bit of reading it dawned that because this was intended as a very long range fighter, there were 2 pilots to share the flying duties as flight time might be anywhere up to 12 hours in duration (intended range of 2,000 miles, cruising speed of 286 mph).

The later night fighter model ditched the 2 separate controls and had a pilot in the left cockpit with a radar operator sitting in the right cockpit.

Edit: The next question that I had was: Why not a single cockpit with 2 seats? I'm guessing if factories were already tooled up to produce Mustang fuselages then it could be produced with a quicker "time to market" so-to-speak?
Normally a post like that is accompanied​ by a link to a Wikipedia article.
Does it cost more to keep code in a standard format, with all it the dependencies needed to run it? Yes, especially if you replicate the codebase anywhere the journal article is stored so it has backups in case of disaster.

However, the costs are fairly comparable to what was once the cost of keeping paper copies for everything, so I think it is a cost that can be absorbed by academia.
How to piss off a failed super-soldier
That is a Cold War propaganda tale that is not entirely accurate. The main motivation for the use of the atomic bombs by the US was as a show of force warning to the Soviet Union. The bombings were planned to coincide with the start of the Manchurian Operation (Soviet declaration of war against Japan). The main motivation for the Japanese surrender was the Soviet declaration of war, and the Japanese decision to surrender would have been made without the atomic bombing.

http://foreignpolicy.com/2013/05/30/the-bomb-didnt-beat-japa...

https://www.jacobinmag.com/2015/08/hiroshima-nagasaki-atomic...
It's already hard to understand the culture in a country. I see also the difficulty of handling administrative matters for my American wife, from taxes to mortgage contracts. Everything of course in a second language. Even people's gestures or their facial expressions are different.

To have to navigate the juridicial system in another country is a huge disadvantage. You will make errors which a native will never make. You will not know about options that are very clear to long term citizens. Etc. Etc.

All in all, whatever the crime, you would like to have everybody the same chance in your juridicial system. Foreigners will have a disadvantage however.
Sorry to be off topic, but I just want to mention that this site is not an AMP website, but just try browsing around it to see what a website feels like without bloat.
Quite a bit of Star Wars took cues from WW2.
MTuner advanced C/C++ memory profiler now open source
Pretty sure that's how most app conception begins. How can they gather as much user data as possible, or as many videos micropayments as possible.

I think that most apps only exist so that some company can get a tracking device onto your phone.
The German automotive industry has a very aggressive culture. Our (German) managers put enormous pressure on us to do whatever it took to win deals. I can clearly remember watching one of our engineering managers turning a very unhealthy shade of green (~= #d2dbc9) as her boss turned the metaphorical screws to pressure her to win our segment's first big deal -- Ironically with VW as the customer.

Shamefully, I stayed silent as I watched my colleagues lie through their teeth to the customer: claiming, for example, that a range of functions were already mature and in series production when in reality they were little more than vapourware at that point. I have worked for enough startups to understand the concept of "fake it 'till you make it" -- but there are limits. In particular, the organisation needs to be prepared to follow through and make good on promises made -- or come clean when it becomes apparent that something cannot be done.

One needs to be especially careful when we are dealing with safety-involved automotive autonomy functionality where the consequences of hastily engineered and inadequately tested algorithms can sometimes be serious. I can well remember getting the distinct impression that the engineering team for these early products were essentially being set up as "fall guys" -- we took tremendous risks to win that early business, but it was clear that we would be very much isolated and alone when or if any of the potential downsides were realised.
I think, to some degree, the idea that drives strongly typed, theorem proved languages is a bit different than what most people think of when coding.

A large set of people in that community want to derive algorithms mathematically, using a deductive or proof based process, as in math.

Iterative development conflicts with a top down form of development, and also conflicts with the safety oriented culture of strong typing. While rapid iteration languages and environments are good for initial development, they can be awful for projects requiring maintenance.

About a decade ago, I built a small web app using Common Lisp (SBCL) and a lot of the development I did was done through adding new features and debugging in the REPL. While I saved the VM, reading the code months later to add a feature was terrible because the app was hacked together. I wonder if there's a way to fix this. Typed Racket looks like a promising move in that direction.

FWIW, ghci already interprets Haskell quite quickly for iterative development.
Saying "I have a lot of money" is hardly convincing evidence of being "super rich".
The Filecoin scam got millions out of it...
Not even ten years later. Occupy was fall of 2011. Bernie Sanders ran in the primary from spring 2015 through spring/summer 2016 for the election of fall 2016. So, more like four to five years later.
I love the oWoD. But it doesn't take a grognard to argue it had huge problems in terms of rules. Anyone who wants to play Mage needs to first find a new magic system, because the one in the book straight up does not work properly if you think about it for five seconds.

They also injected a ton of New age-y politics into everything, which annoyed many people. The player base of Mage basically revolted at one point and decided the ostensible villains of the setting - the Technocracy - while far from perfect, where a damn sight more sympathetic than the insane hippie anarchist weirdos (aka Mages) who are pissy humanity no longer lives in mud huts and who can't accept science and technology did more good for the average person than they ever could.
I suspect that many times it is not intentional.

It's just that when you have a computer connected to two networks, it takes every little for it to act as a router.
When I say "compete" I mean the most friendly way. I actually mean inspired. Crowdfunding seems to be gaining traction lately.
https://en.wikipedia.org/wiki/Interlock_(engineering)
There were <5s kernel compiles in 2002. By contrast, a quad socket Xeon Platinum 8180M ($13k MSRP each) system costing $60k with ridiculous SSDs can do it faster than you can blink. That's how far retail technology still has to go to catch up to present-day medium-high-end enterprise gear.
Acidity of the peels affected the acidity of the soil.
In my case I need time for my family, time for my friends, time for my work as a developer, time for research, time to complete work to get paid. I get requests for work that I have to turn people away so you are correct it isn't what I am optimising for, Networking is very far down the list ;)
You can't really blame the man or his ideology, though. He didn't specify many of the things which were decided by those governments, and those governments to my knowledge all followed Marxism-Leninism anyway, which has a different revolutionary praxis. And as I said, they weren't even true to that.
Build your own Google Home incl. shell commands for less than 40$
I am currently giving a other interpretation of paganel comment that "projecting power" don't mean violence, but rather to carry voter support.

Riots and revolutions have shown historically to be very effective at: getting people killed, at decreasing voter support, giving the opposing side more power, and be successful at toppling power. In more instable regions where such events happen in regular waves, the ability of violence to cause lasting change is minimal to none unless you are willing to commit genocide.
These things cannot really be compared. As i said some people prefer the social benefits to be the norm some other (myself included) prefer the money. A lot of middle income positions in many places in europe are treated like a mere bricklayers
Can someone filter this data and throw it into BigQuery? Grouping salaries by years of experience and location would be interesting.
Fame does not bode well for some archetypes. Some of us are really better off actively avoiding the spotlight.
NOx contribute wery little to climate change though.
Hi, my name is Dr. Joel Pierson
The Boston counter-protest clearly had some effect. A large number of nationalist rallies have been cancelled [1], as a result. So there does seem to be a point.

Also, it does raise public awareness of matters, in general, as long as the media doesn't just ignore or downplay things.

[1] https://twitter.com/joncoopertweets/status/89980448626848563...
Most web-based games will probably remain to be in 2D (for multiple reasons, including development cost and accessibility), but 3D games on the web are certainly performant enough.

To give one example, bananabread is a tech demo showing off what can be done with asm.js and WebGL (performance is likely to get even better with WASM):

http://kripken.github.io/misc-js-benchmarks/banana/index.htm...

As for whether a VM has an overhead compared to native, of course it does, but you're not going to convince anyone of your viewpoint by stating something that's already obvious to us all. The performance of web-based games doesn't have to be the best, it just has to 'good enough'. I personally don't think we'll fast adoption of WebVR, but I'm glad it exists as it helps to have it as a goal to improve 3D performance, almost certainly leading to reducing the performance overhead of browsers (as low latency is a key component of a good VR experience).
Ah ok, I misread your comment.
Hi Peter. I am a US permanent resident and will be moving and starting work in US soon. My wife is not a permanent resident or citizen of US. I'm aware that I can apply for an F2A visa for my wife, but she will have to wait outside the US for nearly 2 years.

Is there a way she can be in US, with me, while she waits for her permanent residency?

Things we had considered: a) she can stay in US and work with a US company (unlikely) b) she can stay in US and work remotely with her company outside US. c) she stays in US and takes up studying d) she stays in US and just waits.

Thanks for your advice.
Create a Personal Mission Statement for the Life YOU Want
Like? I have always thought that master degree with some domain experience trumps PhD.
Your Company Should Be Your Best Product (Jason Fried, Basecamp, BoS USA 2016)
A prominent "alt-light" youtuber with > one million subscribers.
Maybe having few good papers/conference talks?
A big part of the problem is that pretty much all of the brutalist concrete building of the 70ies have problems if they aren’t straight on fire-traps they are mold infested places suffering from what the authorities often call sick building syndrome(https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2796751/) combined with a massive urban housing crisis and a civic religion that forbids spending any significant money on infrastructure primarily used by the poor.

It's a combination of decades worth of neglect to a set of buildings that were from day one at the edge of what we knew how to build and maintain due to a demand that they were kept cheap enough to be affordable on the declining working class wages.

Fixing it is not going to be a few replaced panels here and there but a massive 10 year redevelopment plan to replace a lot of old 70ies crap with new buildings, in a political climate where nobody the political systems care about actually wants social housing to be a thing, and as always when there is a real problem the western way is to plug ears, close eyes and chant some feel good mantra.
This is a very interesting piece and true as well but with a catch.

The article seems to advising students not to Network and just focus on building a product or a solution that is worthy of attention. But if you read it carefully, it actually not saying so. The title itself says that Networking is overrated, it doesn't say it's useless.

To build a strong Network a combination of three things are needed:

#1: Character - How you treat others
#2: Competence - How good you are at something
#3: Consistency - How are you able to stay connect with your network

This article is about the second element of competence, it not reducing the value of other two, rather is advising students not to reduce the value of competence.

All three have equal weight and if students start to rely just on networking, they may struggle. That is a fair point.

Good piece.

Paritosh Pathak
Strategic Networking Coach
Pleasantly surprised to see this launch. I interned at NextDrop a couple of years ago. Anu and the team are a passionate bunch trying to solve one of the biggest problems in a developing country like India. My best wishes to the team. :)
Grow food closer to face
Particularly when it's been demonstrated that human beings will just rubber-stamp whatever the machine gives them.
Yeah, it's a pretty terrible article that just plays up blaming "NEOLIBERALISM UNCHAINED" and Capitalism for wrecking what they feel would be the just and righteous state of the UK housing market.

This may or may not be all well and good, but there is only the most tenuous of connections to the actual policies that are connected to the fire, specifically: The richest borough spent money fighting global warming through insulation, reducing their energy bills, and making the poor people's housing look good in the process (but without paying sufficient attention to its fire safety rating). THE MONSTERS. CAPITALISM KILLS.

(Play up the "making it look good!!" and the "not paying sufficient attention to safety" angles, whilst totally ignoring the use of this material in other places, and general UK-wide building standards which just shrug off the idea of sprinklers.)
Lackluster new phone except for the awesome screen, top notch specs, nice battery life, comfortable UI close to stock Android, zero lag in the UI (ahem, Samsung, are you listening?), lightning fast fingerprint reader at a comfortable position at the front (still there, Samsung?), great camera (best mobile camera according to dxomark), rather handy "squeezable" option (customizable, as opposed to e.g. Bixby button), best sound in any smartphone hands down, impressive noise-cancelling in-ear headphones included (this comes from an owner of the Bose QC25's), and quick charge 3.

But yeah, it has bezels and now the latest fad is bezelless (making phones more prone to break on falls and to accidentally touching the screen if you grab them incorrectly). Plus it's not Samsung and they don't have money to put all the tremendously biased smartphone press in their favor. So it is automatically labelled as lackluster, like everything HTC has made for the last 5 years or so, including fantastic and innovative phones like the M7, M8 and 10. Meanwhile, others make phones that freaking explode and still get undivided praise by the press.
If you are in a country where such discrimination is OK, I don't think that the general population is going to look too kindly on the oppressed class protesting. There are already cultures where if you go against the majority opinion you can end up burning all the bridges to your family and friends.
This is actually immediately what I thought this was for!
This is revolutionary. What's next, US human operated telephone switchboards to be replaced by electronic switches? /s
Good points.

> derive algorithms mathematically

Of course, most of what computers do is not algorithms (or even "computing").

> can be awful for projects requiring maintenance

Or wonderful, see Smalltalk. Not that it is perfect and can't be improved, but it sure has been successfully maintained over a long period of time.
That was not a bargain because one event don't cause the other but both events have a common cause.

The common cause is that people is tired of the establishment. When this happen, some go one way and others the other way.

It's not new, it's a historical pattern.
https://www.nacha.org/news/ach-volume-grows-more-25-billion-... says 43 trillion usd was transferred using ach. With 365 days a year, that's 100 million a day, and 5% would be an extra 5 million a year... seems pretty worthwhile to me!
I'm considering writing a post about "Fun vs physics". In it I will explore rhetorical questions like

"does higher build quality make formula 1 cars faster"

and

"do better materials in a car make it more fun to drive"
Leak of 1,700 valid passwords could make the IoT mess much worse
Uber says it's pulling out of Oakland to save money
The last time this came up, somebody posted this link to the 1984 Adam Curtis documentary, The Great British Housing Disaster.

https://www.youtube.com/watch?v=hd7i5-baJAs

It's worth a watch, even over 30 years ago it was known that cladding posed a fire risk to high rise buildings in the UK, if you jump to 45 minutes in they are talking specifically about this.
Correct me if I'm wrong, but hot-swap requires a very particular set up and would be tricky to implement after a legacy java based stack has been established no? Mind elaborating on that a bit? I worked in frontend on such a system and looked far and wide for something that would let me maintain my sanity such as a turnaround time of less than 10 minutes.
I bet you could also use Dictation Commands if you're recording on a Mac, to press the record button by talking.
"About a decade ago, I built a small web app using Common Lisp (SNACK) and a lot of the development I did was done through adding new features and debugging in the REPL. While I saved the VM, reading the code months later to add a feature was terrible because the app was hacked together. I wonder of there's a way to fix this." -- I think you might like clojure.spec, I feel that it is a step in the right direction towards keeping the flexibility and interactivity of lisp while making the code more maintainable. You can find more about it here -- [https://clojure.org/about/spec].

I also wrote a small article on it, not very detailed but maybe it can help you get a rough idea of the power of clojure.spec when combined with generative testing -- [http://abhirag.in/articles/spec_oracle.html]
It's not a dichotomy at all. Type systems etc are obviously there to make it easier, faster and safer to build and maintain your code. I'm much more productive in Swift than I ever was in objc.

The one case where it might make sense to through CS out of the window is if you're building something very small that you are sure you will never reuse or even look at again. And even then I'm not sure it is faster to be sloppy.
New TabI Will Do 50 UK Social Bookmarking for Link Building
HTTP/2 Server Push with Node.js
There was one on eBay a couple years ago, "only" $5k. They're definitely out there! I hope when you do get your crazy hobbyist hands on one that you document the shit out of every interaction you have with it.
> We actually WANT the government to start to sell water on this marketplace.

I hope this never happens.

Mafia of water tanker already operator exists, and you want to capitalize on that. Great strategy for biz but bad for end users.
It doesn't help if a lot of people get nauseous trying it... That seems a bigger hurdle then the price or investors. It's even worse then with the 3D-movie fad where people only complained about headaches.

I've had the Oculus Rift for some time but in the end I sold it. At the current stage with the problems the platforms still have I honestly don't see it as worth investing my time in it. If I would place a bet short-term it wouldn't be on VR but rather AR.

Then again there are certainly niche's where it has his place but as a general usage device? Nah.
Evidence for the benefits of strong typing, where is it? (2014)
This is what the authors hypothesized in the paper. They don't test it though so the causal link between orange peel acidity and forest restoration has not been established.
Some Details About Istanbul and Apartment in Turkey for Sale
> When people defame you in the public, to talk to people in the private don't solve all the problems. The public need to hear from both sides.

Only if you want to run a negative sum game for all involved. This is a horrible strategy to engage in. You only end up also wrecking your own reputation and others and wasting a ton of time.

The socially mature thing to do is resolve this behind closed doors and be flexible as I suggested.

He may get some success by playing the martyr, but it will be success that occurs by his aggression, stubbornness and by expending more efforts in polemics than others. In the end he might still be standing but everyone around him will be wounded metaphorically because of this (mostly via huge wastes of time because of difficult conversations and departures of people from the project.)

Anyone who wants to run a company focused on results and to avoid unnecessary drama should avoid this type of character like the plague.

This behavior he is currently engaging in is a huge red flag if you recognize it for what it is.

Again, he is engaging in a strategy that forces everyone into a negative sum game, which is itself a form of aggression -- and it is easy to recognize from this github issue as I've seen this before close up. It is not a smart thing to do and should have been avoided by doing things differently long ago.

He can still pull up by basically retracting all of this and re-engaging in a mature and flexible manner that shows some contrition/empathy -- but that requires a strong ego, social maturity, and flexibility which may not be something that is possible on his part at this time. Everyone he is dealing with would love that I am sure, even at this stage, because it will stop the negative sum game.
The US, though? That's where I've experienced this stuff. It isn't always "kill the gays", just like it isn't always "kill the minorities".

The social backlash can be bad enough: I was 13 when some girls figured out I was interested in other girls. I sat alone the rest of the year and folks wouldn't speak to me. The high school I gradutated from (different school system) would not allow same-sex couples to go to prom together. I know of a school superintendent that tried not to hire gay teachers, as he thought a gay teacher turned his son gay. I personally identify as bisexual, but the options I had with women in the US weren't the same as men. A woman couldn't adopt my child, nor could we be legally married until recently.

As recently as 1998, oral and anal sex was considered sodomy by US military code. Guess what that means? Same sex sexual relations can get you dishonorably discharged.

And you are correct - few in the states look kindly on the oppressed class protesting. And it is supposed to be a right.