skysight-inc/HackerNews huggingface dataset:
There's been substantial criticism of the FBI's terrorist entrapment efforts. Too often, they find out about someone mouthing off about "Death to America", and gear up a sting operation to encourage them to commit some act for which they can be convicted.[1] Most of them are wannabes, not real threats. The FBI director once said of the group convicted of planning to below up the Willits Tower in Chicago that their plans were "aspirational, not operational". In the case of the “Newburgh Four,” a judge said the government “came up with the crime, provided the means, and removed all relevant obstacles,” and had, in the process, made a terrorist out of a man “whose buffoonery is positively Shakespearean in scope.”

It's not entirely the FBI's fault. They're under heavy political pressure to stop every terrorist plot. Every time some nut actually does something, they get criticized for missing them.

[1] http://www.huffingtonpost.com/2014/07/21/fbi-terrorism-sting...
I'm willing to drop the triangle shape. I'm not that attached to it. However, we need to have two different devices that can be one. Don't worry about loosing them. I've figured that out. We are going to put 2 separate beacons in it. Netizens is the creator of the first beacons working in mesh network (take a look http://eonbeacon.com/), which is good for navigation as well. We are going to have an excellent tracking service within a Velo app, better than Tile.
They were sending images by telegraph in the 1860s but it didn't catch on. Admittedly the ye olde faxes had to be specially prepared, it couldn't reproduce a printed image directly. But still, amazing how long it took images to routinely travel electronically.
Download Our Free Music Publishing 101 Guide – CD Baby
Yes, since electricity is generally as environmentally efficient if not much more so than gasoline, it should imply that a larger battery is even more efficient. This should be a mistake.
Washington state charges an extra $100 a year on evs because we don't pay road taxes through buying gas and paying the normal percentage of a gallon of gas.
Multicopter for Mapping and Survey
The article is certainly interesting but it has the same trait as too many pop science books: it relies on selective anecdotal evidence to support their specific point.
I did hear there were quite a few bike thefts in Copenhagen. Neighbouring Norway has a national registry of bikes, which seems to be quite effective at lowering theft.
> After you verify a TLA+ specification, you still have the rather large task of making sure your actual program satisfies the specification. In this case, why should I bother verifying something that isn't the final program?

Theoretically, you can verify the program itself in TLA+, in a manner similar to how seL4 verified their code. You compile your final code to TLA+ to produce a low-level spec that captures the actual semantics of your progam, and check that it is a refinement of your high-level spec. Research teams have done this for Java and C (http://tla2014.loria.fr/slides/methni.pdf). The problem is that it doesn't scale, and neither does any other form of end-to-end proof. Humanity has never been able to formally prove an actual program that is anywhere near what we would call "large".

The reason you'd bother doing it is that 1. unlike end-to-end verification it is not only affordable, but also reduces costs, and 2. it actually works in uncovering the most costly problems, as verified by years of experience in industry on large projects.

> The program can be generated from the specification.

Ah, that is an interesting research question. Obviously in some cases a program could be generated. The spec would need to be deterministic for one (or nondeterministic in a way that makes sense for an actual program, like when representing multiple processes), computable (you can easily specify a program that takes an arbitrary program as input and says, "in the first step, let x be equal to TRUE if the input program terminates on the input 13, and FALSE otherwise"), and pretty low level because you can easily write things that would be extremely inefficient to run (like "let x be the smallest prime that's the sum of three squares" or something). Lamport believes that it may be possible (for a properly amenable spec) using machine learning. But it's not like compiling any high-level programming language.

> It would be a lot more cost-effective if we used languages, libraries and even operating systems geared towards formal verification.

Research doesn't seem to indicate that it would be, or rather, even if it is a lot more cost effective, it is still beyond affordable for all but high-assurance software, and high-assurance software already makes use of such languages (SCADE and SPARK work very well). But even in high-assurance, the industry doesn't bother with deductive proofs, as model checkers are automatic and work where they're most needed (SCADE) and SMT solvers are also reported to be effective for very restrictive languages (SPARK, but I've never tried it). Manual deductive proofs are used sparingly, to tie together results from automatic verification processes: http://events.inf.ed.ac.uk/Milner2012/J_Harrison-html5-mp4.h...
Furthermore:

> Ok, so this is all just a concept. But we can turn this idea into a real product in a matter of 2 months.

Isn't this an absurdly optimistic timeline for a hardware startup? I notice that both of the project founders are marketers -- were any engineers consulted when coming up with this estimate?
What the heck are you supposed to do without System.Drawing? I find it incredible they've just plain removed it altogether.
I call it swimskin, because it is the evolved remains of amphibious fin like hands.
Fixed-size integers and UnsafeMutablePointer are supported, so it is basically C with different syntax:

https://github.com/klange/taylor/blob/master/src/main.swift
The fear is not that but that new features of Bootstrap will not be available to legacy users without major upgrades.
I want to make a comment about how this could be handled better, or at least communicated better.

But then I look at the length of the list of issues closed in the process.

I have to wonder if the scope of Bootstrap is just too large. It's a nice thing to have, for people who aren't inclined to muck about with making a web frontend look nice, or even for people like me who do a ton of frontend work but sometimes want to focus on something else for a side-project. But I've always marveled at the breadth of Bootstrap, and that marvel turns to wonder and dismay looking at the issues list.

And I understand now why so many micro CSS frameworks pop up.
It would still be easier for them to charge you with lying to a police officer than investigating the stolen goods, and they'll still have a "win in their books."
No, but i think you should leave it there. Pricing should be upfront otherwise it creates suspicion and distrust.
Your app is a web view running inside a copy of Chrome.

That is not a "native" app.
Hydro isn't exactly zero emission either. What do you think happens when a dam is created, and kills tree life? What do you think the underwater vegetation emits as it decomposes?

Sure, once the back filled area is thoroughly decomposed, you're at 0 ongoing emissions, but there's a big divot needing to be repaid already.

(And that's to say nothing of loss of habitat, arable/liveable land, etc.)
I wouldn't load Adobe on my computers if they rewrote the whole thing in Ada or Rust.
Nobody noticed cause Santos Dumont did it first :D
System.Drawing is wed to GDI+ so not cross platform. There are third party libraries that work just fine.

https://github.com/imazen/Graphics-vNext

If you don't care about .NET Core but you do care about ASP.NET Core you can always run ASP.NET Core on Windows and use System.Drawing.
There is a perfect storm of anti-sexuality forming in our sex-saturated society:

1) Universal, unlimited internet pornography

2) Consent is increasingly problematic

