skysight-inc/HackerNews huggingface dataset:
'''
Still, U.S. lawmakers and administration officials have favored shutting down the application altogether to send a message to China after Beijing restricted American companies like Facebook Inc., Twitter Inc. and Alphabet Inc.’s Google. White House adviser Peter Navarro on Monday said in a pair of interviews with CNN and Fox News that he wasn’t sure Microsoft was the right company to buy TikTok’s U.S. operations, saying it had helped China construct its internet firewall.

“Should we trust any company that operates in China?” Navarro told Fox News.
'''

What else is there left to do but to prepare for war then? If your basic position is that maximalist. There's nothing left to negotiate over. It's you or it's me.

Now the implications are no longer just Chinese nationals or ethnic Chinese-Americans. It's potentially anyone who has business ties or otherwise to China.
> Obviously both Windows and MacOS support emulation of their respective x86 platforms, but in terms of native software, Windows is kind of a distant 3rd place.

Much (most?) new Windows software these days is written in .NET and might just work out of the box, since that's technically speaking what .NET is supposed to enable.

(With the obvious reservations about platform specific quirks. I've ported my fair share of code to different platforms, and now it's often not that simple)
I find the idea that there is a monopoly here a bit absurd considering Credit Karma bought out another company, AFJC Corporation, in 2016, to get its foot in the door on tax filing. There is nothing to indicate other startups won't exist that attempt to solve the same problem and take on Intuit in the future.
SEEKING WORK | Buenos Aires, Argentina (GMT-3) | Remote | mikealche.com
* I'm an experienced web/mobile app developer. I can handle entire projects from concept to production, from ui design to backend and database.

* My last project was in the local news in Argentina. It is a free Mobile app that allows for the creation of curriculum vitaes. It was made in React Native with the backend in Node.JS + Express + PostgreSQL.

* I'm currently Finishing my Master Thesis in the University of Buenos Aires. My Thesis is on applying Deep Learning to diagnose skin lessions.

* I'm currently available for full/part time contracts.

* Tech stack: React.js, React-Native, javascript, Node.JS, Angular.JS, Express, Python, pandas, numpy, Pytorch.

* You can view my portfolio at: https://www.mikealche.com/portfolio

* I've also written some posts that were pretty popular here on HN:

https://www.mikealche.com/software-development/how-to-implem...

https://www.mikealche.com/software-development/a-humble-guid...

email: mikealche@gmail.com
Yup thanks for the clarification
There are still plenty of employed people, and a landlord would rather offer a big discount to someone who can pay rent than continue to deal with a tenant who is unable to do so.
I still find Google Scholar really useful for searching for papers. It only has access to the full text for some percentage of papers, but you can usually find ones of interest in scihub.
yes, thank you, exactly what i meant
Would you blame <insert any currency here> for things such as the innocent lives lost to the drug trade and or human trafficking? Banks have been caught stealing more money than there hackers could ever do in their lifetime, with fiat currency. This is what economic freedom looks like, theft is made possible again, but then again, it was always possible to some.
I just mean that it's the kind of thing many people who have some concept of how cell phones work might assume is illegal because tracking a bunch of people and storing all that info, or broad, non-tightly-targeted-and-regulated use of things like stingrays, and the various other things service providers and law enforcement do to spy on people really do seem pretty similar to stalking and warrantless search and various other activities that are illegal (so, obviously that would be too, how could it not be, one might reason), and so they might be surprised that a capability they know or suspect exists in the technology is used the way it is and to the extent that it is by both private parties and law enforcement. Their not thinking about their cell phone as a device that spies on them or is otherwise very untrustworthy might not be because they don't know what the tech might do but because they've assumed exercising those capabilities would be illegal.

I suppose similar reasoning is how we arrive at our judgements on most questions of legality, personally, when deciding how to behave and what to worry about others doing day-to-day. Like, I definitely can't show you the statute that says driving the wrong way on the highway is illegal, rather than just a very bad idea, and I'm not sure I've even ever been told specifically that that is illegal let alone done the research to makes sure it's illegal—but nonetheless, I'm pretty sure it is. So, I would guess some people surprised that their cell phones spy on them in certain ways are more surprised that they are being used that way and not that they could be used that way.

