skysight-inc/HackerNews huggingface dataset:
Here's an idea that I once had about how to visually determine if a program terminates or not:

Convert a program to a Game of Life equivalent program. Observe if there are any run-away gliders. If there are, the original program doesn't terminate.
We used their API to make a simple screenshot2latex tool (select screen region -> puts latex formula in clipboard). From my experience it still fails on a couple of fairly common things like:

- \mathcal letters (recognized as non-mathcal)

- long equations (not recognized at all)

- multi-line equations (not recognized at all)

The screenshot2latex tool: https://github.com/rmst/screenshot2latex/blob/master/scripts...
Suggestion: be able to specify ranges for variable estimates, and give ranges for the answers to calculations.
eh, publishing audit log hashes into the buttchain doesn't really "mix" it on the users' side
How to Clone Mineral Water (2012)
By that reasoning C is the only language you can use to write kernel modules.

Which is not a very interesting or productive reasoning when discussing the actual merits and capabilities of a programming language.
Because it's end-to-end encrypted for just the people in the chat. Slack and Hipchat store the logs in the clear for themselves and the contents could be revealed if they were ever hacked. Since they're also centralized this poses an issue because they're an easier target than say a member of the chat's device.

Since keybase is all encrypted, signed, and authenticated the fact it's centralized only matters as far as the service going down, but the content is all secure.
One obscure one that I remember enjoying and thinking was underrated was "Dumb Witness".
>> modelling might in fact be a necessary part of regulation.

That seems false. PID is used all over, no models. Very simple, very effective.
https://news.ycombinator.com/item?id=16547452
(context: live & work in San Francisco/Silicon Valley area)

Before becoming an engineer, I studied massage, and came very close to choosing it as a profession.

Doing massage, you learn not just to touch, but HOW to touch. There's lots of different ways to touch a person, which give in different ways. Even now, it's naturally woven into my personality. I touch as part of my normal face-to-face communication with most people.

Generally speaking, adults are STARVED for touch. As in, they deeply crave to be touched, and to touch others. But for whatever reasons, people around here don't have enough opportunity to give/receive that, even those in a relationship.

Knowing how to give that to people in a way they can receive is a massive gift. It's desperately, desperately needed.
Your generation certainly had other things that your parents and grandparents would rather keep you from using/experiencing. Moreover, no one else had a smartphone, so you weren't the odd one out.
Measuring efficiency of DNSSEC negative answer synthesis (RFC 8198) [pdf]
Also the best selling, proving that the mass market sometimes gets art right. It's Agatha at her most brilliant, ruthless not only in story but in style. The English is as hard and bare as possible. IIRC it's almost all dialog and minimal dialog at that. But you don't notice because the story is such a drug.

It stands apart from her other books by having no familiar characters and being completely sealed. A perfect idea, perfectly executed. I wonder if Nabokov ever read it.
Not knowing about your 16 year old; but it will be significantly difficult to deal with the peer pressure and peer influences unless you live in a different culture.

The studied reason millenials were less likely to drive is not because cars got harder to afford or high school jobs harder to come by, but because of lack of interest (thanks to smart phones)

Even if you don't give your children a smart phone, they're going to be exposed to this behavior from their friends. And there are already articles of children who buy "burners" to keep their privacy from their parents.
Why build a half measure? Fix the problem, don't make it my problem. I'm not sitting around looking at the charging cable while I'm charging my phone.
And yet, AMP has succeeded at getting publishers to deliver fast and performant pages where other efforts did not.

I dispute the idea that technological factors are not at play here. AMP's preloading and automatic CDN caching system have a pretty big impact on load times, and its technically-enforced restrictions on what sort of performance-impacting content publishers are allowed to include in their pages seems to do a pretty good job of ensuring pages do not become bloated.
Of course their lives are bad! No one claims this solves the entire problem. But claiming that it is not an improvement is falling for the same fallacy as to when people were complaining that peta was giving water to people for turning vegetarian. You don't have to fix everything - in fact no one ever can - to be helpful
Expiration after installation makes sense from the perspective of planned obsolescence, and in anticipation of long-term-support sunsets.

