skysight-inc/HackerNews huggingface dataset:
I'd buy a console if one of the companies makes a commitment to open it up after X amount of sales. They can keep that number as high as they want, but I'm sure lots of folks would be interested in such a promise.
The method definition syntax, package model and unsafe package are taken from Oberon-2.

You missed that Robert Griesemer is also part of the Go team.
This "proof" seems to be popular, and it always bothers me that it's invalid. It uses self-reference in an invalid way.

Allow me to formalize; we take as a rigorous definition of an "interesting number" that a number has a unique property. Specifically, a number n is interesting if there is some predicate P(x) which is true only for n. In formal first order logic, n is interesting if there exist a predicate P and a number n such that P(n) is true and if m != n then P(n) is false.

Let I, as a subset of the natural numbers N, be the set of interesting numbers. There are two cases: either N - I is empty, or it is not. If it is not, let n be the least element of N - I. n is therefore interesting, having a unique property in that it is the smallest integer not in I; however, this is a contradiction, because we defined I to include all interesting numbers, and so N - I must be empty; in other words, every number is interesting.

Edit: Actually, my definition of "interesting" seems to be in second order logic [1], since I'm using an existential quantifier for predicates. It doesn't seem possible to give a definition of this sense of "interesting" in first order logic.

[1] https://plato.stanford.edu/entries/logic-higher-order/
I'm convinced that Google has several Googlebots that are run depending on how popular a site is.

That is, new and low traffic sites are crawled by less intelligent bots, and as the site gets more visitors or better rankings, more complicated and resource intensive bots are deployed.

How this might work with the most popular sites out there, the Amazons and Wikipedias of this world - I'm not so sure about that. If I were in charge, I'd be tempted to have customised bots and ranking weights for each of these exceptional sites.

Sadly the chances of getting a real answer on this in my lifetime are close to zero.
Ok, still this:

https://xem.github.io/minix86/src/disassembler.html

doesn't work for me, maybe by "modern" you mean a current Chrome or Firefox.

I tested it with QTweb, Chrome 43 and Opera (Presto), certainly not the most "mainstream" or "popular" or "latest" browsers around, still I find no real reason why the thingy shouldn't work with them.
Beyond the theory, the talks and the articles. I have multiple 100% JS rendered pages (blank page with no javascript).

Google is crawling and indexing them with zero issues.
Ask HN: Why are we still thinking about pension?
I see people in their 20s making plans about pension schemes while in 45 years from now societal changes would be so great I don't think it matters. First of all if you make it to 2060 I doubt 70y/o would be unfit for work and that's only if there is no umiversal income and country borders are the same, we are not wearing implants, world war never happened and so on.

Actually I was thinking of demanding I get my pension benefit now in cash.
Thanks, I'll take a look. From your description and my previous thoughts about the problem, the problem I see is that is "whether data should be reliable" and "how many transmissions" are not the sorts of parameters you want. Nobody cares about the number of retransmissions; people care about how much time is spent transmitting. And no connection is ever 100% reliable, so you want more than a Boolean.
> As far as I can tell, Modula-3 is the only other "Wirth-style" language to provide GC.

Besides Oberon, there was Oberon-2, Active Oberon, Component Pascal, Zonnon, Modula-2+, Modula-3.

All of them with roots actually on the Xerox PARC workstation that used Mesa/Cedar.
A Step-By-Step Guide: Deploying a Static Site or Single-Page App – Netlify
My experience is that content hidden behind js will get indexed later, if at all, and it will be updated not as often. Also they will run js for bigger sites first, and not so much for smaller sites.
WebRTC does not use real SCTP but a rather a tunnel over UDP. Besides, it's not like WebRTC accounts for a significant amount of Internet traffic. I'd say SCTP sees more usage simply because it has been around for much longer with SS7 being the primary use case.
Coming Up: Drop Zone a Hyper-Local Bitcoin-Based Market Service
Half the people posting here need to read https://qntm.org/calendar
How would you compare the experience of working with the two?
Hey Colin,

