skysight-inc/HackerNews huggingface dataset:
> It contributes significantly to the verbosity of the code.

No, it doesn't. The only places this is meant to be used is at interface points, i.e., declaring object member attributes and method/function signatures. We're not talking Java or C++ levels of type annotation here: we're talking Go, Haskell, and O'Caml levels of type annotation at most.

And this is the core of the FUD around type annotations: people act like it's introducing Java and C++ levels of needless crud into the language, when the actual number of places where it's meant to be used is much smaller.
Russian hacker abducted in maldives flown to US for trial
The Power of Company Mottoes
I lived in the US for 5 years - I went there as an exchange student when I was 17, finished high school then went to university. One day, just before completing my CS & Math degree, I was arrested, imprisoned and (after 3 months of being bounced around various detention facilities in 3 different states, without any explanation) I was deported for violating my student visa (because I had to work to pay tuition).

Have not set foot there since 2012 and don't intend to, even though my wife really wants to visit NYC. Frankly, right now I feel I would be safer visiting North Korea or Syria or Yemen, than the US. I'm absolutely terrified by just about anything that has to do with the USofA.

I have also come to distrust Americans more than any other group of people.

[For context, I'm a white, middle-class entrepreneur / software engineer, originally from east Europe, now living in the UK]
I know, right? Look at [Other Group] with their [Thing They Like]. Can't they see how it goes against [Thing Our Group Wants To Signal]?

If only they had cultivated [Subjective Taste We've Cultivated] they would be ashamed.

It's almost like they watch Television. Or Sports on Television. Or eat Fast Food and enjoy it. Or prefer sandwich bread to crusty artisanal bread.

Or drive Big Flashy Cars. Or drive pedestrian affordable cars. Or support Obama. Or support Trump. Or drink instant coffee or take public transportation.

There's no end to the list of things that the Other People do that Our People can look down on and laugh. If only they knew better.
How Hyperloop One Went Off the Rails
"Data are liabilty" has become a mantra of mine.

And while it frequently afflicts those utterly disenfranchised (see the parallel HN item on asset forfeitures, aided by scanning or having employees hand over travel records), it also hits those in power. The difference is that whilst the disenfranchised may find themselves arrested or disencashed, the powerful seem to find a harsh spotlight shined on them, but largely avoid harsher penalties.

Not always, and not entirely successfully. But information, it turns out, is not power, but a power multiplier. If you have a great deal of power, information used against you diminishes that somewhat, but can only multiply your attackers' own power by so much.

It's a rather interesting dynamic.
Nitrokey Getting Started Guide (gnuk openpgp token)
People generally don't carry large sums of cash, but there are a number of cases where one might.

People who are paranoid about banks, for example, or people who cannot, for one reason or another, use a bank account without raising eyebrows.

Possibly the most innocuous example I can think of would be someone who is paid mostly in cash tips, and does not put them in the bank to avoid any paper trail requiring taxes. If they then paid their living expenses entirely out of their "base" wages, they could accumulate a substantial under-the-table pile of money.
Is Haskell's default lazy evaluation really a flaw that needs to be fixed? I personally like it, I find that most of the time lazy evaluation is what I need instead of strict.
Realistically, how often is a petrol I4 engine rebuilt in consumer cars? I've seen 1980's Volvo redblock engines with 300k miles on them run as smooth as butter. Short of neglecting timing belt changes, running without oil, or incompetent modifications, nothing much kills a petrol engine before the rest of the car is scrap.
In the UK brick may be gold standard, but basic level would be block work with render or brick facing. Really it's just what builders are used to, and the skills that are available. Bear in mind too that there are a lot of old houses here (by which I mean over 100 years old) and they're not just the high-end ones. There are lots of shoddily-built victorian terraces with single skin brickwork and no foundations, but survivor bias means that somehow they're still standing, even if it is a bit scary when you realise how many are built directly onto bare earth with bricks that fall apart and old mines underneath. They've survived the Luftwaffe and 150 years or so of subsidence, so they're probably fine for another 100 more.

Timber framing is just not the standard, so there are more brickies. The cost isn't that different, otherwise the crappy estates would be built in timber rather than blocks. Likewise plasterboard is skimmed rather than taped, because that's how it's always done and that's what the plasterers are used to, even if the work is more skilled. If the UK does move away from blockwork I'd imagine that as building regs change and the cost trade-offs move it'll switch more to SIPs rather than ever to timber framing.
I didn't say that it does. However one of the justifications given by the French left for high redundancy payments is to compensate workers if their jobs are taken by automation, so they are related issues.
People don't need AAPL shares to survive.

They do need housing. And food, and clothing, and a reasonable assurance of stability in their lives.

Start taking that away, and social fabric starts unravelling quickly.
Id never heard of the game until your earlier post - Id skip most of mad to read Spy Vs Spy. Predictability isn't necessarily a bad thing - in fact kids seem to particularly love repetition.
Where is he dictating anything? It's a blog. People use blogs to give their opinion. Is that too much freedom for you now?
Seems like fixing that system would be more sensible than outlawing diesel cars, no?
Mmm no sorry i don't agree. For me virtual dom is only a tree generated from code,diffed and batched. Speaking only of the algoritm.
For me databining templates libraries are vue and ractive.
See this 2 links for comparison.
https://vuejs.org/guide/comparison.html

http://blog.ractivejs.org/posts/whats-the-difference-between...
Another example of this phenomenon: when Segways arrived, here in Spain every mall and airport jumped into buying as many as possible for any employee that had to move frequently (such as security personnel). Then I flew to Frankfurt airport and I was shocked when I saw all these roles... with a small inexpensive bicycle! So much for trends...
I have no idea how to prevent people from 'hacking' my game, but I don't think I'd try to stop them — it's so fun to see what people are coming up with. I'm learning from it!
Show HN: Embed a Google like Search-box that converts English to SQL in your app
The “Have I been pwned” API, rate limiting and commercial use
Please, Please, please, pretty please-with-extra-sugar-and-rainbow-sprinkles-and-chocolate-chips on top, do not visit North Korea, Yemen, Syria or even Dubai or Abu Dhabi either.
Not while there is work to do. So long as there is a need for more housing, bridges to be repaired and roads to be maintained and anything else that can't be automated and can be trained for then government should employ people to do those jobs and quit with the nonsense that only the private sector can add value.

If there is shortage of skilled workers to do those jobs then they should train them too. The lack of long term job security has lead to the end of loyalty which means private companies have no incentive to train people which means the unemployed have to take on debt to study courses which aren't necessarily giving the skills they need. That and companies need to start sponsoring and training and accept that some will end up at a competitor.
"Civil forfeiture" they call this, where the local Police Department essentially steals your stuff, and the burden is on you to prove why you should get it back. Of course you'd assume the local PD couldn't possibly be allowed to keep it themselves, surely it is remitted into some state or federal government fund.

Well, enter the "Equitable Sharing" program, which was halted/curtailed in 2015 when there was a furore about it, but has apparently resumed[1]. This is where the actual local PD that seized your money really does get to keep 80% of it themselves, with only 20% going to the feds.

But for some reason the locals aren't allowed to spend this money on op-ex (salaries etc) so they often spend it on crazy equipment which they can obtain via the Department of Defense's 1033 Program[2][3] which allows PDs to buy excess military equipment like weaponized vehicles, armored personnel carriers, grenade launchers, and helicopters -- obviously contributing to the increasing militarization of police[4].

Conflict of interest much? More confiscation of citizen funds == more toys for the boys at the PD.

All funded by money and assets seized from citizens on highly questionable grounds, with no real semblance of due process. Not great.

[1] https://www.washingtonpost.com/news/wonk/wp/2016/03/28/the-f...

[2] https://en.wikipedia.org/wiki/1033_program

[3] http://www.businessinsider.com.au/aclu-report-on-police-mili...

[4] http://www.washingtonpost.com/sf/investigative/2014/10/11/as...
There is doc available on the website, but I'm not sure if I explain the concept properly.

The assumption is that you have containers that operate on input files and generates output files. The behavior of the container depends on the given parameters which are defined in the kliko file. The user (or runner) will supply these parameters at runtime.

To illustrate, we use it for creating pipelines in radio astronomy where we operate on datasets of gigabyes or bigger. most of these tools are file based, they read files in and write files out. It is all quite complex and old software, so Docker is ideal for encapsulating this complexity. A scientist can easily recombine the various containers and play with the arguments. By the split of input/output the container effectively become 'functional', no side effects and the results can be cached if the parameters are the same. The intermediate temporary volumes can be memory based to speed things up. We use stdout for logging.
Built-in man pager in Vim
The easiest way to verify file checksums is to use "rsync -c". Rsync will usually skip checksum verification of files if both the modification time and size match on the source and destination, the "-c" option tells it to always compute a checksum.

Sometimes I also use the following "one" liner, if it's local.

diff <(sort <(cd /path/to/source; \
find . -type f -print0 | \
xargs -0 sha1sum)) \
<(sort <(cd /path/to/destination; \
find . -type f -print0 | \
xargs -0 sha1sum))

Another nice rsync tip is that if you aren't using -a, you should at least use -t (preserve modification time). This will make a second rsync faster as it can skip files if the modification time and size match.
I hope no one is wondering why the DEA made the unconscionable act of not re-classifying marijuana as a Schedule II drug.

There are so many tens (hundreds?) of thousands of people whose livelihood is tried up in arresting people for drug crimes that shouldn't be illegal in the first place. Think about all those DEA agents making $100k a year plus their pensions, all those judges and public defenders, all those private prisons full of people doing possession charges. All those local cops employed to keep an eye on them during probation.

It's absolutely disgusting and ruins peoples' lives on a daily basis, but totally expected behavior in a society that only cares about money (aka capitalism).

I am sort of surprised there isn't a lot more backlash against the DEA for this horrible move last week, but then again, the pro-pot legalization movement isn't all that impressive either. The most annoying thing about marijuana is fucking idiot stoners representing the brand.

edit: and don't even get me started on the huge amount of needless deaths in northern Mexico directly caused by the War on Drugs. Go read 2666 if you want a sliver of an idea of how bad it is there. But hey, to the average American, they are brown people so they don't care. Disgusting.
Already been to Dubai and Abu Dhabi multiple times, for both pleasure and business. Have taken my family a few times too. We love it there (although I am not at all oblivious to the way they treat Asian workers).

And for Yemen - I have been dying to visit Sana'a, such a deeply beautiful place. And I'm devastated that this seems like an impossible dream now, after the US/Saudi invasion.
Perception and the psychology of User Experience
Turbocharging and supercharging grew up in aviation , where there is much more variable air pressure due to altitude. They were more a "hack" to get more envelope out of an engine system. Started seeing them on consumer ground vehicles in the '80s, when everything had to have a "turbo"
button because PCs had one.

It's never been clear to me that they are really all the great of a fit with terrestrial engines. Part count goes up, heat goes way up in spots and there is of course lag.
Apple is ‘doing a lot of things’ in augmented reality, Tim Cook says
I've never met a computer where 2D graphics were faster with a GPU. (Try benchmarking and see for yourself. 2D graphics is mostly blitting pixels, where a GPU will only slow things down.)
Thank you for your reasoned thoughtful comment. You find the smartest people on HackerNews!
There’s a $200k reward for anyone who proves Microsoft ripped off MS-DOS source
The electric motor to be used would have to be a pretty unusual motor. IMO, supercharging is "better" because the PTO side of an engine is less ... trouble than the exhaust side. Superchargers are generally heavier.
LaTeX. The tooling is awful, the error messages are close to useless, and any moderately complex document needs hacks and workarounds to accommodate the various quirks it has accumulated.

I remember reading online somewhere "the best use of a 1 million dollar grant today to advance physics and math would be to redesign and develop LaTeX from scratch. The amount of productivity lost fighting against it is enormous." (Probably heavily paraphrased, since I don't remember the source.)

Dr. Christoph Schiller, creator of the "Motion Mountain" physics book done entirely in LaTeX, mentions some of its other shortcomings here: http://www.motionmountain.net/onlatex.html
This story is silly.
Re 2. I'm running for ages and once I got older so I had to care about that I started wearing briefs/boxers. This is a bad excuse, buy two 3-packs and you'll be fine.
You should absolutely go to Syria and report back how much better it is and how much more free you feel there.
I mean… That sounds like what a lot of people want (for pot).
Previous discussion here:
https://news.ycombinator.com/item?id=12268122
Ask HN: Anyone else had Disqus Reveal ads activated without their permission?
I've been trying to keep this "launch fast" advice in mind as I work on a product (pretty much the first serious personally-created app I'm putting out there.)

Another piece I looked up to re-read is this from the founder of WordPress: "Usage is like oxygen for ideas. You can never fully anticipate how an audience is going to react to something you’ve created until it’s out there." https://ma.tt/2010/11/one-point-oh/
As a Lehman... the only thing I don't like about Veracrypt is it seems to have a different on-disk container format than the original Truecrypt. I don't like having to remember to check "Truecrypt compatibility mode" when unlocking a drive. I only use the Truecrypt format because so many other tools exist (like tcplay) and because dm-crypt supports that format natively. If Veracrypt does take over the community of those who used Truecrypt, I hope its format gets supported upstream so we'd be at the same level of cross-platform portability. (really I'm only talking about what I had previously on Linux, though)
This is the reason I too find Yoga pretty difficult to consistently do.

After realizing this, I've started doing physical things that I do enjoy, that do count as FUN to me: running, swimming and cycling. The last two are pretty much entertainment to me, with the health benefits just a small side effect, while running is 50-50 on both sides, which is good enough for me.

I do find Yoga works on and improves a lot of odd corners of my body that these fun things don't seem to work on, so I'm trying to find a way to make that too an appetizing thing to look forward to.
I often wonder what is it that keeps Haskell out of the mainstream as a development language. There seems to have been enormous popular support for Haskell by experts over quite some time, yet relatively newer languages like Golang are coming along and eating Haskell's lunch.
Being deported for a visa violation seems like a fair application of the law, although from what I know about you solely based on this post, America's loss is the UK's gain.
Your sarcasm is shallow, but your intelligence is even shallower.
I read this as a specific proposal for future Docker, or some overlay description format for it. Also the author is talking about runtime checks while nix/guix provides install/configuration description.

Nix/guix solves some cool things, but doesn't do isolation (as in process isolation). It can do it (namespaces live in the kernel after all), but it's not a first-class thing.
A young gentleman whose name escapes me had develop an app to fight parking tickets (in NY, SF & the UK), and more recently work on housing assistance (in the UK). His work is often dubbed “robo-lawyer”.

Given the scale, would it make sense to have a similar work done for civil forfeiture?
I don't know any blog quite like Raymond's, but the more technical ones I like are:

Jan-Piet Mens (mostly protocols and IoT) - http://jpmens.net/

Absorptions (Oona Räisänen's excellent hacking around signals of all kinds) - http://www.windytan.com/
Its quite different how one shows their wealth country to country. Houses I thought were complete dumps in Rome are amazing to see at night - the lights go on and massive oil painting and amazing interiors are visible in what looked like near derelict buildings.
It's common enough. Outside of the US, it's referred to pretty commonly as 'Tall Poppy Syndrome' (especially AU and NZ) pr the 'Crab Mentality'. In Ireland, it's related to the twin concepts of 'Begrudgery' and 'Notions'. The Netherlands has 'Maaiveldcultuur'. And the Law of Jante has already been mentioned.

Fundamentally, it's a way to promote social cohesion, albeit in negative terms. It's not, however, against success, but against the idea that success inherently makes you a better person deserving of putting on superior airs: the successful should not rub the faces of others in their success.
Because you don't want to be at the mercy of a bank? When your money sits in a bank account, anybody who wants to take it, or seize it, simply has to contact the bank with appropriate legal authority, and poof - your money is gone, with no recourse whatsoever. At least when you have the physical cash, they have to deal with you personally.

Of course, as we see here, that's becoming more common.
And there is, or was, BSD code in both Windows and OSX, some of which was locked off in proprietary parts.

OSX also contains some GPLed code, all of which is available to the user under righteous free software terms (as is at least some of their permissive-licensed code).

The problem that Stallman and the FSF complain about isn't the relative freedom of the users of OpenBSD and GNU/Linux, but what happens to the freedoms of users who are further downstream.
> society's broader goals.

What are these exactly? Society is a summation of it's people and the success of the ventures they start are a big part of that.

> You argue that advertising is valuable because it's essential, but advertising is only essential because of its own existence.

What's that even mean? Lookup the definition of marketing and you'll see that connecting product information to consumers is needed to actually sell anything, and advertising is the distribution of this message. It's not only valuable, it's critical and necessary for business success.

You might not like being interrupted by ads (especially today's incarnation of ads online) but that is entirely separate from the concept of advertising itself. Saying that advertising isn't valuable is a gross misunderstanding of what advertising actually is.
It is missing some detail about how the interrupts operate, but:

a) It's a blog post not a reference manual. It's aim appears to be clear up some confusion about terminology (and having been using a Cortex M4 for a year I've spent a fair amount of time trying to reconcile conflicting documentation).

b) It's only the first blog post in an intended series. Who knows what's going to get covered next.

Even though I've got most of this sorted out in my head by now, it's still helpful to me to have it put clearly in one place (even if it's just so that I have a link to give to newer members of my team).
My beef with these mcMansions is having such branching house.

That means lot's of outer shell that's going to leak heat to both directions. So you will pay unnecessary amount of money in heating/cooling. Also windows that don't really give you nice views etc. Just wasted dollars.

Concaves in roof are risky spots for leaks. And especially tricky/expencive to fix.

Good houses often look boring. Lot's of architecture goes batshit crazy because there is very limiter amount of sensible ways to put a vedge on top of a box.
Another truth often forgotten: the recipient's phone remembers everything, too. You might use full-disk encryption on your phone, but that doesn't matter if the recipient doesn't.
Can someone explain what this really is? I cant find any details on the link, just pop ups.
The Role of Disease and Illness in the Perpetuation of Fear of Spiders (1994) [pdf]
CERTIFIED HACKER
Need a hacker? A senior member of icefog hackers.A professional in the areas mentioned below:
1.facebook,whatsapp,emails,twitter and instagram hack
2- Hacking computer system
3- Cloning of phones
4- Changing DMV records without leaving traces
5- Changing school grades without leaving traces
6- Retrieving hacked social media accounts
7- Credit card hack
8- Clearing criminal records
9- Clearing of bad driving records without leaving traces
10- Website hack
11- Retrieving hacked social media accounts
12- P.I - Private investigator like cheating husbands or wives and any other P.I activities and so many other services.
13- Catch hacker scammers
14- Wire transfer to any bank
15- Retrieval of hacked accounts (facebook,twitter,instagram,zoosk,match etc..)
16- Bank login
16- Phishing emails. to mention a few..He is at your service if you need him. Contact Patrick Kroupa...Email- lorddigital.hacker@gmail.com.. BEWARE OF FAKE HACKERS..TAKE RECOMMENDATIONS AND GO FOR IT
Need a hacker? A senior member of icefog hackers.A professional in the areas mentioned below:
1.facebook,whatsapp,emails,twitter and instagram hack
2- Hacking computer system
3- Cloning of phones
4- Changing DMV records without leaving traces
5- Changing school grades without leaving traces
6- Retrieving hacked social media accounts
7- Credit card hack
8- Clearing criminal records
9- Clearing of bad driving records without leaving traces
10- Website hack
11- Retrieving hacked social media accounts
12- P.I - Private investigator like cheating husbands or wives and any other P.I activities and so many other services.
13- Catch hacker scammers
14- Wire transfer to any bank
15- Retrieval of hacked accounts (facebook,twitter,instagram,zoosk,match etc..)
16- Bank login
16- Phishing emails. to mention a few..He is at your service if you need him. Contact Patrick Kroupa...Email- lorddigital.hacker@gmail.com.. BEWARE OF FAKE HACKERS..TAKE RECOMMENDATIONS AND GO FOR IT