It makes absolutely no sense to the end user, acting as possessor or potentially a reseller of an object, since the very premise implies that an owner should not be provided total control over their device, that it's never really "theirs", and that a vendor should retain the capacity to take a "sold good" away from the owner, under the guise of expected behavior, built as designed, effectively converting a sale into a rental, in time, perhaps after statutes expire.

It's effectively a back door for manufacturers, so that they can count on well-made products not lasting forever, not in museums, not for resale, not for nostalgia.
It’s not too difficult for an independent repair shop with the right tools. We charge $49 to replace a Nexus 6P battery and it takes about an hour. Call some local phone repair shops near you and get some quotes.

If you happen to be in Austin or Houston, contact me :)
Counting Unival Subtrees
The actual rule is no "excessive automated bulk activity".

https://help.github.com/articles/github-terms-of-service/
The Connections Between Coffee and Biodiversity
Would opting out of FaceID also lock down the feature completely for the APIs?

FYI: you can have an Android phone complete without a single google app or the google app store. LineageOS is the most popular alternative OS. There also other stores you can put on your phone. Like F-Droid, which hosts open source apps.
Or until they learn enough to understand how these filters work and figure out some way to bypass them.

At that point things would start to get hella fun on both sides.
Serverless webhooks to revolutionize the SaaS
Because

1 - they got caught with their hands in the cookie jar

2 - the internet isn't quite as dumb as google hoped

3 - thank god for the EU & Margrethe Vestager. Maybe we can talk her into adding a zero.

ps -- that status, as near as I can tell, of the amp url fix is vaporware. Deployed yet? Nope. So let's wait to get all triumphant until their supposed solution is deployed. https://www.androidpolice.com/2018/01/09/google-finally-fixi...
The Go stagnation is surprising. Is it because of its simpler syntax and hence less SO questions?
I'm seeing an opposite trend on the job market, Go is growing fast.
I am missing many features in InfluxDB. Some issues are open for years with no progress.

Some highlights:

1. Create measurement and insert data. You'll insert an integer. Then, you insert a float value, because that can happen. Value won't be inserted, as Influx assumes the datatype on first insert. Ended up creating a new measurement and casting all values before inserting.

2. No Log()/exp() functions. I like to store raw values, like example from ADC or barometric devices. I can't convert a raw barometric pressure to a pressure at sea level, because there is no exp() function. I don't like to store two values...

3. Downsampling is a broken. Downsampled values must be saved to a different measurement. Displaying those data in Grafana must therefore be always for 2 (or more) measurement. One for recent data, one for old one. This is a mess.

4. Deleting values. You can "SELECT * FROM bla WHERE value < 10" for example. But you can't "DELETE FROM WHERE value < 10" because delete only supports timestamps in the WHERE clause. This is especially painfull because there are no constraints to disallow obviously false values for inserting.
> per special relativity, from the point of view of the photon the moment of it's emission and detection are the same. It's traveling at the speed of light, so no time passes between those events

This is not correct. The correct statement is that, in SR, the photon's worldline is a null worldline. But the concept of "proper time" is not well defined on a null worldline, so you can't say that "no time passes". In fact, in any inertial frame, the time of the detection event will be later than the time of the emission event, so time certainly does pass between the two events in the only sense in which "time between events" can be consistently defined in SR.

Also, the photon's state does not have to be constant along a null worldline.

>is this what the Paris Zigzag does - treat the state of the photon and it's twin as a single state

No. The "Paris Zigzag" just says that causality can flow "backwards" along null worldlines, from what we call the "detection" event to what we call the "emission" event, instead of just the other way around. All of what I said above still applies.
> Profanities in English aren't diverse either

