skysight-inc/HackerNews huggingface dataset:
Arenas have more to do with the allocation pattern, they don't solve the cycle problem, right?
> Governments have so much leverage they don't need to be efficient to be a huge net benefit.

But aren't you just saying that when you have $1 Billion then paying $500k more to a contractor doesn't seem that bad based on the net benefit it would bring to have a dream home.

But imagine if this was a charity (something which govt is, if we look at it a certain way), that inefficiency means more people could have benefited out of it.
Cato was specifically founded to advance libertarian views. They say so explicitly. They tolerate some open debate and have some intellectual honesty about it, but don't expect them to continue to fund or advance projects counter to libertarian concepts.

Brookings are pretty dang centrist, and I think there was actually a formal study on this point.

Anyhow, the point I'm making is that think tanks vary in how overtly political they are, but some like Cato and Heritage are very ideologically driven, and others like Brookings more reflect the selection bias of the status quo.
When static typing vs dynamic typing is discussed, i see that often a mistake is made and "static typing" is confused with "strong" typing, and "dynamic typing" is confused with "weak typing".

Just FYI: If one wants his/her "programming language" to catch typing errors/violations/mismatches, one needs to use a language with strong typing, regardless of if the language itself supports static or dynamic typing.

Dynamic typing relies on being able to infer the types; this can be often achieved at compile time but in any case at runtime, if the platform is strongly typed, any type error will be caught. Then, after being caught, what could be done about it depends on your platform -- some platforms will die with an error; some others will die but allow you to inspect what happened; then others allow you to patch (correct) the error and continue.

Static typing requests you to explicitly declare types. This helps the compiler do as much checking as possible at compile-time. This has the added side benefit to increase the speed of the compile code, since less checking is needed at runtime.

Some systems are dynamically typed but weakly-typed. Examples are PHP and ES/Javascript.

Some systems are statically typed but fairly weakly-typed. The Kerninghan&Ritchie C language is an example.

Some systems are dynamically typed and strongly typed. Python is one of them, although it also has what is so-called "duck" typing.

Some systems support dynamic and (optional) static typing, and are strongly typed. Common Lisp is an example, as well as in Julia. In both cases (CL and Julia), static typing helps for increasing performance, and for achieving multiple dispatch (i.e. for Object-Oriented programming). CL is able to do compile-time checking as well, if the implementation supports it.

Some systems have fairly complete strong typing which relies on extensive static typing facilities. Haskell is an example.
Switched to DDG a few weeks ago and can count on one hand the amount of times I've needed to !g
> I subscribe to the Brookings Papers, Cato Journal, Chatham House and Council on Foreign Relations. Yes, the content is political, but discussions of economics and policy are necessarily political in nature.

