jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
I ended up with a Nokia 7.2. It worked fine until an Android OS update.

Now it works mostly fine but some minor issues regarding Adaptive Brightness, Bluetooth laziness and camera not saving pictures when running from locked screen. Maybe these can be fixed with app-data wipe or permissions fiddling, but I can't be bothered as they impact me little.

But Nokia seems to keep going with Android One. I will end up buying another at this rate.
Unfortunately, constructive vs classical (vs linear, etc.) applies to proofs, but this is really about definitions. Proofs can be correct or incorrect pretty straightforwardly, but definitions being correct or not is really a matter of taste. (And as someone who's been formalising some mathematics in Lean recently, definitions are so much trickier to get right than proofs!)
Maybe conjecture, but they are little pieces of information that seem to be common across many parts of the world at that time.

The summer 2019/20 spike in hospitalised pneumonia cases in the southern hemisphere that were a non-flu virus is another data point out there - someone just needs to put them all together.
It was a relatively small community, even before Manhattan project they all knew each other. Academic science is still very much like this, but the difference now is that there are so many more scientists, very few of their results are known to a wide audience.
I'd hope they would, who cares about a closed codec?
If that person is your contacts, you get a notification.

If you're in someone else's contacts, they'll get a notification when you sign up too.

Contact information gets uploaded (Name, Email, Phone Number) so that they can generate "rich" push notifications, as the server issuing the push has to produce the message (no code can run client side).

More info here, though could be outdated (2013): https://news.ycombinator.com/item?id=6915194
There is fire to that smoke though. Bolibian rare earths was the main reason for the coup.
If you're using raw pointers in 2021, I think that is a mistake
Bug: Clicking too fast to advance the image results in highlighting a picture, turning it blue.
Yep
RFC4 is dated 24 March 1969 and whereas RFC1 is dated 7 April 1969.
I mean, where are you keeping your backup files for if the server fails?
Neutron radiation is in fact ionizing radiation.

It is much more dangerous than other types, as it readily passes most materials, yet dosage is absorbed. Absorbed neutrons cause particles to (almost always) become radioactive, which causes havoc as those new radioactive particles decay.

The other common types of radiation (alpha, beta and gamma) do not cause things to become radioactive (usually), instead they are a threat if the actually radioactive material accumulates as dust on your skin (for example).

Neutron radiation is much more dangerous because it seeds radioactivity deep in the body, so you can't clean it off by washing or waiting for the absorbed particles to be flushed back out of the body naturally within a few days.
Kind of a fun ancedote: In "the old days" when you'd run a server room in your office we had a very large HPC cluster + a significant amount of storage and other one off servers on the top floor of a mid rise office building. I eventually moved it all to a former nuclear fallout facility where our systems were three floors down and under a gigantic pool of water. Error rates and random crashes fell off IMMEDIATELY.
I believe Microsoft reported similar findings with their submerged data center.
For the same reason, we should not say, "use the IO monad to do output". We should just say, "use IO to do output".

You may not even need the monad instance for IO -- for example, you might just use its functor instance.
I agree with you here, but I think 'stable libraries' is perhaps a good target for a few reasons, right now the culture isn't just bad code, it's "There is no advantage or benefit to showing your code". I would say a difference between computer scientists and programmers is that frequently the work isn't just the code, but still, nurturing something like an open-source scientific community would accelerate a lot of learning.
There are different types of complexity.

Whilst it's easy to see what a simple line of code is doing, it's not necessarily easy to see why it's being done, or to understand how a codebase made of simple lines works. An extreme example of this is machine code, where every instruction is incredibly simple, but trying to work out what the whole thing's doing in order to debug it can be very hard.

As a mere mortal, I appreciate monads and the simplicity they bring to my code.
I'm not an expert on promises, but they certainly seem like monads. A promise, if I recall correctly, looks something like this:

doThing1().then(function (thing1Result) {
doThing2(thing1Result).then(function (thing2Result) {
doThing3().then(function() {
doThing4(thing2Result + thing1Result).then(function (res) {
console.log("I did a lot of things. The answer is: " + res);
}
}
}
}

Basically, at each stage we're calling a function which may or may not return immediately, and saying "whenever you're done calculating, pass your result into this function I'm giving you here." Similarly, in monadic computation, you sequence a series of "actions" together by passing each a function that determines what to do based on the output of the previous one. In Haskell, the above fake code would be written like this:

doThing1 >>= \thing1Result ->
doThing2 thing1Result >>= \thing2Result ->
doThing3 >>= \() ->
doThing4 (thing2Result + thing1Result) >>= \res ->
putStrLn ("I did a lot of things. The answer is: " ++ res)

So you can see the `>>=` acts like the `then` function we saw before, and each time we're passing in a new function (indicated with a backslash, which resembles a lambda). And since this kind of thing is so common, there's a syntactic sugar for all of this:

thing1Result <- doThing1
thing2Result <- doThing2 thing1Result
doThing3
res <- doThing4 (thing2Result + thing1Result)
putStrLn ("I did a lot of things. The answer is: " ++ res)

Hopefully it's simple enough to see the correspondence between the above snippet and the one before it; the two are essentially identical.

Now the really cool trick is that the same concept holds up for any monadic computation; that is, any situation in which we have a series of steps, executing in a well-defined order, and at each step we have the ability to "examine" what the previous step did in some way. Thus, for example, we can model a series of fail-able computations, where the failure of any one in the chain should cause the chain to stop at that point; or a series of actions that affect a background state in some way, or a chain of effectful computations like IO, or any number of other things -- the abstract idea tends to pop up all over the place, which is one of the great powers of type classes in general: they give you tools that you can use all over the place, even in vastly different arenas.
> How is this a good story?

A professional investor is likely to shrug and move onto the next thing if investments 1-9 of 10 don't pay out.

The 9 founders who bet their lives on it, less so.
Definitely a possibility. There are some alternatives now though, like the list[1] of MD5'd emails that has been circulating that you can use to check against. That's how I confirmed that I wasn't in there, personally.

[1]: http://www.google.com/fusiontables/DataSource?dsrcid=350662
Why? It’s the payoff of a limited monopoly that justifies the investment in the research. Without that incentive progress might be even further restricted.
The US should follow their energy independence stance... there is no reason why they can and we can't.
> Once they started pulling out of expensive cities and opening offices in cheaper foreign countries, it became an uphill battle to hire anyone in the United States at all.

Facebook, Google, etc. have offices around the world, but that hasn't led them to close any of their US offices. If there were enough equally qualified candidates in these areas that would accept compensation at a fraction of Bay Area salaries, why wouldn't they follow suit?
what has the one to do w/ the other?
Right, but the trick is the inequality doesn't imply poverty. Wealth isn't a zero-sum game; FatCat having more doesn't necessarily require that SkinnyCat have less, even though the size of the pie slices grows or shrinks; the pie grows as well.
Excuse me, but what's so wrong with the existence of a proprietary gcc backend?
Slaves did not build the pyramids

http://skeptics.stackexchange.com/questions/377/how-were-the...

http://skeptoid.com/mobile/4191
They do time out. As I understand it, this is an artifact of an implementation detail rather than part of the design. As such, the amount of time between reposts is nondeterministic.
This is fun. I work at a school in China where we can't use Google Apps. But we'd like something like that, so we were considering using Office 365. Microsoft isn't allowed to operate its own deployment of Office 365 in China, that gets outsourced to a Chinese service partner with its own datacenter. The features aren't even completely the same when you compare the outsourced Office 365 with Microsoft's Office 365. So of course we're thinking of just going with Microsoft's offering, which is easily accessible within China anyway (for now). Will this change? I suppose there's a reason why they had to outsource their China presence to a Chinese service partner. Gah, complicated.
You can do auto-scaling on OpenShift, as part of the platform, and on Heroku, with HireFire:

http://hirefire.io
Why was this posted just an hour ago, this has been around for years
Wow this is so cool! Now I can't understand most of these things so it'd be cool to have a video of someone using the tool and explaining what one can get from it : )
Subscription is available (and popular) on YouTube for video, and the content of Podcasts is generally episodic, lending itself to a subscription model. What about this do you find to be 'so ridiculous'?
The idea is that writing code + writing tests in a dynamically typed language is easier and faster just writing code in a statically typed language.
(Of course it depends on the languages in question, the programmers and a number of other factors)
> Isn’t that an infinite regress problem?

I can certainly see the sense in which it might be said to be, but I think that's not the sense in which the term is originally meant. I tried to come up with an explanation of why I think they were meaningfully different by an appeal to mathematical analogy, but I'm not sure that it's convincing.

Fermat argued as follows: a positive integer solution to `x^4 + y^4 = z^4` could always be converted into a smaller such solution, and you can't produce ever-smaller positive integers forever, so there weren't any such solutions in the first place. I'd say that this is clearly an infinite regress (though it was actually called infinite descent).

On the other hand, consider the problem of subtracting 1. In the system of ordinary (not-necessarily-positive) integers, this leads to a (non-paradoxical) infinite regress; whereas, in the system of integers modulo some fixed positive integer, it leads to a (non-paradoxical) circularity (where repeatedly subtracting 1 from a number will eventually yield that number itself). I think that it is reasonable to call these different phenomena.
Cloudflare takes the right approach of being content neutral.
Which is ironic because they say "Like cement, the cultural foundation for new projects and companies sets early."

It seems the financial terms are clear as cement too. I'm really interested in this model for my business (sounds perfect for where we are) but clarity of terms makes me hesitate.
Last I checked, these startup grants were for 29 and under or for less populated areas (like Northern Ontario). Although one friend got $80k to write some open source software. It may have been Ontario specific.
>>Is bootstrapping really a viable path to an exit in 2015?

Academic startups where the technology is based on research are bootstrapped until the commercial viability of their ideas is demonstrated, wherein they sell their patent portfolios. Is this an exit?
WhatsApp does not store messages on their servers. It's a clean passthrough from one device to the next. They only hold onto message until all clients in the group text or one-on-one text have received the sent message. So, if you have two clients using the same phone number, the system wouldn't know when it is able to delete the message. Right now the single phone receives the message and simply passes it up to the web browser. It's a simple solution that fits into their data model. They claim that they cannot get this working on iOS which prior to iOS 7 may have been true. However, on iOS 7 and above we can run code (even async network calls) when we receive a push notification so they should have been able to work with that API to produce similar results.
> Those printers are not getting updates, either. Nobody is changing the printer side of this

Of course things change. Security protocols get upgraded. New attack vectors are discovered in protocols and need to be fixed. New devices with new capabilities are created and need API integration. That all requires human effort to make happen. All of that has to be worth the cost of maintaining the project.

> CUPS still needs printer-specific drivers to do the actual printing part.

Even if it needs them, the point is that it has them now, probably due in no small part ot the fact that CUPS is used on the Mac.
I feel like decades stopped having distinctive identities somewhere round 2000.

Previous decade-by-decade changes from the 50s to the 60s to the 70s to the 80s to the 90s were, it must be admitted, mostly aesthetic rather than being the “fundamental changes in society” that people like to pretend — people in general didn’t become greedier in 1980 and less greedy again in 1990. But there were huge changes in the aesthetics of everything — clothes, interiors, graphic design, music, cars etc.

What has changed since 2004, in the actual physical world?
Bitcoin was introduced in 2009-2010.
omg...I'm so excited

still wish there was a way to develop for iOS on windows platform but I guess I will have to purchase a mac now if I want to build mobile apps
This is great.
The Mixergy stuff she's referring to, though, is incredibly badly delivered. No I don't want to subscribe to a newsletter to receive a mp3 file in my inbox and then move that file to my phone so that I can listen to it. Why not a podcast feed?
My dropbox partition is completely enveloped in a TrueCrypt partition.

I don't particularly have many concerns with the security of Dropbox, but I do keep some personally sensitive information on there, and TrueCrypt is how I sleep at night.
Absolutely; my response was more geared towards expectations in a design round. If you have the option to draw from personal experience / war stories then even better.
https://en.wikipedia.org/wiki/HappyOrNot
This story keeps getting better.
What's not reasonable about building from source? It really seems like a small cost to snapshot a version of third-party code into your own source control system. There really aren't (or shouldn't be) that many different things in your environment.
I wonder what alternative you would propose. Presumably, not doing philanthropy is not an alternative, because that would be the most alienating approach.

If it's connection to people you want, why not "Purchase Fuzzes and Utilons Separately"? [0] Give enough to charities that make you not feel alienated, and then donate the rest to charities that are making a greater positive impact on the lives of others.

[0] https://www.lesswrong.com/posts/3p3CYauiX8oLjmwRF/purchase-f...
for what it's worth I've got a Pi-Hole running on my local network instead of in-browser adblock, and it's pretty good, and before that i had some success with 1Blocker, which IIRC uses the same lists as uBlock Origin.
That’s because it’s a product that’s designed for developers to sell alongside the product it empowers. You shouldn’t need to buy a volume license unless you’re building, say, CNC machines. That a product developer sold you a product that needs to be automatically rebooted isn’t really Microsoft’s fault.
That is my understanding of minimum wage as well.

If we raise the minimum wage to $20/hr, fast food will no longer be cheap. Some McDonalds will turn into nice restaurants, but as the minimum price of going out rises, more people will seek alternatives such as cooking at home (likely paying themselves a lot less than $20/hr, ironically). The net effect is to destroy an industry.

You can pity someone working for $4/hr doing hard agricultural work. But if you apply minimum wage to the situation, you don't raise his wage, you destroy his job. He likely needs the money; that doesn't help!

Hence, I have come to regard minimum wage as an act of oppression, and unmitigatedly evil. It should be abolished.
How can "null-terminated" be incorrect when that is the language used by the C standard?
Laissez faire does not refer to the lack of welfare state but rather the lack of government interference in the economy in general. No state is currently even remotely like that. If you've been paying attention over the last 50 years the countries with the strongest presence in the economy typically do the worst. Exceptions are for countries with rich natural resources per capita like Norway or Sweden.

The free market naturally raises the standard of living and wages because it allows people to act in their own self interest and try things that might go really well or fail. The notion that minimum wage laws helps anyone outside of unions is laughable. It effectively puts a floor on wages and makes marginal work illegal. This means the young and unskilled don't get jobs while those who belong to unions do. This hurts the poor at the expense of the middle class. Countries in Africa that are quite poor often have very high minimum wages because they made the mistake you're making. High wages don't lead to prosperity. Prosperity leads to higher wages.
Disappointing to see yet another publication not aware that most Icelanders have patronymics, not last names.
Don't do this:

var oldonload = window.onload;

Try to avoid touching the global namespace. At most register one object in it: HelpBubble. Use callbacks for the init, open, close, and clicked events. Look at how jQuery does it.

These are too long:

HelpBubble.API.setText()
HelpBubble.API.setMenuStyle()
HelpBubble.API.setButtonStyle()

I would use:

HelpBubble.API.text()
HelpBubble.API.menuStyle()
HelpBubble.API.setButtonStyle()

Passing it nothing should return the current value (for the latter two it should return objects). Setting it should take either objects or strings.

Also, do you expect to only have one instance of these at a time? If not, your API might not work very well.
PubNub supports iPhone and iPad. Pusher does not.
I tried all day yesterday to order. After maybe 30 attempts at going through the buy process on Apple's site, I got to the final page of it and it said it had to ship to my AT&T billing address. Which happens to be wrong now. For the rest of the day I tried to log into AT&T's site to change it. I was never able to. Now trying to log in on it gives me a 404.

I'm an app developer, and I need the phone for testing as soon as possible.

Update. I got one ordered. It will arrive by July 19. I predict we'll get deluged with negative reviews.
Their "Permanent 3-for-1: Buy any one of our WP themes, and get two more FREE!" and "Can't choose a single theme? Join our theme club and get them all for only $125" deals make this seem like such an undesirable business model.

It's like the constant sales at low-rent retail stores.
Yes, that's one of the disturbing things about the oil industry. The oil companies have done their best to make sure usage of oil is as inefficient as possible, since that is in their medium-term economic interest... They go to tremendous lengths and expend (and destroy) significant resources to extract oil, and then they are actually hoping we'll waste a major portion of it.
It's not socially acceptable to want one until someone uses it to put her life in jeopardy before a worldwide audience.
>That is becoming a more accurate description of the Android market by the day. Nexus One, EVO 4G, Droid X... they're all pretty similar.

So then why buy any specific one of them?

Because they aren't similar, your ridiculous statement aside.

The whole point of the Android hardware ecosystem is that it's a disparity of often very different phones. Some have fast CPUs some have slow CPUs. Some have great cameras with a Xenon flash, some don't. Some have keyboards, some don't. Some are big, some are small. It is the absolute opposite of commodity, and only the most ludicrous, superficial analysis could even imagine using that word.

An iPhone, on the other hand, is a commodity as far as iPhones go. It's an iPhone, you know. Just an iPhone.
Being a founder is about what you do and how much of yourself you are able to put into the company, not when you join. If Chad had hired someone with Paul's skillset and then told him what to do, that is an employer-employee relationship. That doesn't look like what's happening here. They're entering into a partnership as equals to discover and build something new together.
Looks nice. +1 for enclosing JS in a script tag.

Vuejs has a nice component compiler:
https://github.com/vuejs/vue-component-compiler

It puts JS inside of a script tag, which would fix some of the parsing issues, and also fix syntax highlighting. It also provides hooks for pre-processors. Have you considered this approach?
OT I haven't looked at the lib yet (will do soon) and I know this is going to seem like a silly compliant but - on mobile the content of that page keeps moving around underneath me. It's incredibly frustrating!
the post i was responding to said "Linus should be shunned into irrelevance". that's a fair bit different than simply asking someone to change their behavior.
I like the craft in that book that has loads of independent pogosticks attached to a central pod, with the ride just getting bumpier if any of them fail.
Telcel in Mexico allows unlimited access to Facebook and Twitter while the rest of the internet is bounded by whatever data plan you have.

Not sure if Facebook and Twitter pay Telcel for the bandwidth you consume.
for me, my smartphone is a general purpose device :
-Access to Pocket articles while commuting
-Music, Podcast
-Social networks
-a little bit of instant messaging / voice
-mails
-maps

It is also a communicator device, but only in the sense that for some silly reason I can't place calls with the 2000$ box on my desk, but only with the 800$ one in my pocket.

None of the apps I have are perfect, especially now that we are in an awkward phase where we have an excellent Material spec and are very far from it in practice. However, they all do their job well enough. So well that I don't remember the last time I added an app to my routines.
Slack is pretty neat to communicate with less tech-minded people, it is very accessible. And it has an IRC adapter, 90% of my interaction with slack is in irssi, the rest is on mobile.
Well if we're in an ideal capitalism society, if what foundationDB created was really of such tremendous value, somebody will come along and do the same thing.
Could you please stop posting unsubstantive comments to HN? You've been doing it a lot, unfortunately, and we're trying for more in-depth discussion here.
I am seriously doubting an allergic driver would be forced to take a passenger with a dog. Their immediate right to life trumps the ADA.

There's more interesting arguments to be made, like you can't ask the driver to provide proof of their allergies, and so on.
It stopped being their personal property the moment they started using it to run a business. Now its business property. They don't have to allow unruly/drunk/etc customers, but there are grounds its not ok to discriminate on when running a business.