English profanity feels unsatisfying/watered-down. I suspect overuse in pop-culture has worn away most of the taboo factor, making it less cathartic.
> It took the truth about six times as long as falsehood to reach 1500 people and 20 times as long as falsehood to reach a cascade depth of 10. As the truth never diffused beyond a depth of 10, we saw that falsehood reached a depth of 19 nearly 10 times faster than the truth reached a depth of 10

The study attributes most of that force multiplier to novelty and surprise, where falsehood will always have an advantage; important things that actually happen are often not surprising. Maybe people who wrap truth in clickbaity headlines are actually heroes, trying to even out the playing field... I never really thought of it that way before.
What Is Auctus? – An Introductory Video
If you want someone to not get email for a few hours.
We started doing that in April of last year, is how it's different.
A great idea that dates back almost 20 years, but hasn’t gained any traction.
https://tools.ietf.org/html/rfc2827 and https://tools.ietf.org/html/bcp38

It’s very similar to the issue with VOIP and caller ID spoofing.

No idea why either hasn’t moved at all.
as long as execution is proceeding without generating any gliders, then you don't know whether gliders will be generated in the future. in addition, if you have gliders, you have no guarantees that another structure won't catch up to it and end its gliding.
> And then I come pick it up, replace the blown caps with high quality replacements, and then I have a perfectly good television.

