skysight-inc/HackerNews huggingface dataset:
> You seem to think that philosophy is about settling issues. It's more about understanding the question better.

I'm not sure that's the whole story. The decline of logical positivism was a process of philosophers discovering fatal flaws with it and discarding it, no?

> I also think you're confusing Russell with Hilbert

Oops! Absolutely right!

> it is not accurate that Gödel destroyed Hilbert's project, just changed its nature (or, rather, destroyed the original understanding but not subsequent ones)

Perhaps you're right - I'm not qualified to discuss things like proof theory I'm afraid.

> if our mathematics can prove any proposition (including, say, 1=0) then it's rather useless, whether or not it's "valid" in some sense.

Sure, provided we can maintain the distinction between a situation where the 'principle of explosion' applies, and situations where we're merely adopting exotic axioms like in non-Euclidean geometry. I imagine this distinction is fairly straightforward in practice: either there's contradiction and inconsistency, or there's not. (Ignoring of course the question of how we could know.)

> I think that neither Brouwer nor that Wikipedia article says what you think they do.

Perhaps so, but doesn't the existence of something like the axiom of choice, disprove the law of excluded middle? (At least when it's applied universally.)

> beyond the formula (as a string). If the strings refer to anything, what is the nature of the things they refer to?

Ah, right. Well I'm not arguing against 'notions not notations'. The maths derives the same whether we use conventional symbolic representations, or not.

So sure, there's a correspondence to something beyond the string itself (and not merely in the sense that you can substitute each symbol for an alternative, a la alpha equivalence). Presumably the correspondence is between the formula, and some space of facts.

I see a 'problem of interpretation' here - some amount of 'you have to know what it means', such as with clumsy ambiguous mathematical notations [0]. I don't know if that's a serious problem though.

> deduction in a formal system (like first-order logic) is a nondeterministic computation

I'm afraid I don't follow. You can perform a derivation as many times as you like, you'll always get the same result, no?

> That they cannot settle non-computable problems is irrelevant, because neither can mathematicians, and whatever mathematicians can do, so can a TM.

Agree -- there's no good reason to assume brains cannot be simulated by computers (which is what that question boils down to, roughly speaking), at least in principle.

A surprising number of people disagree on that point though. Wishful thinking, I suspect. The same patterns arises in discussions of free will.

...and we're back to philosophy :P

[0] This particular bit of indefensibly brain-dead notation never ceases to bother me. https://math.stackexchange.com/a/932916/
I'll definitely be looking for contributors.
Agree fully. Such a great book, good thread to read from cover to cover. Many references to other articles/books.

Heck, for me it feels like it even has some suspense. “Ok, I now understood the single database instance and various ways data can be organized on disk - what can go wrong next? What problems are with more dbs?”

I never had this book-“feeling” with a technical book before, where you just want to continue reading it under your blankets at night. Love it and happily advocating it in the company. :)
Un-paywalled: https://outline.com/ZPBe47
If anyone has any questions, please let me know.
ETA: Seems this was meant to be a different kind of content warning. Whatever.

---

I don't know that specific series, but Greg Egan thinks ideas further than usual in entertainment, usually ends on a note that's neither down nor up, but nondescript and even nihilistic toward normal-human values, like setting yourself into an endless loop of trivial emotional experience of no more than a few seconds content in re. The author often plays with minds like that. Depending on your make-up, you could interpret the described personas as tortured people, or free, or ... whatever. Somewhat Camus-like. Just with hard sci-fi.
I'm a developer deploying code to JVMs running in a PaaS (Google App Engine). I don't know or care what the architecture is.
You may well be right about the civil nature of things in the early days being due to being composed of a small group of techies whose culture wasn't all that different from each other. Maybe it was naive of everyone. It doesn't seem like the worst thing in the world, though, to hope that even the most different of us could talk out our difference more and resort to violence and intimidation less. Maybe we're now seeing how wrong/naive we all were.
If they decide to legislate to read them, the fact that they're stored in a private company, on a blockchain, or on the surface of the moon becomes irrelevant.
> Since it doesn't provide any user interface that allows you to get insights from Segment data, you need to use a BI tool in order to be able to make use of this data which also requires you to dedicate resource and spend some time on it.