[EDIT] to stretch the analogy further, if I were surprised to learn that some delivery company had found a way to reduce delivery times by driving the wrong way on the highway, the fact that vehicles are technically capable of driving the wrong way on the highway wouldn't be the part that I found surprising.
Are you referring to digital scans or what? My library card doesn’t allow me to access nytimes.com.
> the fact that this thing is being pumped through the lie pipelines that originate with places like RT (Russian state-controlled media) is kinda a dead giveaway.

What makes corporate-owned media more trustworthy than state-owned media?
So I actually went on bestbuy and looked at what the waranty policy for a few of the refridegrator brands were, and they were nowhere close to "decades" like the grandparent comment claims.

samsung: 1 year https://www.bestbuy.com/site/samsung-22-6-cu-ft-french-door-...

whirlpool: 1 year https://www.bestbuy.com/site/whirlpool-25-2-cu-ft-french-doo...

lg: 1 Year General, 5 Years Sealed System, 5 Years Compressor, 6-10 Years Linear Compressor. https://www.bestbuy.com/site/lg-23-5-cu-ft-french-door-count...

bosch: 1 year https://www.bestbuy.com/site/bosch-800-series-20-5-cu-ft-4-d...

kitchenaid: 1 year labor, 10 year parts https://www.bestbuy.com/site/kitchenaid-25-8-cu-ft-5-door-fr...

>I thought the compressor was the thing that was not warranted because they break so frequently.

given the sample above, it seems like at least with LG, that they have a lot of confidence in their compressors and "sealed system" (probably the refrigerant system).
Location: Detroit area, US

Remote: Sure

Willing to relocate: no

Technologies: Linux, FreeBSD, Windows server technologies, AWS, building internal clouds. I'm a contract system administrator for small to medium clients that have technological or contractural needs that are difficult to provide outside of large institutions. I help companies build solid environments and get the most out of them until the time they're large enough to launch their own internal teams to manage them. If you've got problems that your developers don't want to deal with, drop me a line. I try to be the kind of sysadmin your developers want to work with--not the guy they're trying to scheme up elaborate shaky tools to try and replace.

Email: Send me a PM through HN. I get enough SPAM as it is
> All you need to believe is that an increasing sequence, bounded above, converges. Indeed, take the supremum of the sequence, and show that the sequence converges to that supremum.

While one might feel more "comfortable" with the the monotone convergence theorem because one encounters it as early as, say, high school calculus, I'm not sure it's _simpler_ than Cantor's proof which doesn't require any of the _analytic_ properties of the real numbers to do its job.

How do we know the monotone convergence theorem is true? Like you say, it's because the reals have the least upper bound property (aka they're Dedekind complete).

How do we know the reals have the least upper bound property? Well, we can construct them from the rationals via Dedekind cuts to make it obvious they have that property.

Peeled back, the machinery being brought to bear in this proof is way more subtle and high-powered than required for directly proving, say, "The set of all infinite sequences on {0,1} is uncountable." It's just machinery we take for granted.

What's more, the integers are infinite and Dedekind complete, so _that's_ not enough to conclude a set is uncountable. The fact that the reals are totally ordered and we can always pick a third, distinct number between any two reals plays a role here.

I'm not even sure we need the underlying set to be ordered. Is every infinite, non-discrete, Dedekind complete set also uncountable?

Overall, I find the original proof more clever than satisfying. The idea of playing a game on [0,1] is cute, but what does it reveal about the essential distinctions between the integers, the rationals, and the reals WRT their set-theoretic properties? When it comes to answering "What's actually going on, here?" I think it obscures more than clarifies.
The nice thing with spreadsheets is people can also rescue themselves by saving off copies... but the flipside is that there are 10 versions and no one remembers which one is the good one.
I think, all this AI is overkill.

If those things would be more active they would work much better.
Open Source Hardware Association
The way I read it, the overall point of the NYT article was that many start-up investors have, at various times throughout recent history, said the bubble could/would burst and then the bubble didn't burst.

