skysight-inc/HackerNews huggingface dataset:
> "making it possible for the victims' families to sue them for every penny they have. Yes, leaving them and their families living under a bridge if necessary."

General question: could the spouse of somebody being sued for every penny they have insulate their risk by divorcing the person being sued and winning some of their assets before the lawsuit was complete?

I'm thinking that if I was being sued, was almost certainly going to lose, and would lose everything, I would want to try divorcing my spouse to ensure that they were able to retain enough of our formerly joint assets to take care of themselves.
Race isn't everything, but it's ridiculous to pretend that race hasn't substantially influenced the drug war. Even aside from the highly unbalanced prosecution and conviction of drug offenders depending on race, race colors everything in the drug war: look at the history of marijuana [0], for instance, or crack cocaine sentencing practices.

[0] http://www.npr.org/blogs/codeswitch/2013/07/14/201981025/the...
1) And how does raiding their place when they aren't there for evidence somehow result in this violence you speak of?

2) You think the people in this article were "hard drug ring members"?

http://www.ajc.com/news/news/lawsuit-clayton-swat-grenade-ba...

You mean like this guy with "an ounce or less of marijuana"?

I think you have no idea what you are talking about. They aren't being used for "hard drugs" they are being used for "any situation where we might be able to link to someone who uses drugs".
Sue. It's the only way they will learn. Also, release some pictures of the boys injuries to the media. This topic needs some major attention and I don't think ever will get it without a large number of citizens being enraged.
Also note how many raids are the result of a single informant. I was browsing raids in my area and most of them were from a single informant; in one case even an informant who had a known antagonistic relationship with the subject of the raid.
Even easier: wait for the suspect to leave the house, arrest him, then go do a leisurely search without having to worry about the suspect being violent.
I think mixed is also very important. For example, sometimes you really do only have a binary dependency (e.g., .NET assemblies), while other times, you may have a binary + source dependency (e.g., library + header files).
There are, in fact, some initiatives to try to get more men in to nursing for various reasons. For example, see this (http://www.minoritynurse.com/article/men-nursing). The article has a few references at the bottom which also make for interesting reading.

Of course we come across more articles about women in tech because we frequent tech forums. But the topic (of men in nursing, teaching etc) do come up on the relevant forums.
John Regehr (me) did in fact find something like 11 bugs in CompCert, most of which caused it to emit wrong code. But the bugs were not in the proved part.
ITT: people who have never been in law enforcement or military service.

>drug offenders are perfectly well adjusted people, just politely knock they will let you in every time.
>drug dealers don't flee the state/country when they suspect being watched/followed/pending arrest
>I wonder why it's called a "trap house"

I hope that you live in an upper middle class community in California to justify the logic behind your post.
You can verify here first, before posting on any forum:
http://www.isup.me
Suarez bites again
A lot happened in India around the recently concluded elections. This resulted in the loss of the ruling party, Congress, It lost so bad it could not form an opposition in the house. The winner, BJP, won with unprecedented margin (at least in the last few decades)

One of the major reason for the downfall was growing discontent, anger among the people against corruption, crime and inflation etc.

A new political party which calls itself, Aam Admi(Common Man)Party, started by Arvind Kejriwal, emerged by raising its voice against corruption. Multi-billion dollar scams were exposed frequently.

The party projected itself as anti-corruption and targeted Congress, and several businesses. It raised fund through people and media propagated their message. It continued to expose and openly question government expenses. They targeted Reliance, the largest business conglomerate, several times.
Start with the "classics" like "mystical man month" (Brooks) for example, then get many of the books by Tom de Marco and possibly read Richard Gabriel's "Patterns of Software". The book about the "Chandler" project (forgot it's title) is also a particular good read. Those two in particular are interesting reads about why things fail.

Go on to reading the Toyota management style in itself, there's a couple of books about it, that's what many IT techiques are getting their ideas from.