The reason Segment doesn't have a user interface for insights is because it has destinations. There's a slew of BI tools you can choose from the catalog as destinations, including Mixpanel.
Software Buyers Council
How to Make Your Organization Attractive to Engineering Talent
Apple to Close Retail Stores in Patent Troll-Favored Eastern District of Texas
Anyone handling PII is dealing with high stakes. That's not my opinion, that's the post GDPR world we live in. And that's pretty much everyone in the B2C space.
They may be socially liberal as individuals, but they are all too willing to curtail the government's ability to protect the rights of minorities. That's why they get classified as right-wing by most everyone except themselves.

For example, the libertarian solution to the Christian baker, gay wedding cake problem is that the government does not have the right to stipulate non-discrimination laws for public-facing businesses. Follow that logic to its natural conclusion, and we're back to segregated restaurants. Doesn't sound very leftist to me.
> I don't say that your story is not true, but those guys in your management are lamentable, they don't understand how much more could be done if they would not have those problems in first place...

In large companies with more layers between developers and the customer, this kind of dynamic can go on for a while.

I've seen it many times.
Compared to a car, T-Bills are much more liquid, and their value is stable over time and easily determinable. This is why they're the canonical example of a cash equivalent [0]. From financial institutions' perspective, they're more "cash-like" than cash, in part because they're easier to work with than briefcases of $100 bills.

> The author's assertion is that the government can borrow money, spend it, then print money to pay off the debt and somehow not increase the money supply.

The government can borrow money, use it to repurchase government-issued cash equivalents, then print cash, the the money supply will not increase. While private institutions prefer to use T-Bills for liquidity, they can use briefcases of $100 bills - their balance sheets would look exactly the same (because from an accounting perspective, cash equivalents are, well, equivalent to cash), and the Treasury's would be only nominally different. Maybe T-Bills would start trading at a premium because it's valuable to not have to deal with physical cash, but other than that, nothing would change.

[0] https://www.investopedia.com/terms/c/cashequivalents.asp
I think you should both check the project's readme, now :)

Anyway, yeah, where I work we use them. A lot.
Apple's latest iPad processors are competitive with low-end laptop x86 processors. And they have a much stricter power budget than a laptop. If Apple wants to go this route, then they probably have the capability to build the chips to support it.
Do you know python alternative for DiagrammeR? I've switched from R to python 5 years ago and dont want to come back
Hey I'm all for making sure for every last Diabetic is getting Insulin at an affordable price but do you think that changing our system to a Socialist one might be a little extreme?

