skysight-inc/HackerNews huggingface dataset:
So you just don't use a smartphone anymore? Or do you use an iPhone?
>I think you'd agree that a 2% heist is better than a 60% heist.

Sure, but I was talking about a much more rigorous standard than "2% better than 60%" because the author Jon Evans wrote: ""In principle, code can be proved _correct _ with formal verification.""

I'm not sure he understands what "correct" actually means. If Mr Evans is framing "correct" in the sense of corresponding to a spec (see ahelwer's excellent comment as an example), it still doesn't solve how everybody else determines how Ethereum to behaving "correctly". (E.g. the code passed the spec checker, but it's still judged as incorrect.)

Those are 2 different levels of correctness and formal verification algorithms has limited power to solve the "human judgement of correctness".
Thousands of Indians Declare $9.5B in 'Black Money'
What makes it a dominant market position?
Show HN: Graph Convolutional Networks – Intro to neural networks on graphs
TV Theme Friday: 'A Different World'
This announcement only pertains to the "WoSign CA Free SSL Certificate G2" intermediate CA and does not affect any StartCom-issued certificates.

They might announce similar steps for StartCom in the future, but nothing as of yet.
EU considering major fines for Google over alleged Android antitrust violations
But it's not the patent holder that uses the license at all. It's the downstream user. Any downstream user would be protected by the patent clause as long as they're using the Apache 2.0 license regardless of what the patent holder wishes.
I see your point. It's not necessarily a matter of living there. People would hate it and it's unrealistic with current technology. Right now, it's a matter of developing the technology to be able to travel and live outside our planet. We're really talking about technology that will take hundreds of years to develop - if at all.

If it's ever going to happen we need to move forward. Going to the moon was great but we've stalled since then.

We talk about jobs ending. We'll space research and development is a fertile ground for new jobs.
The Buffy vs. Angel vs. Firefly discussion is a good one. Babylon 5, Veronica Mars, and the recent Battlestar Galactica also fit in. Ditto Dollhouse, Heroes, Alias and Lost.

I'd say:

-- It's just a detail, but recall that the first season of Buffy was actually just a half-season in length.

-- The first three seasons of Buffy had a very clear meta-metaphor. :) It posited monsters as being a good representation for what happens in actual high school life.

-- That aspect of the show hit its stride in the Buffy/Angel romance: Girl sleeps with guy and he turns into a monster.

-- Firefly was good, but nothing in it was as brilliant as, say, the best of Buffy.

-- A lot of shows started with a lot of monster-of-the-week/crisis-of-the-week and emphasized the ongoing story more later into the run. But most of the shows cited did at least some standalone stories all the way to the end. (Babylon 5 is one exception).

-- Firefly never got past that part of the show's evolution. This may be one reason it never matched Buffy's brilliance.

-- Not knowing whether or not a show will be renewed is a huge problem. If you're a fan of Buffy or Angel or Babylon 5, you're familiar with the consequences.

-- The writers' strike messed up multiple shows, or at least their audiences. I never went back to watching Battlestar Galactica post-strike.

-- Joss Whedon tried to oversee three shows at once. That didn't go well. Each of Buffy, Angel and Firefly deserved more of his attention.

-- Dollhouse didn't have real characters, the people running the place excepted. It was never going to work.

-- Some shows have a brilliant idea for an overarching story, in which the big story and the individual characters' experiences and arcs mesh beautifully. Then that story comes to a natural end, and the show is never quite as good again. Veronica Mars Season 1 is a great example. Ditto the first 1 1/2 or 2 seasons of Alias. Ditto Babylon 5 after things were wrapped up in Season 4.

-- I'd put Battlestar Galactica into the same group. The best part was the first season, as everybody builds a society on the fly )as it were) that can survive against terrible odds. The plots with the election and the defeat and the aftermath weren't as good. And the pseudo-mystical stuff toward the end was just weird.
Where has “I'm feeling Lucky” gone?
Google appears to have knocked the "I'm Feeling Lucky" search on the head. Anyone know the reason why and any hacks to get it back? I used this daily as part of a custom search engine in Chrome.
You don't democratize intelligence+hard work or invention. These are rare commodities for a reason. It would be like democratizing money.
>What did the Soviet books talk about that the other books were ignoring?

