skysight-inc/HackerNews huggingface dataset:
This is unfortunately a widespread interpretation of Wittgenstien's philosophy of mathematics, but it is not a very charitable reading.

Wittgenstein emphasised on numerous occasions (for example directly at the beginning of his lectures on the foundations of mathematics in 1939) that his interest in these proofs was _philosophical_ and that he never intended to criticise any of them _on mathematical grounds_. He explicitly said that his aim was not to interfere with mathematicians, but to investigate the _philosophical conclusions_ drawn by these mathematicians from their proofs.

What exactly Wittgenstein found problematic is hard to describe in a short comment, because much of it depends on Wittgenstein's view of philosophy as a whole, but one example is the platonist bent of Gödel's theorem and his conviction that there are some mathematical "facts" that can never be discovered by mathematical reason. Wittgenstein wants to ask what it means to say that something is "intuitively true", but not provable in any consistent system, but he does not want to object to Gödel's results, merely its "standing".

In Cantor's case Wittgenstein is interested in the concept of the transfinite and of infinities "bigger" than other infinities. He does not object to Cantor's proof at all, but regards the philosophical conclusions drawn from it with suspicion.

(One good example of a philosophical abuse of Gödel's theorem is the argument that computers will never be able to think like humans, because Gödel's theorem demonstrates a limit to what any computer can do as a formal system, but we humans can nevertheless grasp the unprovable statements as intuitively true. This is basically the argument by J. R. Lucas. This is the kind of philosophical nonsense that Wittgenstein wanted to attack and his position on these matters is coincidentally quite similar to Turing's position, who was a student of Wittgenstein's lectures on the foundations of mathematics.)

It certainly did not help that the so-called Remarks on the Foundations of Mathematics are in some parts highly selective constructions by the editors of his posthumous writings.

tl;dr: it's complicated. Wittgenstein never objected to the mathematical results by Gödel and Cantor, but he thought that their results were often blown out of proportion by shoddy philosophical conclusions made on the basis of these perfectly fine mathematical arguments.
I don't like having to be on call 24/7 either and would prefer to work on a team that has 24/7 ops, so the devs don't have to do that. However, in the case of a startup where the devs also do ops, what is the option? I don't understand the part where you said that this means something in the company is not working and needs to be fixed if devs need to be on call. What happens if something goes wrong with an environment and an auto restart doesn't fix the issue? I am curious because I'd like to have a better answer for potential startup opportunities that won't spend money on a 24/7 ops team and ask this of their devs.
China's Mars rover starts roaming the Red Planet
> This is the equivalent of not playing with the kid who can't play fair or follow the rules.

More like the equivalent of the school bully threatening to beat up any kid who plays with the kid he doesn't like.
Yah there's another aspect to that, too, which is that American startups are in my experience better managed than in Canada and the investment and startup community far better in the US.

After working at a local startup it becomes clear that most of the founders all know each other, went to private school together, etc. etc. it's kinda gross. A bit over a decade ago I worked at one, had a bad experience, and then went to work for a New York HQ'd late stage startup -- higher pay, good management, decent people, decently managed, and was acquired by Google a year later.
I don't see how that is an issue. Exercising options is a form of income. Why not pay tax on income?
it's absolutely a weapon.
Brave Portable
It seems like "Principal Engineer" is the new "Architect".
Pardon the late reply.

I've been successfully using Mathpix Snip [1] to do general OCR for quite some time.

It's not as well communicated as its initial purpose of applying OCR to LaTeX equations, but it currently supports much more than that, such as mixed text/math and tables.

On a personal note, I'm actually surprised it wasn't mentioned thus far in this thread.

See more discussion here on HN in [2], [3].

[1] https://mathpix.com

[2] https://news.ycombinator.com/item?id=16535358

[3] https://news.ycombinator.com/item?id=21871780
Making a “MiniKanren” using Z3Py
> Is it expected in IRC channels that whoever started the channel owns it forever? What do they do to prevent people from quickly founding a channel around a new topic and squatting on it?