On a recent Peter Attia Podcast ( https://peterattiamd.com/jakekushner/ ), Jake Kushner (Diabetic Specialist) says it's mainly because the US Government doesn't mind paying $300 + for Insulin (Medicare/Medicaid), so that's what the drug companies charge. In places like Spain it costs about $20 because that's all the Government will pay.

Even if the US Government gave Medicare to all, they would still (tax payer ultimately) be paying $300 + for a bottle of Insulin that costs $20 USD in Spain. What needs to happen is the US Government should demand a better price which should lower the cost for everyone else.

As an alternative for folks who need Insulin and can't get it, is it possible to go to Canada and buy it for $30 CAD (about $20 USD) a bottle. If you need a prescription just see a doctor there. They won't even charge you for a visit at a walk in clinic typically.
I think it's a smooth enough experience, yours notwithstanding. It's just that there aren't many server-side ARM options available, so we don't have much experience.
- Alice's Adventures in Wonderland

- Through the Looking Glass

- Lord of the Flies

- 1984

- Animal Farm

- The Little Prince

- Siddhartha

- Narcissus and Goldmund

- Crime and Punishment

- Frankenstein

- Dracula

- The Hitchhiker's Guide to the Galaxy

- The Lord of the Rings

- Gulliver's Travels

- Discworld "series"

- Zen and the Art of Motorcycle Maintenance

These come to my mind immediately. I'll edit and add more later if something else comes to mind.
I consider myself a pretty average Mac user, and I've already been turned off by the last couple rounds of Macs that Apple has shipped. Messing up the one remaining upside, x86 compatibility, would be be the straw that broke the camel's back. They still only have single digit market share in desktop computing, this could be the death blow for their platform.
AvE is a youtuber who is fairly specialized in the machine-shop sort of arena, but with wider-than-normal appeal because he is entertaining and just does some generally cool shit. He hit a million subscribers a month or two ago. https://www.youtube.com/channel/UChWv6Pn_zP0rI6lgGt3MyfA
The original article points out that you don't even have to use Facebook yourself for someone else to put your data there.
> This argument is obvious nonsense.

No, it isn't.

> There was no outcry to prevent Amazon from using general programs that were open to all applicants, the problem was with the special extras they negotiated.

People were outraged over the $3B. Less than 20% of that was special extras for Amazon. I don't think anyone would have been any less outraged if the number was $2.5B instead. Particularly since most of the arguments boil down to "billion-dollar corporations don't need tax breaks from NYC/NYS".

> There's no reason to think that Amazon would have been facing opposition if they'd just announced a new project in LIC and applied for the normal programs.

Yeah, because nobody would have known. Look at all the people who assume other large companies in NYC don't get any tax breaks simply based on not hearing about said tax breaks.
Yes, I can imagine that would be difficult.
> I’ve certainly heard of bugs that the simulator doesn’t reproduce because it’s not ARM.

And that isn't enough to get people to demand an ARM emulator. In fact, Android developers hate the ARM emulator and prefer the x86 simulator—more evidence against Linus' assertion.
I'm on one of my Macs pretty much every day

Only thing I ever fullscreen is Netflix/Hulu/etc

can't imagine a miniscule dark spot at the top of the image bothering me
They send the header, but with which value? I probably didn't express myself well enough, I want my browser to send the "DNT not configured" value.
And how often do you find, when your cards don't work, that the local coffee shop, hotel, or train station accepts bitcoin?
I'd say that I'm not worried that the discourse is full of revolutionaries. I'm more concerned that the extremist tactics and justifications that the worst of them have used in the real world have carried over to the internet, and we get into the same old arms race where everyone has to copy the tactics of the worst actor out there, or get swamped by them.

To truly have empathy for all is indeed a hard problem though.
This headline has been modified from the original, and is a mischaracterization of what's happening here. Facebook isn't collecting this data, rather the authors of many popular apps are sending these statistics to Facebook's analytics tool to better target with ads. The article explains Facebook doesn't want these companies sending users' personal data to them without their knowledge.

They are not completely absolved of blame because they should be monitoring for personal data (somehow), but the app developers should be to blame more using this data without users' knowledge.

Now if Facebook were to use this data for their own purposes, we'd have (another) real scandal on our hands.
This headline sounds like it's from an HN headline generator
You're definitely right about that, but projecting the color space onto a cube and then seeing how it distorts everything has a certain visceral feel, like looking at the Mercator projection and seeing huge Greenland and tiny South America. You know all map projections are wrong, but the Mercator is wrong in a way that lays map projection distortion completely bare.

Without seeing the cube viz in my link, I'm likely to look at CIELAB and say, "oh, sure, but you can just take out the brightness and then it's all flat again." The cube makes it clear what happens when you do that.
Again, these are all things that a sideloaded APK on Android could do, without requiring an enterprise certificate, and requiring fewer steps.

I consider the phone to be firmly mine when I pay almost $1,000+ for it, and I want to be able to install whatever applications I want, not what Apple says I can have.

You've applied the term "nefarious sources" to a third party app store, to which I disagree. Do you take the same approach with your laptop? Can you download an exe or app from third party websites without having to go through a manufacturer approval process? I
In early 2000 Java promised to be write once, everywhere. By the time it was between Windows and Sun.

20 years later we have finally reached this point for business applications, be them in Java, Python, PHP or some other VM based SDK.

The mainstream development future is in Lambdas and other such containerised technologies. If you can run Docker or similar "home" you can also deploy. Our DevOps models have radically changed and not sure if he realises this.
I've found that the issue of re-acclimating to context has more to do with the quality of my notes than with the complexity/simplicity of the question.

In the course of figuring out something complicated, it's sort of like a tree traversal. If I take good notes on the leaf nodes I need to fill out, then it's easy to just resume right at the leaf node. If I don't take good notes, I have to retrace the rest of the tree.
Why should it be antisocial or uncomfortable? I also prefer to see my family in real life than by telephone, but that does not mean I find phones antisocial.

To repeat my point: I understand there are advantages in working from home, and that for some people the way of socializing may be one of these advantages. What I found surprising was that pault did not understand that I prefer personal interactions when there are slack channels.
Names for colors or kinds of automobile are also just labels we attach to whole spectra of related things, but the words still have meaning and we are able to use them productively.
The counter-argument to that is often something like, "Well, people just won't patronize the segregated establishments, because who would support that?!", and with that, we've demonstrably already lost touch with reality.
This is one area when the functionally can really be improved over what reddit implements. Having a moving window of time to sort within is an amazingly useful feature for sorting out trends or lost articles. The expanded granularity would be very much appreciated.
Ask HN: How to Display Date on Chromebook Task Bar?
By default, it shows the time, but not date. Date only shows up after clicking on the time. Is there a way to show date next to the time?
haha. if i was walking outside and ran into wolfram like this, i'd fucking bookdrop his stupid ass laptop and watch him cry and freakout. I work in town with wolfram HQ, have had relationships with folks who work very closely with wolfram. As you could imagine he is a fucking nut case haha.
It would be more clear to call it time travel.
That must be why Manhatten smells like poop and garbage in the summer.

When I was in NYC for an internship. I remember sitting in Central Park enjoying a warm humid breeze that smelled like being at a garbage dump. Blech.
I consider that argument irrelevant. I shouldn't have to justify the apps that I want to use to you or my phones manufacturer, just know that there are (or maybe) other apps that I wish to install, that Apple (or you) may not necessarily approve of.

When I pay $1,000+ on a phone, I don't want its usefulness to be restricted to what Apple says I can do with it.
How long will it take to get to profitability doing something like this? Really interested in the business model part of this and how the numbers pan out.
Was about to say the same thing. Seems like he's slipped right back into his long-established form of discourse. It's always entertaining to read, I'll say that much.
Had a very similar experience at a previous company as well. At the end of the renewal meeting, we left with no indication our issues would get solved and a quote for a 4X price increase. We churned.
His argument doesn’t hold up to iOS and Android development.
I'm from the midwest, and the thread seemed consistently right-wing and reactionary to me. I don't encounter people with... let's be charitable and call it "controversial" politics like those of the typical Culture War Thread poster in my day-to-day life, so what exactly does Scott think is an appropriate contrast to the liberal bubble he thinks dominates west coast tech culture? East Texas? A Trump rally?
> For Android development on the other, you don't have a good simulator, and the out-of-the-box dev experience relies on an x86 emulator of the ARM environment. In practice this means that in your day-to-day Android development, you're running the compile-run-test cycle by looking at your actual ARM device all the time, because the emulator is dogshit. I wouldn't really call it cross-platform development in any traditional sense, it's more like remote development, and a bad experience.

This hasn't been true for years. The emulator shipping with Adroid Studio uses an x86-based image, and it's very, very fast as a result.

Android's emulator even has quite a few more features than iOS's simulator, such as mock camera scenes so you can even develop apps that rely on the camera on the emulator.

If anything these days the Android emulator soundly trumps the iOS simulator on all interesting metrics except maybe RAM usage. But, critically to Linus' argument, they both use the same architecture as the development machine.
Yea, ARM really needs some standardization around that area.
I have a fundamental question. Do people think the move towards 'serverless', this desire for some percentage of developers to not have to worry all that much about the low level infrastructure their code is running on) to die? To accelerate?

