skysight-inc/HackerNews huggingface dataset:
Actually, it only grows with 4 bytes on the 32 bit systems (no growth on the 64 bit). It's right there in the doc:

>On 64-bit systems, there is a 32-bit padding gap between nsec and loc in the current representation, which the new representation fills, keeping the overall struct size at 24 bytes. On 32-bit systems, there is no such gap, and the overall struct size grows from 16 to 20 bytes.
Out of curiosity, OCaml also has traditional classes/interfaces/objects, right? If so, then how do you decide when to use those versus module functors?
a libertarian solution would have been more efficient and penalized the source on a consumption basis (gasoline tax)

The purpose of the tax in question isn't to lower pollution, though: it's a congestion tax intended to spread out traffic over time to reduce congestion (lower the need for more and/or larger roads). Lower pollution just happened to be a side effect.
Heh, I'm in a similar situation. I've been out of work for over 6 months. I've been unable to find anything in my city, and now employers are starting to question why I can't find work.

Truth is every nearly all tech jobs where I live pay very poorly and are mostly dead-end development agency type gigs.

I don't have any money to relocate, nor do I have any money to commute for interviews elsewhere. Plus, it's very rare to find employers willing to help with such things.

Another problem is that I was suckered into a dead-end development job since I left school so I haven't really got much "professional" experience with modern technologies. That kind of annoys me because I've been coding for 10 years and I've been keeping up with things in personal projects, but apparently that doesn't count.

Oh, and I have anxiety and autism so my personal is toxic for most agile development roles. That's probably why I was let go.

I've basically lost everything now. My house, car and now that I'm back with my parents I'm living hour away from my girlfriend which I don't have any real way to see. I suppose in some ways it's liberating to no longer have to worry about losing the things I care about.

I never drank a day in my life until now, but lately I drink every day just to help me through. People say alcohol does't work, but that's not true. I'd recommend it to anyone in my situation.

I'll keep trying to find something, I'm a fighter at heart, but I'm not holding out much hope anymore.

I'm not sure how much long things can carry on like this.

Best of luck, I hope everything works out for you man.
The point of what? The discussion is strictly about my personal situation. I 100% understand that other people may be much more affected and I'm supporting their cause. But that's off topic.
Sweden is a large and sparsely populated country. In the north, many have 1h, 60 mile commutes. In Stockholm a commute might be 1h and 10 miles. There is pretty stiff opposition to raised gasoline taxes because it is seen as an unfair on rural people. It's also regressive since income is much lower in rural areas.
If "city pollution" and "congestion" are the externalities then congestion taxes actually make more sense - and are extremely popular compared to gasoline tax.

City gasoline taxes would make sense, but they don't allow hour by hour control of congestion. I don't work in the city but I can drive in "for free" e.g late in the evening.
What is it with adding "written in Go" to titles like this? Was the title editorialized to get upvotes from the Go fans? Is "written in X" added to project titles in general and somehow I just haven't noticed it?
I still don't see why I should give it to you.
Smartphone Multilaser com tela de 5,8″, 3 GB de RAM e bateria de 3.000 mAh
Before even talking about externalities like the environment it's worth noting that revenue isn't profit. So who benefits from revenue depends on profit margins.

If a startup disrupts a high margin industry, especially if that industry is also inefficient (which often goes together) and replaces it with a more efficient lower margin business model, then consumers will benefit.

If a startup disrupts an industry by finding loopholes in government regulations, the question of who benefits is much more complicated. I do believe that finding loopholes or even breaking the law to some degree is a necessary part of the democratic process. It's also unavoidable given the global nature of some businesses.

But whether or not regulatory arbitrage benefits anyone other than founders and investors very much depends on the specific business model and local circumstances. It's extremely complicated and varied. Finding out what all the effects are will probably produce a couple of nobel laureates in economics.
Only 15% of purchases were made by foreigners. 85% were made by Canadians. How about places in Alberta when the oil business was booming? Prices were driven up by Canadians, not foreigners. Everyone wants to solely blame foreigners when there were other issues like geography, low-interest mortgages, Vancouver being the only major city on the Canadian west coast, etc. What about foreigners coming here to work and plant roots?
The official website says both:

"Congestion taxes are justified by the fact that the people who are contributing towards congestion and environmental problems are paying for the costs to society this causes."

http://transportstyrelsen.se/en/road/Congestion-taxes-in-Sto...
I often read stuff like that. "Now you couldn't do it like they did it before".

"You wouldn't be able to get away with the same jokes today."

Or

"You wouldn't be able to publish the same story today."

I agree that time changes, but this is discarding the merits of those who did it then.

Believe it or not, at that time it was not easy either. The people that did it had huge balls.

