skysight-inc/HackerNews huggingface dataset:
(It (is :wonder (we can (read :text without (as much :brackets as) LISP)))). Well, "as _ as" is technically bracketing, but you get the idea.

So I tried once to use a dot as list terminator, which didn't work well. I found myself adding different terminators for each level of depth. Because, at some point the encapsulation over multiple levels leads to ambiguity, if outfix notation isn't used (as for the encapsulation in this sentence). A common wisdom is to avoid deep indentation. 3rd normal form schemes are enough for most cases, thank Codd.

By the way: I've been hugely interested in historical linguistics recently and came to conclude counting must have been a huge boost for the development of language facility. Basic phrases are just enumerations. Which reminded me of list processing. Many old languages actually tend to follow VSO word order, too. Plural is often enough expressed as reduplication. But I don't have deeper insights to offer from this on how to avoid the parens, except that zeroth order logic is fundamental and a linguistic approach to programming languages might prove fruitful (grammar, not syntax). And by the by the way: Isn't "everything is an object" similar in power to homoiconicity?
I’m in the same boat, I love lifting but I’m hesitant to get back under the bar again after a back injury last year. I’m thinking of going for something like the X3 Bar [0] instead because it looks like the closest thing to it.

[0] https://www.x3bar.com/
> we could dedicate a small fraction of that to engineering better consensus algorithms.

I wish people would dedicate a few minutes to reading about theoretical limits on consensus mechanisms.
My Personal Mission
The difference is a lot of jobs in oil are manual labor that do not require a college degree and can be high paying if one is willing to go to where the jobs are, even on land.
What strikes me is that back then we largely did the same things that we do now (run businesses, play games, manage personal data like calendars, notes, and contacts) with a fraction of the capabilities that modern hardware and software provide. And it was much simpler and easier to get into.

You could really only count on someone having an 80x25 text display (usually 16 color but might be monochrome), a keyboard for input, and a floppy drive for storage. Once you learned to do 4 simple things - position a cursor, print text, read keyboard input, and read and write to the drive, you could do almost anything that any professional software could do. There might be a parallel port with a printer or a serial port with a modem, so learning to read and write those ports gave you more options, but again that was simple.

None of that required frameworks on top of libraries on top of dependency managers on top of package managers. You didn't need to memorize a 7000 class object inheritance hierarchy. Just a few simple statements and concepts that all easily fit in your brain at once with plenty of room left for working on the actual program.

Of course, you couldn't watch streaming videos while chatting with people online in another window. We've added a lot of complexity for the sake of GUIs, multitasking, media, and networking, and in the process killed the ability to learn or do anything simply.
>There are diminishing returns on exercise. A person doing 3 hours of exercise a week will see more benefit per hour than a person doing 9.

Just like for someone who is morbidly obese to walk few blocks then..

Personally I workout 9-10h a week and have been for years. What changes is the amount of cardio I do. The mental clarity, energy, feel of accomplishment, getting fresh air (running), being in great shape, coming up with business ideas or solutions to problems etc make it easily worth it.

In regards to how to make time. There are natural amateurs working out twice a day 2 hours a pop and still working full day jobs. At some point you just have to prioritise what you want to do.
If you're in the business of selling glass, go out and break some windows.
Yup. I'm happier if I am paying more taxes, as it means I am making more money.
Entangled?
Possibly. I guess I need to study it a bit more in depth, usual grad-level crypto & distributed algorithms aren't sufficient.
This thread started with a complaint about building things in a language which wasn't JavaScript. Getting better ARM support is a reasonable thing – and they have open work on GitHub to save you the trouble of building it yourself – but it doesn't have much to do with the language.
It's missing key pieces, though. Even with Babel it's very painful to extend the language, so important features like async/await arrive after years instead of hours.
The "ok Google" phrase originates from Google Glass, which was mainly made to give Google positive PR. The activation phrase was apparently thought up by the woman who dated Hugo Barra when he was an Android executive, and later (and overlapping) had an affair with Sergey Brin. Maybe that had something to do with it gaining traction.