It's been a long while since I was a regular IRC user and my channel was banned from channel services for reasons, but my understanding is that all the registrations have timeouts. If non of the channel operators show up in some period of time, the registration is cancelled. I'd imagine somewhere between 7 and 30 days would be the norm though.
Why should a working persons age or living arrangement cause a devaluation of the work they are doing?

Yes the instinct is to pay teenagers less because we generally cannot fathom them capable or experienced enough to do “real” work. But does this set the stage for the devaluation of entire classes of work because they’re seen as “for teens?”
That, but also the entire GSEs edifice, the Fed’s MBS purchases, and lots more.
That's what every Swedish student's income is like :).
This is a pretty ridiculous statement as someone that has lived in multiple countries including the US.

I would put forth the First Nations in Canada where many reservations yet have a source of clean drinking water despite gov’ts promises for the last couple of decades to help them with it.

And to compare being poor in the US with the Third World is also shows a lack of knowledge. When you’ve lived in places where the govt will do nothing for you and the only source of relief is the charity of neighbors or NGOs you’d learn to appreciate what America offers.
So what do you recommend to people who are in a poverty cycle but want to feel they’re free humans, not economic slaves?
Ask HN: How important are real time analytics?
Hi

I am working on a very rudimentary analytics tool for a couple of projects.

I only capture page views, unique visitors (a hash), referrals, timeOnSite, agent info, load time for each page and every hour I aggregate the result and store them on a CDN. I also have some alerts that are triggered and sent immediately.

This leads to a cost effective and simple solution... but I am totally missing the real-time statistics, so far I am ok with this, I only review the results once or twice a day or when an alert is triggered.

But I was wondering if there is something important that I am missing without the real time information?
Why is the real time information useful for you?
How much do you spend reviewing the real time analytics?

Thank you.
You can't make a human being feel psychological pain since the perception is individual. Once in a prison where their medical, food, and financial needs are 100% assumed by the state, they might find their lives better.

If they believed the world was so unjust that they went out and committed horrible crimes in the name of self-satisfaction or their personal beliefs on how to make the world just, they might just sit in a cell and feel good about what they did in perpetuity.

People like the Unabomber continue to sit around and pen manifestos justifying their own actions because of their political beliefs.
The military has anti gravity and zero point power. Both nearly 100 year old pre WWII tesla experiments. Imagine how far they've come in 100+ years.
I skeptical of news stories that ask the readers to play juror based on a reporter's one-sided take, often a lazy one designed for clicks.

Sometimes it's necessary, but most of the time it's just generating a lot of low-information outrage.