It's mostly about finding your values so to speak and pinpoint what you really think makes up a good software development company - maybe your focus will be on organization, maybe on other things, so get an overview first.

These two articles are hopefully also an interesting nudge to think about many things:

http://www.computerworld.com/s/article/9137708/Opinion_The_u...

http://alistair.cockburn.us/Characterizing+people+as+non-lin...

O'Reilly has a very interesting book with analysis which practices actually work and why/how - sadly I also forget the title. There's for example a chapter about when and why pair programming works and when and why not.

Also, just watch carefully and learn to notice "good organization" - happens in surprising corners and niches and try to see WHY it's good.
> to replace the various language-specific ones with, say, Nix.

So now, to use packages for programming language X, I also have to install Nix, be running a Unix-based OS (sorry Windows folks!), and have whatever other dependencies and toolchain Nix requires installed.

This is the core problem. A programming language needs a package manager today. Code reuse is too important for a language to succeed with out a nice user experience to get and share code and deal with transitive dependencies.

That puts a package manager on the critical path for a language. Given that, it's important that the package manager itself have minimal dependencies. It would suck, for example, if a package manager for Python was written in Ruby and required Ruby to be installed!

The only thing most languages' package managers are willing to depend on is the language itself and its core libraries. That means for every programming language, you get a new package manager.

It's not ideal, but it seems to be the best solution we've found given those constraints.
It's become very popular to compare the United States to undeveloped countries and countries in civil war, then declare everything is fine because, comparatively, it looks OK.

It's a very, very sad state of affairs when you have to compare a developed country to undeveloped ones.
In context, that John Oliver debate segment was dumb. They took a perfectly reasonable Gallop poll result - that 1 in 4 Americans think the threat of climate change has been exaggerated - and rhetorically pretended the claim being made was that climate change "isn't real" or "doesn't exist".

But establishing that a threat exists is quite a lot different from establishing whether it's being overestimated or underestimated in the media, so the whole segment was a non sequitur - it didn't respond in any way at all to the news article it was allegedly answering.

My guess is that they had Bill Nye, wanted to do this gag, couldn't come up with any valid reason to do it based on any actual news stories, then said "heck, let's do it anyway; maybe nobody will notice!"

(As a side note, if you look into how the claims of "97% agreement" were determined, you'll find that most "skeptics" would also be in the 97%. It's pure propaganda at this point to claim 97% support for some vague "the consensus" without actually specifying what exactly "the consensus" they agree to IS. The original value of "the consensus" seems to have been: (a) CO2 is a greenhouse gas, (b) it's gotten warmer recently, (c) human activity has had a significant warming effect, where both the nature of the "human activity" and the meaning of "significant" are usually left vague and unstated.

Oh, and to get a number as high as "97%" what gets measured is usually not the level of agreement among "scientists" but rather among a tiny subset, such as "those climate scientists who publish the most in the field".)
They doesn't seem to receive as much attention as IT and women type conversions. In fact I have never heard a "we need more men in" for any job role.
Yeah I saw the case thing and ... noo thanks.

In hindsight we could've just called decrypt from the console.

> decrypt("dllkhGlgME")
"woopsGotME"
NJSBDC’S FIRST ANNUAL SMALL BUSINESS INTERNET MARKETING WEEK
Sunny Kancherla Brings Together Small Business Organizations to Participate in #LearnToEarn Series
That's right! Also, we're building in a higher-level language to describe lighting effects to music, so you can share a particular "mood" consisting of a song and the light-response presets.
Just because some meth labs run by white guys get busted, doesn't mean that there isn't a racial element to the drug war. One does not follow from the other. Convictions for possession, for instance, are massively biased compared to the usage by group.

Why the 88, by the way? I hope it isn't to do with that angry Chaplin lookalike. Is just when combined with silver and a comment saying that race has nothing to do with the drug war in the US, I can't help but get suspicious. Apologies for the godwinning if it is just the year you were born, or something.
I do this all the time. The main idea is documented here:

https://github.com/renzon/tekton/wiki

You can see tests all over my repos starting with prefix "gae".Here you have a example of a app that I build to automate form validation:

https://github.com/renzon/gaeforms/blob/master/test/ndb/form...

It includes db access and i18n mocking.
(Mill team)

They have published details of their formal verification on ACM http://ssrg.nicta.com.au/publications/nictaabstracts/Klein_A...

They use Isabelle.

So whilst we haven't seen the proof, nor the code, will do have a good idea of what they've done and how they've done it.

Formal verification has been much researched, and its nice to see actual real systems starting to be checked by them. Just the other day I was reading about people doing TLS implementation verification using Coq.
I've spoken personally to VM implementers, and yes, it would be very cool and useful besides, and yes, you are still perhaps dreaming.
<3

Please make that happen! If I never have to deal with the PayPal API again I would be very happy.
How to add custom attributes in Spree
Nice to see that the key mapping was projected to sound good, not only random notes being played.
This is just senseless ranting.

1) It's unconstitutional, as a violation of due process, to suspend officers without pay, before they have been adjudicated as having done something wrong.

2) It's probably unconstitutional to impose forfeiture of vested interests as punishment for a crime.

3) Premediated murder requires specific intent to kill. Even if the kid had died, it would most likely be negligent homicide.

4) Removing legal protections for police sounds lovely when you only consider situations like this one, but you forget that for every one instance of something like this, there are dozens of instances of actual bad guys filing meritless lawsuits.
Love the default bootstrap theme <3
No, but I wouldn't raid a house either. I'm no police tactician, but it can't possibly be true that raiding a house is less dangerous than waiting for the suspect to leave his house and arresting him then. For anyone, including the cops. SWAT teams raiding homes should be reserved for active dangers, like hostage situations or shootouts. There's no need for this sort of urgency for apprehending a drug dealer especially given the collateral damage it's so likely to cause.

Edit: wording
In 2014 there have been two. In 2012, none. 2013 isn't even listed as an option. Deaths from cars hitting wildlife happens all around the country but I wouldn't say that's representative of the state of the country, nor do most of the citizens live in fear of this happening.

These raids are a problem, yes, but in a thread with a European commenting that they think this represents America, your link doesn't really support the argument that this is true.
>Second, dealers are, by and large, bad people for other reasons. Your suburban pot dealer isn't the target of no-knock raids. The targets are guys with long rap sheets of felony convictions, often for violent crimes.

This may (or may not) be true in Atlanta, but in South Carolina, it's demonstrably untrue. We had a wave of SWAT raids from 2006-2010 on poker games, culminating in this:

http://pokerati.com/2010/11/poker-raid-in-south-carolina-1-p...

None of these poker game players were "guys with long raps sheets". In fact, most of them had no prior criminal record.

I know of numerous other SWAT raids for other white collar crimes like campaign finance violations but I don't have time to dig them all up now.

Finally, SWAT raids are routinely carried out on "suburban pot dealers". Here's one from a few months ago:

http://marlborough.patch.com/groups/police-and-fire/p/swat-t...

Just Google "pot dealer" and SWAT and you'll find tons of other examples.
SeanBoard – A Big Sean Soundboard of Ad-libs and One Liners
I'm curious what proportion of edtech is geared towards teaching how to code.

It seems that a lot of companies in the space (or at least the ones I hear about) are geared towards this one topic, and only a notable few are tackling other areas of academia or infrastructure issues around education. On surface it makes sense - tech companies geared towards education are probably going to focus on technology as the subject. It's also relatively cheap to source material, employees have first-hand experience in the field, and there's high demand with straightforward business models available.

