skysight-inc/HackerNews huggingface dataset:
>Isn't this mental model of time fairly common? If you don't picture the year as a circle or donut, what do you think of when considering the year?

Why would it be a "circle of doghnut"? The year doesn't roll back in itself, January 2017 does not approach December 2016.

Rather a year is just a particular segment on an (endless) line...
So they just started a campaign of attrition? They're going to lose unless other companies get on board. I'm assuming Canada was chosen intentionally, based on the data, to minimize losses. But this is going nowhere unless others follow suit.
I agree, but I think that's Android's problem. I found that it's janky no matter what you use. I first thought it was the webview thing and built a native java program, but it isn't so much better. I honestly don't understand how most Android users cope with this.
There are indeed fees for a checking account at all physical banks I know of. Typically they waive the fee if you maintain over a certain balance so they can invest it while you're not using it and make a profit on it, which they then use to [more than] pay your fees and profit from. Many also have further restrictions e.g. Charging you a fee for checking accounts unless you have direct deposit set up from your employer into their checking account.

Here's a comparison of checking account fees for various banks: https://www.nerdwallet.com/checking-accounts?account_feature...
For this project, the advantage to rewriting strlen in Rust is for my learning and to test my Frankenstein-ian link-time munging, not because Rust is better at unsafely dereferencing random pointers (C's got that pretty well covered). I do hope to soon move on to the more meaty bits and show ways in which Rust can improve safety, but I wanted to get my initial thoughts and results written down so I could reference back to the post later. Frankly did not expect to see it here :).
Except benefitting the developer can have an even larger benefit on the user.
Oh I see. Must have misread your comment above. Good to hear it is working for you :)
Work in overseas branch as a manager. Get moved to US on L1 visa. Apply for employment based green card, takes about a year.
The energy density of aluminum batteries is higher than that of gasoline as they essentially burn aluminum turning it into Al2O3. The problem is that they are typically not rechargeable making them very costly presently. But with right infrastructure they can be better than gasoline - putting aluminum bars into the car should be even easier/faster than pumping gasoline. And, as with gasoline, they do not loose energy when left in cold.
Not exactly. (In the US) It used to be that a store could offer a "discount" for using cash but not a "fee" for using credit/debit. The most common example is gas stations-many have been doing this forever.

However starting in 2013 merchants can now charge a processing/convenience fee. This came about as per of a class action lawsuit I believe. There are still several state and municipal laws and nuances to consider though.
Better the moon, you don't even have to create a vacuum there!
That has nothing to do with laziness though, and everything with risk perception.

Still, if micro-aggressions aren't checked, it is easy to assume they are accepted. That will lead to an escalation of aggression like the GP described.
Also, stuff like glob(), fnmatch(), regcomp()/regexec(), should be better in Rust. They involve a bit of parsing.
I'm not going to argue that it isn't bad, because it is, but it does have tab completion - not sure what you mean there.

Also, you can use F7 to browse your command history - that may help a bit.
It makes me happy to see a community taking back themselves from the hands of big business VCs. Keep the money there, doing things themselves.

Uber and Lyft aren't that special. Their technology is commodity, and they know it. Ride sharing should be operated like Craigslist, not a ploy to make a bunch of fatcat VCs and Travis a bunch of money.
The reinvention of Captain Britain
I'm eager to try out some of the Rust parser combinators for different sections, but I need to make it possible to start using parts of the standard library to import those crates, which is why I'm working on malloc/free and friends right now.
No sorry, the TN is only available to Canadians and Mexicans. It's based on NAFTA.
https://travel.state.gov/content/visas/en/employment/nafta.h...
I don't buy the argument that verification using heavyweight verifiers is less expensive than rewriting in Rust. Formally verifying a piece of code is an enormous effort, while writing in Rust is usually less effort than the original unsafe code took to write, thanks to Rust's ergonomic improvements over C.