I really like the idea of this! I have a couple questions:

* Do you support any sort of formatting for the contents of the book? e.g. Markdown, LateX, ? Or is it all "subject": $email_title, "text": $email_body?

* Do you have any estimate on how much text fits in a 5x8 book? Does your printing service scale the width of the book based on contents? Aka, if I wrote "walked dog, ate food", every day, would I get a pamphlet? Is there some kind of upper limit?

* Do I have to buy all my cheat days up front? It seems like you could charge "absolutions", maybe even at the end, maybe something like $0.50 for non-prepaid days? It might help people throw good money after bad :)

Thanks for sharing!
> array like in Fortran ... as a dependency graph

A spreadsheet is a bunch of pipes, arranged so that the endpoints live in an array.
I'm sure there are essays and writeups about this that I don't have off the top of my head. I do have a lot of examples.

In journalism, this insight becomes quite obvious after you've been on a beat for a few years and see how things really work, that is, how things are mostly mundane, and corruption or injustice isn't obvious because if they were, they would've been snuffed out (or obfuscated). So the devil is always in the details.

One of my favorite Pulitzer-winning stories is an investigation from the Sun-Sentinel (Florida) newspaper that majorly busted cops for speeding. Ostensibly, the big picture idea here is "who polices the police?"...but that by definition is an incredibly tricky thing to identify. After all, it's the police who create and record the data related to law breaking. So how did the Sun-Sentinel do it?

It started off with this widely-shared viral video: https://www.youtube.com/watch?v=Hk44_bIhmGY

But the Sun-Sentinel reporters weren't content with the status quo -- i.e. shrugging and thinking oh everyone knows that cops speed all the time. They wanted to prove it. And their method was quite ingenious and so mathematically airtight that cops were being disciplined even before the story came out: http://www.ire.org/blog/ire-news/2013/04/15/how-sun-sentinel...

Here's the entry in the Pulitzer Awards for 2013: http://www.pulitzer.org/winners/sun-sentinel

If you go through the Pulitzer winning entries, many of them include the cover letters for the award submission. Those letters will often describe how a small detail or curiosity grew into a big investigation.

The tech scene is full of examples. Is there a single successful unicorn that, whatever their lofty motto is today, didn't start with fulfilling a very basic need? Facebook's mission today is to connect the world, but its early prototype was a faster way to lookup co-eds. Likewise, Google's mission to organize the world's information began with the implementation of the almost too-obvious (but genius) PageRank/Backrub algorithm.

https://web.archive.org/web/20090126204112/http://ilpubs.sta...

And of course, there's always Dr. Feynman's recounting of how he came up with the idea that would eventually lead to his Nobel Prize: https://www.physics.ohio-state.edu/~kilcup/262/feynman.html
The actual question is- what is or was neuro-diversity useful for?
Its a uncomfortable question, because the answers may insult conservative and progressive comfort zones.

The publicly condemned sadistic murderer, might be a perfectly adapted model-citizen for a society that wents savage every second generation.

The schizoid paranoid might be have been a model citizen in society ravaged by disease and bubonic plague, forming hate-filled sub-communitys, who would purge outsiders and self-quarantine.

The sexual-deviant might have been a model citizen in a society that had no real justice system, by being forced to uphold basic social contracts.

Autism would be a attempt of evolution to develop reliable automation and mass production in a medieval society in need of it.

All of this of course has to be "triggered" somehow, so there would be a feedback loop of mothers in the making, that create with the society they perceive, the counter measure of tomorrow.
Have strife and stress?
Next generation will have more psychopaths that see your genetic lottery ticket through that.
Have a disease like the anti-baby-pill?

Lots of paranoid schizophrenic that want humanity to retreat into gated community.

