skysight-inc/HackerNews huggingface dataset:
While some US law schools offer what are termed masters (LLM) and doctoral (often 'SJD' or 'JSD' or the like) advanced degrees in law, few law professors (other than those with a first law degree from outside the US) have such degrees. (Edit: It's somewhat more common to see law professors with a JD and a PhD in some other field such as economics or history, but this is still not the typical profile of a law professor at any tier of US law school.)

At least at the relatively elite law schools, law professors do tend to be hired not too many years out of law school, often following a prestigious federal judicial clerkship and perhaps a couple of years of a stint at a top law firm. (That's probably mostly because those are the relevant biographical characteristics of those doing the hiring.) It is relatively uncommon to hire very experienced professionals (apart from adjunct positions). As you move to less elite tiers of law schools you see more ordinary faculty drawn from experienced professionals not necessarily having the cookie-cutter star credentials new hires at the elite schools have.

First year classes may be taught by either very experienced law professors or fairly junior ones.
Cryptocurrency hacker says stolen $53M is legally his
I'm surprised by that. Wikipedia has him as "one of the intellectual leaders of the Argentine opposition" and pretty against the dictatorship.
Good for the consumer, not good according to a metric of enforcing digital ownership by the license holder. The latter might, or might not be, good for the bottom line.
How is omega not equivalent to the time interval in common EC strategies. Also, saying that "EC" doesn't guarantee serializability sounds strange. It does, over t. And yes, CAP is widely misunderstood, but I'm not sure this is the fault of the academics.

Sounds kind of like this was written to a certain audience that is in a bubble wrt the wider field.
>>as long as it can be fairly collected

I am sure your definition of "fair" is vastly different than mine, but I do wonder how you define "fair"
UV-C LEDs to Purify Water Aboard the International Space Station
> Haskell-the-spec (anti-modular, coherent) and Haskell-the-language (incoherent, "modular") work completely different

I'm unaware of any such difference. Please explain.
It merged the Department of the Navy into the Department of War, because separating the Army and the Navy was inefficient. (And it was briefly called the National Military Establishment.) Let's not buy into these politically-correct renamings; it's still the department of war.
This is an all too common occurrence with "nerds" such as yourself on Hacker News: You are perhaps intelligent and high IQ. You are perhaps a successful telemetry engineer, yet you are BLIND when it comes to even a BASIC understanding how everything operates socially.

Raw intelligence by itself, is scoffed at by the general population. Outside of your tight knit nerd-circle or a back office server room in Silicon Valley, nobody actually cares about your quirky radio-frequency system hobby. Not even your boss cares, he just wants you to bust your back to help turn a profit.

On a social level, athletes and high-school football jocks take higher precedence than you. Pop musicians take higher precedence than you. Actors take higher precedence than you. Your local handsome extroverted bartender who can't even operate a computer takes a higher precedence than you (especially in the eyes of ovulating women) That is what human-worth means, in the 21st century.

Sorry guys. The show is over. Perhaps in the near future high-IQ nerds will finally engineer fully immersive virtual world(s), because that will be only world they will ever get any respect.
And funny!
Show HN: Typeflow – Type-ahead as a Service
I can only think of one theory that could defend the US gov decision. Perhaps they didn't want to directly charge for the com domain to make it appear more open and "commercial" to foreign actors (states, companies).
Scientific Publishers Are Killing Research Papers
But we wont need that many mechanics, probably just the really good ones (because there is now less demand))
A lot of back and forth between Google and the U.S. government lately. Even Eric Schmidt joined the Pentagon. I think if Google would've kept the robot division, it would've inevitably become a defense contractor (even though they promised they wouldn't). Fortunately, it's going to sell it, but there's still time to become that with DeepMind, etc.
After 147 Years, Goldman Sachs Hangs a Shingle on Main Street
Ross Ulbricht created Silk Road and deserved life sentence, DOJ argues
https://news.ycombinator.com/item?id=11927891
and I see taxation as Violence.

I believe we can Accomplish a lot with out Taxation.

I think we can even have a Universal Basic Income with out taxation. Geo-Libertarians have long proposed such a plan creating Universal Basic Income Derived from Commons Rent

I do not believe to have a civilization you must hold a gun to someones head and take a part of their labor or insert yourself in every financial transaction unethically taking a cut of that transaction like the mafia's protection racket...
They are, in a way, the most benevolent of dictators.
> how about letting the investors and market decide?

I basically agree with you, and the market has been deciding; IEX is currently the #2 ATS (colloquially "dark pool", but IEX has been publishing quotes). However, now that IEX is an exchange, their quotes become "protected", and all market participants are legally required to send orders to IEX if they're displaying the best price. It's now illegal to decide that you value a quick response or a higher chance of getting a fill over price and choose not to trade on IEX.
Eh, no. Actually they weren't. A mobile version of a phone makes as much sense as electronic mail. Cause that is what it is.

It's not like web 2.0 which isn't a newer version and also not like serverless when it has servers or cloud which isn't a cloud.

Btw. this isn't about how new it is. Just look at stuff from the 90s. The terms they also didn't stick.

Also those things had a specific well defined meaning.

Like again web 2.0 didn't. User created content, Ajax, etc. all surround that.

Not saying buzzwords can't become meaningful, but they are still buzzwords.

Also they still are wrong when they are something like serverless, which is just plain wrong.
Then don't answer it in the traditional fashion: turn it into a joke. "What did I do this weekend?" "I gave birth to a live baby zebra." It'll make people laugh (or at least smile), they'll think well of you and you never actually do tell them what you did for the weekend.

Another tactic is to say "not much, what about you?" People love talking about themselves.
> All the data centers across the world, the network connectivity, the DDoS hardware, servers, custom software and staff to run it all must be expensive.

We’re just talking about the DNS part here; not the hosting. Maintaining a bunch of DNS servers doesn’t cost $9 per domain.
And those IEDs they have to deal with were placed someplace because the actions of the military are mainly peaceful and only reactionary violent and the reason they are in a place fighting another military group is not caused by past and current interventions of the over-funded military? I totally get that the individuals making up the forces deserve all the safety they can get, but that doesn't change the fact why they are deployed in the first place.
Ad blocking now covers ~50% of millennials, iPhones, Asus android phones, and soon more. It is snowballing into a "there is no next generation of ad consumers" problem.
The US may be becoming less religious but there's a clear and growing trend of anti-intellectualism. Look at the anti-vaccine movement as an example. It has managed to convince many people that vaccines are risky, which is directly contrary to all scientific evidence.
Interesting premise, if not exactly novel, but some could argue that, excepting some needed advances in medicine, we do have everything we need and we're still not satisfied. It comes down to this, will humanity ever design/invent something universally recognized as being perfect? I don't think so, I will still try to check out the book though.
Anybody have experience working for the USDS? What was it like? I'm curious to know if people in industry on the East Coast recognize the program.
_Fire In The Valley_, by Paul Freiberger and Michael Swaine.
Yeah, but is that anywhere near the 1 billion in renevue (According to the top answer) that verisign brings in?
Not a lawyer, but a contract requires that all parties must gain some consideration for their entry into the contract. That the blockchain enforces the proposer's "smart contract" without giving material return to the token-holders means that the proposer's claim is unenforceable in a real-life court. No consideration, no (real-world) contract, no breach if some consensus fork emerges.
The author has buried the lead:

"“People are not being helped by going to these schools,” Kyle McEntee, executive director of the advocacy group Law School Transparency, said of Valparaiso and other low-tier law schools. “The debt is really high, bar passage rates are horrendous, employment is horrendous.”"

Less than 2/3 of Valparaiso's students can pass the bar. Even if everything else is good, why would anyone recruit there?
In addition to this the language is not explicit enough. Even standard Haskell wouldn't be safe enough for a program that manages $250MM directly without safe guards.

In addition to typesafety, it would have to be both explicitly typed at the lowest possible granularity and annotated with pre and post conditions.

Not only did this code allow a bunch of tokens be transferred without compensation, it left the whole accounting system in a corrupted state! One that could have easily been detected and verified at any point.

This line:

```
Transfer(msg.sender, 0, balances[msg.sender]);
```

Should have looked like this:

```
// postcondition: balances[msg.sender] == 0
Transfer(msg.sender, 0, balances[msg.sender]) :: Action<Transfer>;

// Compiler result:
// # Error 1: line XX expected type Action<Transfer> but instead got type Transfer
// # Error 2: line XX violates postcondition, expected balances[msg.sender] == 0, got balances[msg.sender] != 0
```

And the whole function 'splitDao' should have a type annotation that completely captures the possible actions it might encompass, and pre- and postconditions that at the very least constrain the result of the function to not corrupt the accounting of the DAO (i.e. it should still have as many tokens as it believes it has).

It's nice that Vitalik Buterin is a genius, but it shows that this guy is only 22 and dropped out of university because anyone with a degree in computer science knows about this stuff and its importance in high reliability systems. He should have known the contract language should have had typechecked side effect and he should have known proper pre- postconditions would have been the least he should have done.
It was called the War Department between 1789 and 1949. Ironically, during that time, the US engaged in fewer foreign wars than after adopting the "Defense" misnomer.
Also your spouse cannot work as a dependent. They need to have their own H1-B or any of the other visas. Consider the probability of both spouses getting past the H1B lottery.
Analyzing the Twitter Network of Dharmesh Shah
Shit. Hope you get that stuff sorted out, probably deal with the hemorrhoids first.

(aside since I assume that was an example! :) [Edit: and in case you aren't, hope you do get that sorted out]

Google has better potential for growth, but it still needs to prove it can heavily monetize anything outside of search. That is, find a new business that is competitive with their search revenue, until it's too late.

Facebook's first success was monetizing mobile (which Google should have been able to do better than it currently does). Its potential to find new sources of revenue is good but not as great as Google's.

Only time will tell if either or both will succeed next. Since potential isn't as good as realized potential of course.
Curious if there are plans to apply the algorithms to other platforms.
In Germany the consensus is that there are so many underutilized lawyers that they resort to shady business tactics like cease and desist as a model of income, looking for opportunities to threaten website operators or trick users with traps and later c&d. And then we have pedagogically incapable and unqualified teachers who only are equipped with field knowledge (math, history, etc.) but are in no way able to teach humans anything, making one wonder if more of the smart enough population should consider education, though that would require reasonable wages. I can't help but think there are not many societies that favor education as importantly as it should, if we consider what teachers and public researchers can make.
One solution might be to design a safe language that compiles to the the language used in Ethereum. Not sure if possible within the given constraints.
Given that the blockchain can split at any time with a probability based on incentive that approaches infitesmal values as chain size goes to infinity, the blockchain is not even eventually consistent. It is never consistent, only probabilisticly consistent.
Your last paragraph is way off. I don't have to list my anti-sexism accomplishments to justify making a point about something else.
> Nothing in this explanation of terms or in any other document or communication may modify or add any additional obligations or guarantees beyond those set forth in The DAO’s code.

As far as I see, that means there's no guarantee that Ether will be accepted by other parties, and no obligations on Ethereum miners, a de facto counterparty to the contract, not to agree to modify their own code. Of course, third parties [some of them with conflicts of interest] forking Ethereum is against the spirit of the "contract", but so was exploiting a recursion bug.

Which just goes to show that you still need to trust those with voting rights not to collude against you in a supposedly trustless system.
WW3 SHARIA LAW 4 AMERICA WTF
I'll grant that the debugging story for K isn't as sophisticated as with many other languages. Having a REPL and preferring programs that are mostly pure functions helps, but there's room for improvement. Tooling is about the community, though- not the language. I think that making documentation, screencasts and generally encouraging the expansion of K's open-source ecosystem will, with time, close that gap.
The moral consequences of technology are extremely relevant. Technology can be used for both great good and great evil. It seems weird to not want to ever discuss that.
Do movies and tv shows give the wrong impression and lure the wrong people to law degrees?
> "It conveys so much more information in a much quicker period."

What a pathetic load of hogwash. Video is the slowest possible way of conveying any meaningful information.
A neat and beautiful Reddit
The content appears to be lifted directly from this two year old posting:

https://www.toptal.com/python/an-introduction-to-mocking-in-...

I was trying to figure out Python mocking the other day and knew I had seen that exact content on a different site.
You may want to visit Africa. The time China was insulated to it's own people only is long gone.
Yes? They would get a better human right record eventually?

Firstly - China doesn't have a great human rights record right now. They have an excellent economy.

The earlier communists themselves have one of the worst human rights records.

And you don't "convince" anybody. You let them choose for themselves. Without that part - without being able to choose a bad choice, people can't learn from those mistakes.

You think the west learnt from someone else? People learn from their history and their context.

Remove that from them and well - you remove their ability to have their own identity and history.

Rights can only be understood by the masses after they have examples, leaders, or history which they can translate/relate to.

Thats why India has Gandhi, South Africa has Mandela.

Its very obvious whats happening here, civilization is being brought to the savages.
The apparent typo is odd, IMO. I don't know the language in which that program is written, but looking at that snippet, "Transfer" takes 3 arguments whereas the "transfer" function takes 2 arguments. Isn't there any code review involved when this makes into the codebase. Assuming there was some code review and the reviewer just missed it (which is very much possible), a basic unit test case would have easily caught this bug, isn't it? After all, the test case would have checked for the balance etc... after execution of these functions. Aren't there any test cases around this?
There is a very vigorous balance between liberal and libertarian views on HN, and both sides tend to (mostly) strive toward thoughtful discussion.

Please take this sort of thing to Reddit where it belongs.
People don't hire lawyers without real-world experience. The supply of lawyers with experience is much smaller than the supply of JDs, because there are only so many opportunities to file briefing or argue in court.
Framework for Keyword-Driven Test, 0.0.13 released
Citadel is not happy:

“Today’s decision will test and potentially reverse the gains in fairness, efficiency and transparency that have been made to our markets over the last decade. We must be vigilant to identify unintended consequences, and firm in our commitment to equitable and consistent treatment for all investors.” [1]

[1] http://www.reuters.com/article/us-usa-sec-iex-idUSKCN0Z32NM
May is Earth's hottest on record
The problem then becomes ensuring that only code compiled from that language can run.
> Think of a movie that was impactful to you

I cannot name a single movie that was not dull compared to a book it was based upon.
The demos aren't working, at least not in iOS Chrome.
If ether had no value there would be no talk of undoing the transaction. That's my guess at least.
OpenSSL had some code cruft too, and god knows that didn't stop it from being deployed in production. People use code because it works, not code that's perfect.
I don't participate in virtual currencies because I am not smart enough to understand all the nuances, or at least I don't take the time to try and understand them. Plus, I don't have money to throw away. However I find the discussions about the DAO fascinating because of the intersection of technology, law, ethics, morality and government.
So they pay the taxes. There should still be quite a bit left.
I generally advise nice, ethical people who want to benefit society to avoid working for morally ambiguous organizations, as it can have a degradating effect on their character. Still, some people find their principles in unexpected places. And for someone who is an expert on fighting abuse, there is an rare opportunity for outstanding service to their country and the principles that made it great by applying such skills to the situation at Guantanamo.
How were you able to have "express entry"? (my parents did it and it took my family about 5 years to receive the PR - we did it from Abu Dhabi)

The software job market is Canada is kinda terrible (I am a recent graduate looking for a job - not to mention the salaries in Canada can't compete with those in US)
There's a whole bunch of space system support software that isn't hard scientific code (which is handled by a totally different team), but rather for specific management-related tasks. This code is written in all the web technologies and frameworks one would expect.

Edit: I'm wondering about the downvotes, since I've actually written such software.
Why should the United States accept everyone who announces they would like to start a company? But it does with the E2 visa (for treaty countries).

And your problem is that you can't stay forever when the business fails?
Just let people use whatever they want. Those who write unsafe contracts will get bitten but that's ok.
I think if Google and Firefox join forces and create a Dns override in their browsers that resolves domains without querying the root servers it could be a real game changer.
I remember this used to be an option in very old versions of IE where some company it using some plugin. This can be an end to all such monopolistic tactics and domain squatting.
Wouldn't they have to find out his/her real identity first?
The solution to this should be simple. Every n years, domains are put up for auction. To keep the domain, the original owner must pay x% of the top bid, otherwise the top bidder acquires the domain for his bid price, maybe add a year or two of grace period so the original owner can migrate.
Very true. Where are the lawyers that will work for a measly $80/hr? The same amount which makes a lot of freelance programmers very happy.
There are a few different places where the money goes in a domain registration transaction.

ICANN gets $0.18 per gTLD registration.

The registry (Verisign, Neustar, Donuts, Radix, etc.) sets a wholesale price that the registrar pays the registry for each domain year. That can be anything from a few bucks to hundreds or thousands of dollars (see .cars, for example).

The registrar adds a markup to what they charge the registrant on top of that wholesale fee.

In general, ICANN gets very little, the registry gets the most and the registrar somewhere in between. The registrar supplements this small yearly amount with add-on services like WHOIS privacy, or by selling email or hosting alongside the domain.

The registrar also pays a yearly fee to be accredited by each registrar which also adds to the cost to consumers.
The linked article with a good explanation of differential privacy: http://blog.cryptographyengineering.com/2016/06/what-is-diff...
Why would NASA somehow be invincible to hype?
Most companies I've worked at and spoken to would rather we not record our meetings. Paper trails and law suits, etc.
Seriously, on Hacker News you're going to make a political comment that has zero to do with anything I commented on? A DoD software contractor has no control over congressional level politics. The reality is that they were there / still there so while you work to campaign for changing the reality are you suggesting we should NOT make things better for our soldiers to stay safer?

Get off your high horse and make your political, off topic statements on reddit instead.
I believe those photos are taken with a camera capable of HDR, which definitely puts it in better light than it is in reality - it almost looks photoshopped!
I'm curious, are there no tests for the code running this? It seems like some of these bugs would be caught with them (especially the typo). And it seems like insanity to not have them.
Thinking outside of the box with NGINX series – map command
In my company the in-house counsels are in the highest salary ranges. At a law firm they would have to do sales whereas in a corporation they have a pretty stress free job from what I can observe.
Actually, SSA is very efficient.

SSA spends just a fraction of a percentage point of the benefits it distributes on administrative costs (ie, the existence and operation of SSA itself). But even the vast majority of that is for the means-tested SSI Title 16 program, not the simpler Title 2 SS programs. Since a UBI is much simpler than either of those, SSA could easily save even more -- there would certainly be plenty of consolidation and maybe downsizing possible after passage of UBI. But there's no reason to throw away the common infrastructure for payments that already exists.
Book Review: The Limits of Mathematics by Gregory Chaitin