Besides, most safe languages for embedded use (SPARK, etc) get their safety by disallowing dynamic allocation, which is great for avionics systems and not so great for libc or any consumer or server software. (Or they use a garbage collector for the heap, which is not what you want for libc for the usual reasons.) Not coincidentally, the novel part of Rust's type system is the marriage of easy-to-use, zero-overhead C++-style dynamic allocation with the flexibility and safety of Cyclone-style region checking.
They aren't engaged in general, "aging," research actually, DeGray has stated he's interested in life-extension technology, to the extent that it might be possible. Their goal, as stated on the website you just linked to, is as follows:

> Our goal is to help build the industry that will cure the diseases of aging.

I'm not saying you're wrong...I just think there's some confusion online as to what they really are trying to do. They don't research aging in general, which would imply they are a University Body whose sole function is research for the purpose of research...they are specifically attempting to create a kind of science, which may or may not be valid, by funding certain types of research done by recognized research institutions, with the hope that evidence will support what they believe to be true...sort of like how the Koch brothers fund all sorts of research hoping to poke all sorts of holes and nuances into the accepted version of how climate change is understood. They may very well come up with something interesting, informed, and comprehensive...but that does not mean that they are being realistic. In research you don't get to choose whether your hypothesis is realistic or not...you just sort of go out into the woods and start picking things up and seeing whether what you think the laws of nature are...really are true...but you could be completely wrong and you might find nothing. You don't get to choose whether you catch a fish...you may come back to shore with zero fish after fishing for 50 years...or 100 years...or an infinite number of years.
> I think Go makes a very nice general purpose language. Better than the others I've tried: C#, Java, D, Rust, Dart, Python, Elixir, and more. All have critical flaws that make them worse for my purposes. If another better language comes along I'll switch. In the meantime I'll continue to use it but will complain about the things I wish I could change but don't have the ability to change myself.

My experience is close from yours. Could you briefly describe the critical flaws of each language you listed, that made you choose Go instead? I'm geniously curious.
Why the 8-Hour Workday Doesn't Work
A lot of this has to do with unease within the Chinese economy. Gold is also being bought around the same clip, and long term bonds have yields that are plummeting despite a possible rate hike.
Inventions are a dime a dozen.

Delivery matters.

And thus, it's not bad to idolize those who actually deliver -- even if they got the ideas from elsewhere or there were lots of crappy priors...
> Austin's goal in the law was to put controls and regulation on this industry.

I'm pretty sure Austin's goal was to protect the taxi magnates by putting their competition out of business.

> However, it seems that what has actually been created due to the city's creating a void in needed services is a totally underground black market system with no accountability whatsoever.

That's not actually bad when one considers the real purpose of the law: the taxi magnates get to keep their price floor, and they get to watch the police power of the State exercised against their underground competitors.
I see the months in a year as a sort of sine wave, with december at the bottoms and july at the tops. I guess it's like a combination of the linear and circular view.
I want to do this - except I have 2-3 apps I feel I could not live without.

Google Auth for 2-factor been the main one.
One reason I prefer an ereader over a book is I can read it with one hand. (It's possible with a book, but a bit awkward.)
Feck: Swearing from the first F to the 21st C
So this article is about people like me. I went to school in Toronto and stayed. In the > 5 years since:

- I joined a seed stage startup

- That startup raised a series A ($N millions in total financing)

- Was then acquired by a Fortune 500 company, which has kept the business as a separate unit for > 1 year

- I was a party to the deal :)

I have found salaries to be competitive when total cost of living adjustments are made (even despite the currency value). Importantly, the labour market here values skills over credentials - so there's a distinct pragmatism in the air.

So as far as startups go - not the publicly traded and pre-series-G-mega-SF-corps - I think there's a vibrant opportunity and reality.
Forget abstractions for a second; there are people whom this makes uncomfortable (we know because they said so), and the cost of that is much higher than the very small benefit of using one image over another as a test image. Simple cost/benefit analysis says to use something else.
Read your Twitter timeline via DNS TXT queries
Thanks!
Sorry for stealing your name! Should have done a GitHub search beforehand.