PG explicitly said no one knew what effect it would have, and yet the prominent investor with whom he spoke "seemed sure the bad performance of the Facebook IPO will hurt the funding market for earlier stage startups."

So I agree that the author attributed the certainty to PG when it wasn't he who stated it so certainly, and was more concerned with how to mitigate the effects of a potential slowdown in funding.

I also don't think that discredits the whole article and the point that many people have stated, and I'm sure much more certainly than PG, that the latest news story is the sign of the startup apocalypse and funding will disappear.

So yes, I feel frustrated they attributed that certainty to PG himself and not the prominent investor with whom he spoke, but I really don't think that's enough to discredit the whole article, or that it was the author's intention to twist PG's words. Maybe it was. I guess I just don't think the author was trying to not be neutral.
I’m just waiting for the vaccines or herd immunity at this point.
I understand why you would think that given the really poor recommendations and information handling at the beginning of the pandemic. However, take a look at [1], then refer to your choice of studies on this topic via Google Scholar, perhaps [2]. Cheap masks will of course not prevent you from inhaling microparticles, but they drastically cut down on how many particles are pushed into the air and how far they travel. You should think of them as spread limiters rather than infection preventers.

[1] https://twitter.com/vaccinologist/status/1247510457323343874...

[2] https://www.sciencedirect.com/science/article/pii/S016344532...
Same old, same old. People revisiting old tech (electrons, atoms etc.) and rediscovering its value are getting rich with new and interesting projects, people chasing new tech pipe dreams getting scammed or scamming others. The scene hasn't changed much recently.
In a general sense, our problem isn't surveillance but disproportional surveillance. It's generally appropriate for LEO to have access to the same data that all of us do. The problem is when 'privacy' or security laws restrict you and I from data but not the people who regularly exercise their exclusive powers to ruin lives.
there aren't downgrade attacks. we turned on E2EE by default in May for private rooms, and there's no negotiation involved. if you're on a client that supports E2EE (i.e. almost all major ones, now) and you try to DM someone, they simply won't be able to read you unless they support E2EE. i.e. they can't downgrade the convo.
They are just high population states with big crowded cities. If you sort Worldometer by cases per million, these three states aren't even in the top 10.
I lost faith when they tried to dox Scott Alexander for no reason other than to generate a few clicks over the controversy.
I do not like the cluttered look of links interspersed throughout the text and it is not even clear that they provide value for most of the readers. This is why I prefer to collect them at the end, one per line for those who actually want to look them up.
https://slatestarcodex.com/2014/12/17/the-toxoplasma-of-rage...

> But in the more general case, people can use moral decisions to signal how moral they are. In this case, they choose a disastrous decision based on some moral principle. The more suffering and destruction they support, and the more obscure a principle it is, the more obviously it shows their commitment to following their moral principles absolutely. For example, Immanuel Kant claims that if an axe murderer asks you where your best friend is, obviously intending to murder her when he finds her, you should tell the axe murderer the full truth, because lying is wrong. This is effective at showing how moral a person you are – no one would ever doubt your commitment to honesty after that – but it’s sure not a very good result for your friend.

Letting people die of disease shows their commitment to "freedom" from ... masks and scientists.
New official DIN standard for Open Source Hardware in Germany (German)
Microsoft is a software producing company. It makes sense for them to be able to support their software on every hardware/OS that is good as a business decision. The fact that they produce an operating system as well, it's irrelevant in current landscape. I don't get your oddness.
Can confirm. Visited an Airbnb in the mountains near Redding and was met with "oh we don't wear masks here". Quite the surprise.
Hello emiliovesprini! You are correct. That's actually why the username "kontxt" was specifically selected. Decided to share here because people exploring the wiki and documentation space might find it useful. Best regards fellow code creator.
>Acting in your self-interest does not excuse you from the consequences of your actions. That is not a justification one would accept from individuals and neither should it be acceptable for companies. It may technically be legal (which I would argue is something that should be changed) but that does not mean that it is automatically good.