Geeks were considered less that nothing by society. The working world didn't trust them, believe in them or value them. They were basically rejected, as something annoying you had to have somewhere in your closet. My father actually told me in 2003 that he was disappointed I choose to work in such a boring field.

Technology didn't exist. You couldn't google your way out of anything like today (now if you google, SO answer everything!). Networks and computer where slow and expensive (we now got unmetered VPS for 3€/month, come on!). Less libraries, less frameworks, no crazy powerful API (can you believe making uber before google map ?) and no proof whatsoever that what you wanted to do was achievable.

The market was unproven (the 2000 bubble killed so much). We had no experience in it. Not tools to recruit, sell, build...

It's was not easier to do anything. The constraints were just different.

The constraints of tomorrow will be also different.

Let's not use the change as an excuse.

Doing something that matters is ALWAYS HARD.
Switzerland also has strict restrictions on foreigners and non residents buying properties.
The best wallpaper app
You're right. I forgot what the discussion was originally about.
What do they gain from me having to type "ls -lah" instead of "ll"?
How many real numbers are there?
Discussion: https://news.ycombinator.com/item?id=13564102
I'd assume that even if in every case the number of incorrect guesses is finite, the expected number of people that fail to guess their color is infinite.

Am I right about this?
A lot of politics - in fact, I would argue that it's all politics, ultimately - is about ethics. This ranges from obviously related stuff like "it's unethical to abort babies", to more indirect like "it's unethical to let people starve or die from diseases when they can be helped, so we need taxes to maintain a welfare system preventing that".
Yeah let's apologize for corrupting governments. It will make it ok. Glory to the new microsoft, the proof you can bully your way to the top and with good PR, people will be ok with it in the end.
Apart from the political issues, I want to point out that air pollution can be objectively measured, but the connection with childhood asthma can only be conjecture for lack of rigorous scientific controls -- it's a correlation, not an established cause/effect relationship.

I point this out because of the depressing regularity with which I see a raw correlation presented as though it represents a linked cause/effect relationship without the source meeting his scientific burden of evidence.
How much of the advancement in SoL is the responsibility of capitalism and how much is because of technological development? The two are not necessarily linked.

Personally, I don't consider a certain measure of inequality to be a problem, with the caveat that nobody is artificially restrained from achieving economic success.

This is a bit of a straw-man. You'll find that most people accept a certain measure of inequality. The key point is that when people are presented with a range of income distributions they usually end up with something closer to Sweden than the US.
Out of curiosity: Why do you write a book and let it be read publicly if you sell it as well? Why should somebody buy a book when all the content is available for free? Is this done to create some awareness for the book and thus to improve SEO (e.g. generating good backlinks, etc.). And later you restrict the public available content once SEO backlink power is generated?

Our of curiosity 2: Are you happy with the sales, how many books could you sell already (if you don't mind to tell us)? Would you write again a book about a console-based app?

Out of curiosity 3: Are you happy with Leanpub?

Thanks!
This was the exact option I used.
Wikipedia benefits just about everybody with an internet connection and they sure don't make a billion dollars a year. The same could be said of open source devs who contribute to core projects running our internet.
On my first run through this book and I already want to re-read it again. It has had an amazing effect on helping me re-focus on my work and re-familiarize myself with the value of deep focus / work.

Great book - highly recommend it.
This is discussed heavily in topics around constructing the reals and constructivism. Wikipedia has a short section about using the computables instead of the reals: https://en.m.wikipedia.org/wiki/Computable_number

It is pretty fascinating to think about: that almost all real numbers are not computable ("almost all" of course meaning "all but a countable set"). And yet you almost certainly will never run into a noncomputable real except in computer science when you're specifically defining one to illustrate something about computability (like Chaitin's constant).
Why are people still dying of cancer? – Vincent Devita (head of NCI) – 2015
> As time goes by, I increasingly view things like uncountable infinities and the axiom of choice as "a fun maths game", rather than having any intrinsic truth or falsity.

Is a hammer true or false? I don't know, but it's good for hitting nails.
I think the ultimate success of the reaction to Trump is dependent on the Left positing a new, viable economic alternative.

There is an viable economic alternative already. Look at countries like Sweden and Denmark. They are very rich developed countries that have an alternative model. The problem to many people in Anglo-Saxon world is that that model is based on high taxes to support a very comprehensive social security net.
These HTTP clients are all very cool, and probably fun pet projects, but they shouldn't stop devs from learning as much cUrl as they can. It's the Swiss army knife of web services.
Great read - prompted me to actually learn tmux, has been worth it! Also thanks for the link to the book, I ended up buying https://pragprog.com/book/bhtmux2/tmux-2
Wrong. The majority of purchasers are Canadian.
How many sets of natural numbers are there? An uncountable number.