(This is apart from the larger question of whether we should abolish the death penalty. But that's not really news.)
Thank you for supplying this plethora of information with corresponding cited sources. This is not a normally upvoted topic on HN and seems rather strange that it popped to the top page so quickly after being submitted (less than an hour).
And yet, they are also true if they are statement of fact:

"More than 80% of people who drank water even once in their lifetime have died!" is a true statement of fact (if you follow the accepted estimate of ~100 billion humans ever). Does it communicate something incorrect? That very much depends on the reader.

Truth vs. Lie, especially by omission, is so context dependent that there's no objective measure one can use.
Show HN: We're live on Slack app directory with 50+ teams using Poppins.me
We're Live on the Slack app directory!!!

After waiting for a few weeks, Poppins have been listed on the official Slack app directory, now teams will be able to search and download Poppins app directly from Slack.

Thanks and a huge shout out to all our early users and teams for trusting us and using Poppins even before the launch ♥

We have been getting a great response from founders and leaders who are facing the problem of information overload on Slack.

We look forward to serving more and more users across the globe and build Poppins with them.

At Poppins.me we're making Slack digestible for founders, leaders and their teams. To know more: Https://poppins.me

Thankyou!
My friend once registered the domain "myan" in the top level domain "us". All sorts of adolescent hilarity ensued.

I see the domain is now available.
Not only that, the article isn't about the robot carrying out anything. This is about the ambulances starting to carry this particular machine, not about the machine actually having been deployed.
Why is Japans' real estate a "quagmire" and why would unemployment be 50% when Japan post 1990 averaged 3.5% (with a few short-lived peaks up to 5.5%)?
Of course, this is a ration position to hold until yourself or someone you care about is the victim.
So it's a waiting game basically.
I'm tired of this completely wrong argument.

- Encryption doesn't stop law enforcement from having backdoors at key servers, and they do.

- Also we're discussing a financial transaction instrument, which REQUIRES MASS for it to make sense (for it to be valuable for transactions).

- While you can roll your own unique encryption and communication channel and authorities won't know a thing.

So no, situation is completely different with encryption.
Golden Cove is intended to support many-core AVX-512 deep learning inference, via, for example:

https://NN-512.com

You can easily and efficiently use 80 cores for inference
Introduction to Client-Side Frameworks
Can these coins be detected and blacklisted? Pretty pointless to do something like this on BTC.
Look also at the sanctions we imposed on Iraq after the first gulf war. Conservative estimates put the death toll at a quarter to half a million CHILDREN alone. I guess those kids should have risen up and overthrown Saddam, because that’s what the sanctions were conditional on - his removal from power.
Reggie Watts to Barack Obama: What's with Dem Aliens?
Its way more simple than you think. Lower taxes just lower the yearly cost of a house. That means you can get a bigger loan instead.
The "good" neighbor/citizen is the one able to explain how to improve on a flawed rule.

The avoidance of conflict extends to an avoidance of even merely justifying oneself, or of any "rational" (rikei) discussion.

Almost each time I start a rational discussion with somebody in Japan, except in an engineering context, I get a very negative reaction and I'm seen as a trouble-maker.

I don't think it is very sane to have rules that virtually nobody dares to refine or fix.
A good dark roast is often oily, so they tend to go rancid in a span of months unless hermetically sealed
Thanks, interesting suggestion :) I'll think of a best way to add such information. I'll probably have a page with all useful chess resources I know.
I don’t know anything about IRC, but it seems more benign that that: the person who ran ##hntop abandoned it for another platform, so the guy who runs its sister channel, ##hnnew, recreated it, because they naturally go together. Calling this “abuse” seems like a stretch to me.
Just don't forget that the guy who wrote the Best Paper will probably review your articles in future.
But if you view your work as something that you do primarily for yourself, you end up with a net gain
Being worthy is a much higher goal than many.

Reminds me of Pratchett's character Mr Nutt in Unseen Academicals.
I guess I do, but in academia (and in Europe). Is it different in the U.S.? How many years worth of a professor salary do you need to buy a house in a major city?
Thanks for this excellent alternate perspective. The inclusion of the facts that CNN conveniently left out makes this verdict look a whole lot more reasonable. But balanced perspectives don't drive outrage clicks I guess.
Wrong. There are people who chose to not have kids and don’t deny that. They chose to give up this part of humanity on their own. Other people probably rationalize this differently because they can’t admit to themselves they’ve given up anything.
Hire for it? Don't coerce your employees into doing something you you don't want to pay for?

What most people don't think of is that when you're on 24/7 duty your salary is less than half of what it should be.

Halfway decent enterprises will reimburse you for off-hour duty usually at multiple times your normal rate plus a minimum pay. Or just hire someone in a different timezone.

The reality is though, most people don't need panic calls from their CEO at midnight and the company would still do perfectly fine without it. There really is no excuse for this.
It's a cost/benefit ratio problem. Other crypto currencies can achieve the same goal for a tiny, tiny fraction of the energy costs.

As well, what major difference would there be to the world if bitcoin vanished overnight? What real-world value is it providing to us?

I don't see the costs of bitcoin being worth the benefits.
Can you be very smart and hack your way into halving your monthly rent?

Yes, by splitting with someone else, or worst case moving.

Can you be very smart and buy a really good potato that will last you for years?