It seems somewhat clear that some percentage of developers are interested in a fundamentally higher abstraction than what operating systems have classically provided. In a world where that's true for not just a small few but for most developers, it seems that something like processor architecture could be abstrated away. It's not like it's particularly easy to replicate serverless deployment environments on developer machines today, and yet it persists.
Frankly a good CEO would not tolerate this bullshit or promote people like this. My guess is people there are promoted on technical merit alone which means that there must be a lot of smart fucking people there but with obviously poor task execution skills.
That's why smart contract languages should be simple and analyzable by third-party tools and provide statically verifiable guarantees that are readable by ordinary humans.

That's also why current smart contract languages are largely failures.
If you're thinking of Enron, Andersen Consulting and Arthur Andersen were even before then pretty much separate entities and in some cases were competitors. Andersen Consulting formally completed the separation from Arthur Andersen and became Accenture in 2000, a year or so before Arthur Andersen collapsed in the Enron scandal.

Disclosure: Worked for Andersen Consulting early in my career.
I like it! I think it cuts closer to what I think people generally should inow at the very least.

> An obvious question is, _Do you need to know the difference between a regular language and a context-free language if all you want to do is write some code that recognizes balanced parentheses?_

You have a real talent for motivating the conversation around theory. I like the subject matter so I rarely need more than: hey, I think this is cool. But when I share it with others it says all the things I can't!
Flashback to 1999: Corel Netwinder tried to bring Linux to an ARM developer box. Still have one in my drawer. I guess we're still working on it...
The cash traded for the T-Bills will be spent in the general economy, but the T-Bills themselves, which are equivalent to cash from institutions' perspective, will no longer be spent. There's no inflation because these impacts offset each other. The Treasury's balance sheet would nominally change, because it accounts for cash different than outstanding T-Bills. Non-government institutions' balance sheets wouldn't change at all, because T-Bills are cash equivalents [0] from an accounting perspective, which reflects their usage in practice.

