skysight-inc/HackerNews huggingface dataset:
The capacity to not see something like that goes orders of magnitude further than you'd expect. That's one thing I've learned from moderating HN: nearly all abuse, including what you'd swear is outright trolling, is unconscious and unintentional. Any vague awareness that one is doing it is accompanied by the righteous feeling that the other person has done much worse; which is another variant of self-deception.

I'd even say that in their trivial way, these internet forum dynamics are connected to the causes of violence and war. If that's true, it has an interesting consequence: internet forums are an opportunity—trivial, yes, but therefore also safe—to work on the sources of violence and war in oneself.
Some journals are very picky about that. As in refusing to publish, if too much gets leaked.
The house is mold-ridden and someone proposes that what we really need is to turn it into a tropical spa. That's how useful the dragon parable feels.
> If Office stored data in an easy-to-parse open format, society may well have already created a universal flu vaccine.

Help me connect those dots please.
JoeP's modular synth is live, again
First, cities often can't tax the burbs. Commuters often use city services without paying for them. So, local taxes are only a tiny part of the story you need to look at the state and federal level.

At the federal spending it's major metro areas that are funding much of the country. Delaware get's back 1/2 what it puts in and South Carolina get's back almost 8x what it puts in. Those are absolutely massive tax flows which fund things like rural hospitals. But also a lot of infrastructure like new roads.

Even within states if you look at Virginia the DC area provides most of the revenue which is then spread around the state.

But, this ends up far more complex than just the local property tax situation.
I've been to Bloomington Indiana, the downtown is thriving, at least from what I can see. A lot of new buildings. Hotels, apartments, restaurants and shops, hardly a vacancy to be seen. A good number of bars of course. It's a college town. The economy is going to be dominated by students and the University.
> I see this an issue of typing

Yes, this reminds me of "stringly typed programming", i.e. where the language may offer strong types, but the program just uses `String` everywhere. String injection attacks are examples of this: SQL injection can only occur if it's possible to concatenate "SQL statement" with "user input"; if these are both represented as `String` then it's easy to run into such problems; if they're represented as different types, then the only way to combine them would be with a designated conversion function, which is exactly where we can put the neccessary escaping.

See also: http://blog.moertel.com/posts/2006-10-18-a-type-based-soluti...
First of all, NIST - not saying it's useless worldwide, but we're not bound and so it's probably ignored.

Second, good luck until something like this 2017? guideline makes it into the big non-IT corporations, NGOs and governments. maybe 2022? :)
Brain in a jar!
But it also lead to the rise of diesel cars not all the EU's technical regulations work very well - cookie laws for example.
I thought the problem was related to subtyping? AFAIK the reason Scala doesn't have HM inference is because something about the existence (nominal?) subtyping makes it impossible/super hard to infer types that may seem obvious/easy - even with monomorphic functions.

Ex.

def fact(n: Int) =
if (n == 0) 1
else n * fact(n - 1)

will fail to compile and tell you that you need to provide a return type.
This is truly horrifying. Makes me think of _I Have No Mouth, and I Must Scream_.
As I read what you wrote, it seems you restate the author’s point (which I agree with). Globalization brought lower prices and greater selection at the cost of the health of the community. Sort of like eating sweetened thing tastes great but you have to watch what it does to your health over time.
As an F# developer (no type classes), I found this very informative. Thank you. I'm looking forward to the day when .NET languages (including C#) support type classes.
Is there any research being done into putting living neurons on a chip and having them process information?
The unlucky one who got caught? I can’t really imagine there being more than one or two people with a Tesla with enough screws loose to actually attempt this..
Chapter 1 of Ansi Common Lisp by Paul Graham
> With a national clearinghouse, students could upload their academic records and accomplishments during their high-school career and then in their senior year simply press a button to apply to colleges. The database would be open to admissions officers at all colleges, so they could see where else students are applying, bringing a level of openness to the process. Under a matching system, students and colleges would each submit rank-order lists of each other and be paired as closely as possible.