Of course, you could throw out some axioms so that you create an axiom system in which I can't define such a thing as "a subset of the natural numbers", but such a world doesn't feel "real" (in a platonic sense) to me.
Show HN: Labeler – Manage labels on GitHub as code
Where were all those protesters when the US invaded Iraq, bombed Libya and armed Syrian rebels, leading effectively to what we have today?
Another good alternative to IPsec is OpenVPN. It's called a "TLS VPN" but really, it simplifies TLS a lot and doesn't use many of the complicated parts of the protocol. It's much more sane than I had expected, and likely easier to secure than IPsec.

I've recently started recommending it for a everyone who doesn't have IPsec hardware, something I should have done long ago (but I mistakenly thought it to be less thought out than it was). Android support is solid too.
Very good comment which applies to many console apps. I did this with Vim, the only custom key is 'jk' instead of <Esc>. But Vim has really good and sensible defaults. But tmux' % and " (for vertical and horizontal splits) are so counterintuitive, I kept them but still after many years, I still have to think a millisecond every time which of them to press and on top you need to press Shift as well which makes it even more cumbersome.
It's because this is Hacker News. How something was made is at least as important for hackers as what was made.
That sounds crazy! Was it just for fun or is there a use case? What's performance like?
Yes, it is possible, but more often the homeowner switches lenders themselves, since they are now able to negotiate for a better rate from a competitor.

The truly terrifying thing is that the banks have been adding clauses to the mortgages that on renewal if the market value drops below the outstanding balance, the homeowner is required to pay the difference in order to renew.

This is scary because they will not have paid off much in the first 5 years, but the house price can certainly drop a lot in 5 years in a down market, and there would be very little hope for finding a new lender willing to offer a new mortgage for more than the market value of the house.

Getting a mortgage in Canada is (in my experience) a very weird process for an agreement over such a large sum, but typically can happen within a week.
That's why I said good point.
Maybe for some reason they clear the screen first before redrawing? That would certainly cause a flicker.
The Importance of Tolerance
> Beware, though: What you are about to see is not particularly elegant. In fact, the TTY subsystem — while quite functional from a user's point of view — is a twisty little mess of special cases.

I wonder if it is about time someone tried to build something more elegant. If someone was inventing something like the TTY subsystem from scratch today, with no requirements for backward compatibility, what would they do differently?
How does that even work? Where does FB (or LinkedIn) get the information from that they can determine who you are even if you've never signed up for an account?
you don't have the same behavior - when you click with both mouse buttons and it doesn't have the exact number of neighbors, it should depress the neighbor squares until you let go. like this -

http://i.imgur.com/843NK6H.png
What do you think is a good measure of productivity?

Profit? The trouble is it is so far removed from the day to day work we do it's almost impossible to draw any direct conclusions. So instead we start trying to use proxies like function points, bugs or lines of code. In the most dysfunctional organisations worse metrics get used like time keeping a seat warm or political skills.
In this case, what you "throw out" are uncomputable (or non-recursive, depending on terminology you like) sets; i.e. sets for which the membership function is not decidable. Yes, there are an uncountable number of these sets, but they can't be defined in any useful way.
Like most things in life it's a compromise. I'm not happy with it but considering alternatives such as actually proving my identity via payment and losing all anonymity with absolute certainty, I can accept it for the time being. Grudgingly.
System details:

Latest Chrome on windows 7.

Steps to reproduce:

1. Start a game.

2. Right-click to add a flag.

3. Right-click the same square again, to remove the flag just added.

4. Left-click to reveal the same square.

Expected behavior: the square turns into a bomb (you lose) or a number (you keep playing)

Actual behavior: square turns into a flag (as though right-clicking.)
For me one of the biggest issues is not being able to show my face/hands while I'm sharing my screen.
TL;DR Dad got a condition precipitated by anesthesia from surgery. Lots of docs couldn't figure it out. I solved it using Google in less than 5 minutes.

It's amazing how many doctors operate in "tunnel vision." A few years back after a routine procedure that put him under, my dad awoke to non stop hiccups. At first the anesthesiologist said it was a temporary side effect of the anesthesia and brushed it off. Well the hiccups continued for 2 freaking weeks non stop.