[0] https://www.investopedia.com/terms/c/cashequivalents.asp
It was more a sincere question than a suggestion. I haven't written any serious Go since aliases were added and have never had any need for them so far.
Here's a counterpoint to that: Airbus's Lesson to Young Socialists:

https://www.wsj.com/articles/airbuss-lesson-for-young-social...
I think part of the reason for this is just the period of dislocation that we're living in. I mean if the culture war thread was around in 1967 what kind of things do you think you'd find in it? It would have been much worse than what people write today. 7000 buildings burned in the city of Detroit and the president had to send in the 82nd and 101st airborne divisions to put down the rioting. What would those people have said on reddit? Now, things are changing again, and people are dividing into camps. In other words I think that the external situation is driving the online discourse rather than the other way around.
All you need is one place willing to accept it and give you local cash. I also usually bring USD because there is usually someone in every country who wants that. But securing physical cash is a hassle and if Bitcoin became more widespread I'd stop bringing USD.
I couldn't either, but on the Wikipedia page[1] for Hayabusa-2, there is a gif of the flight path. Maybe it took 3.5 years to achieve proper alignment/speed to land on the asteroid, but due to the larger size of earth and the position of Hayabusa-2 when it begins its return, it will be much more straightforward?

[1] https://en.wikipedia.org/wiki/Hayabusa2
I don't understand what I'm looking at, other than the option to view the page as it appeared a day, month, or year back... or a day in the future somehow?
Wealth Guru Plans Dutch-Style Car-Free Bicycle-Friendly City Near Boulder, CO