Yeah, I've poked around the various things for the weak linkage, but I haven't yet learned enough here to properly replicate the effects of the weak_alias macro in musl.
Create a public, real account on myfxbook.com and let them find you. If you contact them directly, you can link them to your myfxbook account to give them an instant view into how your algorithm has performed.
I think there are a lot of HN readers who just like the OpenBSD project in general. They may or may not use it for anything particularly fancy (or at all), but are interested in following its developments.
There is question as to whether this is even real, or just Willybotted up. This article is from March, but it hasn't stopped: http://www.bitcoinfuturesguide.com/bitcoin-blog/reminder-chi...

What happens if you try to cash in at these prices? There's no actual demand, so the price flash-crashes: http://qntra.net/2016/06/mere-265-bitcoin-sell-causes-flashc...
So I take it you bought loads of bitcoin a few weeks ago?
Why I'm taking a long startup investing vacation
Structureshrink: Structured shrinking of unknown file formats
I've no idea. Is utterly meaningless. A more meaningful comparison would be "what $ value has been transferred using each network over the last 12 months"
> while writing in Rust is usually less effort than the original unsafe code took to write, thanks to Rust's ergonomic improvements over C.

Absolutely, but do you think that rewriting billions of lines of C code in Rust is the best, most cost-effective way to increase confidence in them? Also, using verification tools can be done much more gradually (say, function by function) than rewriting in a new language (which may require a lot of ffi if done piecemeal), and there's no need to fear new bugs.

> Besides, most safe languages for embedded use (SPARK, etc) get their safety by disallowing dynamic allocation, which is great for avionics systems and not so great for libc or any consumer or server software.

True. I don't actually suggest using SCADE or SPARK for libc :) Astrée wouldn't work, either, as it also assumes no dynamic code allocation. But something like SLAyer (a tool by MSR based on proving separation logic properties through abstract interpretation) or Facebook's Infer should. I would guess that making those tools work well on more and more real-world code would be a much smaller undertaking than rewriting in Rust and proving no new bugs have been introduced.

I'm generally skeptical of significant, real-world, bottom line benefits new languages provide, but Rust has convinced me that, at least potentially, it can have some very significant benefits over C. But a wholesale rewrite of a near infinite amount of code, much of which may work well enough, plus the risk of adding new bugs in the process, without the means to detect them??? That's like draining the ocean with a spoon in the hope of finding a sunken treasure. Software engineers often speak of using the best tool for the job; rewriting vast amounts of code (with very incomplete test suites) in a new language is certainly far from the best tool for the job of increasing confidence in its correctness (unless a particular piece of code is buggy beyond repair).

Same goes for physical infrastructure, BTW. If your infrastructure is old and you fear some bridges may collapse, you inspect them all. You rebuild the crumbling ones and strengthen those with cracks. What you don't do is rebuild all the bridges in the country. That's not only wasteful and comes at the expense of new bridges you could have built, but may end up increasing the danger in some cases, rather than decreasing it.
This quote isn't recent, is it? Because it takes 10 years of 7% growth to double[1], and China's economy is becoming less energy intensive over time, so no, it's not going to double power usage in 4 years.

1: https://en.wikipedia.org/wiki/Rule_of_72
>my entire comment directly address this

You're, right. Sorry for that.
That's all true, but that doesn't make it less squicky.
My coworker has a Mac Pro with 64GB of ram and regular posts screenshots of Slack and Spotify using 20GB + of ram. Granted he never closes those app ever, until they become a problem.
Is Dark Theme in IDEs actually worse for you?
How about just making a transaction because you feel that you gain something from it? Does it need any other motivation? I mean, I buy food, go to a concert, rent a car, and buy a stock, not for the purpose of gifting something to society, but for my own sake.
"Smart media -- for smart people"
Meta is death, and this type of speculative meta about some other website is particularly dull.

