skysight-inc/HackerNews huggingface dataset:
> In non-Latin text, if most characters are 2 bytes but a large minority are 1 byte, the branch prediction in charge of guessing between the different codepoint representation lengths expects 2 bytes and fails very often

You wouldn't want to process a single code point (or unit) at a time anyways, but 16, 32 or 64 code units (or bytes) at once.

That UTF-8 strlen I wrote had no mispredicts, because it was vectored.

Indexing is slow, but the difference to UTF-16 is not significant.

I guess locale based comparisons or case insensitive operations could be slow, but then again, they'll need a slow array lookup anyways.

Which string operation(s) are you talking about?
Disagree, it was mainly a wake up call that npm shouldn't allow package deletion, a policy they changed as a result.

Every other 'these kids and their dependencies' opinion over the left-pad incident was highly subjective.
Nothing up my sleeve number
How to Use Artificial Intelligence to Tell If a Person Is Lying
I practice taijiquan & qigong everyday. Exploration and practice there have helped me become more comfortable in my own body. I run and walk quite a lot as well in preperation for ultramarathoning. In addition I play quite a lot of socially engaging video games, currently playing World of Warcraft on a private server which has a great community.
This was the typographical choice that Medium landed on for their rich text editor as well
We don't have to give up cars to fix global warming either. We've invented new types of automobiles and fuel for them (electric cars, solar/wind energy)

It's just going to take way longer to switch over, since those things are way larger parts of everyone's life and economics than hairspray was.
To save some hunting around, here is the description of what is being proposed here:

* https://autocrypt.org/examples.html

Basically you include your public key in a "Autocrypt:" header line added to all messages you send out. Then encryption transparently happens.

So we give up some protection against MITM attacks but get protection against passive surveillance for people who are not willing or able to participate in a web of trust. All and all a good idea. Because this works with standard OpenPGP messages it would be good if we could tell what level of protection we were getting when we view a message.
I'm author of bash-modules project. It's my attempt to create set of libraries for easier scripting on bash in strict mode. Most bash libraries are not designed for strict mode, so I created my own. If you prefer sh over bash so much, you can help me to make it compatible with sh, or just fork it.

See https://github.com/vlisivka/bash-modules
> Basically, the US has been rebuilt along the lines of the same people who decided all of this back in the 1990s as a way to construct a new american empire

This reminds me of the great collapse in Russian life expectancy for Russians after the end of communism: http://www.nybooks.com/daily/2014/09/02/dying-russians/

The country became extremely unequal and was effectively looted by its oligarchs.

> a willingness to anihilate it all in exchange for a promise to return to the Valhalla of yesteryear, when making a living was easy and the government was making sure all boats were rising with the tide, instead of leaving some behind

Quite a lot of people said they would have preferred to remain under totalitarianism in the Soviet Union than to die of hopelessness in the post-Soviet crony "capitalist" wasteland. I hear there are even people in Portugal nostalgic for Salazar?
Well I think there is/was a balance of produced o² and co2, it's probably not good to change that in either direction.
As one of the few who paid for a web browser (paid $29 for Opera 7 in 2003), it looked to me like Opera really had no choice.

There was a post from an Opera insider that I can't find but it was basically this: the web's complexity was evolving faster than the Opera team could maintain their proprietary Presto rendering engine.

Switching away from Presto and building on WebKit was a basic matter of survival. Yes, they still became irrelevant but they would have also stayed irrelevant with their Presto engine.

I agree with their assessment because around 2009, I started encountering more and more web pages that broke Opera. The Opera forums had more and more complaints from users reporting broken web pages. The Presto engine was becoming a liability.

It was a vicious feedback loop because web authors wouldn't bother to test their sites with Opera ... which led to more user frustrations. I had to switch to Chrome to get a usable web surfing experience back. I originally paid for Opera because it had the fastest rendering engine which was very helpful for slow dialup connections. As Presto started falling further behind, that speed advantage was negated.

