skysight-inc/HackerNews huggingface dataset:
> The basic question is are mathematicians fundamentally discovering mathematics (Platonism) or creating mathematics (non-Platonism)?

My main issue with mathematical platonics is not whether we are discovering or creating mathematic (which seems to me as semantically empty question), but whether existence of matematical object is an absolute property, or a property relative to a specific model/structure, and whether some models are metaphysically exceptional, or all models are metaphusically equal, only some are more convenient to use, so they are more worth studying.

Consider some poly-platonist, who thinks that both natural-number-structure and non-standard-number structure (and both models of ZFC+CH and models of ZFC+non-CH) exist and are "real" and "tangible", and we discover internal relations in these structures as mathematical knowledge.

> Or to put it another way, the abstract notion of "counting" seems to exist objectively and outside of our formal mathematics theories, and our formal theory of natural number is really trying to describe "counting" rather than create the notion of "counting" from scratch.

I can say that we all have clear informal concept of what are natural numbers, just limitations of logic prevent us to formalize that.

But i cannot see how such argument can be extended to set theory, where are plenty of arbitrary choices how to axiomatize that (e.g. ZFC vs. New Foundations).
I'd ported the emulator to WASM from one I'd half written a few years previously, and engineered myself into a corner (+ like I said, not a web programmer)

The emulator ran in the worker, and the inputs were handled on the main thread.

The output (i.e. display) was pushed from the worker -> main thread

I think if I was to do it from scratch I'd do something similar to the DooM approach here and use renderAnimationFrame etc

If you're interested I wrote about it a few years ago but haven't touch it since https://djharper.dev/post/2018/09/21/i-ported-my-gameboy-col...
Fast food in my area starts at $20/hr in a flyover state. They still cannot get employees.
Argument switches in every reply don't make for a good debate. Like I said this can continue indefinitely.

Cuba has never been a nuclear power. Maybe check this https://en.m.wikipedia.org/wiki/Cuban_Missile_Crisis
Hosting stuff that hosts content some people find "problematic" has its own additional layers of difficulty. Amazon is completely willing to dump you if they disagree with you.
Well, remove their voting rights then if you think that they are too stupid. Why should I be the one who suffers?
Or just the typical "dramatic re-enactment" would still suffice?
Yeah, actually, yeah, sometimes it is.
But there is plenty of oil in Russia! Why invade?
Interesting. Charging someone for a crime which _could_ have been committed....
You're precious. Why don't you tell me what else my eye doctor has never diagnosed me with?
The problem we actually need to solve is how to divorce the concept of free speech from private companies. For some reason, it's almost ubiquitously believed that the "Internet" is actually just Twitter, Google, Facebook.

How can we, the tech literate, start to explain to our friends/family and eventually the world, that the Internet is actually an interconnected network of computers that no one person or entity controls?

Honestly, I fear that even among us, we have large groups of uninformed people who believe companies like Google and Facebook are more than just leaf nodes on the graph, and that worries me. If knowledgable people can be this wrong, how can we expect the uninformed to get this right?

I worry about the future of tech, if the discourse on HN is any indication of how the greater tech community feels. The idea that Google is an integral part of using the Internet to express oneself is not only completely wrong, but actively harmful, and I have no clue what to do about it.

"The Net interprets censorship as damage and routes around it". John Gilmore's statement has seemingly gone out of vogue, but it remains true. Google cannot stop information (good and bad) from spreading, so why do people think they can, and how do we disabuse Americans (and the world) from the notion that Google has that power?
pro tip: don't tell other people about their own experiences unless they ask you, and you're a professional.
I'm on the fence about letting people choosing non-approved vaccines cross the border.

AZ should at least get some sort of certification from the FDA that it offers an adequate immune protection. Might still be unsafe to administer to the American public but good enough to allow in.
> If labor is 30% of your costs then you could pay 20% more by charging 6% more for your finished goods or services.

right, businesses are all malign and evil, and they could raise their prices by 6% (without losing any business), but they just haven't, because they prefer to... have an excuse to pay less?

> But you say Susan doesn't want to work full time she has other responsibilities, other jobs for example!

any of my staff who didn't want to work full-time usually wanted to spend more time with their kids. or take classes.
Doesn't hurt that there's hardly any blue in that image and it's dialed down almost to black.
With this processor when you get pwned you get pwned hard - that's what I see happening anyway, but I have no domain knowledge so I could be way off base.
I was in a town house association at the time of the housing crisis. It wasn't terrible for this given neighborhood but a number of folks who suddenly couldn't sell wanted to rent.

There was a cap on the number of rentals, but it was also discussed that not letting people rent would mean abandoned units, other risks, folks not paying their association dues. And nobody really wanted to shaft anyone who were already likely in a tough spot. So it was decided additional rentals would be allowed upon request.