I also think Google's original goal was to make their assistant more objective than Siri, without distracting personality. You were interacting with Google, not some anthropomorphic AI. They seem to have changed that, and the assistant now makes jokes and sings, so by now it does feel a bit odd that it doesn't have its own name like the competitors. But Google isn't really that great at marketing.
Impossible? You just go to the Team menu and choose "Disconnect" or am I missing something?
Snowden hides under towel to type passwords :)) https://youtu.be/4EgTXEn15ls?t=37m31s
Dropbox, GDrive, Box, OneDrive, etc. aren't using zero-knowledge encryption, so it must be technically feasible for them to access user data. If a company has a forgotten password reset feature, it's a good sign that it's possible for them to access your data.

You have to trust the company providing the service, right? Of course in practice, accessing user data should be tightly controlled and require good business reasons and levels of approval.

Zero-knowledge alternatives like Spideroak exist, but this approach makes them sacrifice features. (and doesn't appear very popular based on market share)
This!

(Sorry... Fantastic article in any case. I send anything similar to a friend who studied linguistics. This one is going to her immediately.)
But Bitcoin doesn’t provide the services that the banking industry does. Bitcoin is more comparable to physical gold than to a modern bank account. Banking was built on top of gold (and later fiat) because it provides valuable services. If bitcoin becomes a widely-used currency then the same banking system will be built on top of Bitcoin.
Consider yoga?

The kind of yoga I was doing [1] consisted mainly of stretches and static own-weight exercises. It had the same muscle-building and mood-elevating effect on me as the actual weight-lifting, minus the injuries.

[1] http://shaktivinyasa.com/
Reminds me of Localizers from A Deepness in the Sky. That was a great book
Pixelpusher: Real-time peer-to-peer collaboration with React
To quote from the interview, verbatim, "Sure, it would be nice to have a competitive environment with different providers you can switch between. But that is secondary to usefulness and functionality, because companies are in competition with each other anyway. And the chance of getting the actual providers to agree is pretty close to zero. Everybody goes: “Well, we’re going to differentiate on this or that.”

The one exception, of course, being how everybody seems to have come together around containers. So now everybody’s excited about containers, but the battle’s shifted up. So you’ve won the battle, but lost the war."

The interviewee here manages to make a Santayana mistake without realizing it; eventually, just as containers standardized, serverless functions will standardize, and cloud vendors will either conform or marginalize their offerings in response.
I was discussing a project with a potential client ( I think they were called Threeships ) who used ActiveX and a lot of investment to create full p2p software and indeed serverless. Horrible tech that time but yes, that could be considered serverless; if there is a server (as in one physical or virtual machine handling multiple client software execution requests) it is not serverless. It is quite possible to let every client run their own request theoretically so you can make serverless but amazon is not.
Similar.

Except, I won a pentium (286?) machine running windows 3.11 in 1998 as a 13 year old from a top hat raffle (yes, a magician's type top hat). True story.

It had a flavor of BASIC (I don't remember which) and accompanying manual which changed my life.

Now, as a 30 year old Creative Director in the "new media" field, I hope there are similar parallels for the "youth", especially within the rural regions of where I grew up.

If anyone has the capacity and wish to assist, a long term goal of mine has always been to provide a space for adolescents from similar backgrounds to explore these notions through the lens of Computer Science and Art.
> I am totally embedded in the Android/Gmail/GSuite ecosystem. I want it to succeed. I need it to succeed.

Is it just me, or does anyone else find this kind of statement concerning? Google literally controls all of your data and you're forced to rely on them for services.
Browsers Now Spit Out Compilation Error Messages
Show HN: CLI to the Pwned Passwords API
Assistant Store Managers Jobs at Walmart
Comparing recommendations from two microbiome gut tests
Right, but the rest of us also have to suffer due to the economic repercussions (or being unable to get an affordable graphics card without waiting forever)
Yup, @kpsns nailed it. LaTeXML does the heavy lifting in converting TeX to XML. From there some post processing does the job of converting it to a nice responsive template (that's done by Engrafo / the ArXiv Vanity team).

We love OSS at AI2, and are looking to collaborate with the Engrafo / ArXiv Vanity team as we expand the functionality.
Yaaassss https://en.oxforddictionaries.com/definition/yas
I'm glad to see the adoption of such changes. The 'hodl' crowd have changed their talking points to 'Bitcoin is an asset, not a currency' but as far as I'm concerned, if that's how it ends up--if you can't pragmatically buy a $2 cup of coffee with BTC--it would really puncture the immense promise of decentralized financial tech.
It was my understanding that the TensorFlow benchmarks do make use of TensorCores on the V100. We'll verify and update accordingly.
Propositions as types
What does that concretely mean?
Look, my remarks about OCaml were meant as constructive criticism, and you're plainly taking them personally. Frankly, such defensiveness doesn't make for very interesting conversation, so I'll duck out and leave you to the last word.
I understand the business interest in separating concerns. Focusing your talent on solving only the most unique problems is kind of charming, IMO, but the part where we write the glue code for third-party services can definitely feel soul-sucking.
It's not that different, at the moment. The only real difference is that we're pre-computing the HTML so it's faster (ArXiv Vanity runs at request time).

We've talked a lot with the ArXiv Vanity team. If all goes well and our users love the feature, we have an opportunity to support (and contribute to) to their efforts at improving Engrafo and LaTeXML and maintain the front-end facing portion of the system. That way they don't have to worry about hosting / providing a functioning front-end, which we're happy to foot the bill for (and maintain)!
An interesting thought experiment is if it is possible to create some sort of Bitcoin derivative from private keys and use it as a means to exchange Bitcoin and avoid any sort of rules used for taxation of cryptocurrencies.

Ownership of bitcoin is the ownership of a private key which is simply a 256 bit number that is used in ECDSA for signatures. What if I transform this number into some other form using steganography and embed it in an image, or maybe I just shift it left 100 bits and claim it isn't a valid Bitcoin key and hence I own no Bitcoin. Is ownership of the resulting medium considered to be ownership of Bitcoin? Can I trade it without it being considered cryptocurrency? Can I own it without it being considered to be owning Bitcoin and later convert it back and "acquiring" new bitcoin avoiding capital gains?
FWIW Vietnam War prisoners (Americans held in North Vietnam) strongly tended to live longer than their peers after release. Years without artificial light eating a basic diet and limited calories made a big difference, even without factoring out torture.

In contrast the starvation diet the Japanese imposed on their WWII prisoners (from Hong Kong in particular) shortened their lives quite a bit.
1. It’s hard to imagine a lawyer going to jail.

2. Why wouldn’t I want them to still be a lawyer? I do not believe that everyone who commits a crime (and is caught, and convicted) is morally corrupt for the rest of her life.
Skate Better: The Blog Post
Looking at a USGS topographical map, the tower is located right on a peak.
I'm not a tax preparer or an attorney. That said, As a US citizen I've always reported capital gains (or losses) on Schedule D when filing my taxes. I typically have the Schedule D and a an attached list of gains and losses.

If you bought coin and are still holding it, you don't owe any tax (you aren't taxed until you convert it into dollars). When you sell it, then the gain is the difference between what you paid for it and what you sold it for (less any transaction fees).

Its fairly straight forward.

That said, if you have a gain from buying something and reselling it but that sale is never reported to the IRS for any other reason (in my case the bank holding my IRA reports the gains to the IRS anyway), then there might be the temptation to just "forget" about it. That probably seems harmless except that something can happen (like the person who bought your coin mentions they bought it from you) and if the IRS finds you knew something and didn't report it, they come back to you and take what they are owed.
Dropbox's client uploads binary diffs to make updates to things like your VeraCrypt value efficient. Using a modified librsync last I heard. Sounds like OneDrive is missing this feature.

https://www.dropbox.com/help/syncing-uploads/upload-entire-f...

https://github.com/dropbox/librsync
Close the git perspective? Right-click project, team -> disconnect perhaps?

Honestly, I'm curious. It's never occurred to me that having it there, even if you don't use it, could be problematic. What is it touching that bothers you so much? It's not like it's going to jump in your folder and start committing stuff at random.
+1 to what @undefined said.

If all goes well, we hope to act as a front-facing host for the Engrafo engine. That'll enable the ArXiv Vanity team to focus their efforts on improving the conversion process (which is what they'd like to focus on) while we can handle the logistics of serving this up to users (as quickly as possible).

I'm really excited about the opportunity to collaborate and support the ArXiv Vanity / Engrafo team!
Wouldn't version control solve this problem anyhow?
One of the web sites claims that the Texas site is just a prototype (!) and that they're still planning to build the real clock in Nevada. But it also seems conceivable that there might be different factions or funders favoring different sites and that that sort of thing might lead to a bifurcation in the plans and timelines.
Many Americans (but probably not the majority) don’t accept that their data is going to be read in cases of terrorism. It’s why Apple refused to backdoor their phone for the government in a case of terrorism.

Narrow warrants granted by a seperate branch of government in broad daylight is very different from this. And it’s why we need to fight to restore that norm in America. I don’t buy that terrorism is such an exceptional case that we ought to bend due process out of shape.
I wonder what happened to primecoin. Could Bitcoin switch to such a PoW in the future?
You can't buy a cup of coffee with a slice of a gold bar either!
I would use your product in a heartbeat if you supported importing from NiceHash.
In case you want to visit, both the Amtrak Texas Eagle (LA to Chicago) and the Amtrak Sunset Limited (LA to New Orleans) pass right through Van Horn.

The Amtrak Station is technically in Sierra Blanca, TX FYI.

https://m.amtrak.com/h5/r/www.amtrak.com/routes/texas-eagle-...
I wouldn’t try to get cute with the IRS. It usually doesn’t turn out well.
Yes, and also this: https://en.wikipedia.org/wiki/Dazzle_camouflage

Hacks human brain rather efficiently.
This can simply be explained with the fact that there's no competition.
I don’t know if I would go public in China if I noticed a breach like that. I have never lived there, but I imagine the climate encourages a bit more discretion.
As an immigrant to this country it feels good to pay my taxes every year. It's the least I can do for everything this country has done for me and my family.
Segwit enables many things, one of them is Lightning Network. While that is an off-chain transaction system, it still is trustless and decentralized.

In fact the transaction cost reduction could make custodial services like exchanges less attractive and improve decentralization.
I’m pretty sure that if you offered one to the person behind the counter, good and coffee would rapidly be exchanged.
I noticed that the photo at the top of the article shows somebody washing under a running tap, so maybe that's how they got to 120L.

I'm not myself concerned all that much about conserving water, but I am a normal person, so I don't wash my dishes under running water. I fill the sink up with water, stick in some washing-up liquid as it fills, then once it's mostly full (12-15L of water?) I use that. Total use per wash is then 12-15L. Maybe a bit more if I give something a rinse. (Very much optional in my view for most items - but some things do need it.)

You can wash a lot of stuff in that much water! So that's why I am a bit surprised at people using 120L to wash twelve places'-worth. That's eight times the amount I'd use for washing 3-4 people's-worth of stuff and all the items used to prepare the food in the first place.

Poor scalability!

(I think my dishwasher uses 17L per wash so I don't worry too much about using that instead. I am quite lazy.)
Maybe I lack imagination but I don’t see how it can get worse after reducing serviceability to zero, removing all useful ports and introducing dongle hell. Oh, and the terrible keyboard and the touchbar abomination.

I am hoping my old MacBook Pro lives forever.
Ask HN: Best way to learn emacs?
I am a vim user but it looks to me like emacs can do pretty interesting things with modes. What is the best way to learn it?
In the US, when existing law doesn't determine what will happen in a particular case, a judge uses his or her judgment, and creates new law. Since most judges aren't idiots, they aren't going to be tricked by this sort of scheme.

Edit: I don't even think this would require new law. You presumably don't get to claim you don't possess the contents of a safe because you wrote the combination down in code or backwards or something.
That was kind of his point.

Crypto sounds less like a revolution if markets treat it as an asset; as opposed to treating it as a currency.
True but lets take it as punishment for not voting with feet before. Get out while you can, its only going to get worse.
I'm new to serverless, can someone clear up two things for me?

1. Can I run a standard Rails or Django app on "serverless"?

2. If I'm running on Heroku and don't directly manage servers, does that count as "serverless"?
Yeah and that's the problem. Gold bars haven't solved the problem of e.g. banks taking multiple days to clear deposits (not counting holidays and weekends!), or credit card processing fees, and I'm hoping Bitcoin provides competition... but for that, BTC transfers need to be quick and cheap.
Not if it's an equivalent amount of gold. Nobody has time to deal with a couple bucks worth of precious metal
Inline ASM is exactly as verifiable as the underlying CPU, given an adequate model in the verifier. That's probably easier than verifying C, which introduces extra ambiguity in its semantics. But yeah, verifiable CPUs would be nice.
I would put it down to Nudge theory:

* http://www.economist.com/node/21551032

* https://en.wikipedia.org/wiki/Nudge_theory
But by the time serverless is standardized he'll probably be pimping the next thing.
No, because serverless has much more restrictive rules than containers.
Too old by more than half. 2005. The discussion has moved on since. For more recent articles, I went to pubmed.com and entered "obesity longevity review." Four quick highlights:

"Although a recent meta-analysis suggests that overweight individuals have significantly lower overall mortality than normal-weight individuals, these data are likely to be an artifact produced by serious methodological problems, especially confounding by smoking, reverse causation due to existing chronic disease, and nonspecific loss of lean mass and function in the frail elderly."
https://www.ncbi.nlm.nih.gov/pubmed/24628815

"Utilizing novel models of visceral obesity, numerous studies have demonstrated that the relationship between visceral fat and longevity is causal while the accrual of subcutaneous fat does not appear to play an important role in the etiology of disease risk."
https://www.ncbi.nlm.nih.gov/pubmed/23764746

Mexico:
"Obesity and overweight have a strong effect on the incidence of T2D;this, combined with the large impact of diabetes on adult mortality, generates increases in mortality that translate into losses of 2 to 3 years of life expectancy at age 50."
https://www.ncbi.nlm.nih.gov/pubmed/26172231

Trend:
https://www.ncbi.nlm.nih.gov/pubmed/24913899
Sadly still nowhere close to the free transaction up to €15'000 within of 10 seconds that’s being rolled out across the European banks right now.

Bitcoin was supposed to be an improvement upon existing payment methods, so far, it’s not quite there yet.
well good news isn’t i don’t haha! I guess that makes more sense, but even in currency speculation there is a clear relationship to a country. If that doesn’t impact it, then i guess that is reasonable...i still hate t1135s!
Lambda is somewhat standardized and competitive - if you look at the Node API for example - you can port your endpoint to Express or Koa in 20 minutes. You aren't locked in by any means.
I really like profanity laced erudite articles, for some reason. Maybe it scratches a similar hitch that Rick does in Rick and Morty. Which makes me think, man I'd love to read a scientific paper written by Rick! :)
> (...) I know some people like the light speed of Sublime, but to me there's a certain threshold where it's just fast enough. (...)

I feel the same way too. I was a Sublime Text fan/user for a few years until did the change to Atom and finally settle down on VSC two years ago. VSC is fast enough for me. Also, LSP seems interesting, ripgrep-backed search, official support for Python (as an extension) and so on.

EDIT: formatting
On the other side of the coin, I'm actually going to offset some huge gains on my stocks by filing a loss for a few cryptos during the crash :D
Maybe it is time to upgrade from that machine.
gold is very soft, technically it would be possible with the right scale and knife...
Sure, but this is a common issue, and hackers getting full control over servers is a common issue and the source of many credit card leaks.
Those are sum (sic) rhymes!
It's illegal in Colorado to use the left lane without passing. For a while, the cops were actually enforcing this and it was a joy to drive in Colorado. But for about the past year, the cops seem to have stopped enforcing it and the left lane hogs have returned.
“Alexa, Can I Trust You?” Research into IVAs
Yes. You only owe taxes on the dollar (capital) increase in value (gains), calculated when sold.