The point of my post isn't to excuse the lobbying. It is to blame the lobbying on the people who could actually curtail it as well as recognizing that almost everyone would do the exact same thing that the tax prep industry is doing given their situation.

>Yes, TurboTax will make more money thanks to their incredibly effective lobbying efforts, but the price is that all Americans have a somewhat worse experience filing their taxes each year. This compounds over hundreds of millions of taxpayers and most importantly, is completely unnecessary.

Almost every law is going to make someone worse off in some way. I don't think it is reasonable to expect that every lobbying organization needs to weigh every possible outcome. Even if they did, they are inherently biased. Judging the ultimate outcomes is the job of the politicians being lobbied.

>Lastly I highly doubt that TurboTax is employing hundreds of thousands of people.

I was speaking about the industry as a whole and not specifically TurboTax. H&R Block itself balloons up to over 90k employees during tax prep season. [1] You can maybe nitpick depending on what exact definition you use for "job", but there is little double that hundreds of thousands of people are employed in the tax prep industry over the course of the year.

[1] - https://en.wikipedia.org/wiki/H%26R_Block#Corporate_affairs
> scientifically discredited by the mid-19th century

I mean the science is bunk but it wasn't "discredited" in the sense that you mean among the scientific community or the policy community across the West who enacted policies based on it well until after the mid 20th century.

https://en.wikipedia.org/wiki/Eugenics_in_the_United_States

> the Nazis may have adopted it, but that's proof that they weren't motivated by anything like scientific rationalism

The Nazis adopted scientific racism and this is proof they weren't motivated by scientific rationalism? I suppose your contention would be that Hitler didn't really believe any of that or something and it was all just about power. That's such a lazy position to take IMO. If you really want to die on that hill I don't think we can go forward with the discussion at least on this front. The Nazis established a whole body of thought and policies around racial hierarchies that were in part dependent on the work of eugenics and phrenology. And yes I do believe they really believed this stuff.

> But the reason I can say that Italian Fascism and German Naziism expressly adopted your Nietzschean view is because both said they did, and praised Nietzche for presenting it.

Nietzsche was highly derisive of nationalism and the examples he would deride were actually those of German nationalism. You can read Beyond Good and Evil to see that.

What you're talking about is actually highly ironic considering that Nietzsche actually predicts some sort of Hitler-like figure coming to power due to how weak-minded and herd-like Europeans were. He didn't call them herd-like as a compliment.

What they adopted among other things was his method of attack on morality itself and in particular Christianity and Judaism. This is what he meant by going "Beyond" Good and Evil (morality itself) to replace it with Strong and Weak or Beautiful and Ugly which was more of the Greco-Roman system of values. That does sound more like Nazism doesn't it? You can see it in the iconography of the Nazis and all the Roman stuff they adopted (e.g. the Nazi standards which harken to the Roman standards).

https://2.bp.blogspot.com/--Ngy5XGuS2Y/U_kCNxwY_5I/AAAAAAAAJ...

Nietzsche wasn't perfect IMO. You can read Psychological Types by Carl Jung who does a beautiful job of analyzing and filling in the holes in Nietzsche's positions.
> Very little of people's code needs Turing completeness

The Wikipedia page on Total Functional Programming [1] has a nice (even if contrived) example of this with Quicksort. I feel like my undergrad complexity class did me a disservice by emphasizing Turing Completeness so much without discussing any other aspects of abstract computation, like lambda calculus, type systems, etc..

[1]: https://en.wikipedia.org/wiki/Total_functional_programming
Well, that was the easy part. Where's the funding going to come from to pay domestic workers?
Location: Cupertino, CA

Remote: yes

Willing to relocate: no

Technologies: ReactJS, NodeJS, Wordpress, APIs (Frontend focused)

Résumé/CV: Available on request

Email: meera@askteammate.com

https://www.linkedin.com/in/meerab/

Email is: meera@askteammate.com

Github: https://github.com/meera

I am front end web developer. I am looking for freelance/contracting work.