3) Parental guidance has gone from bad to non-existent, replaced by the State, which delivers clinical advice, often via perverts

4) Tinder and friends aggravating the many-females/one-male harem phenomenon, shutting many males out of the sexual market

5) Kids (males, in particular) have no money. Ask Tony Montana about that.

Careful what you wish for, kids. You might just get it.

Good and hard.
> "After reviewing the Warner Brothers report, Google decided not to remove links to Amazon, IMDB and Sky Cinema from its results."

I took that to mean, by omission, that Google went ahead and removed warnerbros.com from its results. That would have been a great way for Google to hint that indiscriminate takedown requests are bad.

But searching for "batman the dark knight", as described in the article, still does bring up the Warner Bros site. Ah well.
@sahaskatta

This is one of the available solutions. However, you need to have a jack port. I read Apple is dropping one tomorrow.

Also in this case you need to have two Bluetooth headsets. Velo could support Bluetooth headsets, but traditional headphones seemed an easier choice.

BTW Monoprice works with up to 2 headsets. We think that we could connect more than two headsets with Velo.
PJON network protocol stack specification
I'm not sure there are many places where Trigonometry is considered advanced mathematics.
I recently built a web app with the new dotnet core . the changes were not so bad, I even found that the docs were nicer than the ones you find for the "old" asp.

After having to configure camalCase for json a couple of times I like the new default.