Yes again, by cutting and planting it, or at least part of it.

Can you be very smart and negotiate a better rate for the utilities you pay?

Sometimes, by moving to a lower cost area, or by shedding unnecessary usage and getting cheaper options. Get slow Internet instead of cable TV. Use an older phone on a cheap cell plan instead of the latest flagship on a subsidized plan. Take shorter, colder showers. Turn the lights off.
This article isn’t about if you should join a startup vs. a big company. It’s about if you should join a startup vs. a FAANG company, which offers outrageous compensation & benefits. From that perspective, FAANG is the obvious choice 99% of the time.

The more and apt comparison would be if you should work at a startup vs. a corporate job at a HP or Qualcomm. At those type of companies, compensation is not competitive (they often off-shore), benefits are tight, and the work is not interesting. It could very well be argued that a startup, even with high probability of failure, would be more fulfilling.
Exactly! But it could be that a company like that is just really hard to run now. Investment very difficult to get and potential talent eaten up by FAANGs.
We walk around on phone calls.
> What has the network produced in the real economy?

It has lessened the impact of economic sanctions imposed on a nation. I think that's direct proof of how valuable cryptocurrency is. People should be free to trade without some country imposing bullshit sanctions on them.

Someone should tell them about Monero.
Wasn't Lee reported as asking around the neighborhood for tools immediately before the person was murdered? Someone else's DNA being on the murder weapon isn't particularly surprising if that weapon wasn't owned by Lee.
I submit to you that a lot of folks buy things they don't really need or end up using \_(ツ)_/¯
Yep, get you too, I just stay away from it. But yeah some ideas ain't good enough to pursue
The concept that money is required for investments that save money generalizes to nearly everything. Buying groceries in bulk is cheaper, but requires more money at once. Preventative maintenance on your car can be much cheaper than only repairing things once they break. If you own a home in a place that sees snow, insulation and oil/gas heating (as opposed to electrical heating) can save lots amounts of money, but are expensive to get.

If you don't have any money right now you are often forced to make decisions that cost you more money later, which sets up a vicious circle.
> There’s an outage on a Sunday morning. A huge Slack thread starts. Devops and devs on call manage to fix the issue. Principal engineer gets involved ACKing other’s people comments, adding thumbs up emojis, and at the end says “Big thank you to all the people involved” (plus a rocket emoji)

Just want to call out how accurate this is. The last place I worked was full of this kind of person (as managers, wecdid not have a principal title), and the description, right down to the emojis is bang on!
Yes, if one views the package marketing at your local truck stop (and probably not at your family-friendly Pilot) it is quite obvious that it is a versatile tool, and you might even use it on occasion to check tires.

But, yes, it is manufactured and market to thump one thing: someone’s skull.
They're not all that bad. I've worked in a horrible startup before and they absolutely forced everyone to work harder with longer hours instead of working smarter. We had a few ~12-16 hour deploys that started after a full work day where the entire engineering department was required to stay and the oncall was brutal 2 week long slogs because no effort was allowed to be put into actually fixing stuff.

But on the other hand, I've also been at ok jobs that were pretty great companies and the one I currently work at is absolutely amazing and it's a joy to work at. The pay has been pretty awesome as well.

Larger companies in my experience can be soul crushingly beaurocratic and the slower pace means your skillet grows more slowly (no big tech companies in the valley, just some large public companies after startup acquisitions).

It's just anecdotal from my experience and I'm not really sure how big of a haystack the amazing startup needles are in but they are out there. Work is work, but you spend a huge portion of your life at work, if you can enjoy it thoroughly, you can live a happier life.
Or, in other words, it’s expensive to be poor.
I'm at a start up and the owner has no intention of going public lol. Oops
The Federal Reserve's overt mission is to dump new money into the economy to create inflation. But since they only pump it into the overgrown financial sector, we get asset inflation rather than general price inflation.