As you can imagine this is a) a major disruption to a normal life (he couldn't sleep, couldn't eat, couldn't do anything for two weeks) and b) annoying as hell to everyone around you.

We went his GP multiples times, consulted the same idiot anesthesiologist and went to the emergency room 4 times over those two weeks and the reactions varied. Everything from the doctor literally laughing out loud seeing a middle age man in agony over non stop hiccups to another doctor prescribing pineapple juice. Yup, pineapple juice. Apparently some people use that to stop hiccups.

After the third trip, with no seeming progress and my dad basically asking us to kill him so that he can get some normal rest, I decided to start googling, which I should have done when this all started. I found a interesting research paper from Cal Berkeley which described a similar case after surgery, which described the mechanism that actually causes hiccups (its a spasm of the diaphragm cause by the vagal nerve) and how they were able to treat it.

We decided to go to a more than decent hospital in the big city armed with this paper in hand. In to the emergency room, after the standard tests they did at the other places and the scopes and all that, the doctor goes yeah we have no idea what's going on let me look up some stuff and I'll be right back.

He went to some computer terminal and started clacking away while I was watching over his shoulder unbeknownst to him. After about 3 minutes of searching some medical portal the hospital uses and seeing his head shake repeatedly I walked over, tapped him on the shoulder and said, hey I think I might have found something helpful on my ipad and handed it to him.

He read the paper in 2 minutes flat said "oh my god," called his supervisor (he was the attending physician, not a resident) they both agreed to call this doctor at Cal and after a 5 minute phone call wrote a script for a drug called Baclofen which treats muscle spams. 2 of the worst weeks of my Dad and our lives' came to an end within 15 minutes.

I was glad this place being a teaching hospital, was open minded enough to consider what they were presented

The hospital thought I was some kind of Doogie Howser and the head of the ER goes to me "You should really consider becoming a doctor." I replied with "Why would I ever do something silly like that. I'm an engineer." The doctor was both amused and not amused at the same time.

Just goes to show you, how narrow their field of vision is. Most doctors get trained a certain way with certain tools and for the rest of their career that is all they know.
You could have answered all of your questions with "finitely many", because, after all, we can each only perform a finite number of actions in the world.

In general, the infinite hierarchy of infinite sets "exists" because we can define it.
This is a problem with our notion of "expertise".

We rely too much on them and delegate everything in our society to them.

But first, there are varying degree of quality among experts. The delta is huge.

Secondly, they are only human, and make mistake all the time.

Thirdly, they have an agenda too. It may not be to help you the best they can, but to make a living with the least problem possible.

Now another problem is that a lot of people reject expertise in a such a way that any honest attempt will look terrible after them. The typical anti-vaxer speech has no credibility at all, preventing any sane debate on vaccines. The pro consider it "not even a question". But everybody should always raise questions about any medical act before deciding to got for it or not. This include vaccines, band aids, whatever.

The notion or "expert" also tends to remove responsibility from the people. But your health is YOUR concern, you choose take great responsibility in it.

In the end, we should all learn to not ask experts to solve our problems, but to use them so we can solve our problems.
I don't think that you and nikcub necessarily disagree. I read his comment more as "technologists today tend to/are forced to conform more to the expectations of society/powerful instutitions" than a comment about everything being easier before.
> How many sets of natural numbers are there? An uncountable number.

But, at most countably many of those sets will ever be individually thought about by any human being. So there are only countably many (and maybe more strongly finitely many) subsets which any human being could ever possibly think about, and an uncountable remainder which are unthinkable. In order to do mathematics, do we really need to posit the existence of an uncountable number of objects no human mind will ever be able to individually consider?

> Of course, you could throw out some axioms so that you create an axiom system in which I can't define such a thing as "a subset of the natural numbers", but such a world doesn't feel "real" (in a platonic sense) to me.

You could introduce a set theory where from a countable set you can only infer the existence of its computable subsets, or its first order definable subsets, or something like that. Not sure why that should feel any less "real" than an uncountable infinity of mathematical objects about which no one will ever individually think.
If millions of people want to pay you money, you bet you're benefiting someone. Or else they wouldn't pay.
> I'm not sure I follow.

So, thinking out loud... a billion dollars at $10 a ride, so lots of transactions, lots of customers. Theory says a transaction will only happen if both sides feel they will profit, so lots of people must have benefited, right?

But no, because you were talking about the total benefit, not total number of people who benefit.

Trivially, if the customers got a ride plus a share of a billion dollars, they'd be better off than if they just got the ride. More benefit would be delivered to customers if Uber had zero revenue, so using a massive revenue figure as a measure of value delivered to customers is meaningless.

But, the guy might still be on to something, since Uber benefiting lots of people only a little may still be more total benefit than some free software that hardly anyone uses, he just needs to back that idea up with something more substantial.
No, it's not just Go - Rust in particular as well at the moment, but also others.

As sibling comment says, it's another angle for HN readers to be interested in. Someone might read it and think "meh, I like postman, I'm fine with that - oh but hey, Go, that's interesting - I like Go, I wonder how they..."
AFAIK no one uses Objects in OCaml as the module system is sufficiently powerful. The Mirage project is a good example of using OCaml module functors to specialise components.
Bhagavad Gita !Hinduism is the religion of systematic opression through caste to control everone(who should marry whom, what name one should have e.t.c. by the way this continues till today even by almost all educated non-educated everyone) by brahmins. So quoting gita here definately out of context because gita is written by the brahmins.