Of course non of this is written in stone, it is always how nature turned out by supply and demand. What we make of this, is completely open to debate, but it has to be made upon a foundation of well researched knowledge, not upon a wishing well.
It might also have something to do with the fact that 60 is evenly divisible by 30, 20, 15, 12, 10, 6, 5, 4, 3, and 2.
New In Box :-)
Playing pro sports may weaken muscles. During a NHL season players loose up to a kilo of muscle mass. That one of the reason why the rate of injuries rises towards the end of season as the players got less muscles that protect against injuries.
Put your types to work
Great! Why now? Why on Inauguration Day?
FreeCodeCamp's New Years Eve Live Stream
What sort of things do you want examples of?

This approach opens you up to far more opportunities. Say you have a spare weekend and you aren't sure what to do with it, but feel like going out. You could use the opportunity to try something you wouldn't normally do: go to an event on something you know nothing about, or even on a subject you don't really like. When you're there, find people who are really into the subject and try to understand from them why they like it. Maybe you'll see what they see, maybe you won't. But this curious mindset will pay dividends if you need to be creative, or develop rapport with people, or just want to see what's out there.

I'd had some things going on and wanted a holiday. So I went on my own. I went out to bars on my own, which I wouldn't have done before because I'd have thought I'd have a had a rubbish night. But I ended up meeting a few people, then a few more and had an amazing night. I realised that it was down to me to make the effort to have a good night, so I started speaking to the people around me.

There are so many opportunities every day just waiting to be taken. I used to close myself off from them because I wanted to somehow cherry-pick in advance only those that would make me happy, or lead to 'good' outcomes. When you remove that constraint, you become open to much more of life.
I think this looks a lot nicer with Haskell-style do notation:

import Control.Monad (guard)
import Data.Ratio ((%))

results :: [[Int]]
results =
do th <- u
o <- u
r <- u
guard $ 2*th^2 + o^2 + r^2 == 1000
s <- u
z <- u
guard $ th^2 * z^2 * (s - z) + s^2 == 7225
g <- u
d <- u
xi <- u
guard $ (g - 1)^2 + d^2 + xi^2 - xi == 600
(et, i) <- [(xi - 7, xi - 11), (xi - 11, xi - 7),
(xi + 7, xi + 11), (xi + 11, xi + 7)]
guard $ 0 < et && et <= 26 && 0 < i && i <= 26
(a, mu) <- [(4, 1), (2, 2), (1, 4)]
pi <- u
guard $ a * (a + pi) == 4 * g
b <- u
n <- u
guard $ b^3 + z^3 + n^3 + o^9 == 1997
k <- [3, 4]
e <- u
guard $ (a % k)^2 + (b % n)^2 + (d % xi)^2 +
(e % pi)^2 + (et % mu)^2 + (i % s)^2 == 6
return [a, b, g, d, e, z, et, th, i, k, th, mu, n, xi, o, pi, r, s]

where u = [1..26]

main :: IO ()
main = print results
Ask HN: Remote workers. Do you use/need a portable monitor?
I have been working remotely for a couple of months now. I have worked from my (Irish) home office so far, using 2 external monitors with my MacBook Pro.

I am going to Ecuador in March and want to keep working, but I don't want to loose productivity. I feel going back to one monitor will really slow me down. Does anyone here use portable monitors while working on the road and have any recommendations?
Before "those" conclusions, I find of most interest the previous "Malware Conclusions":

"The PHP malware sample they have provided appears to be P.A.S. version 3.1.0 which is commonly available and the website that claims to have authored it says they are Ukrainian. It is also several versions behind the most current version of P.A.S which is 4.1.1b. One might reasonably expect Russian intelligence operatives to develop their own tools or at least use current malicious tools from outside sources."

The last sentence is IMHO even stronger.
Buying things I know I want is very easy, but "Window Shopping" or just general browsing is painful on Amazon.

I didn't even bother with the Amazon end of year sale, too much noise.
I wonder if their sysadmins will be able to read your mail or just promise not to. :/
The "tech echo chamber" is really the discussion of the market leaders. It won't affect sales this generation, but look for reduced sales next generation, and the bottom to fall out the generation after that unless Apple really shakes up their development model.
I bought a reupholstered steelcase leap a while ago but the new padding was way too soft. The chair was great but that killed it.

If you go second hand and reupholstered make sure it's done right.