Every time interest rates are lowered, land prices go up, because the monthly (financial) rent remains the same. Similarly with down payments (20% -> 5%). The next step will be lengthening mortgage terms past 30 years. Each of these steps is aimed at making it more affordable to buy a house, but economic feedback makes sure that is only temporary. Meanwhile as asset valuations go up, one's ability to ever pay off that mortgage goes down.
Usually a generic happy face is yellow. I don't think it has anything at all to do with race.

It makes sense that that's why they made the other emoticons yellow.
Elixir Desktop
Same in Western Europe. Housing is almost unaffordable now after the ECB money printer sprint and free loans from he local banks.
Switzerland, funny enough, is quite capitalistic and very big on generational wealth you will never participate in as an immigrant.
I had the same thought but I ultimately had to choose between an F150 Lariat w/ EcoBoost or a near base model Tundra in the same condition for $8k more. So I decided to take a gamble on the turbos.
Yes, for sure, back in the 90s I fantasized about getting to work for a company like that. Just working on really neat tech, and getting to have some creative input and some technical excitement. I'm sure companies like this exist still, but the term "startup" and the investment around it seems to have been swallowed up into the kinds of things you mention.
A recent post with comments on other options in the space:

https://news.ycombinator.com/item?id=27235970 (comment: https://news.ycombinator.com/item?id=27242148)

Vosk seems to be where the brains/efforts behind the CMUSphinx project went, but I'm not sure -- it's been a long time (like ~10 years) since I used CMUSphinx but it worked reasonably well without much actual optimization way back when I used it -- it's possible/likely that the project is just mostly done and good at what it does. I think a lot of the team/people in the space have moved on to trying to use machine learning to solve the problem rather than the older model-based approaches.
Maybe it's simply my lack of Rust experience, but the HTML builder syntax turns me off to this. I don't want to learn this library's APIs simply to build HTML; at that point I'd rather just manually create and manipulate DocumentFragments - especially since vanilla js still seems more performant according to the linked benchmarks:

https://rawgit.com/krausest/js-framework-benchmark/master/we...
Oh Mac and Cheese!

Any one else here have parents put random stuff in your Mac to "balance the meal"?

Mac with tuna. Mac with peas. Mac with what EVER was handy.

Oh it brings back memories.
This is not a healthy way of looking at the world. There are good people anywhere you go.

When you choose to disconnect or blame or shame them for the actions of others, your world and understanding of it grows smaller. And who do you think benefits from that?
More generally there should be more legal paths towards stays of execution even if new evidence does not yet on its own reach the standard necessary for an appeal or retrial. Not having these paths to me seems cruel and unusual.
I'm only learning now about all the other posts lol https://hn.algolia.com/?query=The%20Polygons%20of%20Another%...
> Security is absolutely necessary in down towns. In LA, it is out of control. You can't even go inside a 711 without being harassed until they hired guards.

At which point the need was filled. No dystopic community mercenary forces were necessary.
1, only applies if you are right about the verdict, which we can never be sure about. In fact execution almost guarantees that the criminal will re-offend if he is watching an innocent man being put to death for his crimes.

2, Its significantly more ethical to potentially give some of an innocent persons life back and make some restitution. Than none.

3, There is never cases where we are sure; There can always be new evidence or a new way to look at old evidence that changes the amount guilt or innocence. To think you can be sure for all time about a set of events, even if you were there, is just wrong. If we replace reasonable doubt with no doubt at all then No one would be convicted of anything.
There is/was a significant Mormon contingent in the Ruby community, all the way up to Matz.

I've worked with a lot of Mormons in tech. You may have too and not realized it. In my experience, they tend to not put an emphasis on it, it's a more private thing.
Right? For instance, you have this scale of value:

$800 car < "a damn" << $800 cash

An $800 car isn't worth a damn, and a damn is worth a lot less than a wad of cash totaling $800.

Yet, being poor is expensive, so the poor person forks out $800 for a car that isn't worth a damn.

(Reference to "Being Poor": https://whatever.scalzi.com/2005/09/03/being-poor/)