Opera did try to some interesting features such as "Unite" which -- if you squint a certain way -- was a form of p2p decentralization. Yes, it's interesting to have a built-in web server in the browser but not enough people cared about it.

The author's predictions for Firefox's Gecko engine meeting the same irrelevant fate as Presto didn't happen because unlike Opera, Mozilla from 2004-2014 got massive funding from Google. Mozilla could afford to keep programmers enhancing the Gecko engine. Opera couldn't do the same with Presto.
"Come 2019 and 2020, other products in the pipeline will have more involved fixes that again improve performance over the software and quick fixes.
The solution everyone wants is a full fix with no performance impact. I can't imagine that coming any sooner than 2021"
> The whole process of how type theory research seems to work is completely absurd. Type theorists first create a syntax and later come up with a semantics for it. In other words, they first think about how they want to say something before they even know what to say.

Well no, they know sort of what they have to say. Type theory is syntax-directed because this is what ensures it's mechanically automated and doesn't require any intelligence to verify.

> The concept of dependent types, on the other hand, has not existed in mathematics for thousands of years, seemingly without causing any harm.

That's what some thought about Russell's basic theory of types before the inconsistencies of set theory were properly acknowledged. And now type systems are in every major programming language that drive trillion dollar industries.

> Nobody gained any interesting new insights by understanding dependent types, to my knowledge.

What kind of insights? There are plenty of great industry and computer science insights, even if there have been no or few abstract mathematical insights yet. Also, there's a growing push to use automated theorem proving tools like Coq in mathematics because of the growing complexity of this field.

Finally, your argument that a difficult proof hasn't been found in the handful of years since HoTT began, therefore HoTT is probably invalid or useless, is frankly asinine.
It really depends. For learning and using ML/DL it hasn't helped me much, the bottleneck is stats and linear algebra for that field. Even if it helps, is it the most valuable and broadly useful tool you can add to your current toolkit as of right now? Likely not. Learning to write proofs helped in other ways, the content wasn't actually terribly important.
Taking them out has not resulted in the correct hash, or maybe I forgot something

Neither adding a \n to the last line makes it match
In the wider world, the stereotype of male geeks seems to be that having endured all the above we're seeking revenge on society (and especially women) for the wrongs they have inflicted on us. Admittedly in my actual life I don't perceive my actual self to be judged harshly by actual people, but in the abstract I get the strong impression that people like me are pretty awful.

Edit: https://encrypted.google.com/search?q=tech+industry+men . You might get different results but for me the first "positive-looking" story is on page 4 - "The Fittest Guys in Tech - These 10 men break the tech-guy stereotype".
Hi,

I'm very curious as to how well your trackpad is working.

I have the same computer and I can either use synaptic drivers with great accuracy but almost no palm detection, or only libinput with palm detection but bad accuracy, but the real problem is taps not registering if they follow a movement.

I have browsed the web everywhere, impossible to find a working solution.
If you have any tip it would be GREATLY appreciated. Thanks!
I was putting serious consideration into an iMac Pro but this has at the least made me stop to consider the options.

I write and run a ton of multithreaded data processing scripts and really feel this is going to be a world of hurt for me.

My last fully speced iMac has lasted me eight years, so I might just wait it out and perhaps pick up something far cheaper in the meantime.
We have many more points of dependency. So a malfunction in the machinery of life is more likely to be disastrous the further up the pyramid one lives. At the apex of the pyramid, we are dependent on the entire pyramid being structurally sound. And consider: we are already in the midst of the worst die-off of species since the dinosaurs. So the pyramid is already crumbling.
Idk, I feel like saying that humans should somehow manage to turn off grouping and categorizing things is kind of lazy. Categorization is such a critical part of our ability to navigate and understand the world. I think the trick is to be able to look at both at the same time and to constantly be willing to question your own biases.
Rolls-Royce Is Doing Business Making a Car That's More Expensive Than Bugatti
High performance microarchitectures for RISCV are still going to be proprietary.