Sweet. I think there's a business model in here somewhere...
AFAIK, TuSimple (http://www.tusimple.com/index-en.html) is much more mature on autonomous trucks. At least they have completed more road test. Last July, "TuSimple completed a 170-mile public road test from San Diego, California to Yuma, Arizona using its Level 4 system."
I speak a branch of Wu myself, and it's ABSOLUTELY not a different language from other dialects of Chinese. There are small parts (also commonly used) of the dialects that's dramatically different from Mandarin, but most parts are still the same. Especially if you need to speak about things in a more formal context, or describe concepts that are more abstract, the dialects has no difference with each other if written down
Stopping package theft could be just the start for Amazon's smart camera plans
> From the perspective of the photon (really kind of silly since the photon can't have any mass, and therefore no observer), there is no time or distance traveled. It takes 0 time to travel 0 distance.

This is not correct. It is not possible to have an inertial frame in which the photon is at rest. It is possible to construct coordinate charts in which the photon's worldline has constant values for all but one coordinate; but that coordinate is not a "time" coordinate, and there is no well-defined notion of "time" or "distance" along the photon's worldline in such coordinates.
Do you know any other books around the same topic. I'm not sure what good keywords would be for this. Ebooks preferrably. Looks interesting.
As someone who is under the age of 18, I would respectfully have to agree with the statement in question. The Smartphone -- or more specifically the internet -- has provided us, adolescents, a powerful platform to learn anything we want and develop into technically literate and ethical adults. Unfortunately, this has and will continue to not be the case.

The internet has evolved from being a source of knowledge into a cancerous entity that craves complete and utter assimilation of any decency humans might have. While adults might be capable of avoiding the raw, seductive power of the evil this medium permits, I think I speak for the majority of teenagers when I say that we cannot.

Constantly and persistently we are using the internet to perform heinous deeds unimaginable to our guardians. We have been raised in a bubble where our role models are Youtubers who have dropped out of high-school and where the names of famous scholars are annoyances of reality. We no longer look at the stars curious of the natures which lay beyond them, for we believe we have already witnessed and possess any great magnitude of beauty in our phones. We are mostly guided by the one and ever consuming belief that the internet is not an extension of our minds, but rather our minds themselves.

It is a terribly sad revelation that something considered so revolutionary and representative of human ingenuity is actually something wholly malignant to the young of our species. We are mentally and emotionally undeveloped and we have been given a powerful tool without guidance on how to use it.

I say these things not to bandwagon or provoke, but because I despise the creature the internet has given birth to -- me. I am a product of this vile creation and I want this cycle to stop. I do not know how many other teenagers have come to this realization or how many are still wasting away on Snapchat speaking of pointlessly obscure thoughts. But what I do know is that the internet has not enriched our lives but has rather regressed it to the point where we do anything for a couple of minutes on our phones. We are young and have been taken advantage of by political powers which want to advertise and indoctrinate; we hold unrestricted power in a domain of our own making; we are independent only in face when enslaved in heart.

Destroy the internet and free us.
Decoupling of backend and frontend
I use node 5+ since like forever. Next to every npm-module works for me. And if not, a node downgrade does not help.
This is awesome, worked perfectly.

Only downside is if you have swipe to unlock, I couldn't actually get the swipe up to trigger the password input screen.
I can also see a use for it, where your IM application of choice does not have web/desktop equivalent, but you want to chat via your PC anyway.
The Types of Modern Databases – Alooma
One way to look at a PID controller is that it uses a simple model that is correct in a lot of situations.
The fact that PID loops work for many systems is a consequence of the dynamics of those systems, for example that the integral of velocity is position and the derivative of velocity is acceleration. A vast array of phenomena can be modeled as 2nd order linear ODEs.
> ... open-source with almost all discussion surrounding the project happening out in the open on their GitHub repo.

Yeah, well... "Open-source" in the sense that they throw something over the wall from time to time. "Almost all discussion" in the sense that they use a heavily-moderated public newsgroup for some things. It's better than completely internal development, I guess, but don't kid yourself: it's a PR exercise coupled to a near-complete capture of the RFC process.
That's a fair thought when you compare unmanned trucks to O/Os, who really do bust their butts to make sure the freight gets there.

The use case that we're solving to is the big company driver who, at the first sight of trouble, calls dispatch to send out a tow truck so that they don't waste precious hours of service. The folks who use the full-service gas stations to fill up.

A lot of long-haul truck driving has already been setup to limit the participation of the on-board driver. We're just taking that a step further.
Maybe it's a way to test the attacker's infrastructure against a semi-hardened target?

I say "semi" because it still seems like a small-ish player, and while I do trust PM to have some very capable people handling their infrastructure, I doubt they have tens of millions in their security budget (vs e.g. Cloudflare or Google or perhaps certain banks).
Not integrated in vim, but try visidata (https://github.com/saulpw/visidata) on Sqlite. I tried after HN post last weekend and it was amazing... with Vim-like keys and interface.
In a nutshell, they come in handy when your 'Vanilla JS' involves a lot of changes to the DOM in response to user interactions or other events, and there are many such events.
Quake 3's frame rate dependent physics [video]
TuSimple has definitely been doing some great stuff. We did a similar test (w/freight) for the first time in January 2017...have have been doing that a lot over the last 15 months
P645-MG, but any P645 will do really.
Many gliders move at the theoretical maximum rate on the Life board, so it won’t be possible to catch them.
I’m tied to Windows at work. I’ve tried to start a few conversations about offering MacBooks as an option, but that never goes anywhere due to the additional upfront cost.

Given that constraint, I picked up Vim and have used it for the past 6 years. Tried Emacs at first, but it didn’t play well on Windows (not sure if user error!)

So I definitely encourage “reinventing the wheel” on multiple platforms, as long as the platform is popular enough. Competition doesn’t hurt.
> A photon has no time. The Universe has 0 size in the reference frame of a photon.

Both of these statements are incorrect. The correct statement is that the concept of "proper time" does not apply to a photon, and that "the reference frame of a photon" doesn't make sense, so neither does "the size of the Universe in the reference frame of a photon". See below.

> It doesn't really make sense to think about the reference frame of a photon.

This is correct, but it contradicts your previous statement, quoted above.
> You are deliberately torturing the word consensus just to make a straw man argument against crypto.

It is hardly a straw man. Which Bitcoin blockchain fork is the "original" blockchain? Which one is the real Ethereum blockchain?
Thanks! We've changed to that from https://www.washingtonpost.com/entertainment/books/the-great....
I think what the person might have meant was factoring a large composite number made up of two large prime numbers. It really is factoring large semiprimes. To make it even more confusing finding the prime factors out of any positive integer is called prime factorization. I totally get why people would say factoring large primes even though that is totally incorrect.
Wouldn't the analogy be that we are the servants to the state, as the state tells you what you can or can't do?
Genetic algorithms tend to not work very well when the overwhelming majority of points in your search space have a fitness of zero.
The Artificial Intelligentsia
Although you are correct, I don't see how that really matters. Just because a lot of people do it doesn't make it a good idea.
I think this Wiki page discusses it: https://en.wikipedia.org/wiki/Internal_model_(motor_control)
> I'd be looking for an interactive prompt style buffer instead of per-command executions

> given the ease of switching and copy-pasting between terminals, this seems superfluous.

This really makes me think you are a prime candidate for a plugin that can easily open an interactive prompt or make the whole copy, switch terminal, paste, copy response flow one command.

This is just repl-integration for db repls (interactive prompts if you prefer).

Many people are used to this workflow:

Open your editor, open a prompt in another terminal. Write the simple stuff in the prompt, the complex stuff in your editor and then copy/paste to the prompt. Write a simple query in the prompt that ends up pretty complex, so you copy it, switch to the editor and paste, fix it up then copy, switch to prompt and paste it back. Now you copy part of the query results, switch to editor and paste so you can extract some of the results for the next complicated query.

A lot of us know this workflow, an many of us aren't aware that what we are looking for is repl integration in the editor. Same workflow, goes like this: edit query, eval, edit again, eval, etc. It is not a different way of working, it is the same way but much better.

How do you know if you want this? If you use vim and set your readline config to use vi keybindings you want this. You already noticed that editing stuff in the prompt is worse than in vim, you just picked the wrong fix for that problem.
CodeStream wants to move developer chat straight to the source code
For all practical purposes C is the only language that is used to write kernel modules on Linux.

I like Rust a lot actually, but kernel modules aren't a good use case for it.

Edit: the_grue actually has an interesting criticism of Rust, which is that a lot of existing systems problems-- problems that Rust would be well suited for--are already addressed with large C/C++ codebases. Since it's unlikely you're going to replace Linux, postgres, nginx, etc. it is interesting to ask what systems applications Rust can be used for now, without requiring people to rewrite their applications in Rust or allow Rust code to be mixed in with existing C/C++ code.
"Very often" is too vague a statement to respond profitably to. I will say that, broadly, I am against poisoning children.

But, if we are serious about the problem, we need to be honest about the large genetic basis of adult intelligence and then figure out how to humanely encourage eugenic reproductive patterns (or at least discourage dysgenic ones) in the poor.
I own two rental units, in one of them very recently the washing machine "stopped spinning". Upon investigation i found out it was just a belt on the inside, which after some struggling with I was able to repair. Belt cost me $75 CAD, but much better for my pocket than a new machine and way easier to coordinate. Not to mention, the environment.
At some point will the online populace be inoculated from "new surprising info" that isn't verified?

ie, distrust all news until there's corroboration?
Note that he is using Hyper, which is a low level library. The article mentions [Rocket](https://rocket.rs/guide/getting-started/), which has higher level API.
This government is sick...
Android beats iOS in smartphone loyalty, study finds
I've used it for caching, batch processing, and concurrent web apps, and it's been a huge help. I've gone into how I used it in a couple of places:

- "Tackling Concurrency Bugs with TLA+" (https://www.youtube.com/watch?v=_9B__0S21y8)

- "Formal Methods in Practice" (https://medium.com/espark-engineering-blog/formal-methods-in...)

I love helping people with this stuff, so ping me if you have any questions!