But they had to go through a service that did a background check, no super short term leases were allowed (the rate of folks skipping out on those in the area was super high at the time) and etc.

The whole system was operated with much the same idea of the article "the large-scale conversion of housing units into short-term rentals undermines a neighborhood’s social organization".

It worked out pretty well in the end. Only a few foreclosures happened and the number of problem renters was fewer than the original units that were being rented out.

After a while those 'excess renting units' sold and things stabilized renting wise.
Wouldn't you rather have kept that money instead of paying for others not to work? I know I'd rather have more in my paycheck if I had the option.
Speech is violence nowadays. Silence is also violence.

One of these days, I'm going to go live in the woods and no internet. People clearly do not want a free society anymore so I may as well just check out.
Are you saying lying is necessary or just that it's pervasive?
What I was trying to say is that embargoes are only adding to the troubles of the people, and further strengthening anti-US sentiment.
Why not just get Pfizer or Moderna?

They were available at the same time.
I agree, for an advanced species space habitats seem far superior to planets. A constant supply of free energy (solar), easy access to endless metal (asteroids), no earthquakes/tsunamis/volcanos/wildfires. If we're talking far-future, to me the Culture and their Orbitals represent the ideal utopian endpoint for humanity.
It's weird to think there was a time when practically everyone had dot matrix printers and custom banners adorned every gathering…
I'm switching from Gmail to Protonmail so I don't have to worry if Google thinks my messages or those of my friends are misinformation.
Personally I find paxos more understandable. For example, KTH have a really nice incremental development of Multi-Paxos called Sequence Paxos: https://arxiv.org/abs/2008.13456
That was my first thought when reading this. On numerous times I've been watching a stage show and can see everything great. Then the lights turn blue and it's just a blue blur.
BSDs are not just sticking to what UNIX was(let's say v7?). They are also doing their own thing.
I think whoever popularized “slippery slope” being a fallacy was an evil mastermind.

It’s empowered countless midwits the ability to blithely dismiss valid sloppy slopes with “nuh uh! It’s a fallacy!”
How long until this applies to Gmail?
> I suppose limiting sharing might be justified. But limiting access and/or deleting own files is outrageous.

It's definitely not just a hypothetical risk either. In the last month, Facebook blocked me from distributing my blog post on Django best practices because they claim it violates their community standards. It's literally a post about how to structure API code, but now they're claiming that it's advocating for genocide or something and there's apparently no one to appeal to or any way to reverse this.

For reference: https://alexkrupp.typepad.com/sensemaking/2021/06/django-for...

https://developers.facebook.com/tools/debug/?q=https%3A%2F%2...
The payout should come from the company that has the vulnerability, not US taxpayers. So basically there needs to be a law that states that if you run critical infrastructure, or hoard personal information on US citizens then you are required to set aside X dollars to pay white hat hackers who find vulnerabilities.
Biden: Social media platforms are killing people
Library for diffs, patches, and merges for text and objects in JavaScript
> They also only polled 463 people and are extrapolating the 1.8 million number based on the fact that 13% (~60 people) included "unemployment insurance" as one of the factors that influenced their decision.

463 people drawn from population of 14 million, assuming unbiased sampling, with a 13%/87% split on their answers to a yes/no question would have a confidence interval of about 3 at 95% confidence, so it is reasonable to conclude that the correct percentage is probably in the 10-16% range, or 1.4 million to 2.2 million.

At 99% confidence, the confidence interval would be about 4, giving 1.26 to 2.38 million.
Google drive reserves the right to remove content it deems misleading, when it wants to, or not.

So nothing has actually changed.
For the sake of the plot. A lot of what happens in stories is basically unmotivated.
Yes, I chose one arbitrary method of enumeration. That’s not important to the point, which is that algorithms are enumerable and thus you don’t need the axiom of choice to select one out of the set of all algorithms.
For me the monetary based strategy loses its luster because the introduction of money causes you to see the consequences in terms of finances. As in, you start to think that you can just pay the 25 dollars as a subscription fee to skip doing the work for that week, and so long as you don't raise the amount of money you lose, this continues indefinitely. And of course, without a third party, there is nothing obligating you to raise the price for failure. In the end, because the system eventually fails in its purpose of getting you to work, you start to wonder why you're paying a 25 dollar subscription to skip work instead of skipping work free of charge, so you simply cancel the obligation.

That's the major problem with setting up timers or schedules or other obligation mechanisms yourself. If they're in your control, you're given as much freedom to remove them as you have to set them up in the first place.

If no amount of self-restraint or anti-postcrastination systems can get me to do something I tell myself I want to do, then maybe I either need to have someone force me to do it or realize that what I say I want in life is wrong. Maybe this is because I've been trained so that about the only thing left that's 100% effective for getting intrinsically boring work done is someone else forcing me to do something.
Important to point out it wasn’t the crew faking the scene. The guy that took him fishing had a friend throwing squid in, unashamedly. They showed the guy on camera. There was no attempt at trickery from the people producing the show.
So, in your opinion, what should a government force the company to do when they are classified as what you describe? Force them to host all speech? Does that include art? Disinformation? Propaganda? Porn? Spam? Terrorism?

I don't think you've thought out the consequences of what you're advocating for.

If you have thought it out, please explain exactly what speech they should be forced to host and what speech they shouldn't be.
After reading his books, I would agree and was hoping someone had posted this. If anyone would vehemently oppose such manipulation, it would be Anthony Bourdain. Is there a disclaimer before this scene is shown? I'll choose not to watch such a documentary created by those with skewed ethics.
Crypto, get off the bench. You're in.
It looks like there's a lot more nuanced in there than criticising Islam. Trying to convince people that all Muslims are pedophiles is a bit different than calling Mohammad a pedophile
hey awesome content dude, appreciate the daily tips for anti-procrastinating!!
funny how it's different when interpreted in biology limits

also how no art teacher ever told us about Klein's blue the way you did.. they simply used it as an authority figure
It's not asinine because it's not a 1 to 1 comparison. No one is saying these two things were equal... obviously. This is just one example of a tax benefit that the OP clearly has benefited from which reaches his definition of a "free lunch"

His interpretation was outrageous so my response was a bit flippant.

There are plenty of legitimate arguments for or against these benefits, but calling it a free lunch and saying you work hard and have kids so this needs to stop is just stupid, how does having kids and you not having the flexibility you wanted matter? That is exactly what he said...
Thanks for the correction. I was thinking of the insulin that Walmart was already selling.
Pine64 July Update
Ransomware in particular requires the attacker to be able to make your data inaccessible; in order to do that they need a certain level of control over every system on which that data is replicated, and as you say avoiding a monoculture makes that (substantially?) more difficult.

On the other hand, a leak or breach of user privacy requires exploiting any single system containing the data. Putting the same data on a diversity of systems makes that easier, and you won't even know what's happened if you've made it too difficult to "manage, audit and predict."

Avoiding a monoculture isn't the security magic bullet you pretend it is.
My incentives are never going to be in perfect alignment with my employer: I work for them to build my own wealth, and they employ me to build theirs. The foundation of the employer-employee relationship is that each provides the other with a means to realize their incentive in a way that's mutually satisfactory, if asymmetric. If this relationship is out of balance, either party is free to engage in negotiations or terminate the relationship.

Employers have concrete strategies available to them for maintaining their position in this negotiated relationship. Typically they will have a performance review process, which should have no problem determining whether they're getting what they're paying me for. Separately, the legal system we're both subject to protects legitimate intellectual property perfectly well without overbearing noncompetes and invention assignments; cases of physical property theft, etc., are also covered.

So what's the problem? Why should employers have additional rights to make sure that, if the situation is ever remotely muddy, it goes their way by default?

(I say should in the moral sense, and the broader sense of socioeconomic utility. In a might-makes-right frame, obviously they should have it simply because they are strong enough to take it. That is what we have right now, in practice.)
"The Official Secrets Act is not there to protect Secrets, it is there to protect Officials."

— Sir Humphrey Appleby, Yes, Minister
Thanks! Happy to help
Why do we not allow telephone companies to censor our conversations? Why can't the power company choose not provide power to offices for political campaigns they disagree with?

We afford monopolies certain privileges, but we also require monopolies to have certain restraints.

Many of these large tech companies have become natural monopolies. I think its reasonable to expect similar restraints.
True, but I guess it's worth mentioning that OW is the primary method of cheater controls nowadays. In-game report button, VAC, VACNet, Prime MM, Trust Factor, etc... are the other systems they use, but replacing the community with algorithms didn't really happen.
It set off the flamewar detector. We turned that off when we saw it.
That might have the added benefit of incentivizing better security practices overall.
I don't mean literally Google docs but a storage system more like that than git. :)
In fact, there is already Collabora, which is production ready, FOSS and based on LibreOffice.
No it isn’t since the whole topic here is that any civilization capable of accelerating an object to relativistic speeds and hitting a target from light years away is capable of defending against one. We can send voyager to target an object on the other side of the solar system but we are also perfectly able to defend against a potential voyager.

Just because you now claim to not be addressing the actual goal at hand doesn’t mean I moved the goalpost; if anything you’re now implying you did.
In the dark forest view it’s best to just kill off the opponent and not replace them with a potential new opponent.
But that is not the difference here. The original post said "Something [meaning the lab leak theory] all the experts are saying may actually be true". This is somewhere in between your A and B and at least to me sounds closer to B than A, as "may actually be true" is more of an acknowledgment of possibility than an assertion of probability. It's definitely not a statement of certainty.
> There is no ~~spoon~~ entity. What was our entity like? A structure with pointers (IDs) to different components. Now, let's treat it as just another component! The whole ECS becomes simpler.

To me this is the most interesting part. Game logic needs components with references to other entities and components anyway. And if there's some way of identifying components, you no longer need entities to have identities.

And you can still apply all the optimizations as long as you treat some components as "entity" components. But only when you want to exchange simplicity for performance.
The key is in your last paragraph: the companies in question are privately owned in the sense of "private property". In the context of (American) public policy, due to factors such as the First Amendment, the distinction of a company being governmental/public vs non-governmental/private is much more likely to be relevant than it being publicly/privately traded.
Also, S cones are mostly found outside the fovea.
So his blog post should be banned then, right?
My intention is to reuse the rust type system where we can and yet keep the language small enough to be able to implement and verify non-trivial real world programs.

https://github.com/adsharma/py2many/blob/main/doc/langspec.m...
https://github.com/adsharma/py2many/blob/main/CHANGELOG.md#r...
Ming Treasure Voyages
Nailed it. Government knows it would be difficult to implement vaccine passports (stateside anyways) so they have publicly and privately asked private business to check vaccination status, bar entry etc for them.

Same goes for the Democrat Party asking Facebook to flag opposition comments regarding Covid. Government is shacked by the 1st amendment, corporations aren't.
Yeah, I modified my response. I think we both agree measures will be reactive in regards extremes.
Week in Review: Secession; Election Audits, and Asylum; and George Floyd Mural
> 50 Republican senators representing just 43.5% of the US population constantly bring the entire legislative process to a halt.

So? That's by design. The Senate was never meant to represent population proportionately. It was meant to ensure small states wouldn't get dominated by large states, and that means being able to block things. IIRC, that was a core compromise in the Constitution, and it's a bad look to go all Darth Vader on it (https://www.youtube.com/watch?v=jsW9MlYu31g).

> If you think granting DC citizens federal government representation is a power play relative...

It's a power play in absolute terms because the solution that's being pursued was chosen specifically to yield a partisan advantage. In some senses it's even worse than stuff like extreme Gerrymandering, because once implemented it will be almost impossible to undo or reevaluate. DC citizens could be also be granted federal government representation by making them citizens of Maryland. That would solve the core problem, and there's precedent: the government already did something similar to the part of DC on the Virginia side of the Potomac in 1847.
It sounds like you do some tracking, but don't do business in Europe. Okay, fine.

Do you do only your own tracking? Or do you directly or indirectly sell Europeans' personal data to other companies, who in turn may be doing business in Europe?

You can probably see where I'm going with this: those other companies may then potentially be liable in Europe for improperly handling Europeans' personal data. If I was buying personal data from US company as a European, I would make it part of the contract that the seller must comply with GDPR at least for Europeans, to avoid this potential liability.
Disclaimer: Rust groupie.

Technically no (only for half of libraries) but effectively yes, if you're comparing to C and C++. The fact that there might be an `unsafe` somewhere in your dependency tree just means that instead of being there being a 0% chance of a memory bug, there's 0.0001%. Whereas a C/C++ codebase of moderate size is virtually guaranteed to have many (orders of magnitude might be off but point stands).
IMO you're not the web if you're just a bunch of animated graphics. The web is about hypertext. Treating it like a platform that you target is not the same thing.
Haha yeah we're that company- turns out there's actually a lot to do, especially when handling this at scale! come join us :)
But the history of forcing those publications to host your opinion is unprecedented
This lower resolution of blue is pretty well known in recent image compression work (XYB space of JPEG-XL and guetzil), and number of S cones is the only explanation I have seen on that.
I'm sorry you haven't thought this through. The service industry isn't fully staffed and manifestly makes use of a large portion of part time labor. If are able to staff 100 hours of labor per week of part time labor but need 160 you can indeed make up the difference by converting some of your part time labor into full time labor. This doesn't require earning twice as much revenue because we are talking about filling existing labor shortfalls which is to say hours you would staff tomorrow if you could hire the bodies. We are merely talking about increasing the hours of your existing labor instead of lamenting that nobody else wants to work for so little per month that you cannot rent an apartment with all of your wages.

Supply and demand pushes a market towards an equilibrium state it isn't gravity the market is still made up of human choices. It doesn't constrain you to a specific set of decisions. Don't base your argument on economics if you don't understand economics.

Just because you have chosen to value a labor hour at $11 an hour and a burger at $14.99 doesn't mean its fate. You CAN pay more and you can charge more and because wages aren't most of your labor costs the price doesn't rise linearly with the cost of labor.

This is also complete bubkis

"The #1 driver of low wages in America is essentially illegal migration, which is encouraged by the same people who want higher wages."

Please feel free to back it up.