skysight-inc/HackerNews huggingface dataset:
> Your observation here really, I think, solves your own problem.

It's not my problem; I am not a mathematical Platonist, so I have no issue at all with the idea that any claim about mathematical objects "existing" is simply in a different domain from claims about physical objects "existing".

However, for someone who is a mathematical Platonist, there is a problem, because mathematical Platonism appears to be claiming that "exist" is not domain-specific. For example, the article under discussion formalizes the "existence" claim as "Ex Mx" (I don't have the backwards "E" on my keyboard), where "Mx" is the predicate "x is a mathematical object"--i.e., it separates the "existence" claim (the quantifier) from the "domain" claim (the predicate). This only makes sense if the quantifier is not domain-specific but general--i.e., if the quantifier is the same one for all possible domains, so that the existence claim is an absolute one. Which, as I noted in my previous comment, and as you appear to agree, is simply not how existential quantifiers in mathematics are supposed to work.
Threads hack the algorithm by driving up interaction, though. It’d be like if you were in a pub with millions of other people and instead of being able to talk to anyone the owner started recommending people to talk to based on little submissions by enterprising CEO of Mes.

Hi welcome to Jack’s. Drinks? What? No, but see that group of people over there… that dude (he/him) has quite the story to tell about the pitfalls of using css transforms when rendering responsive content on a certain older version of webkit. And see that group over to the left… that person (they/them) is real angry about something I have no idea what but other people are listening so you better head over. Oh and please walk through the queue… mind my little sign spinners if their wares interest you do entertain their incredible offers. Off you go!

I think Discord (and possibly still IRC) is the digital pub.
It's possible, and when actively in the market I'll always revisit such things.
We need more of this. I say this as a happy Sentry customer.
Irrelevant, Palm did it better.

No one got a Newton, but every mid-boss or manager got a Palm.
Monads aren't really about math, just like OO isn't really about objects in the real life, it's just inspired by them. Learning more about object in real life doesn't help much when doing OO, just like learning more about math doesn't help much when using monads in programming.
You've clearly indicated this, but I think it's worth highlighting because it's so crucial a caveat:

In Mice.
One of the Most Egregious Ripoffs in the History of Science
Sentiment Analysis with Scikit-Learn and GCP
Having worked closely with a lot of C levels in Automotive, Banking and now Energy in Germany, I can easily say this is the most corrupt place I've ever worked. Morally and Financially..
I don't think Bitcoin is a good comparison. Anybody can mine Bitcoin and all nodes in the network enforce set rules for currency creation.

With Worldcoin the creator of this "orb" hardware has complete control of currency creation. I don't see any path towards decentralization here..
> a tech consumer has to know that just over $100 does not cover the cost of the hardware.

Nonsense. A raspberry pi costs far less and is, arguably, just as capable.
If only there weren't large penalties involved in doing this.

And hey, if we want progressive taxation -- "is it really worth it for them to send somebody down to bring me the bill" is a great filter that everybody's taxes should be passed through.
Please don't do this. I hate when I can't find something because someone else moved it. Changes must be incremental and purposeful, no "overhauls".
That makes much more sense. Thanks for pointing that out.
NIH States EcoHealth Violated Terms/Conditions of Grant Al110964
Fauci FUNDED COVID-19!!!!
I have two thoughts here. You seem to imply that having many many shallow friends is normal... but it's not necessarily the case.

I think it's totally normal to have one or two close friends and then other more distant ones that are constantly coming and going.

Personally, yes adulthood changes things. Obviously, we're working and such. But, you also get to have way more fun as an adult than you could as a child.

> families

I don't understand why so many people find having kids an obstacle to making friends. If anything, my children have dramatically expanded my social network, since I'm now friends with their playmates parents.

Here's the second thought: I'm not sure I fully agree with the campfire model. If anything, my adult friendships are deeper and much better, and more 'involved', in that, I can call, text, interact, etc, with my friends while working via my phone, which we weren't allowed to do in grade school.

Also, since we're all adults with full lives, families, etc, the friendship is about more than just 'hey we both like <blah>', it's also about navigating through such a full life, whereas childhood friendships were about childish things.
Imagine there's a dude, who last year was viral for a month because of his dog or something. Now he gets into this shadow VIP group because anything he posts goes viral for a good while, but as is the case with anything viral, it dies down.

Now this dude gets an easier time harassing people, breaking Facebook's rules and being a jackass on their website, just because of his damn dog. This is creepy.
Fixed in title now. Thanks!
A Rare Plant Conservation Success Story from Gibraltar
amazon offers an ad free version of the kindle for $30 more. I'd love the same from Roku.

But then... I bought the ad version, not for price but because it had the pretty colors and I don't like using cases on kindles anymore.
This kind of thinking is why cryptocurrency miners are setting up shop at substations. They get severely discounted electricity from the utilities, in exchange for ramping up and down their servers to keep the grid load balanced.

Except, of course, cryptocurrency isn't nearly as useful as, say, desalinated water.
Honestly would not be surprised if it comes out at some point in the future that they launched the ARM-Mac project as soon as they'd successfully switched to Intel.

If not right after the switch to Intel, certainly when the A7 was on the drawing board, since it was the first mainstream 64-bit ARM processor.
There's also Accoya acetylated wood, which is already commercialized: https://www.accoya.com
abusive how? for calling them names? what if an admin starts leaking your details for defending them?
For sure! Another comment noted that this might be a sign of a dysfunctional organization, and I think there's a lot of truth there -- where systems have grown to such complexity that people involved in a larger project can't keep the whole thing in their head, and you get groups of people sort of faking it, assuming other people can fill in the details, and not wanting to appear ignorant about areas outside of your expertise.

I've been in other organizations (and even within this one) where my stupid questions revealed nothing new except that I had to go back and do some studying before I could usefully contribute.

I remember when I took a course in General Relativity as an undergraduate; I was much more math/CS focused than most people in the class, who were mostly physics people. And we would get together in study groups, and although I was respected for my general intelligence, it became clear that the questions I was asking were simply not the right ones -- that a physical/geometric intuition was something I did not have. In other words, I was actually the stupid one.

Much later I took a course in differential geometry, and eventually started seeing how it made sense mathematically, but I could never really connect it back to physical intuition. I think the problem that broke me was talking about the behavior of a point mass, and I had literally no idea how to attack that with the tools we had.
You know... I'm starting to think you are correct to be entirely honest. If anonimity is banned we can actually see who is part of those twitter cancel mobs and actually fine and imprison those harassing other people and send death threats.

50% /s

I'm 100% against it tbh. There are people that would be dead without it(just in case anyone missed the sarcasm)
I agree with the spirit of your point, but I'd be hesitant to say you're "mastering" your 15th language if they are all jumbled together. It sounds like you've learned 15 languages, but mastery implies an extreme depth of understanding beyond the point of confusing minor details. I would bet you have at least one or two languages that you work in often that you never get this stuff confused for, and those are the ones you've mastered. The additional languages are subject to a sort of Jack-of-all-trades syndrome.
Uber also engage in mafioso tactics, I am sure all here can agree on this. The difference is where the impact is felt. It's great that for now, Uber can ensure a higher-class experience than what was available to most previously. However, the luster is already quickly coming off of Uber & co.

Have you recently had to supply Uber with your photo for "mask proof," before requesting service? Are you comfortable with all the grotesque data mining they're doing with that in the name of "health & safety?" Have you read about Uber's horrific data mining practices, privacy violations, and generally bad-faith actions they've undertaken against individuals and drivers?

In places like Mexico especially, these sorts of things should concern you immensely. Perhaps it's still worth it for you - however, perhaps it's worth considering the lifestyle you and other Uber users live, and considering whether living in densely populated & corrupt major metropolises is actually a good economic decision in the long-term. Without these horrific starting conditions, the point of Uber's existence in the first place is highly suspect.
Really hoping AMD eventually does the right thing here. Not that it particularly matters seeing as how decent AMD video cards have been unpurchaseable for 18 months now.

Consumers should have the ability to use their hardware well too. Selling the same thing at 2X the price differentiating only on virtualization capabilities is not a moral path.

> We remain hopeful that AMD will recognize forthcoming changes in GPU virtualization with the creation of open standards such as Auxiliary Domains (AUX Domains), Mdev (VFIO-Mdev developed by Nvidia, RedHat, and Intel), and Alternative Routing-ID Interpretation (ARI) especially in light of Intel's market entrance with their ARC line of GPUs supporting Intel Graphics Virtualization Technology (GVT-g).

Really cool to hear there are a bunch of vGPU-related efforts underway! That's so great.
Exactly. The net result is a complete hiding of the truth. Everywhere you go would be marketing vs. truth, because the truth is too dangerous.
4chan is also just a bad demonstration of how anonymous culture functions, too. It's become such a pop-culture hotspot that not a single board is really 'usable' like they were in 2012 ("I think I'll check /t/ for $NEW_MOVIE"). However, as you start to branch out into other imageboards, this lack of identity really helps drive the discussions. When you completely remove the upvotes, downvotes, score-based comment ordering and profiles, people are less interested in petty, pyhrric victories. IRC is also another great place where people are oftentimes more interested in fruitful discussion than saving face.
Yes, and I'm surprised that mandatory data retention by ISPs hasn't already gone further down that slippery slope.

Now that people are used to that idea, I expect a government to say "Why don't you store the logs on our computers instead, to save money and be protected with military-grade security. We promise we will still go to the hassle of getting a warrant before reading from the database... Unless of course there's an emergency...".

Perhaps the reason they haven't said this yet is because government cyber-security agencies have already gained real-time unwarranted access to the ISPs' logs. I don't suppose a company could be sued for not correctly securing this data against the government, since the government could hide behind "national security" to block any evidence being admitted in a court case.
This is good start. Would be great to see more companies following suite.
NextDNS seems to block Roku's data collection efforts (as well as other "smart tvs")
Every time I see those comments, I just wonder exactly what can you build on Cloudflare? besically nothing? do you have compute, do you have load balancing, do you have rbac, do you have DB? do you have storage?

Please enlight me.
Just how long do they draw it out? Phrasing "So, stupid question: [insert question" really shouldn't add that much time, right? Or is the problem that the questions really are stupid?

I have a weird job title but my position is probably closer to your PM, and I also use this strategy, so I'd like to know how to not annoy people!
Rippling: The Rebundling of Enterprise Software
I was very confused by this. Why the 11 cent offset for currency conversion? Are there some laws around sending $155k in foreign payments? From a PR perspective, that extra 11 cents provides a pretty good ROI since you can just say that you've donated $155,000

P.S. This isn't intended to be criticism, just curiosity. Kudos to Sentry for the donation. If every profitable company donated $2k per developer, we can expect some pretty amazing innovations in OSS
Definetely. I've just been working with Stan and Pyro + Python so far for modelling, but post like this encourage me to finally pick up Julia and get seroius with neural ODEs.
Sure, if you want to write your own version control system and also your own computer language to support it.
WeWork stock starts trading, two years after an aborted IPO
> I'm angry because I feel captive; I bought my TCL TV explicitly because it had the Roku OS.

You bought a TV and expected it to not have its features changed. That sounds like a very reasonable expectation.
I'm white and a male and I don't share any of these expectations when I interview or speak to folks. I'm further saddened that anyone thinks there's an expectation enough of white people or men that is concrete enough to put it in plaintext like this.

In my head, this is an example of a problem moderation or lack of anonymity won't fix. People have to learn to see this kind of comment for the dud that it is on their own.
To be fair in Go's case, it came to prominence at or before the time many of us started. And the Go I learned at the very start of my career (10 years ago) is still usable today.
Do you have a custom ~/.units file?

user@xirl>units '500W * 1 year * 0.20/kWh' '1'
* 876.58128
/ 0.0011407955
It tells you they noticed disproportionate wealth translates into disproportionate political power.
PyTorch 1.10 Release: CUDA Graphs APIs, Front end and compiler improvements
Talking about the US specifically, the question comes down to infringing on liberties versus stopping scam behavior.

Everybody agreed it was a good thing when the Fed shut down several scam colleges and forcibly discharged all the debt students had taken on. People aren't really meant to evaluate whether colleges are "real".

On the other hand, gambling laws tend to be contested. Gambling is regulated - most Casinos don't cheat but may have unfair odds. People who support gambling argue that adults can make unwise decisions so long as we can assure Casinos are honest and post odds.

The alternative view re gambling is that gambling rewards part of the human brain that we are bad at regulating and the government should step in and prevent even "honest" gambling.

Both of those takes on gambling have merits. If you oppose gambling because it's unethical, would it be ok to ban people who collect trading cards at insane prices hoping to resell them? Likewise if you support gambling, don't you have to admit it's brought many to financial and family ruin?

The question re crypto is whether crypto is more like gambling or more like a scammy college. My position is that crypto is a scam, not an honest casino.
Their vision for attracting new riders in the US reminds me of MegaBus. I was a big fan of MegaBus when I was in college--they stopped at universities, and had clean buses with wifi (supposedly, it never worked), and low fares. I took many a $30 weekend trip to Chicago.

I don't know what happened to them, I think they cut a lot of routes.
It's not just cultural, it's personal too.

I've worked with (and still work with) many Americans, let me give you an idea.

I get paid 174,000 USD per year

I take 6 weeks off (vacation) per year to sail in the Mediterranean and to SKI in the French and Swiss alps. This is fully paid and it would be highly abnormal if I did not take this time off.

My wife was paid her full salary for 6 months to have a baby. The government would have mandated a minimum payment term if that did not happen.

I never have to worry about healthcare, it's just there and it's available all the time regardless of employment

I never worry about being fired without strong cause, I am protected by strong laws

None of my children have ever participated in an 'active shooter drill'

I went to a top tier University and only paid 3000 GBP per year. The government gave me thousands of pounds without expecting repayment. The government gave me thousands of pounds and said they will write it off if I can't pay it back before 25 years and they won't ask for a single penny if I earn below a certain amount. When they did start taking repayments, it was a small amount extra on top of my income tax. The interest rate is also very low to the point of it not really mattering.
Could you elaborate? The only things I'm aware of Altman specifically being involved with are Loopt, OpenAI and running YC after PG stepped back.
Usually 'hardened wood' is just wood where the air has been replaced with epoxy. The problem is epoxy is expensive and not different enough from a pure plastic.
What the fuck? Lol, c’mon no cute dog pics? So Anonymous saved the dogs? Why is life so weird?
>today’s artificial-intelligence systems aren’t actually intelligent

Artificial butter isn't actual butter, that's why we call it artificial.

Personally, I prefer saying ML just because of all the semantics regarding AI.
U.S. safety board says driver, passenger seats occupied during fatal Tesla crash
Is your privacy an illusion (smarter every day)
Seems resolved: https://www.githubstatus.com/incidents/m78sypncxsdw
Why don't they accept antibodies as proof of vaccination, like Intel?

https://news.ycombinator.com/item?id=28842717
That's unfair. I was in charge of anti-abuse for a dating site with millions of users and my gut reaction was "just 90%?".

The problem with anti-abuse at scale isn't catching the 90-99%. It is the remaining 1%. Have 10M abuse accounts with a 99% success rate and you are left with 100k spam accounts. That, and making sure you aren't catching too many innocent customers in your efforts.
It is astonishing that, after all that has happened, these people still feel like the victims in this situation. Its hard to understand anymore what they are really even fighting.
There is a field called "international law". It pays pretty well. And you wouldn't have to reside in any particular country to do it.
We actually are a replacement for Libvirt that tries to simplify a few things. Take a look at LibVF.IO's user API. I tried to make it a bit more human friendly, like Docker:
https://github.com/Arc-Compute/libvf.io/blob/master/example/...
Eshoo should be voted out. https://eshoo.house.gov/media/press-releases/rep-eshoo-intro...

Unfortunately, editorials favor incumbents too much to allow an attack from the left to succeed. https://www.stanforddaily.com/2020/03/01/why-we-endorse-incu... and https://www.mercurynews.com/2020/10/28/editorial-eshoo/
$590M in ransomware payments reported to US in 2021 as attacks surge
Show HN: I built a website builder on top of Notion
To some degree that is a valid approach but the management overhead is simply not worth it to me. I don’t want to deal with having to ‘manage’ subscriptions and such on a month to month or recurring basis.
Sounds like you got offended there. It's a short hop with eyes-closed from "offended" to "moral condemnation".

Our greatest artists and thinkers have been condemned throughout history. Censored too. Consider that.
The auto correct of tail to trail is a good one! Thanks for catching.

‘What’s actually happening’ is alluding to boots on the ground surveys and government statistics.

E.g. society calls the police on children walking alone to the park far more today than in the past. The amount of fear has decoupled from the risk.
The Whitest Thing I do
I was stunned—stunned!—to learn that my favorite leisure-time activities—downhill skiing, x-skiing, snowshoeing, hiking, backpacking—are about the whitest activities there are.
“ Article 3 of the Protocol to Prevent, Suppress and Punish Trafficking in Persons, Especially Women and Children (Palermo Protocol)”

Why are some human lives more worthy of being protected than others ?
I don't know why you think I've ever said or implied that Tether's insolvency is a good thing?
I don't blame intuit at all. I blame citizens for losing their representation in government.
Roku captures subscription and advertising revenue, and also resells/licenses ACR (Automatic Content Recognition) data, aka viewing data. Users can turn this off if needed.

ACR Service Policy: https://docs.roku.com/published/acrservicepolicy/en/us

Roku is not alone in doing this, of course. Every major TV manufacturer in the US does this.
ClickHouse now has more unique contributors with merged PRs on an annual basis. The lines crossed early this year, or even late last year.
This is Meetup.com. (Or was before the pandemic; most groups I've looked at still haven't resumed, and who knows when the hysteria will ever subside.)

It is easier to find people that share your interests and make them friends, than to make your friends share your interests. Meetup and perhaps local Facebook groups are the way in to that.
ah, the old "double down when wrong" strategy.
Richard Nakka's Experimental Rocketry Site
I love that this site is still up. I used to frequent it (and others in the blogring) back in the early 2000's as a nerdy teen. It brings back memories (like dial-up modem noises, watching images load line by line, and mixing chemicals I probably shouldn't have).
They are a direct result of the lobbying of companies like Disney. It's plain to see in the naughty list I mentioned.

https://ustr.gov/sites/default/files/2019_Special_301_Report...

Search the document for "interest". Plenty of talk about interested parties, rights holders. Euphemisms for US corporations using the might of the US government and its military to interfere in foreign countries. I've read some US documents discussing my country like it's a problem to be solved. Like it's a new planet they intend to terraform. It's surreal. Documents essentially saying things like "these places continue to be a problem, the local authorities aren't doing what we want them to do".

Essentially the US has "concerns" and it expects and "urges" other countries to address them by criminalizing anything that hurts the profits of US corporations, which they call "US economic interests". Yeah, because we totally have room in our prisons to lock up my country's entire population for copyright infringement. They must think we have nothing better to do.

They'll even put Canada, their neighbor and ally, in the watchlist. They write things like:

> Right holders also report that Canadian courts have established meaningful penalties against circumvention devices and services.

It's so incredibly surreal. "Yeah, our corporations have been saying you've been a good little country, Mr. Canada. Keep doing what they tell you and we might just take you off the naughty list next year." I don't even know what to say. Imagine being a politician who has to swallow language like this from world powers like the US all the time.