I certainly noticed all these things when I launched Bento (http://bentobox.io/), and I still think about it today. I do try and maintain a healthy skepticism though: is the edtech being referenced in this article still largely in the narrow band of technology, or are we seeing it expand?
Let's burn the village down to save it.

Their job is fundamentally to protect and serve the public. If they and, more appropriately, the organizations they are a part of myopically equate that to preventing meth dealing while avoiding even the slightest chance of police harm, even at the cost of innocent lives, that's a problem and can and should be held against them.
what? ARIN tracks all American IPs (thus the 'a') - but if you are a residential ISP, you also get your IPs from ARIN. But the point is that you can't go to ARIN if you want information about European IPs; RIPE is the equivalent European org.

If an IP isn't allocated by a RIR, it is a "bogon" and usually dropped by your anti-spoof filters at your router.
Hence why I said the lack of training is a side-effect of militarization. In other words, yes, militarization of police is the main problem here. I agree with you; I was just pointing out yet-another-reason why it is even worse in practice than in theory.
I just watched a brief youtube video on flashbang grenade training [0]. Apparently, the grenades aren't even supposed to be thrown into the room, they're only supposed to be thrown into the doorway. And that's in a military context, not even a police context.

So it's bad enough they're using military hardware, but then they're not even using it according to proper training.

[0] https://www.youtube.com/watch?v=qGhfyQXZOwg
Reader poll: How would you like to interface with your autonomous car?
We interact with gadgets and devices everyday. When it comes to interfacing with a device as exciting and complicated as an autonomous car, we will need to do so on many levels. We will want to set our destination, surely, or perhaps set a maximum speed. Or we might wish to be alerted if the car must pull into a gas station to refuel in the middle of a trip, or if we will soon be passing a rest area. How would you want to interface with an autonomous car? Let us know via a short poll.
Yes, it doesn't seem that much has changed: https://en.wikipedia.org/wiki/Death_of_Jean_Charles_de_Menez...
Listening to LSE podcast ("Risk savvy") and mentions defensive decision making - where an intuition is to take decision A but fear of lack of defensibility if it goes wrong leads to recommending decision B

This is an interesting corollary to my "never lie" - and if you have any cultural affect on the company push for "failure is good if we fail fast and learn from it"

Enjoy
It is complicated and state specific. In my state it would not be necessary to divorce to protect your largest asset - your house. Any house owned by a husband and wife that is titled as Joint Tenants of the Entirety (default) is protected from creditors of the husband OR wife (but not AND).
> This is the anti-Scheme.

Since when is Scheme the arbiter of what is good or bad?

PHP lets you do this, or not do this, your choice. Like C, PHP doesn't tell you what to do, it's up to you.

That's why people actually use it.
>It's unconstitutional as a violation of due process, to suspend officers without pay, before they have been adjudicated as having done something wrong.

Bullshit. The police can throw me in jail before a trial, preventing me from going to work. How's that not a violation of due process?

>It's probably unconstitutional to impose forfeiture of vested interests as punishment for a crime.

True. You could sue them for enough that they could no longer make the payments on their house, though.
Let me know when you do so, I can help.
Name.com just launched a Website Builder tool
Learn two things:

1. Wycats (Yehuda Katz) is on Rust apparently :)

2. `.toml` -- some crossbreed YAML/INI file format that I like
Airbnb Political Campaign [video]
Ha ha ha ha ha
You could also just use https://api.luadns.com/ which at least offers a free tier.
> It's unconstitutional as a violation of due process, to suspend officers without pay, before they have been adjudicated as having done something wrong.

The government isn't actually required to provide 'due processes' unless someone is being deprived of their life or livlihood.

That is to say, I don't believe employees of any stripe (government included) need to go through criminal processing before being suspended or fired.