EDIT: And it's not even about the website, it's about a handful of mods in a handful of subreddits.

Really the answer to this is set up your own subreddit, or use Voat.
If you use 1Password, they have 2-factor auth built-in.

Read more here: https://support.1password.com/one-time-passwords/
I've just spent way too much time trying to get utf8 to work well on the command line, ugh.
We've known for quite a while that "Mars ain't the kind of place to raise a kid ..."
Don't forget eb5 except it's super slow. Probably takes 2 years from initial investment until you have your conditional greencard. Then another couple of years until you have a full fledged one.
Good evolution and good engineering principles are at odds.

In engineering an idea that has been found to work in one place gets adapted in another. Also you often build reliability through adding layers of redundancy.

Evolution has no straightforward way for good ideas to be identified and reapplied to another system. It has to evolve again. Also if you have two fully redundant systems, there is nothing to stop deleterious mutations from disrupting one of them. The end result is that one of the redundant systems will become unreliable, and then the other one gets maintained by selection pressure. (This is also why creatures that live in a cave eventually become blind, and parasites lose their ability to use now unnecessary body parts. There is no engineering reason why this would happen, but is a natural result of selection pressures being eliminated.)
Dutch citizens can travel easier through China, Israel, and Mozambique; they also do not need a visa when traveling through significantly more parts of China.

German citizens can travel easier to Mongolia and Vietnam, but can only stay for 15 days there.

I personally think that this makes the Dutch passport stronger, but someone who wanted to spend a short amount of time in Vietnam would disagree. Basically, the only thing making the German passport "the best in the world" over the Dutch one is being able to travel easier to Mongolia and Vietnam, even though they can only stay for 15 days. For practical purposes, I definitely think the Dutch passport is better. To each their own, however.
Defence forces on alert after Chinese cyber attack
OKcoin is not the only exchange... Yes, you can't trust many of the Chinese exchanges. But there are 10s of thousands of bitcoins being traded daily on many different (non-Chinese) exchanges that don't fake their volume.

Coinbase, Bitstamp, and Kraken, three of the more reputable USD exchanges, have had a combined volume of over 30k BTC alone in the past 24 hours. http://bitcoinity.org/markets/list?currency=USD&span=24h.
But doesn't market cap mean two entirely different things for a company and a currency?
>Anyone who disagrees with you must either be joking or astroturfing? How impolite.

More like anyone who creates two fresh accounts within minutes of each other, one replying to the other in agreement—is either astroturfing, or trying to make it appear as if they are.

Personally, I think you're just a decent troll. If so, at least it was creative.
Last I used Flywheel, it couldn't even give me a fare estimate. Uber has done this for years across all their segments.

It isn't the first 80%. It's the last 20%.
I am not an immigration lawyer, but this is my understanding:
The H-1B is similar to the TN but each have their pros / cons:
TN is much cheaper (~$50 + lawyer fees) and there is no cap / application deadline. You apply at the border so there is also virtually no waiting time assuming you get it.

The downside of the TN is that it is a "temporary" permit. Technically it's not actually a visa. It simply allows you to work and live in the US for a "temporary" amount of time. The temporary part is very gray in this case, since it is up to the discretion of the border guard to determine if you are using it in a temporary sense. Similar to the H-1B it can last for up to 3 years, and can be renewed after that.

The other big difference is that dual-intent is not allowed on the TN permit. In other words, you are not supposed to apply for a green card while you are on it. The H-1B is dual intent and therefore that's what you want if you want to get a greencard.

A pretty typical path for Canadians who start working in the US and decide to stay is TN -> H-1B -> Green Card. However, it is not easier for Canadians to get an H-1B. They must participate in the lottery like everybody else.
Part of the draw of smartphones is that many of us are terrified of boredom. I view boredom as an asset: it's when I get to introspect.