But migrating an existing app at this point is out of the question, when I no longer need to have nugget packages with rc in the version name we might do it.
Thats an instant download
Torture is worse?

The kids grow up and suffer tremendously. They are tortured every day for the rest of their lives.

Many, if not majority wish they were dead.

You must lack any empathy to make a comparison like that.
"You seem rather attached to state ownership as some kind of differentiating feature, but it's really not."

Yes - it is - dude.

Buddy - I'm not arguing wit you.

I'm not trying to make a point.

This is well established stuff.

There is no debate here.

You've painted yourself into a corner, saying that 'night is day'.

You're making a fool of yourself.
> The Model S has the S Class beat in acceleration if you drop the extra $10k for ludicrous mode, but the S Class interior is worlds better. Not even in the same league.

You don't need to pay anything extra to beat an s-class, based on their website. The slowest Tesla, the station wagon/suv x version on the slowest/lowest end battery (75kwh) was 0 to 60 in 6.0 seconds, beating all model s's-class mercedes. This was the easiest comparison site I could find, the various models of both cars makes it a little hard to pick one spec model to compare. Never the less, the low end tesla suv beat all s class.

http://www.zeroto60times.com/vehicle-make/mercedes-0-60-mph-...

http://www.zeroto60times.com/vehicle-make/tesla-0-60-mph-tim...

The s class interior is nice. My dad has one, so many buttons, but it's smooth, etc. Soon, Mercedes will start advertising that the new s class is not like your dad's oldsmobile, i mean mercedes.
That's a transmitter to two bluetooth headphones to a traditional audio source.

This product is a set of receivers for traditional headphones from a bluetooth audio source.

While they're related (one source to two headphones), they're solving different problems.

If you used the monoprice product with two of https://www.amazon.com/Avantree-Bluetooth-Headphone-Receiver... you'd have a similar setup.

If your phone allows pairing two bluetooth audio devices, then the Avantree product on each headphones is all you need. I don't know if any phones support that.

Or the Avantree product with a traditional headphone splitter.
Thanks for the response. From the replies, it is evident that this subject touches some raw nerves!

I wanted to run that small experiment as a way of showing that the shortage of engineers is overstated (a common refrain in the H1-B visa debates). I am not sure if Google is one of the companies that says they can't find qualified engineers. Many peer companies to Google do say that. Having a very high false negative rate is something that should be taken into account with the current visa debates.
What do you mean by "should" be ruling the world? There is only what you can enforce.
Ah! A fellow member of the Oregon Trail Generation!

https://en.m.wikipedia.org/wiki/Oregon_Trail_Generation
>> no mention of the men who concurred (sic) the sky for the first time in human history.

Maybe that was the problem. They weren't the first to conquer the sky. People had been flying in hot air balloons for 120 years by that point. By 1903, getting people up into the sky was old-hat. Sure, they did it in a different way, but what they demonstrated was--strictly speaking--inferior to the technology that was already available. If you wanted to get up into the clouds in 1903, you weren't going to use a Wright Brothers machine that would only let you skip along the ground for a few minutes at a time, you'd use a hot air balloon and stick around for a while. Can people really be blamed for missing the fact that heavier-than-air flight would be able to travel much faster and farther than balloons?
That is a problem, but it has been a bit better since HN auto-reposts some submissions (either automatically or moderator-triggered).

I've had submissions several times now that had been totally ignored and dropped off /newest, only to see them on the front page hours later.
Please feel free to contribute, argue or criticize :)
We have considered a Paw Light, if it were to come it would be a little diffrent from Paw. More focusing of throw away requests than building large projects. If we put work into it we would like it to still bring value to our Paying customers. But currently we have a lot on our plate to bring Paw to a feature complete state.