Unlike operating systems, developing high-end microarchitiecture is not someting that bends well to open source model.
Check out this presentation: https://youtu.be/olH-9b3VJfs

And the accompanying reference site: http://shellhaters.org/
`sh` is only supposed to be _a_ POSIX-compliant shell, it's not odd/interesting/confusing that Ubuntu uses dash any more than it is that something else uses bash.

The shebang line #!/bin/sh should only be used for POSIX-compliant scripts; if it needs {bash, dash, python, etc.} it should start #!/usr/bin/env {bash, dash, python, etc.}.
You might want to check out TMail21 ( https://tmail21.com ). It is thread (topic)-oriented. It also adds shared (versioned) facts to threads which opens up an interesting set of use cases.
while i am not fan of algorithmic interviews every six months or so i come across text book algorithmic problems in my routine work which is nothing fancy just maintaining legacy code.Recently there was a library given by one of the big four's which had to be integrated into our system. It was working fine on pc but the moment it was brought into embedded system it started corrupting the stack, turned out that it was constructing the tree via recursive call which was blowing up the stack. We had to convert it from DFS to BFS to get it working.
So i would certainly not discount value of having good knowledge of algorithms.
The funny thing is that all of the "useful examples" were functions that took functions and returned functions.
How is your trackpad working? Did you tweak it?
DevOps’ish 057: Spectre of Meltdown, Docker Deathwatch, K8S Everywhere, and More
They might have the same macbook pro, but it might not be a dedicated email/youtube machine.
10 New Venture Approaches That Can Jeopardize Success
> correct (!) English

Ah, a prescriptivist!
What kind of index size does Bleve work with well? Megabytes? Gigabytes?

I’d love to understand at what scale people are using this engine.
> offers so much more expressiveness

I don't know the difference between em-dash and en-dash. But I'd also wager that you don't stumble and come to a grinding halt when you see a - in the middle of a sentence, like a robot trying to parse words as arithmetic.

I've never, ever once had anyone complain to me that my meaning was unclear when using a - or ' in an email, but I've seen encodings get jumbled. There's no gain for me to not stick to ascii in 99% of cases.
I find Jamie Oliver's Youtube channel good, I will check out the ones you mentioned, cheers
Some of the best coders I’ve ever met were English majors.

I’ve worked with a bunch of MDs with undergrad degrees in things like art history.

Sure, this is all anecdata but let’s not pretend a liberal arts degree necessarily dooms one to a life of flipping burgers
Bouncy Castle Crypto Provider Package Version 1.59 Now Available CVE-2017-13098
>Gideon tells me that in his experience there are many autistic traits that don’t fit at all with our cultural conception of masculinity. Hypersensitivity to sensory stimulation is one of them, as is the tendency for those with autism to develop anxiety and depression—conditions that in the general population are higher in women than in men—the predilection of autistic people to prefer consistency and predictability also contrasts with the masculine trait of risk-taking.

This is unsurprising, considering autistic males tend to display slightly feminized neurological structure and behavioral traits compared to control males.

http://bjp.rcpsych.org/content/201/2/116.full

http://www.jaacap.com/article/S0890-8567(14)00725-4/pdf

Likely relatedly, the incidence of gender coherence issues (up to full gender dysphoria) are over 7 times more prevalent in the autistic community than the general population.

https://www.theatlantic.com/health/archive/2016/11/the-link-...
Don't lie to your children about their strengths and weaknesses. Help them appreciate that everyone is good at some things, not so good at others, and teach them to figure out which is which, improve what is important to them, and choose their own path through life. Not only will this make them happier with themselves, it will empower them to improve, and help them appreciate the differences of everyone surrounding them.
Autism spectrum anomalies linked with cognitive metabolic abnormalities -> use a lot of cognitive energy all day -> regress while brain recovers
"The hard work of well intentioned people" has caused plenty of grief throughout the ages. Considering criticism off limits because it's not nice is exactly the kind of feels-first thinking that spergs abhor and which has no place in an environment where results must be delivered.

It also opens the door to creating drama because of the tone of the criticism, thus missing the original point (or deliberately deflecting from it). If you've worked under people for whom this is second nature, you know how destructive and poisonous this can be. "Please give me feedback" is code for "Flatter me", and not doing so results in "How dare you" indignation.

I don't think it's a coincidence that tech is one of the fields where this posturing found loud and well argued push back early, and no coincidence that high school mean girl tactics were the response.

If a memo is sufficient to cause one to feel unsafe, then being fired and slandered in media ought to be much worse. That's the empathy gap in action. People assume the problems that are talked about the most are the most important, not realizing those that are passed over can never be addressed in the first place.
I wonder how long it will take to get the fixes to all electron/cef based applications.
Those are some good questions. And I don't have pointers to data. You can find plenty of anecdotes about one-off procedures/events that are ruinously expensive in the US but are affordable out-of-pocket cost at medical tourism centers.

The question of on-going health care costs would normally be of interest only to expats since most medical tourists plan to go back to their home country after treatment. As an expat I have some anecdotes of my on that subject. In short, they also seem to be a fraction of the cost for better care and service. Full time elder care/nursing home care, for example. When my family researched it in the US it was very expensive and mostly quite depressing conditions. We were able to obtain 24-hour care for about US$1,000 per month in Thailand and the care was quite good. An acquaintance mentioned comparative cost of dialysis - about US$10,000 per year at a Thai private hospital versus US$90,000 in the US (assuming you paid the actual cost).

One thing that remains expensive is any specialty medicines that must come from big pharma in the west, although there are more options for sources and not the racket that people experience in the US - think of meds from Canada for example.
>* There is a huge overhang of security-critical bugs; we have to choose between addressing that and making forward progress. We are putting code-cleanup projects on the back burner for the same reason.*

Have they considered rewriting it in R... oh, hang on.
> As someone unfamiliar with NPM, why does it not lock package names for a certain period of time?

From [1]:

> With the default registry (registry.npmjs.org), unpublish is only allowed with versions published in the last 24 hours. If you are trying to unpublish a version published longer ago than that, contact support@npmjs.com.

I am kinda assuming that if npm support were to help you unpublish a package that is depended upon (they might refuse), they would prevent someone else from re-publishing to that name (they might put up their own placeholder package, like they did during the left-pad incident), but granted I can't find this stated anywhere.

I think the reason re-publishing seemed to happen in this case was they weren't prepared for whatever vector allowed for the deletion of these packages.

[1] https://docs.npmjs.com/cli/unpublish
Polymorphic Programming
I have no issues with it(?)
Dealing with the Meltdown patch at Grab
If you're targeting a limited set of systems and can reasonably assume the requirements won't change in the future, obviously use whatever tools you know will be available. I write Bash and Python all the time for those reasons.

But it's silly to think that there's nothing in between "complete control over target environment" and "use ANSI C so it can be compiled to any architecture and platform under the Sun." POSIX compliance will cover a lot. Try browsing /usr/bin on any Unix system you'll see plenty of use cases. I just looked at /usr/bin on my laptop and saw that mysqld_safe is a Bourne shell script, for just one example.
Can someone provide a brief summary of that difference as of today?

I thought they were always going to be a Hololens-like AR product?
Kind of a given. Can you think of something from the 1960s (let alone 1910s) that we look back on and think "wow, yeah, they had that figured out"? Even if it was mostly understood, the difference between "mostly understood" and actually understood is huge.
You raise a couple of important points. I agree that "a consortium of the greatest mathematicians" is a bit of a hyperbole, even though many of the contributors to the HoTT book are extremely well-known in their areas of research, eaching listing numerous worthwhile contributions. Let me react to some of your statements more precisely.

"In fact, most mathematicians regard homotopy type theory as some obscure stuff logicians and computer scientists do, with no relevance to their research." For the most part, any two mathematicians working on different subjects won't believe that each other's work is relevant to them.

"Everybody can come up with random axioms." This is of course true, on face value, but the point of the univalence axiom is that it is firstly an extremely interesting axiom, secondly that it's an eminently practical axiom (vastly simplifying formal proofs in some areas), and thirdly that it's actually fulfilled in several models.

"The concept of dependent types, on the other hand, has not existed in mathematics for thousands of years, seemingly without causing any harm." While dependent types were only made explicit in Martin-Löf's type theory in the 1970s, dependent types pop up everywhere. For instance the type of vectors of length n is a dependent type (dependent on the value n).

"Why, exactly, is this awkward axiomatization of lcccs interesting?" It's because it's so simple to work syntactically. Just as informal proofs (written in English or a different human language) can be (in principle) be translated to formal proofs in ZFC or a different set theory, with a small bit of training you can recognize when an informal proof can be translated to extensional Martin-Löf type theory. In this way a single piece of informal proof gives rise to a multitude of theorems, one for each lccc.

"and a proof, if it exists, will likely be extremely convoluted" Partly, this is exactly the point! The language of homotopy type theory makes it easy to work with infinity categories. By now the correspondence has been checked in many cases. In particular, the correspondence has always been known for the model of simplicial sets (which was, in fact, Voevodsky's starting point). Thus from the very beginning, we were able to use HoTT as a convenient synthetic language for doing algebraic topology.

The thread you linked to is full of interesting food for thought. Be sure to also check out Mike Shulman's comments there! I'm happy to discuss this further. :-)
https://news.ycombinator.com/item?id=16059553
It’s 2018 and your Docker containers need to be secure
VPS providers handling of Meltdown and Spectre
Some related work also include:

- "Strongly-Typed Recurrent Neural Networks" http://proceedings.mlr.press/v48/balduzzi16.pdf

- Principled Approaches to Deep Learning workshop http://padl.ws/ (maybe this is in line with the meta-point Colah's paper)

- Haskell accelerate library https://github.com/AccelerateHS/accelerate/. Not deep learning per se but perhaps some of the ideas are applicable
Who is the team or company behind this offering?
The local stuff isn’t necessarily insecure (depending on your paranoia level). The security of your computer system is totally unrelated to the encryption of your mail - even with GPG most people are keeping their private key on the same system they use to read their mail. Full disk encryption with something like Veracrypt or bitlocker or file vault or LUKS should be more than enough to keep your decrypted emails safe when you are not using your computer.
Panther DIY Website Builder
I am using an even more minimal subset of CoffeeScript 2, basically classless, and love it. I can't find a sane reason to hand-write ESxx.

I complement it with Rust as needed, which is the only language that justifies having a verbose syntax.

Those two couldn't be farther apart, but their combination covers an extremely wide spectrum of programming tasks. From prototyping, to incrementally improving the robustness and performance as needed.

jashkenas did a great job, and CS2 is a very elegant and ongoing effort.
Ten years of blockchain technology and the only popular use case is cryptocurrency.

It would seem that current times bring innovation in ridiculous pace, but the fact is - it's still awfuly slow.
The case against entrepreneurship
Hackernews defaults to Verdana—a known terrible font-design. Dashes should be visibly thinner than hyphens. And the reply-box is in monospace, so I can't see difference between the en- and the em-dash. In German we use the en-dash with leading and trailing space instead of the em-dash.
A unicode substitution cipher algorithm
TIOBE Index names C the programming language of 2017 – SD Times
- Reduce social media to minimum
- Sport
- Hobby unrelated to IT
- Additional interests unrelated to IT