Amongst other things they introduced better training methods; diligent classification and cataloging of common and critical positions. For instance, a systematic introduction to pryomes and positional maoeuvers. These books were written by people who had mastered the craft as players or coaches of elite players.
Improvement in chess to a large part entails becoming conversant with known positions and manoeuvers.

Recall that it was almost treason to reveal the techniques that soviet grandmasters used. This was one reason why Korchnoi was harrassed.

Three examples of fantastic books:

[1]Find the Right Plan with Anatoly Karpov [https://www.amazon.com/Find-Right-Plan-Anatoly-Karpov/dp/190...]

[2]Techniques of positional play Brozhnik and Terekhin [ https://www.amazon.com/Techniques-Positional-Play-Practical-...]

[3]A practical guide to Rook endgames by Nikolay Minev [https://www.amazon.com/s/ref=nb_sb_noss?url=search-alias%3Ds...]

..and I have not even gotten started on the Dvoretsky series
Do you mind sharing what Canadian city you are based in?
Florian Mueller isn't the greatest source to quote, mind you.
FWIW it's $10 per month, and waived if your account has over $100k in assets: https://www.interactivebrokers.com/en/index.php?f=4969
This isn't recording Spotify or Sirius XM. If I want to listen to a song 100 times on youtube, then how is that different from converting it to an mp3 and listening to it 100 times? Youtube is free. Should whoever posted the song have exclusive rights to the exact format you listen to something in? The only argument I can think of besides controlling distribution is getting rid of the ads.
I'm not convinced that survrillance tools will cure what appears to be a lack of effort from police. They probably have things they consider more important to investigate than your encounters in Oakland or the thousands of dollars of equipment I had stolen from myself and my startup a couple years ago. I'm confident that all of these things could be solved with data already available to the police, with a bit of investigative effort. I don't think more surveillance in their direct control would help.
Take a look at Webfaction. It's dev friendly hosting, great support, has lots of 1-click installer if you need them.
hmmm what happens if a EU citizens decides to use a null password?
yeah, no AI. Its low level computer vision. There is no implicit understanding of the scene to enhance it here. We show the neural nets several examples of low and high quality images it learns a function that makes the low quality looks more like the high quality.

this may make you feel disappointed now, but in the write up we are also pitching this same module to be used in generative networks and other models that do build an understanding of the scene. Lets see what the community (and ourselves) can do next...
But you will need accuracy to hit "just the right spot", and to get accuracy at long distance, you need a heavier bullet (https://en.m.wikipedia.org/wiki/Sniper_rifle#Maximum_effecti...: "The recent trend in specialized military sniper rifles is towards larger calibers that offer relatively favorable hit probabilities at greater range"), don't you?
An alternative is to find a domain that you find interesting and then research it to find problems people have. Look up Amy Hoy's Sales Safari technique.

Once you've done that, products that people will actually pay for become easier to see.
edited parent to add Calgary.
You can go to drive-vector.com They take order for Deep Learning Box for researchers and self-driving car developers
Counter argument: I was at a talk given by an FBI agent to a group of system administrators in 2004. The agent urged us to do our own investigating.. audit logs, sniff packets, etc. The reasoning was that our servers and networks were our private property and we could do as we pleased, whereas the FBI is bound by law to seek warrants and be very careful not to violate anyone's rights.

(The bulk of the talk was about computer forensics.)
You are probably thinking about static stretches. Can you link to evidence against dynamic stretches like in this program?
There's a second posting of this link on the second page (at the moment) that has the actual article's title - perhaps the discussion can be merged and the title normalized.

https://news.ycombinator.com/item?id=12617586
Where would one gain expertise in spaceship sabotage? I've worked with people with strange specialties but that would be a new one.

Joking aside you're definitely right that fbi and air force investigators were looped in day 1.
Yeah, I'm a big supporter of the Mars plan, it's just that I can't convince myself that a big colony is possible any time soon.
There are two things wrong with your comment.

1. Between the use of a fake quote and the use of the term 'kids', it as overly rude.

2. It is factually incorrect (http://assets.sbnation.com/assets/1701443/USD670286S1.pdf)
at this point i don't think Go needs any more fluffing. its niche is pretty well established and people should just get on with writing code that does what they need.

go is asymptotically approaching boring and that's one of the goals of its creators. let other new programming language stars shine: i'd like to see the niche rust settles in for example, and that needs code.
In my experience being hired at Google without a degree, and later talking to folks involved in hiring, education is not a huge factor in most cases these days. If you're at the start of your career and don't have any significant experience then it can make a big difference, but otherwise it's usually more of a supporting factor.
This is a design patent so it is more limited than a business method patent that software usually falls under.
How does this comment make any sense at all? Bitcoin etc. aren't fiat settlement systems, they are currencies that have active exchanges.

Using a blockchain for a settlement would mean a ledger of keys that should match 1:1 with the gold held by a company.
Our development process is currently fairly unstructured. I think this would be a good way to get a better picture of how we're spending our time, but I'm worried about introducing too much overhead.
If you have multiple images of the same scene (for example, from video frames), you should be able to use information across frames for a true enhancement?
Under the terms of the Outer Space Treaty, outer space - including Mars - is under no jurisdiction, but objects and people launched into space are under the jurisdiction of the country they launched from.

The OST prohibits a signatory to the treaty from claiming any celestial body. In practical terms, a base on Mars would, unless it was exclusively built with components launched from the same country, be a patchwork of jurisdictions. This is in fact the situation with the ISS, which is (probably) the only place in the Universe where the territories of USA, Canada, Japan, Russia and Europe are only seconds apart.

Of course there is always the possibility of a New Boston Tea Party. International convention is that a seceding state isn't bound by the treaties of the original state, so if a Martian government were recognized by Earth's governments they could try to claim Mars.

The more practical concern is what it would mean for SpaceX to "claim Mars". I could claim Mars right now, but it wouldn't benefit me at all unless my claim was respected by other states. If the US, or anyone else, could steamroll in and take control of a SpaceX-founded colony that was purporting to be independent, then the claim would be worthless.
- Determine who you need to convince on this matter

- Find out what metrics they care about (time lost, money lost, potentially employees lost, clients lost).

- Formulate your proposal in a way that emphasises how those metrics will improve by hiring more developers.
I don't honestly believe that the allocation of additional surveillance resources would have helped.

What's more likely, IMO, is that the crimes you described would never be solved even with millions of dollars in surveillance resources allocated to Oakland.

Also, this is one side of a story. Who's to say you aren't making things up, exaggerating, or even minimizing your provocation?

Do you think surveillance resources would have been best used solving a case of road rage? How many drones and cameras should have been used to bring justice to a mentally ill homeless man? Would you have preferred a helicopter was deployed to locate a damaged car that may or may not have struck your vehicle?

The truth about crime is that most of it goes unpunished, a fact every adult has to come to terms with eventually.

There aren't enough cameras in the world to stop a cop from filing your police report in a stack of paperwork and forgetting about it.
It was at a conference. The software was part of a suite of an edtech library. I don't remember the company. The headset was a Vive.
Iirc, the OSS thing was a license issue rather than a technical issue. the BSDs, being under that MIT license, do not have to deal with how to ensure future freedoms.
Good.

IP law is badly broken, and as it happens, those who are most disparately impacted by its flaws (startups, individuals) are also the least well equipped to fix it. Nothing will change without pain being felt by those who are capable of influence.
Male, 33, 10 years of experience, Near London, £50k + 11% bonus and other benefits.
One fun way to almost-disprove time travel (so far) is that there is no evidence that anyone is doing google searches for things they could not have known beforehand: https://arxiv.org/abs/1312.7128
As a counterpoint (and this is only my personal experience), but I'm happy to report that I've been a DreamHost customer for over 10 years for hosting some small and unimportant personal projects. I've been really happy with everything. Not sure how our usage of their service differs (probably lots!), but I would hate for people to dismiss DreamHost without hearing about a positive experience with them.
Establishing precedent. The first one is the toughest. Once Apple gone down, others will be a cakewalk.
I don't know why anyone would be opposed to this, given it doesn't have a significant amount of false positives.
I see it analogous with respect to limited resources and interests, but it gets completely distorted when debt can be created from nothing and used as currency. What's going to happen when debt exceeds all resources in the world? I guess that's the real reason for shooting into space: paying the world's insane debt.
The academic price is $65 if you have an .edu account.

Also, this is a Zynq-7020 part (same part found on Zedboard) - approximately 2.5x the FPGA resources of low-cost Zynq-7010 boards.
Joke un-aside, if you can make it, you can break it. Anyone with enough education and determination could sabotage a spaceship.

It's like how the Soviet Union's well-educated computer scientists became capitalist Russia'a taxpaying hackers.
40 years old, 155k, 10% performance bonus, full remote with the stipulation that I stay within a couple time zones of PST.
I think it's like garbage collector, they don't build anything, they keep the rats in check. We need people in maintenance jobs: repainting the road marks when they wear or finding the issues with the new version of a product.
The root cause isn't known but the fact that they can trace it to a failure of the helium containment system nearly rules out sabotage as a contributing factor.
Why ‘C’ Students Usually End Up Being the Most Successful in Life
>Is Firefox bullying other search engines by having a default search engine on their browser?

Firefox is not a monopoly, so that's a moot point.
I'm glad that we ended up talking to each other eventually. Sales loggr looks great. I hope you make it in.
Why is it worth ten bucks then?
True, but "heavier bullet" does not always mean "larger caliber". Also there's no telling at what distance a sniper team would have to be. Maybe they could be inside of 1km?

Also "just the right spot" could be huge on a rocket. The thing is as wide as a barn.
Their barriers to entry, from a technical perspective, are too low...
The possible scenarios for this product are:

1) Fad Success like the one experimented by YikYak (same target demographic) and then struggling to maintain growth and traction.

2) Getting copied by Snap, Facebook, Twitter (perhaps even Google now that they have Allo) and repeating Meerkat's faith.

3) Reaching an inflection point that allows them to have growth and traction (like the one Snapchat had in its early years) and had decent exit by being acquired by any of the companies in #2.

It's hard to tell which one would be, but as I said the barriers to entry are very low. I would expect Facebook or another big company releasing something similar in the short term.
Haven't read the article, but the timing is interesting to me: I'm just finishing my honeymoon, and our last waiter in Costa Rica looked and acted in a way where I told my wife he seemed like a robin williams character...and then I got really bummed out realizing we won't get any more of his characters again.

Going to read this on the plane home.
Would adding structure help in managing the work better?

It can become difficult to convince management of hiring (paying) more people when there are improvements that should be made first.
https://www.squadup.com/events/hq-cleverly-vs-braehmer-live-...
It's a bit more complicated than that. Ada has no safe object deallocation, but guarantees safety as long as you don't use any unchecked operations (object deallocation being one).

Ada is also much more powerful than C/C++ in terms of how far you can go with the safe subset of the language, since you can pass/return objects of unknown size in and out of functions by value.

There is no doubt that Rust static guarantees in terms of allocation/deallocation are very useful in some contexts. There is also no doubt that they're not sufficient at all to express every useful programs (for example you cannot safely express any structure with circularities, linked lists/graphs). In those cases you'll be back to unsafe constructs directly or indirectly.

So Rust has more expressivity in this regard but is still no silver bullet.
Open wifi networks feel to insecure, I'm sure intelligence agencies have all their fingers on it, or at least the companies leasing those service must make a good feast of snooping on their users.

Seeing terms of agreement for a wifi network is a bad enough sign.
You know that Facebook tried to copy Snapchat right?

We all know how that turned out.
PYNQ actually doesn't require any Xilinx tools - with a free SDCard image online, you power on the PYNQ-Z1 board, it'll boot into Linux and using Jupyter notebooks, you can run any python package or interact with programmable logic.

There are about 20 example notebooks that ship with PYNQ using opencv, HDMI out AND in, wifi, and grove periperals.
FWIW, those police appear to be at Charles de Gaulle airport. The OMON are (or rather were) the rough Russian equivalent of a SWAT team.

You want the text to be high visibility. One way is with a strong contrast between light and dark. Another way is dark on light. If the uniform is dark - which is typical of jackets - then either the letters need to be light, or there needs to be a box or other shape which is light, with dark letters inside.

Here are police with dark jackets, light letters with "POLICE", and no rectangle: http://www.europe-israel.org/2016/09/intifada-en-belgique-un... http://www.lemonde.fr/europe/article/2016/06/20/une-cellule-...

They say "police" because they are in countries where France is a local language, and, quoting https://fr.wikipedia.org/wiki/Police_(institution) :

> Le terme « police » désigne de manière générale l'activité consistant à assurer la sécurité des personnes, des biens et maintenir l'ordre public en faisant appliquer la loi.

They also include "Politie", again in light letters on dark. That's because they are Belgian police, and "politie" is what the Flemish population of Belgium uses.

At https://www.dreamstime.com/editorial-photo-french-police-con... you can see a mix of styles used in France, so that tailor isn't very consistent.

Other police prefer a high-visibility jacket, which means they need either dark letters, or a block (or other shape) if they want light letters. Here are some examples with the British police: http://daafeet.com/?p=6956 http://www.telegraph.co.uk/news/uknews/law-and-order/9762516... and https://duckduckgo.com/?q=british+police&t=ffsb&iar=images&i... .

And here are some German police, who don't use the English/French word "police" on their jackets but rather the German "polizei". Both of these cases use light letters on dark jacket with no rectangle: http://www.liberation.fr/planete/2016/01/08/harcelements-de-... http://nyheteridag.se/polis-morklagger-asylsokandes-kriminal...

Or in Sweden, with the Swedish word for police, "polis", is in white, on a blue rectangle on high viz yellow: http://www.somaliska.com/booliska-stockholm-oo-joojiyay-ugaa... and where the underlying jacket doesn't have any word at all http://www.aftonbladet.se/nyheter/article18116027.ab .

At the bottom of http://almunecar.se/leva-och-bo/bra%20att%20veta.html you can see three different uniforms for Spain. Neither the municipal police (http://almunecar.se/onewebmedia/LEV-5.JPG ) nor the Civil Guard (http://almunecar.se/onewebmedia/Policia%20Guardia%20C.jpg ) have text on a rectangle, instead using the entire shirt yoke in a different color as the background.

What you showed, therefore, is neither a universal nor anything like your attempted joke about the same tailor.
After 30,

- 125K, startup.

- 110K, cut salary for an early stage startup.

- 150K, with upto 25% bonus, plus options, startup that made boatload of money.

- 210K, consultant

- 280K, consultant

- 300K, consultant
I agree with a lot of what you wrote.

Babylon 5 was a pretty unfortunate case. There was a lot to love about it but also so much that you have to overlook that it's really hard to recommend, especially a couple decades later (ack! seriously).

The effects were pretty low budget at the time--even if somewhat revolutionary for low budget graphics (Amiga).

The acting was very uneven.

And, generally, as you suggest the uncertainties around renewals through the series run drove too many decisions with respect to the story arc and made the whole ending arc somewhat anticlimactic. I'm also not sure that shows driven so heavily by central mysteries--as B5 was--work very well outside of their original context. (And perhaps in today's on-demand viewing environment more broadly.)

I think I liked Battlestar Galactica more than you did overall but agree that the final somewhat mystical arc wasn't a strong finish. Lost didn't close well either after a strong start.
The dao hack was the result of a textbook concurrency error, similar to errors that can result from not using database transactions. Crippling the language is not the answer. Just look at code that works with Bitcoin. It is convoluted beyond belief. Read the Lightning whitepaper. It's 60 pages of complex hacks to accomplish something that can be explained in 5 minutes (if you don't have to jump through the Bitcoin hoops), and implemented in a few hundred lines of ethereum code.
https://www.youtube.com/watch?v=KiqkclCJsZs