More so, I'm not a lawyer, but I'm not sure what the specifics of 'due process' are. Simply, any non-arbitrary written policy can be considered a due processes. Its' how boarder guards can get away with harassing people when they step out of line at the TSA.
You need to look at The Architecture of Symbolic Machines by Peter Kogge. It contains a machine you can implement. I have implemented it in the Jatha LISP interpreter ( http://sourceforge.net/projects/jatha/ ).
It'd be nice, but you could fit 40 Canadas into China (population-wise), and most of us already have credit cards due to our proximity with the US. It's sad but completely rational that so many American services don't bother with us as a country.
Not to mention you'd have to be a pretty low-level drug offender to be able to destroy enough/all of the evidence in the time "not knocking" saves the police.

(ie. You can't exactly flush a kilogram of cocaine and a triple-beam down the average toilet in a matter of minutes)
Also in the LMI K-machine [1].

I got part way through building type checking hardware to use with Franz Lisp on 68k CPUs. Franz Lisp allocated objects of a single type in each page and the 68k had function code pins that meant you could tell whether a bus read was for data or instruction fetch, the idea was that I would modify the compiler to read a latched type value just after a Lisp object had been read into a register.

[1] http://fare.tunes.org/tmp/emergent/kmachine.htm
The trouble, I feel, with the overlap between science and philosophy is that most modern practitioners of what we know as "science" only have exposure to one epistomological world view: positivism. Granted, this world view has created a great abundance of valuable and life improving knowledge for humanity - as Bacon would have described it, it is good for more than disputation (no offense, to Ol' Aristotle) - but it does not encompass the entire sphere of knowledge. There is authentic knowledge to be gained from disciplines which are entirely a priori - such as mathematics, or as some argue, economics.
Here is the article I was thinking of....

http://managinghealthcarecosts.blogspot.com/2012/03/united-s...

The US payers more for brand name drugs, but less than nearly every other OECD country (with the exception of NZ).
It is consensus that having a hidden camera in your hat is creepy. There is no need to point it out every time someone talks about Google Glass.

Holding your cellphone at a 90° angle while facing people, especially for longer periods of time, will not make you any friends either.
>It seems like in a lot of EU countries if you fail there is something to catch you

While shrinking a bit, comparatively this very, very true.

On the other hand, there could never be a city in post Dickensian Europe where immensely well paid beautiful people laughingly step their way daily through homeless people on their way to a nightly evening of cigars and whiskey while discussing how aggregating the aggregators is going to change the world.

So there's that.
I think the problem is that it's really hard to police recreational quantities of chemicals. Physical evidence related to crimes is usually either bulkier objects which you can't just put down the toilet, or documents which do take some time to destroy and often exist in multiple places.

A sane person would probably argue that you don't get to run roughshod over people's freedoms just because a particular law is hard to enforce otherwise. But I think that's where it's coming from. You get a pervasive environment where the guys at the top are trying to be tough on drugs and the guys at the bottom keep having to let criminals go because they flushed the evidence, and it's only natural that they'll start to push for more draconian measures.
The biggest problem with the rant is that it only attacks symptoms of the underlying disease. The underlying disease is the nonsensical War On Drugs. End that and most of these symptoms go away on their own.
That's on the front page right now: https://news.ycombinator.com/item?id=7938748
I like that - might choose a different four but the idea is solid

Also totally behind the rating on a five point scale.
I'd take a Commonwealth Fund analysis over your "Bayesian statistical analysis".

http://managinghealthcarecosts.blogspot.com/2012/03/united-s...
Most people have a very mistaken view of modern philosophy, and unfortunately this article does little to clarify. Today, analytic philosophy (as opposed to the continental philosophers) is fairly rigorous and usually narrow focused. It can be about modeling systems (for example Bayesian epistemology, various forms of modal logic). It can be about decision analysis (game theory) It can be about number theory (Frege, Gödel, etc.) and it can be about scientific theory (Popper, Kuhn, Quine, Ulian). Some of these things have been profoundly influential, and important to the modern world.
I think you just have higher exposure to 'learn to code' - there are a tremendous number of other companies, see https://www.edsurge.com/products/ for a great index.