My happy medium is to carry my smartphone (I need it for work) but I turn off many notifications that are not essential, or make them more discrete (eg. in notification center but no sounds).
Wolfram invented v1 of Mathematica, and founded a company to sell it to technical users. It takes minimal people skills to hire people and to sell a technically good product.
But this argument ignores the original probability of a random person being a terrorist. It is a gross violation of the trust necessary to maintain a republic.

And further arguing that it's okay because most people won't know they were violated is like saying a plastic surgeon is justified in violating every unconscious patient in surgery just in case they would have wanted it anyway. Not a good direction for society to go.

The apologists are out in full force on this thread.
Ask HN: What is a good text-based role-playing game to get into as a newbie?
I'd like to see what online text-based role-playing games are like. I know there are many choices and I've never played them before. I never even played non-online games like D&D anywhere, but have become curious. Recommendations?
My recollection of current verification efforts is that the kind of code that's insanely difficult to port is exactly the same kind of code that's basically impossible to verify. People playing games with type punning (technically illegal), or worse yet, stuffing a few bits into pointers or stuffing pointers into doubles are surprisingly common (for efficiency reasons), and that's not going to fly with most verifiers.

It's not clear that building verifiers capable of handling the complex C code is any easier than mass rewriting into Rust (or other safe languages), nor that rewriting into more safely-analyzable subsets of C is easier (/more tenable) than into Rust.
"Fully render" is a strange way of putting it - most consumer hardware has only 8-bit colour depth, and lots of video compression algorithms will turn smooth gradients into blocky messes that would benefit from dithering.

If you're processing the decode at 10 or 16 bits and need to render at 8 bits, it's much better to dither than truncate.
While you are here, would you care to offer any other diagnoses of people you've never met or who don't actually exist?
(replying to myself!)

> I also genuinely like PowerShell

To expand on this. As a Unix user with decades of experience writing shell, I find it easier to write a shell script than a PowerShell one for any given job. But I am a lot more confident that the PowerShell one will work correctly.

I take care with argument handling and the like in my scripts, but I still feel that testing a shell script with a specific set of inputs only really tells me whether it works with that set of inputs. It's almost certainly possible to craft an alternative set of inputs that will break it. I don't feel that way about PowerShell.

On the other hand, I do find it much easier to reason about performance with shell scripts. Their simple streaming structure parallelises well and the individual commands have generally predictable performance and scaling characteristics. I'm a lot less confident about that aspect of PowerShell.
Toronto downtown absorbed North York, Etobicoke and Scarborough in the late 90s. It is not until last year that our population edged out Chicago, so whatever the reason for the amalgamation it definitely wasn't because we wanted to beat Chicago out in a pissing contest. However, you want to interpret the data, the truth is that the article writer did not do their homework.
My mental image of a year is a vertically-reflected version of yours.
> I just wish Uber would either pay the drivers more

You can leave it at that. Tipping is an odious practice that needs to go away. Actually, I would like to extend that wish to all the employees of the service industry if it means getting rid of tipping and yes, I would gladly accept the resulting higher prices, we are all (inefficiently) paying the supposed difference anyways.
>test each target compiler to see what they really do, versus what you think they do

Very good point.
A surprising number of words arise from a process called “misdivision”. In this case, “-gate” was coopted as a generic suffix for scandals, in the same way that “-burger” is a generic suffix for certain types of hot sandwich, even though the name comes from Hamburg+er, not ham+burger.

Off the top of my head: “a napkin” used to be “an apkin”, “a lute” used to be “al ’ud” (“the lute”, in Arabic); “an orange” used to be “a norange”, and moreover, the colour is named after the fruit—we used to call the colour “yellowred” (geoluread, in Old English).

Language evolves in messy and illogical ways.
Come on though, you're not even trying. You created this account purely to post in this thread, at exactly the same time as did another account.

Better luck next time.