skysight-inc/HackerNews huggingface dataset:
Kierkegaard and Nietzsche are the two philosophers who, when I read them, make me realize what a hypocrite I am. My favorite Kierkegaard quote in this vain:

"One must do everything for oneself and for God."

We are all often "performing" in one way or another for others. What would your life look like if you were only performing for yourself and for "God". I don't think it's possible actually, it's more of a goal to strive for.

Nietzsche's:

"I live in my own house

I've never copied nobody even half

And at any master that lacks the grace

to laugh at himself - I laugh."
This will blow over for blizzard as fast as it did for apple. After occupying essentially the top spot on many international new cycles for 20 weeks, people are getting tired and finding out abnormalities. Like how there are 0 verified direct deaths while other protest that are much more violent barely gets any coverage. Or that vandalism of subways and shops conducted by protesters never gets to news or are covered in a positive light.
Yes I agree.. As long as the system can simulate the degraded plane, and is fast enough, it can brute force through a huge number of decision trees and scenarios in milliseconds to find the optimal. A human would do something similar but will prune the tree much more heavily than the computer as the human is slow. This is analogous to any chess engine, the difference is that the plane flight requires a much more difficult simulation scenario compared to a chess board. The system has to understand or at least measure what has degraded as well which might be difficult.

(I don't mean to make it sound as I think it's easy to solve, but the basic strategy to solving it is simple :)
I consistently stay in hotels for a good portion of the year and I rarely find AirBnbs cheaper nowadays. Really the only time I stay in one is when I want to rent a big house with a large group of friends or am in a remote area that doesn't really have hotels.
'hardcore' gamers have a dispropotionally huge representation of young single adult males.

Usually that means lot's of testosterone and time.

Apple has more balanced customer base.
sounds easy but in practice hard. You can run ads on political and social issues that directly correlate with one candidate's campaign. What about those ads?

But then you could also be running ads to push a public issue such as climate change independent of anyone's campaign.

How do you differentiate between the two?
No, Never. Being a developer is enough here.
Even after a >>>month<<< of digging through public records...Dealing with Airbnb’s easily exploitable and occasionally crazy-making system is still just a bit cheaper than renting a hotel."

It's constantly amazing to see how little people value their time when it comes to stuff like this. Maybe when we're getting yearly salaries we don't compute out the hourly cost but, man, do the math once in a while.
Quite a few people here agree with you.
Design principles that help you shape the best user experience
1) There was a startup a few years back similar to airtable that was acquhired. They had made sizeable inroads to covering the Access footprint. It probably should be a team effort like Airtable though.

It's hard to imagine one person replacing 20+ years of dev effort.

2) Excel and Access prove the need for software in a business and model out use cases.

If Access could render to the web, (similar to lotus notes to domino) that likely would be sufficient. Since most of the access backend is available, maybe that is feasible on some level.
Correction: it is a proof assistant, not a theorem prover. Z3 (also from De Moura) is a theorem prover.

EDIT: Main difference between the two is that with a proof assistant, you write a proof and the assistant checks its correctness, while a prover provides you with a proof of a proposition's correctness (or of its lack thereof).
On average the Sun is closer than Mercury, because Mercury spends 2/3 of its time further away from us than the Sun, and only 1/3 closer to us than the Sun. Mercury is closer to us than any other planet entirely because it's the closest to the Sun, which is closer to us than any planet. On average.
> The example you’re using is also not convincing. Statistically insignificant amount of people know or care enough to watch F1 races.

We have 1 user on the internet vs $1 Billion in advertising budget. I'm going to trust that Philip Morris is better at quantifying the effect here.

> Your argument is that breaking a law is expensive and only those with money can break it so why bother with laws. Beyond ridiculous.

This still has nothing to do with laws. It's an important distinction to make between laws and corporate policy because one carries very high punishments whilst the other is mostly without recourse.

My argument is in no way proscriptive. Only descriptive.
The Ghostly Japanese Fireball Spirits That Live on in Pokémon
All the complexity is in libdill, which is written in C:

http://libdill.org/

... which means they buried the lead pretty deeply, because libdill is an interesting little library: Structured Concurrency in C! From the FAQ:

http://libdill.org/faq.html

> How does libdill's concurrency differ from Go's concurrency?

> No interaction between threads. Each thread is treated as a separate process.

> Channels are always unbuffered.

> choose, unlike select, is deterministic. If multiple clauses can be executed, the clause closest to the beginning of the pollset wins.

> chdone signals the closing of a channel to both senders and receivers.

> Coroutines can be canceled.

And:

http://libdill.org/structured-concurrency.html

> What is structured concurrency?