I am decent at scripting. I have automated workflows by sprinkling API calls resulting into saving countless man hours.
What in that article specifically makes you not trust Thorn? They seem to me like they're trying to do good work -- preventing child exploitation -- that necessarily involves partnering with organizations whose values won't always exactly line up with theirs.
DXF is a too stupid and irregular format, JSON is much more regular and easier to read and write.

There are several open source alternative formats, but I never warmed up to them. They look very overarchitectured, like XML. But maybe I'll have to do some IFC converters later.

With all the constraints, dynamic blocks, mesh and solid formats it's very diverse, and Acad's new constraints system is extremely baroque and undocumented. A big C++ mess. Dynblocks and meshes also.

ACIS is extremely nice though. I recently reverse engineered their new ShapeManager format, which is just binary ACIS (SAB) plus history (ACSH).
Your phone is never really off.
For a lot of people productivity is determined by inspiration.

So in an odd way limitations that would normally reduce productivity can actually increase it.
ChatMessages info here: https://git.pleroma.social/pleroma/pleroma/-/merge_requests/...
Best translator for German/English:

https://www.deepl.com/translator
> Hong Hong

typo?
These depend on a functioning legal system in a country that recognizes human rights. Dollar bills may work in incompetent states, but they don't in oppressive ones.
I’m not trying to offer a comprehensive solution for avoiding government monitoring. I’m just offering a solution for avoiding cellular Stingrays while retaining cellular service.

For a more comprehensive solution, you would need to at minimum not carry any electronic devices (signal detection), wear a mask and IR-blocking glasses (face detection), and wear shoe inserts (gait detection) — and even then, they can still seize you and overcome those obstacles at will.
You can do live wallpaper with xscreensaver

set XSCREENSAVER_WINDOW

'-root' often works just as well

ex:
/usr/lib/X11/xscreensaver/molecule -root

will start molecule on the root window
Hello Adam,

Do you hire candidates from outside the UK?
A super quick rundown on SEO
Location: Amsterdam (perm EU resident with US Passport)

Remote: Yes

Willing to relocate: Yes

Technologies: Typescript, ES2020, NextJS (9.4), React (16+), React Native (0.62+), GraphQL, Apollo, Laravel

CV: https://jrsalazar.dev

Email: contact (at) jrsalazar (.) dev
> people who identify as "conservative"
Stealing a car is illegal. Lobbying the government is legal.

If you think lobbying the government should be illegal, maybe you should lobby the government to get that changed.
You can do live wallpaper with xscreensaver

To quote the man page:

XSCREENSAVER_WINDOW
Passed to sub-programs to indicate the ID of the window on which they should draw. This is necessary on Xinerama/RANDR systems where multiple physical monitors share a single X11 "Screen".

-root often works just as well.
Why do you attach "black free will" with adhering to the black subjugation ideas of the US right-wing?
How about a high-bandwidth vocal signal language in place of natural language? Here is an example: https://youtu.be/sG3PWet8fDk?t=4545
Hims & Hers | Full-time | REMOTE | https://www.forhims.com | https://www.forhers.com

Hims & Hers is a health and wellness e-commerce brand dedicated to making healthcare accessible for everyone, regardless of gender, age, insurance status, or location. Since launching in November 2017 we have become one of the fastest growing direct-to-consumer brands in history.

Our mission is to make it easier for people to access care and treatment for the conditions that impact their day-to-day lives, whether that involves finding the right birth control, addressing hair loss or skin care issues, or treating low libido. For certain issues, we provide our customers with easy access to medical professionals. Our telemedicine consultations help our customers obtain prescriptions for branded or generic Viagra (sildenafil) and other erectile dysfunction medications, generic Propecia (finasteride) to treat male pattern baldness, 10 forms of oral birth control pills, and Addyi (flibanserin) for female hypoactive sexual disorder, among other prescription treatments. We also offer a growing range of non-prescription products for women’s and men’s wellness.

Open positions here: https://boards.greenhouse.io/himshers
Fair enough! I didn't look closely at this icon set, and definitely agree that we should strive for high-clarity icons if they're the only signal about what a button does.
Then shutdown their competing offering in 2-3 years once it's mature and have a user base
HN doesn't have PMs