On anothe note, anyone have any opinion about the Ikea Volmar chair?
These are all polynomial equations, so we can likely solve them by computing a Grobner basis over the set and using the Elimination Theorem.
Hm, feels a bit weird. If they already got served with an order to share the data and they refused to comply, closing down the service instead, what can have changed today? Wouldn't this mean that someone else took up the service, agreed to the order and now this will become some sort of honeypot?

Maybe I'm misunderstanding something, but I don't understand how anyone could trust Lavabit to either stick around or actually be private and/or secure.
D.C. is definitely a very expensive area. But luxury cars aren't dramatically more expensive here. It is a poor example to cite when discussing the cost of living. On the other hand, It's possible they could be normal cars and very short loans.
Can you provide examples here?
Stay positive. Do good things for others. Take care of yourself.

Happy New Year HN.
Using Mind Control to make Donna Brazile get fired from CNN for giving HRC Debate Questions was genius hacking.

Using Mind Control to make Debbie Wasserman Schultz quit as DNC chair for rigging thr Primaries and then same day get a new job with HRC was genius hacking.

It's like poeple think the only thing shady was Comey the Weasel!
While google is certainly the main search engine most people use, isn't it to some point also very important what other engines such as bing, yandex, baidu etc. do.

If you have a professional website you want to be found also by these other engines. Until also these support javascript you may end up with a hybrid SEO architecture anyway which means nothing was gained?
That's not even eval, the entire thing is a series of dynamic attribute lookups[0], you can trivially implement that in pure Python without needing to `eval` anything.

[0] it also supports mapping and sequence lookups IIRC but that's about the same thing
"00:00:00 on January 1, 2020, local time", if it is to represent a calendar event in the human work day in the future, should be represented as neither a TAI "timestamp" nor a UTC "timestamp", but as a data type containing exactly "00:00:00 on January 1, 2020, local time".

> But updating all time conversion software (instead of just updating authoritative clocks) every time there's a leap second is ludicrous.

All time conversion software is already updated every time a government changes a time zone - by downloading the most recent tzdata. All software that needs second-level granularity is constantly updated, by synchronizing with NTP. There's nothing at all ludicrous about distributing leap second tables instead of mutilating the NTP time signal.
Also, searching oeis is easy: http://oeis.org?q=2017 currently produces 528 sequences containing the number 2017.
PS4 is x86. Would it be possible to eventually run Windows on these machines, making it a cheap Steam gaming computer?
This is why you always encrypt on your machine not your email service. TBH I don't get why people get excited about things like Lavabit. You shouldn't be relying on one particular email service for security when email is not secure by design. Secure your content properly and then it shouldn't really matter what email service you use.
I come from a town in England with 15,000 residents. It has 3 secondary schools (sort of like high schools) and 2-3 primary schools.

Just... Build schools.
The problem isn't necessarily that the change would be hard, it's that getting everyone to update would be nigh-impossible.
One could hope they now have solved it technically in a way that would make it impossible for them to deliver that kind of data.
Force end to end PGP encryption for all users? If they do that then I'd assume they could hand over data and say "good luck".