> Structured concurrency means that lifetimes of concurrent functions are cleanly nested. If coroutine foo launches coroutine bar, then bar must finish before foo finishes.
Yes, that's exactly true. We need education to step up teaching people to enjoy solitude and not get instantly depressed/anxious and 'learn' how to have and enjoy hobbies. for both retirement and universal income.
When you file a dispute, they send it off to a third party to investigate. They dig into the contracts and when you make the purchase, you state you are agreeing to all their terms of no refund, etc. So you will almost always lose the dispute.

They also have special partnerships with credit card companies so the companies are more likely to side with Airbnb as well.
Probably because there are still legitimate offers on the platform, and they're still cheaper than hotels. So the author's brain thinks "I've figured out the scam, I'll be more careful next time and I'll be able to stay at (vacation spot) for 10 dollars cheaper". In the end, cheap still wins.

But did AirBnB help the scammer keep her $800? Still giving AirBnB business after that is indeed ridiculous.
Speaking as someone much much closer to a fan boy than a hate boy (I make my living on Apple's platform), this is...possible, but with a lot of caveats. It's nowhere near the level of control you have on a desktop machine.

- The signing expires every 7 days, meaning re-install once a week. The app just crashes on launch when it expires.

- There's a (low) limit on the total number of apps you can have installed at one time via this method. I believe it's 5.

- The Apple ID you're using to codesign the app has to be signed in on the device to which you're installing. (I may misunderstand this one -- been a while since I've done it and it may have changed somehow -- but I'm pretty sure about it.) The implication here is that to share the app to anyone else, you also have to share your Apple ID.

- You're still beholden to Apple. They can revoke your Apple ID and thus your signing privilege pretty much any time for any reason.

They've restricted this avenue enough that I think it's fair to say it's not functional as more than a teaser, for people just checking out iOS development.
I think dependency injection can have its uses, but the way I see it used in practice it looks like someone should file a bug on whatever programming language features are missing to make dependency injection necessary.

I think most code should be purely functional and unit tested that way, which means that the only dependencies are the input parameters. "Mock" dependencies used in unit tests are usually a unit-test circle jerk; most of the time you're essentially testing that your programming language can indeed make method calls through an interface and those tests are only there because you added DI in the first place. It's common to see all kinds of testing like this but nothing testing the actual functionality of the code because that's so obscured by DI or mocked out. It feels like you're implementing comprehensive testing but it's mostly just additional complexity obscuring the fact that you're not actually testing anything real.

The code that can't be functional? Sure, go ahead and knock yourself out with dependency injection and IOC. It's great for not having to pass configuration and logging instances around. But it's being abused when it's all over the place and you can't look at code and figure out what it does without also looking at configuration files and startup classes and knowing how the flavor-of-the-month DI framework works.
I'd hope that the Southwest and Qantas findings would cause other airlines to ground their NGs too if their cycle count is similar. Why assume that your aircraft are different?
> The question is whether political speech can withstand the age of overwhelming scale, extreme anonymity, weaponised psychology and machine learning.

Except no one has proposed banning bots, machine learning, or shutting down anonymous actors. Those are all boogeymen.

Any paid ad can be required to be transparent to whatever degree we want to impose on the advertiser.

That's why, honestly phrased, this question would be, "will my side continue to stay in power if the other side is allowed to get their message out?"
> having a different culture or language does not imply that you want or need to secede.

Indeed. But in spain this is just impossible.

As a staunch pro-independence supporter, I'm not for that option as a matter of principle, but of practicality. If the spanish state saw catalan language as a legitimate part of its own culture, I would feel comfortable being spanish. Yet, it seems to me absolutely impossible and utopical to change spanish culture towards that. I have heard too many times spanish people arrogantly say "I speak spanish because I am in Spain, you are being impolite by using catalan". Of course, idiot! we in spain speak catalan. If anything, catalan is a uniquely spanish language because it is not much spoken elsewere, unlike spanish, which has a strong presence in the world. But to no avail. I have given up in despair. The spanish psyche is inherently incapable to accept this idea. The only feasible way that I see to avoid the complete disappearance of the catalan language is by having our own state, and thus I fight for independence.
Show HN: Handlebars just got a trim, alternative JavaScript template engine, 2kb
"Panic" is an anthropomorphism for what is really going on. Plants react to water. That makes complete sense. Humans react to it when it falls on us as well. Maybe we go inside. Maybe we open an umbrella. Maybe we go dance through the fields and enjoy a summer rain. But whatever we do, they are reactions, not "Panic."
I wouldn't argue if anyone said access wasn't designed to do those things. Microsoft always has the next solution you should move to.

I have seen Access app developers run their access app on top of a MS Sql server to bring that kind of functionality in, though.

Access was less of a database and more "let's work with our data using forms and reports".

It was powerful in the hands of people who understood the data and details they work with day in and day out and let them form solutions for themselves when there was no other way.

In many enterprises access is just there like excel, but custom software is not permitted.
How reliable/profitable is P2P lending?
BLAS now has a number of non-Fortran implementations, inlcuding ATLAS[1] (C) and and Eigen[2] (C++). LAPACK is still Fortran-only, although many libraries (including the two mentioned above) implement a subset of LAPACK in other languages.

[1] http://math-atlas.sourceforge.net/

[2] https://bitbucket.org/eigen/eigen/src/default/Eigen/src/misc...
When we're talking about whether Facebook should be fact-checking the lies of public servants, we're missing the point. We shouldn't be having public servants that are lying to us in the first place. By the way this isn't just referring to one political party, the other party lies or blatantly dodges around truths as well. I think our government is in much deeper shit than the tech industry is, and even though I agree Facebook needs some regulation, I wouldn't trust the government to do it.
I thought vectorable thrust could run you afoul of ITAR, and pushed you into a much higher realm of scrutiny, since you've basically designed a missile.
Yes bad ideas are criticized and good ideas are celebrated. That's the way it's supposed to be.
> We will agree that promoting criminal activities doesn't help Catalonian cause, and that should be investigated.

The American Revolution was a criminal activity. Gandhi, Martin Luther King, and Nelson Mandela were all deemed criminal and jailed. The protests in Hong Kong right now are considered criminal activities.

So no, we will not agree that "promoting criminal activities doesn't help" a cause.

I have no opinion on or interest in Catalonian independence, but if you want to make a case against it, you'll need to try a different approach. It's neither surprising nor informative when ruling governments call independence movements criminal.
I don’t think that’s true once you’re comfortable with the language.
There are lots of open source clients for commercial services. You’re not entitled to connect to other people’s hardware for free, even if the software is open source.
That's the parent commenter's point.
no, you're right. I was a bit too fast on judging. If they had reason to think he was armed, then I'm less uncomfortable. Thanks.
> You could conceivably "race" searches between P and (not P) and hope that this would save you since now one of the two will return in finite time.

Adding to black_knight's point, it's worth noting that even in complete theories this often isn't very heartening: interleaving searches for P and for (not P) will often take an enormous amount of time.

Even cleverer strategies can be hopeless. For example, the theory of real closed fields is complete (and hence by your interleaving argument, decidable), but appears to be EXPSPACE-complete (at least from a brief skim of the literature), hence known to be truly intractable. If standard complexity-theoretic conjectures hold up (e.g. P != NP, NP != coNP), then non-gargantuan proofs in proof systems for a wide variety of interesting problems will turn out to be both intractable to locate and incomplete.

None of this is to say that automated theorem proving can't or won't rise to the level of human mathematical activity (I think it will fwiw), but we need to be far cleverer about it.
Piqabrick: Visual Recognition of Lego Bricks
Yeah, I stopped using Airbnb a loooooong time ago, and only use it when the price diff is something like 4 fold. Too many bad experiences.
Yay booking.com and normal hotels
As a marketer here's the deal. A brand can be "woke" and be socially conscious. When they do that though, and this is where people get tripped up, they're opening themselves up to an incredible amount of scrutiny that most legacy brands frankly aren't prepared to deal with. So as a marketing strategy it works, but it doesn't work as ONLY a marketing strategy. The entire organization has to be aligned on that messaging otherwise someone can and will figure out where you falter and attack you relentlessly for it. It's why it works for someone like allbirds, but blows up in Blizzards face when they grand stand on something like gay rights but then kowtow to Chinese party lines. Another good example is Nike and Kapernick campaign while also using sweatshops in SE Asia. Nothing enrages anyone quite as much as hypocrisy, especially the kind of person that would choose to support a brand based on their social stances.

tl;dr when you posture as a pillar of morality people will call you out if you aren't consistent.
Now that is a perfectly valid point, thank you for this. I guess we have to simplify the contents of our marketing materials.
22 actions each 5 seconds isn't that generous. Pro players have to manage apm too. Conserve it or spend where needed. I would say it is fair.
I think the key distinction is that there is a well-established infrastructure around software, such that the average SaaS founder (even 10 years ago) is/was not doing fundamentally new things with computers. If they were, they would probably need to understand computer science well. Take any moonshot ML company- they need quite deep technical depth and usually have a founder that has spent time in academia.

We are still at a point in Biotech where companies have to do fundamentally new things with their tech to succeed. If you were starting a company that applies CRISPR to X genetic disease, you might not need a Ph D. to start the company, because you can apply existing technology to solve that problem. But that begs the question: Why has no one else done it yet?

At the end of the day, you need a unique insight to start a large company. That means experience with either the problem space or the technology space is helpful. Not discouraging OP either, if you have a vision for what the future should look like, and can acquire talent/capital... anyone can start a massive company. So OP should try to acquire that vision.
When I worked at Blizzard at the beginning of the decade, it was the first "corporation" I'd worked at where I sincerely felt and believed that the espoused values were authentically reflected in decisions and actions. The edges were starting to fray a little bit around 2012-13, as veterans of the original Blizzard slowly began moving on to other things (or retiring altogether).

There followed a steady trickle of Activision staff into the holes left by the departed, which IMHO was also reflected in gradual shifts in recruiting practices. Morhaime's departure was the final farewell. I can't say what Blizzard's culture is today, but I'm confident that Every Voice Matters isn't what it used to be.
Out of curiosity, why did you capitalize Airbnb like that? I see people capitalizing random stuff sometimes and don’t understand why.
This was a political non-issue until someone said "No" to a gamer boi.
I find it incredible that World of Starcraft is not a thing. (Starcraft Universe?) Blizzard is letting billions of dollars just sit on the table, refusing to even acknowledge the possibility of its existence.

My only theory is that they didn't want to cannibalize the WoW playerbase, but that's how you get stuck in a rut as a corporation.
Futures Are Pulling Cryptocurrencies Out of the Dark
They could have just made a Diablo or StarCraft universe MMO (or both) and people would lose their minds and sell their kidneys to pay for a monthly subscription...
You are likely correct, it's probably Vice doing that not the author. Reddit tried it for a bit. They had software that would automatically transform relevant retail links into referral links. They stopped the practice as it wasn't making as much money as they thought it would.
How to get people to stop complaining about you not paying taxes:

Step 1: put out a rainbow version of your product during pride month.

There is no step 2.
But if PhD is basically learning followed by research, you could also just do a masters / learning followed by research at a company (directly relevant to what the company is doing)?
Classic will never have the same revenue potential because players would revolt if they added in-game transactions.

Those transactions were a massive source of profit in later expansions and completely eclipsed subscription revenue. Even as the WoW playerbase dwindled, revenue grew thanks to things like game-time tokens, level boosts, mounts, cosmetic items, etc.

All of those things are 100% antithetical to the premise of Classic WoW.
I'm sorry but liberal democracy doesn't infer a strict libertarian view on political campaign messaging.

I don't want to assume you're American, but your fatalistic view of government sure does point towards that. I suggest you spend some time looking at how other liberal democracies handle this challenge. Online political advertising remains a challenge everywhere but usually the same legal and ethical frameworks apply—even if the frameworks still fail at the margins.

And to be clear, my objection isn't to all online advertising but specifically to Zuckerberg defending Facebook's stance by appealing to free speech. I don't think any Government should force Facebook's hand; I think they should seek to protect their social license and act independently as Jack Dorsey recently did.
https://iopscience.iop.org/article/10.1088/1748-9326/8/2/024...
>Clearly, there are people still interested in Access, even if it’s only because they’re trying to untangle the mess left for them by a previous generation of hobbyist programmer.

My job function entails extending and maintaining an MS Access database that our small company still uses as its primary tool for data entry and reporting. It started on Access 97, moving up through a few new releases until about 2010, which we stayed on until just this year. It's now working with the O365 edition. It was first developed by someone with no previous experience, referencing a copy of Access 97 for Dummies. I learned on the job just by poking around - which is now, I think, the biggest pain point for how we use the software: how exposed everything is. Prior to this role, our company would contract out for development: we'd come up with a big list of things we want, and it would be done and deployed within a couple week's time, although it usually took many revisions to get right. Now that I am able to do this development work in-house, things go much more smoothly as I also work with the day-to-day processes the tool is used for, and I have a grasp on how systems operate within our office. It's very important to have database tools with a low barrier to entry, so I think there would always be some market for this; where it really shines is its straightforward reporting and form editing capabilities, along with its user-friendly query designer. Being able to generate complex datasets without having to think about SQL (though still being able to write SQL!) is powerful.

(as an aside, I feel that I'm ready to move on from my role, but my abilities with Access don't seem exactly desirable or hireable, and as the article describes, there's always a looming threat of it going away someday. I was given a title of "Database Administrator" from higher-ups who think of Access as some esoteric ability, although gambits for pay raise so far have been fruitless. I see it more like ability in using Excel. I have some experience with MySQL via personal projects and programming in PHP, but I wouldn't call myself a dba if I'm being honest with myself. I feel a little stuck by not having the abilities to match my job title when searching for new positions, and if I'm going to the trouble of getting a new job, I don't want a lateral move with the same compensation. The wise thing to do would be to learn competence in proper database tools. I'm young, without a degree, and any advice would be welcome)
Verifying listings is not a hard problem, Airbnb literally just doesn't want to, it takes a "we are just a middle man, hosts are responsible for their listings" approach. This is what makes them money, I don't think an Airbnb with only verified legal listings would be very profitable.
The Streisand effect strikes again!
Wow that overstock barstool link comes across as a scam itself.