(matthaus, backend dev on https://paw.cloud)
It's only "wed to GDI+" because the current implementation is. Nothing's preventing them from implementing a cross-platform System.Drawing. There's no magic involved in what it does that requires GDI+.

I find it unbelievable that they would even consider releasing this without System.Drawing or equivalent being available.
Is this a general objection to apps being web views run inside of Chrome? Insomnia's website does not make any claims towards being native.
Using bitfields, in particular, is a heavy sacrifice in clarity for relatively few wins.

Only to those who don't understand bitfields, which IMHO means they don't even understand the basics of how a computer works, let alone how to effectively program one. JS is a high level language, but it still has bitwise operators for a reason.
FYI: https://en.wikipedia.org/wiki/Pantelegraph
@teraflop

Thanks for the comment. I want to clarify. By real product, I don't think mass production. I meant a working prototype with an acceptable design. Velo is an independent venture of mine, but with the full support of Netizens (it's where I work), once I validate the idea. I had consulted it with our R&D department many times along the way in recent weeks before I decided to go public with this concept.
They said that in 2013. I got mine in 2012 (when there really were few model s). Then they said 2014 was the top, then 2015. We'll see if 2016 is the top.
will you be sending out the personality and moral purity tests?
"Because if you invest $500k, you get information rights, and a significant number of votes. If you invest $5k, you get nothing, "

No - not at all.

First, there is no such thing as 'information rights'.

Second - when you 'invest' - you get shares. Those shares have 3 'rights' generally: 'votes', 'dividend rights' and 'liquidity preference'

Those rights differ depending on class of shares and specifics of the deal.

Whether you invest $5 or $5 million - it could very well entail the exact same terms.