They could also setup a P2P delivery & backup system so that it's not guaranteed they have the data. If all the data is encrypted, it's not really an issue to distribute everything (but then again we'd be talking AES512 or better for something crazy like that).
MARS looks sweet for the use case where nearby locality of a replica isn't plausible ala DRBD.

The documentation is also top notch.

Fascinating that sleeper projects such as this one are out there continually improving in spite of not appearing to have much traction outside of their initial sponsor.

If only MARS was a drop-in persistent storage option for Docker and Kubernetes..
I wonder how they plan to approach security this time, given how much of the previous demise of Lavabit centered around how they had they ability to circumvent the encryption, despite some marketing claims that that wasn't the case
I implemented them in R17. José doesn't dislike them but doesn't have a syntax that fits Elixir for them, given parens around arguments of a lambda are optional.
Is this actually going to be secure? Because there is a reason they closed last time...
That's not exactly possible for an email service provided by a third party.
SpaceVim
Features

Neovim-centric
Modular configuration
Lazy-load 90% of plugins with dein.vim
Robust, yet light weight
Unite centric work-flow
Extensive Neocomplete setup
Central location for tags
Lightweight simple status/tabline
Premium color-schemes
We got website, react+babel+ajax, we monitor those ajax requests because of bad scrappers:)
And we constantly see googlebot. At least 1k request per day, google bot agent from google ip range.
So yes google does ajax and does understand packed react also.
Perhaps if those Americans were also concerned with the numerous times the US had acted in a similar fashion in other countries elections they may have a point to make. But generally they were complicit in those situations because they never complained or protested then, but now the shoe is on the other foot.
Well not really, the data is meaningless anyway because there is not a "severity scale", or "weight", and not even a "probability" sometimes you find a CVE that needs (just invented) the concurrency of a command being issued ona wednesday night between 01:00 AM and 1:07 AM, with full moon, a local access, opening a specially crafted file with an obscure program noone uses ...
That would count as a "vulnerability" just like a serious issue that affects all instances of - say - Chrome or Word 2013 installed.
As well, what are the effects of the vulnerability (IF exploited)?
I mean, one thing is something that - still say - offsets the GPS position of a photo by 2.25 m Eastward and another thing is one that brings on its knees - say - Cloudflare.
Summary: CakeML is the first verified optimising compiler that bootstraps.

Side note: Cake stands for CAmbridge KEnt, which is where (most of) CakeML's verification was carried out.

The pioneering project in this space was
X. Leroy's CompCert. This was the first verified optimising compiler. More precisely, a realistic, moderatly-optimising compiler for a large subset of the C language down to PowerPC and ARM assembly code.
I agree with you, but sadly things like PGP are not universally adopted and can be a PITA to explain to someone not technically inclined. So it all boils down to the lack of standardized an universal encryption in e-mail.
"Does not count leap seconds" has to win some kind of award for misleading terminology. I'd wager it's responsible for a significant portion of leap second bugs due to confusion & misunderstanding about what Unix time is:

It sounds like what it means is that Unix time counts the number of real, actual, by-the-clock seconds that have passed since the epoch. That would be logical. But what it actually means is that it counts the number of real, actual, by-the-clock seconds, minus the number of those those that have been designated "leap seconds".

That is to say, whenever a "leap second" occurs, the nice monotonic isotonic progress of unix time is mutilated by suddenly adding or removing 1 to the total count so far. That's what "does not count leap seconds" means, and sometimes even what "ignores leap seconds" means (which is of course even worse terminology).
Good, more alternatives. I use shadowsocks-libev version written in c, https://github.com/shadowsocks/shadowsocks-libev . But I can see how this might be nice.
I'm referring to the US, though to be honest including Canada wouldn't change much. (Mexico is a whole different story)
I know it's not a common opinion, which is why I made clear that it's just my experience. I've been to 19 US states and 15 European countries and I found Arizona to be more different from Pennsylvania than Romania was compared to let's say Spain or Germany.
I believe the words Vincent Canfield, owner of cock.li (another secure email service) are relevant here:

>How can I trust you?

>You can't. Cock.li doesn't parse your E-mail to provide you with targeted ads, nor do I read E-mail contents unless it's for a legal court order. However, it is 100% possible for me to read E-mail, and IMAP/SMTP doesn't provide user-side/client-side encryption, so you're just going to have to take my word for it. Any encryption implementation would still technically allow me to read E-mail, too. This was true for Lavabit as well -- while your E-mail was stored encrypted (only if you were a paid member, which most people forget), E-mail could still technically be intercepted while being received / sent (SMTP), or while being read by your mail client (IMAP). For privacy, I would recommend encrypting your E-mails using PGP using a mail client add-on like Enigmail.

This was originally followed by a quote from /g/, which has been redacted for obvious reasons (if you want it, you know where to find it), save this line:

>Now that I think about it, administering a mail host is exactly like being a nurse, only people die slightly less often.