This is precisely what we have in France, ans it's run by the government (and is thus prone to the same type of complaints as that Obamacare website).

There's a lot of contention about how well it does or doesn't work, though I'd say it gets the job done. Your results are automatically entered by your high school, and you get your results by "waves" as new spots clear up.
I believe the commenter may have been talking about what I've seen called fix-point recursion, and it is exactly as you say, it is for representing arbitrarily nested tree structures in a statically typed way.

For example in scala, maybe you have data about Users

case class User(id: Long, name: String, friends: List[User])

However, this structures is kinda inflexible, you don't always want to deal with an entire tree of users at a time. Maybe, you just want to have the friend userids, so you can introduce a type parameter for the recursive data

case class User[Friend](id: Long, name: String, friends: List[Friend])

and then you can have a User[Long] which contains the friend ids, or User[String] which contains the friend names. However, if you want to go back and have the list be of Users themselves, you would have to know statically how deep the tree you're returning is. For example, this type would include full user information down to the grandchild level, but then terminate with the ids:

User[User[User[Long]]]

This is actually very useful! Sometimes we may want exactly this deep of a structure. If we want to get an arbitrarily deep tree of users, we would need to have an infinitely nested type like

User[User[User[User[User[User[...]]]]]]

which is of course impossible. So instead, people have a work-around using higher-kinded types, called `Fix`:

case class Fix[F[_]](unfix: F[Fix[F]])

This signature may look scary, but if you apply it to User you get

Fix[User](unfix: User[Fix[User]])

and all this means is that now we can deal with Fix[User] which means the same thing as User[User[...]]. You can construct one such Fix[User] differing levels like so:

Fix(
User(
id = 1L,
name = "Josh",
friends = List(
Fix(
User(
id = 2L,
name = "John",
friends = List(
Fix(
User(
id = 3L,
name = "Stacey"
friends = List.empty
)
)
)
),

Fix(
User(
id = 4L
name = "Mary"
friends = List.empty
)
)
)
)
But someone with far less brain activity than, for example, an unconscious patient on an operating table is not going to be more conscious.
The article mentions "ethical implications" a few times, but doesn't really hint at anything potentially negative. Obviously the potential to save or prolong lives is an enormous potential benefit, and any negative consequences would need to be elaborated on to be weighed against it.

Is it just that the technology smells like scary sci-fi stuff?
> I strongly disagree that it's this. Those discs were not worth $700,000. Were they worth $200,000? 6 month term. $20,000? Fine and probation.

Is your sentence estimation accurate?

> The sentence is based on the value of the infringed goods, right?

For financial restitution part of the judgement, yes. But for any deterrence in terms of jail time or restrictions on further operations it isn't as nuanced as you put it out to be, it does not matter whether you intended to counterfeit and distribute $100,000 worth of goods or $1,000,000 worth of goods.

> Were they worth ... $20,000?

His own bank/paypal transaction records and emails show they were worth much more than that.
You don’t need that advanced tech for that:

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

https://en.wikipedia.org/wiki/Anti-tank_dog
Have you heard the expression "hold my beer and watch this"

People do really stupid stuff all the time.
Most important quote IMHO: “There are some risks related to this approach that I am concerned about but I am confident that you have heard and considered them."

Jeff Bezos makes the strong point that risk is important: "most decisions should probably be made with somewhere around 70% of the information you wish you had. If you wait for 90%, in most cases, you’re probably being slow."

Bezos also emphasizes that disagree-and-commit is a hard requirement: "Leaders are obligated to respectfully challenge decisions when they disagree, even when doing so is uncomfortable or exhausting."
Lenovo's SLIC wouldn't load an invalid key that required them to then copy the key manually from COA on the laptop itself.
Dupe: https://news.ycombinator.com/item?id=16948003
Its a rational, intuitive assumption. But we learn new things all the time.
Where "this" in {idiots driving, idiots marketing lane assistance as autonomous driving}. Don't worry, the SDV Therac moment is still ahead.
That's assuming again that my relative accept to share. That's not what I'm talking about. I'm talking about the direct result. In this case, the relative of the killer never agreed to share the data with the police.
There is value in discussing fiction as though it was true. A thought experiment never hurt anybody.
I'll have to checkout Ken Forkish's book, but, in the meantime, I feel the need to throw out a quick mention of Jennie Shapter's Bread Baker's Bible [1]. I'm not much of a bread eater, but it's one of my favorite cookbooks despite that fact. There is a fair bit of information on the science behind the recipes, and she doesn't take any shortcuts for convenience's sake. Her recipes for English muffins, pizza dough, and many other things have never left me wanting. Some of them take a lot of work to prepare, but they're absolutely worth it.

[1] - https://www.amazon.com/Bread-Bakers-Bible-Traditional-Recipe...
So... Krang? https://en.wikipedia.org/wiki/Krang
It doesn't sound like this is the case with your professor, but this is actually an increasingly common technique used by professors to weed out the rote-learners. They "teach" deliberately provocative material/view-points and then include it in the exam in the form of a "discuss ..." type question. People who have properly engaged and thought about the material will argue their counter-point while those who simply regurgitate notes will just repeat the professor's teachings. Perhaps not surprisingly, it's particularly popular at many law schools.
Thank you for writing this with such a pleasant an UI and written in a _native_ widget toolkit.
Nice. That looks way more polished. Thanks for linking!

Upon further reading: I didn't realize that there is a TRIM command. I search briefly and missed that. Neat.
Or Rat Things from Snow Crash.
I've tried with my Synology NAS but it never seems to stay connected.
Could someone explain why/how NBD is better than just using a linux host as an iscsi target? Googling NBD vs iSCSI shows old articles with no real solid conclusion.
Nike Sued for Running Pirated Software
1 Pieces 16 Colors Dim RGB LED Magical Bulb E27 7 W 85 V
Type inference for systems with subtyping is a different problem. There has been progress on this issue, most notably Stephen Dolan's thesis on "Algebraic Subtyping":

https://www.cl.cam.ac.uk/~sd601/thesis.pdf
While those are big name schools. When I review a resume I never even look at the education section. I will never be impressed by that.
https://news.ycombinator.com/item?id=16948003
Don't know how it works at Amazon, but we have a similar rule to avoid teams getting paralyzed on design decisions. I've also worked at companies that didn't do this, and spent more time in design meetings than it would have taken to code a simple prototype.

Following this principle too many times isn't necessarily an indication that the team doesn't align with you, it can also be a sign your communication skills are lacking, and you need to get better in how you convey your ideas (unfortunately talking from my own experience).

A good tie-breaker is usually picking the simpler idea, to avoid perfectionism or over-engineering that engineers sometimes fall into. It seems especially common with people straight out of uni, and lessens with experience.
"The ethical implications are left as exercise for the reader".

Keeping a brain alive outside the body might be have the problem that it in constant pain and unable to act in the world in any meaningful way. What more terrifying experience could imagine than being aware and utterly "disembodied"?

But then again, it might have the implication that the brain might installed in a new body with the slight problem that existing brain is evicted. Sure, some healthy bodies with dysfunctional brains can be found but that's only a short term problem.

Nothing that hasn't covered by the scariest horror movies you can think of. The movie "get out" occurs to me - old people parasitizing younger bodies, rich people parasitizing poorer bodies, etc.
I'd like to toss in Campbell, CA and Cambridge, MA into this mix in terms of walkable downtown. Shelter-pricing aside, walking and transit gets you a good mix of places in each.

> real downtowns are often hidden

You're not kidding. This is part of why I explore around an area, often on foot. There is no counting how many times I've found That Awesome Place Literally Around The Corner by just walking around that corner that's been "off my radar" for however long it's been and then lamenting that I didn't do that sooner due to the auto-pilot many of us use.
I think, Amazon’s leadership principles are quite interesting since they represent the essence of the company’s culture. Compared to other companies these values or principles are not just empty phrases; they’re applied daily and people inside take these very serious.

I personally like the principles although I’m missing a statement about developing employees. Also, the combination of two values can have dire effects, e.g. “Insist on the Highest Standards” and “Deliver Results” was probably the reason why some amazon warehouse workers have peed in bottles, see https://news.ycombinator.com/item?id=16849520.
It could be a full-time job just keeping track of everything. Do you have a dedicated person for this?

Are most of your people in the Western hemisphere? I find that with Slack I need to pay close attention to the stream which can be a major distraction. Also it can be kind of a pain going through scrollback if I was asleep for a few hours while others are working.
This seems like a great move! I am confused about the criteria though - there is no way that there have only been 542 misdemeanor possession convictions in the last 30 years in Seattle... it's the 18th most populous city in the United States and, while safe, is far from the safest city. I can't find great numbers, but there are hundreds-of-thousands of possession arrests every year in this country. Does any one have specific information on what earns someone a judgment vacating their conviction?
"Regarding your distinction between real and cyber crimes, digital evidence can certainly be relevant in a murder case, e.g. iMessages, location history, search history."

But the cameras are supposed to completely cover society, so we don't need the cyber info. Indeed, perhaps the perpetrator has a secret paper diary, written in code, where he writes down his exploits. Who cares? We have signed imagery, of him commiting the crime. Any extra information is useful in the statistical sense (to understand what drives a person to do this or that, or to better prepare citizens on how to prevent falling victim to such and such crime), but should be unnecessary to convict a person. The most relevant are the actions themselves I think.

About location history: the camera system is more reliable than the cell phones since a cell phone may be given to a friend willing to provide an alibi, alternatively GPS spoofing etc.

The major reason these cell phone messages, search history etc are highly relevant is simply because we lack the community camera system.

Another problem is phone evidence is highly irregular: some people are more aware of mass surveillance then others (which is also highly correlated to status in society!) when communicating, some people refuse to have a cell phone on them, ...

When they lack enough evidence, the prosecution is forced to grab at straws (irrespective of guilt or innocence of the defendant), and then the value of computer/phone activity seems very high, especially if boots on the ground or scientifiic investigation of crime scenes is so much more expensive. Then it is easy to view this digital data as highly relevant and reliable.
More aware of dangers? More likely, more afraid of perceived dangers which are actually very small - and I admit that the same happens to me, even if rationally I know that I should be less worried.
Gut feeling: NBD vs. iSCSI is like NFS vs. SMB, it's not that it has magical features, but it is more integrated and more purpose-built, and built-in (as in, in the kernel).
> This can result in multiple tests failing when a bug is introduced.

One way I approach this is "a bug will only cause one test to fail _at that level of abstraction_".
It’s odd people talk about ethics here but have no problem torturing and killing pigs so they can eat them.
Not too long was it figured out how to reconcile subtyping with type inference. However, this requires doing subtyping in a very specific way, which most users of languages with subtyping will not find pleasing. In particular, the design of the type system must pay very close attention to issues of polarity and existence of certain universal objects in the categories of types. This work caters more to designers and users of ML-style languages who want to add subtyping, than to designers and users of more traditional languages who want to add type inference.

https://news.ycombinator.com/item?id=13781467
2018 NFL Draft Day 3 Live STREAM
Maybe you don't follow the Australian news? Just from the last few weeks, these are the ones I remembered.

http://www.abc.net.au/news/2018-04-03/melbourne-police-on-vi...
http://www.abc.net.au/news/2018-04-23/former-asio-specialist...
https://www.gladstoneobserver.com.au/news/public-hearing-in-...
It's not well defined, but we can compare a dead brain to a brain in comatose to a fully awake and perceptive brain.

I assume, given what they say in the article, that the pig brain activity in the experiment was somewhere close to the activity of a dead brain or a brain in a coma.

They also explained that the blood-replacement they used contain a lot of inhibitive substances probably preventing the brains from being active even if they could.
The gov operator would also have to input a key during setup and OOBE if the disk did not have a tampered key/activation mechanism.
What makes the use of FoundationDB special in this case?
Unum's? I bet that many of us here would be very interested in the thoughts on the topic of folks here who know about it. Is it a revolution or is it nonsense, an engineering mistake?
CPR can be ethically complicated, this is a step more so. How does consent work? Who can give it? What if the revived brain somehow asks to be switched off - is that suicide or assisted suicide or neither? Does it have rights? Property rights? Can it make decisions about the things it owns? How do those decisions get authorised?
Tesla explains Model 3 build in response to Munro’s teardown analysis
Most people would not be concerned if this were somehow just something people did and could only do to pigs. But the thing is that this is clearly showing what might be possible to do with people in a little bit.
I know steam accepts it.

If you scroll down here (https://www.giropay.de/haendler/) you can see that several more big shops (albeit not many) accept giropay.
It's definitely a matter of who you're following/who follows you, that's true of any site.

IG/FB very much actively encourages (with their newsfeed algorithms, and to an extent also the UI) 'influencer'-type accounts over individual communication. Twitter imo is significantly less bad about this.
Yes, as stated in thier blog https://blogs.microsoft.com/on-the-issues/2018/04/27/the-fac...
>>When a refurbisher installs a fresh version of Windows on a refurbished PC, we charge a discounted rate of $25 for the software and a new license – it is not free. Thousands of refurbishers participate in this program legally without confusion, and the program works.
How would a disembodied brain even be capable of being “aware of its surroundings” without any sensory information?
Pigs are not typically tortured before they are killed for consumption.
Seems appropriate since he doesn't like to drive anyway.
These lawyers are vile parasites -- they are feeding off disgusting, subjective regulation [1] that should be abolished [2] so we can all benefit from the immense advantages of fully free markets. On the one hand, businesses are held guilty of overcharging if they price their products as high as the market will bear; on the other hand they are guilty of dumping if they keep cutting their costs and lower prices below what some busybody feels is right; and on the third (hand) they are guilty of price-fixing if they charge the same as their competitors happen to charge. All options are available to the government, if they decide to manipulate, control, or destroy your business.

[1] Ten Thousand Commandments, by Harold Fleming (1951)
-- https://archive.org/details/tenthousandcomma00flem

[2] The Abolition of Antitrust, by Gary Hull (2005)
-- https://www.c-span.org/video/?186889-1/the-abolition-antitru...
It’s one thing to kill a pig; it’s another to bring them back.
This should be quite easy to detect, given that it is a closed group of accounts liking each other.

The main problem is what to do then. Instagram may not want to ban influential bloggers.
Jeff Bezos Q&A on the Washington Post, Trump, Privacy, and Amazon's Early Days
Touché =)
5 hours over a few days is nothing. You gave up too soon.
I'd prefer an animal not be tortured before I eat them.

And that's the concern, here; torture.
1. Not really? (In regards to having a dedicated person handling this.) We have a weekly hangout where our CEO raises important issues in the week, and most folks are pretty communicative of major issues (e.g. product will tell support what's changed this week so we can be aware when supporting customers, etc.)

I never feel like I'm overwhelmed keeping track of things, since everything is so accessible thanks to Async. It frees me up to let Slack kind of drift past when I'm not working.

2. We're globally distributed. I'm in the UK, for instance, but we have folks in the Eastern Hemisphere too. I will admit that most folks are in the US so right now, we do skew towards the Western Hemisphere, but that might not always be the case.

Also, in support, we have a summary channel in Slack where we post the most important things that someone coming online would need to know about. For example, outages, recent issues, policy changes, important messages, etc. all get posted to a specific channel in Slack so you can read them _without_ the noise of chat involved.
Do you not think that hitting them, packing them into cramped conditions, transporting them in similar conditions is torturous?