For example, most later stage investors do not get enough votes to influence the outcome, they don't get a seat on the board, and they don't get any real liquidity preference.
I think this misses the point. With that thinking virtually everything produces carbon emissions - the question is how much, and what is it a function of. Hydroelectric (which doesn't just include dams btw.) may have a positive CO2 balance, but it doesn't scale linearly with the amount of electricity you produce from it. The same goes for all other renewables. Battery manufacturing is trickier - it does scale its footprint with number of miles driven (because it has a limited service life), but I'd assume the term has a fairly low multiplier compared to directly burning gasoline to get ahead.

So my point is: The devil is in the details, blanket claims like "X is bad because CO2" doesn't really help. "Zero emission" may be a bad approximation, but I'd postulate that if you live in a place with very low fossil energy mix and use a car that has negligible direct and indirect emissions for each mile driven, you can claim "Zero emission" - otherwise the term becomes rather useless.
New vs. News https://youtu.be/gTAghAJcO1o?t=15m23s
Can someone point me to an actual, real, significant, practical outcome that has been achieved via so-called "systems thinking" or "systems theory"?

It seems to make intuitive sense. Yet ultimately it feels like a sort of "generalized abstract nonsense", a way of "saying less and less about more and more until you are saying nothing at all about absolutely everything".

I can see how it can be used, at least at a metaphorical level, to explain things (like "how small flaws can compound to create big problems", as in this article). But it has never been clear to me how it can actually be used in practice in a positive way -- determining a small intervention that can be used to push a complex system in a desirable direction, rather than a problematic one.

Otherwise, of what use is it other than to convince us that in the real world, even the smallest mistakes we make can balloon way out of proportion? So... what are we supposed to do?

1. Keep our systems simple so that these things can't happen? (Then how do we build interesting things?)
2. Formally specify everything so that we understand every possible error mode? (Seems like just an indirect way of forcing ourselves to do #1.)
3. Add enough belts and suspenders and other layers of redundancy that the probability of a truly catastrophic error is reduced to the level that you feel comfortable with?

None of those seem very practical, except in the obvious domains where failure results in loss of human life or massive amounts of money.
The time between invention and practical application is shortening (Internet plays a huge part) which is why the pace of innovation is accelerating.
For me it was defined as the non-negative integers in middle school, the same moment the naturals were defined to be the positive integers.
> Insomnia's website does not make any claims towards being native.

From https://insomnia.rest/pricing/

"Native app for Mac, Windows, Linux"
The Wrights' first flight didn't change the world. Nor did photovoltaic cells in 1876; nor did 3D printing in 1989. And none of these inventions could change the world at the time, because they were little more than proofs of principle: They showed that something was possible, but they were not in fact usable.

Photovoltaic cells aren't becoming popular now because people are suddenly realizing that they exist; they're becoming popular because the technology has reached the point where the cells are cheap enough and efficient enough to be practical. The same goes for 3D printing, and the same went for the Wrights' aircraft: They received plenty of attention once they moved from the realm of curiosities to being useful inventions.

The title of this article should be "when you don't change the world and no one notices".
@niftich

I love your input! This is why I know HN would be the best place to consult. Yo-you concept starts to resonate with me :) Thanks a lot.
> I agree that it's large, but it's basically the only option for an indie developer to write a cross-platform app.

What ever happened to Qt, WxWidgets and the like?
Complete and shameless fluff advertising for velocity 360, evidently a coding bootcamp.
Over a thousand users; I wouldn't consider that popular. There are 6 times more people dying every hour than total number of users in those channels. And many of those probably overlap.
How Elon Musk Learns Faster and Better Than Everyone Else
So many of these CSS frameworks claiming to be "dead-simple" and "responsive".

From the first page of https://www.google.com/search?q=minimal+css+framework, we have Milligram, Pure, Base, MinimalCSS, Bulm, and Skeleton. There's even a GitHub project which catalogs this: https://github.com/neiesc/ListOfMinimalistFrameworks#framewo...

So my question would be: what sets Wing apart and why should I use it compared to all other grid-ready, responsive, minimal frameworks out there?
Does anyone see the awesomeness of the title of this post?

Taylor Swift.

Ha.
I'm in your side in this - we grant a lot of latitude here, because the harm prevented is much greater.
They will die only to be replaced by another Leviathan
Show HN: Tapito. Mobile NFC payments for credit cards you already own
I suggested it because it's equally fallacious of you to equate police with "warlords with military weaponry". You can use all the fancy nostalgic buzzwords you want, but ultimately if the law has no bite, nobody will honor it. That bite is called enforcement and it's done by police. Get over it.
> Kim has a couple theories as to why her post struck a chord in the startup world. First, she thinks anonymizing the startup stirred interest, referencing a concept with which she became familiar after writing the post: the Streisand effect. It's the idea that hiding information can have the unintended consequence of publicizing it by motivating people to find out what's missing.

Argh. That's not the Streisand Effect, the SE is what happens when the subject tries to suppress the story, especially using legal threats (which happened too, but only quite a bit after the Medium post was getting traction).

The name of the phenomenon of secrecy driving up interest is the Information Gap effect, IIRC. Plus, in this case, we can add rubbernecking (also known as morbid curiosity) driving up interest.
An experience with Ubuntu Touch development
Shameless self-promotion. Their homepage was also loaded with typos. Ugh.
You get to pick when or if an update is applied in a tesla. It suggests 2am, but you can say now, a different time, or don't do it.
It may be that changing the CSS compiler is the only change they make that's big enough to warrant changing the major version number.
I read the slack channel; I didn't see anything to indicate that the channel is where the decision was made, or represents their reasoning.
Software Engineering Blogs I Read
I know. That was intended as more just "ugh, more TCL", then "why more TCL?"
I'm not sure popularization of the practice of mindfulness is anything very new. E.g., Alan Watts made a big name for himself doing this back in 1950's and before, and est was a big thing in the 1970's (https://en.wikipedia.org/wiki/Erhard_Seminars_Training ) It's been around as a major cultural thing since then and before.

In any case, it seems to me that even more "scientific" subjects, like, say diet or exercise science, have similar levels of "faddiness". It can be hard to separate the legitimate from the merely titillating.
LinkNYC Spy Stations (audio)
My favorite grill grate cleaning tool is this grill scrubber: https://www.amazon.com/Charcoal-Companion-Single-Scrubber-Re...

You can replace the scrubber with any generic metal scrubbing pad and it works fantastically.
how long until self driving cars in dallas?
Show HN: Website for finding direct links to Software Engineering internships
I've been working on a solution to that. github.com/JimBobSquarePants/ImageProcessor