There is a difference between political subject matter and a clear ideological bias that makes it so if you know the subject and the name of the think tank producing a work, you can predict the general thrust fairly reliably with no other information (or, similarly, where you can identify someone's membership in both a major party and a faction within that party by the think tank’s they are inclined to cite.)

Many major think tanks are ideological in this way.
What about ripping off their staff?

https://www.cnet.com/uk/news/apple-google-others-settle-anti...

Or ripping off countries?

https://www.irishtimes.com/business/technology/ireland-takin...

Or being a member of PRISM?
http://www.washingtonpost.com/wp-srv/special/politics/prism-...

Or the crappy conditions of the places it manufactures its devices?

https://www.theguardian.com/technology/2017/jun/18/foxconn-l...
> Good luck enforcing this with kids. We played flag football in school but full tackle with zero supervision after school in the park.

Sure, kids will sometimes hurt each other just horsing around too. I think the idea here is for sanctioned children's leagues and school teams to not allow tackling.
It could be helpful too. If a government is being wasteful with its money and it doesn't result in more valuable services, then another area that is doing just as good of a job with lower taxes competes for that citizen.

It's one of the few ways a government can be kept in check for excessive spending.
Looks like this is moving now: https://github.com/rust-lang/rfcs/pull/1615 because of recently added $XDG_BIN_HOME.
I agree with you about maintenance costs being more important than initial development costs, especially for large systems. But I have yet to see any real study that proves your assertion that statically typed languages have a "major advantage" in this area. Got any citations?

From my personal experience, the completeness and quality of the tests has much more impact on maintainability than the static-ness of your language. But to be fair, I haven't seen a study proving this either.
To, you know, provide a better customer experience.
Why does the phone need to send packets to discover WiFi networks? Can't it do this receive only?
Remember the Koch's 2012 takeover:

The Koch brothers have long supported Cato, which they helped found in Washington in 1977. Recently, however, they have come to consider their creation politically unreliable. In a meeting with Robert Levy, chairman of Cato’s board of directors, they expressed their intention to remake the institute into a party organ that would aid their effort to unseat President Obama. To do so, however, they need control of the board. They intend to get it by suing the widow of William Niskanen, a recently deceased board member, for control of Niskanen’s shares.

https://www.washingtonpost.com/blogs/ezra-klein/post/why-wou...
>>Hockey can be a beautiful game of finesse, speed, and precision. It could absolutely be re-worked.

Indeed. Olympic hockey is a perfect example of a step in that direction, and one of the greatest versions of the game in existence.
But one of these "offline" apps has to work in Firefox, IE and Safari, so really, it's no different
Relevant linK: https://www.disruptorawards.com/2013-honoree-blog/2017/1/19/...
One should really read Julian Assange's views on Schmidt and Google's think tank. It seems like he got it right.

Here's the link to the article: http://www.newsweek.com/assange-google-not-what-it-seems-279...
Good! then don't complain about it every time an article from the source you don't subscribe to gets posted.
Yes of course (I work on Rust). I mean that the difference between f32::NAN and std::f32::NAN is a small convenience.
Wow, the height chart there is excellent. I was looking at a 2013 post where someone mentioned the next burn is scheduled for 2015. Clearly it was inaccurate.
I would finish school. Start my masters.
So, after a day of using this, I can tell you that I kind of notice it if I'm paying attention, but most of the time I simply don't really care.
I was a team lead for Postmates CS and I can confirm this. They have serious quality, training, and performance evaluation problems.

Conway's law is pretty evident there in that the lack of care for customers is reflected in the lack of engagement between management and the agents and team leads.
1. Every business that's running on GCE. They can't just "move off the service" in 30 days. This is a big one. Billions of dollars. Coca Cola obviously couldn't move in 30 days. Nor Airbus.

2. Every business that's running on GSuite. Let's assume this is mostly small business, and they will have limited ability to migrate to other SaaS or run in house replacements for these services.

3. Everyone who was using Youtube as a primary source of income, or whose business had a critical dependency on the Youtube platform for marketing

4. Every piece of code that depends on Google's DNS infrastructure, and anything that pulls DNS entries from 8.8.8.8 and 8.8.4.4... how many devices like this do you think there are? How many were hard coded?

5. What happens to Android? It's a hypothetical, but potentially it could keep going, but let's assume major disruptions for everyone who runs a business that develops mobile applications for Android

6. How many people (and businesses) depend on Google Maps? How many are tied in directly to the API and won't be able to change this easily?

7. Now how many depend on Google Voice?

8. Gmail has more than 1 billion active monthly users.

I don't know if you're actually looking for a specific list of businesses, but that's not going to be possible for anyone to provide -- anyway, a shutdown of Google services would be an economic catastrophe... Most people couldn't even migrate a Gmail account in 30 days, and with Gmail alone we're already talking a billion+ people.
>It's fucked up and every NA patron should pull their funding if they had any integrity.

That is what Google did, just not because of integrity.
You can make up whatever reality you want. Suggesting Bezos abuses his influence at WaPo to benefit Amazon has nothing to do with Google deciding to stop doing business with an organization that began working against Google's interest.
If you're looking for Vue.js tutorials, look no further
I thought the author's idea that it is prohibitively difficult to create exploits in a vacuum, and need to know the specific configuration of your adversary's systems in order to be able to attack or counter-attack was interesting.

If you think it is appropriate for your nation to maintain the ability to respond, then, pragmatically, you support either your nation intruding in other's systems or your nation maintaining a weak deterrent response.
They use it because universities traditionally exposed per-user web pages through the Unix shortcut path to their home account directory. The tilde has no other significance and doesn't make much sense outside of a Unix system.
In this case, the .NET-provided base class defaults to using the synchronous version when the async version hasn't been overridden.

https://msdn.microsoft.com/en-us/library/system.data.common....

> Providers should implement this method to provide a non-default implementation for ExecuteReader overloads.

> The default implementation invokes the synchronous ExecuteReader method and returns a completed task, blocking the calling thread. The default implementation will return a cancelled task if passed an already cancelled cancellation token. Exceptions thrown by ExecuteReader will be communicated via the returned Task Exception property.

Found that after several hours of tearing my hair out trying to figure out why my async calls were still blocking...
This is horrifying.

Are you sure it was an UberEats order and not their own lunch or something?
Those who don't understand the value of Types are doomed to recreate them in tests.
I think hockey would not be affected much, but NASCAR would drop precipitously if they reworked safety, car design, and rules such that there were no more major crashes.
How Houston is using open data to handle Hurricane Harvey
I don't think that it was a specific design decision to make '==' be a pointer comparison instead of value comparison. It's simply a consequence of the much more general design decision that operators cannot be overloaded.

`a==b` is always an analog for the C code `a==b`, not `* a==*b` and certainly not C++'s `operator==(a, b)`
One of the issues is that the protocol used by an SD card isn't as efficient nor battle-tested as SATA. It might not be much of a problem with relatively low capacities in the handfuls of GBs but could cause problems as you go beyond that.
You'd think people would have learned their lesson from Kozmo. There's clearly some market for home delivery. Pizza places and random Chinese restaurants have been doing it forever. But it's teenagers and other people largely working for tips. Not VC-scale "disruption."

And grocery delivery works too. But it's mostly just an adjunct to B&M.
The context of this thread is unsafe, which can segfault.
The M.2 form factor gets you most of the way there. They're significantly smaller than normal HDD/SSD, and can cope with being used hard, unlike mickey mouse SD card stuff.
There is also flag football for adults! They often have different leagues from no and partial contact up to 8-on-8 full contact (this is still flag and no tackle).
I could be mistaken but I thought a few concussions was enough to cause brain damage, once you get to three there's a marked increase in permanent, measureable damage in most people, if one is under 25, it doesn't take as much.
Here's a bit where they measured the force of rugby -vs- football tackles. Football is 3 times harder.

https://www.youtube.com/watch?v=W7tGY-VDx3o

Don't have much commentary on the subject and just wanted to share the vid. I'd only think that a difference like that can't really be resolved to padding.
From Superstar to superfund site – the history of an aluminum smelter
I don't mean to sound rough but do you really need to analyze compilation logs to arrive to the conclusion that you should use an IDE and that types are helpful ?

There is also no real hint into why getting this error: "Too many arguments for method parameters" is inherently bad. I assume that it is not informative enough and that you'd prefer getting a type error instead ? In that case it is not the quantity of error but the quality of error that is an issue.
the convnet could learn the "mechanical" things you describe, like focusing on the middle / center of the pictures more, etc
I don't think the founders could have envisioned this when they wrote the Constitution. What happens when corporations have more power than the government? I would imagine that back in the 1700s the government was the most powerful potential free-speech limiting enemy.

However, we can't really tell every private company to allow all free speech because it leads to all sorts of problems. What are we supposed to do?

This are fraught with many legal, technical and moral concerns and I hope we can all come together with an acceptable solution.
This modern uSD tech is astonishing, beyond any science fiction. I no longer pay attention to the transistor sizes or the CPU clock rates, but the advances in the data storage technology look amazing to me.
Other parts of the world change the rules of their 'person holding ball and running' games to make them safer for players.

Rubgy union, rugby league, aussie rules. All have had rule changes over the years to make them safer.

And these are in countries with universal health care and without a 'sue everybody' culture.
I was going to say something about reliability.

As impressive as this feat is, and it really boggles the mind, I've had a large number of SanDisk MSDs fail on me before I switched to Samsung. I'm not very likely to switch back.
"Spy all you want, as long as you don't try to control what we say or compete unfairly."

I would take away the phrase "compete unfairly". Nobody cares about fair competition. They preferably want Google to help them or at least get out of the way.
Well, Turing called his famous paper "On computable numbers, with an application to the Entscheidungsproblem" without really state that the "application" is that he solved it.
I'm not sure what you are arguing. People watching doesn't make it any more or less moral, no.

People or organizations profiting off the risky behavior of others is potentially immoral. IMO a large part of why its either moral or not is in the participant's knowledge of the risk. If the group profiting on the other's risk is actively seeking to hide the risk then it is definitely immoral.
I used most of Google's services. I thought they were great, but them I met a neighbour of mine that held such hatred toward them that I could only describe it as visceral. He told me a story of how he used Gmail, Docs, chat, Blogger, but as a director YouTube was the most important. One day his account was locked. Google decided he had used YouTube inappropriately and suspended his account. No recourse, no remedy, but more importantly his data and online identity were instantly gone.
And then I thought about it, what if it happened to me? And that was the end of the Google for me, death to my Apple ecosystem, and hello DNS registrations and safety deposit boxes with the backups of my data.
SaaS is a Chinese Finger trap though, so the further you are in....
As for dependent types, it's probably just that the type systems for them are simply not yet mature enough to be practical for most tasks.
SPLC Transfers Millions in Cash to Offshore Entities
You often don't need it at all;

fn foo(x: f32) { println!("{}", x); }

fn main() {
let x = 5.0;
foo(x);
}

It will look at the signature for foo, and infer that x must be f32.
The reason is because that's how mod_userdir has worked for a couple of decades or so.

It was a way to easily allow unprivileged users to share content from their ~/public_html/ directory.
>>> I'm also well aware that there's very little difference in reality between a promise-based style of coding and a callback one.

Then you're not using promises as they are intended to be used.
If we put the economic part aside, what kind of storage density could we reach with these in a 4U case? I mean something like a custom build Backblaze Storage Pod [1] but for microSD cards.

[1] https://www.backuppods.com/
This sounds like nothing new, other than a new way to take money from ignorant executives.
>Many major think tanks are ideological in this way.

That's not at all the same statement as "think tanks are a euphemism for propaganda machine".

The goalpost has shifted.
This is mostly due to GST impl. in July. Manufacturing had stopped and warehouses were no longer being filled from March onwards in anticipation of GST.
I dunno how I messed that up. I'mma blame the post-lunch slump. For some reason I was thinking IPv6 was 64 bits.
Yes you do need power to do what Google has done. But having the power to control a think-tank of that size does not require an industry to be nearly as concentrated as online advertising currently is.

[Edit] Just think about how much you would have to reduce concentration in any industry so that no corporation is large enough to fund a think-tank and have someone fired.

Even if you did that, corporations with shared interests could join together to do the same thing one larger corporation would otherwise have done. It wouldn't be the first time.
Seriously though, the agenda behind a think tank may be a thought-out given. But there can be plenty of conniving left for the think tank related to carrying it out.

Obviously, this guy wasn't fit for a think tank, if he couldn't rub two brain cells together to learn the adage "don't bite the hand that feeds you".

Or maybe he is meta-clever; no publicity is bad publicity. Get fired from a Google funded think tank for anti-Google thoughts and come out smelling like some kind of hero.
What mistakes does Go copy from C?
On one hand reading hacker news left me with the impression that creating a business is incredibly difficult with so many things to get right, and on the other there are companies like this successfully raising money and growing, I'm really puzzled. Sure they are not sustainable but are investors still fooled by this? By my limited experience in the B2B space they are usually quite smart and know how to do a serious due diligence

Edit: I understand the investors could have taken a conscious high risk bet on an unsustainable business model, but how it comes the founding team didn't raise any red flag to the investors before?
https://www.shyp.com/
As a lot of you probably know, the European style of hockey - as opposed to the North American 'Dump and Chase' (and Clobber into the end boards) style is a very entertaining brand of hockey to watch.

A lot of people disagree with me, but I believe that the chippy, dangerous stuff could be legislated out of the NHL if the league implemented truly stiff fines and penalties that would discourage coaches from putting chippy players on the ice and discourage GMs from signing chippy players. Hit the owners in he pocketbook and things will change. that is what I believe.

Having said that, I feel that as long as Bettman and the NHL owners feel that the chippy stuff puts butts in the seats it will be part of the NHL.

I perceive that the players do not have as much respect for each other and the game as they did years ago. This is not an original thought of mine and has been drummed into my head a bit over the years. It does seem to me that some of the most dangerous hits would not occur if the players respected one another more. That is just a perception of mine. Any thoughts?

I know serious hockey fans in Minnesota who have grown fond of the girls (high school) and womens (NCAA) rules that do not allow checking. I personally like good, solid, clean checks that separate the opponent from the puck.
SQL Injection testing for beginners
The 3D-Printed Curta Calculator
I have seen a few environments like that and they can be just as corrosive.
I have seen middle school kids that were great artists or writers or musicians told that they were failures at life because they weren't one of the 15 best math students in their school.
That's not a very good answer. Do you think one newspaper should allow you to read their work because you subscribe to another? If you don't want to subscribe just turn off the adblocker. They're giving you the choice.
This is just part of growing pain trying to improve the efficiency. Yes it sucks for people who lost the job but I am sure Postmates treated them really well.

As a business, they have the strong brand among restaurants and customers (maybe except few HN'ers). They can certainly use some help with couriers.

They will be fine all the people whining has the same reasons when Amazon got started (this will never work, this is a bad business model, shipping cost alone is bad etc). I have been hearing these arguments for past 20 years about Amazon they have grown to be the powerhouse. It always seems impossible until its done. I am pretty sure these same people still think Amazon is on verge of collapsing next day.

There are people who point fingers and whine. If you listen to them they make very good convincing arguments but in the end, accomplish nothing and then there are people who go make things happen, who make impossible possible.

I applaud Postmates efforts to help little guys compete with big guys. We are better off not living in Amazon monopoly.
But in my example this is not hard to get right in C. The tree is constructed (on the stack would be fine), then used for a while without mutating it, then freed all at once.

The thing that makes this hard in rust is destructors. If there's a cycle between A and B, and you destruct A first, then B, then B's destructor would see a dangling reference to A. And vice versa if you destruct B first.

But I don't need destructors, or at least ones that can see these references, so it's frustrating.
Reference? I always like to see these cross pollination stories, but I need a source on this one. The rugby way of tackling is the same as the way you are taught in Pop Warner and the way you do angle tackle drills, I thought.
JavaScript can already do concurrent searching. Concurrent is logical, parallel is physical.

Efficient parallel GC is non-trivial to implement. In the most common implementation, you have to pause all threads before you can collect. That will often negate the performance benefits of having independent parallel threads running, especially if they are thrashing the heap with shared objects as you suggest.