skysight-inc/HackerNews huggingface dataset:
Maybe, but I don't really see what that gets you:

1. In an ultrametric space like the p-adics (ℚₚ), two open balls are either totally disjoint or one is a subset of the other

2. In an ultrametric space like the p-adics (ℚₚ), every ball is both open and closed (clopen)

3. The p-adics are spherically complete, which means the intersection of any sequence of nested balls is non-empty (remember balls are clopen, so it doesn't matter if the balls are "open" or "closed")

4. Let ℤₚ denote the p-adic integers (not the integers-mod-p). Then ℚₚ has a countable basis consisting of sets that look like: {q + pⁿℤₚ : q ∈ ℚ, n ∈ ℤ}

This doesn't prove anything, but, to me, the game has the "smell" of requiring an ordered field to even make sense. Then for the trick to work, the field has to be Dedekind-complete. But the real numbers are the only such field (up to isomorphism).

Overall the game feels very similar to one of Cantor's early, more analytic proofs of the fact that the reals are uncountable. Those proofs were all very tightly coupled to the analytics structure of the reals.

But in the process of writing that proof he "saw" that it didn't depend on any of the analytic stuff. He wrote up a rough version of the diagonal argument which he sent to Dedekind in a letter, who then refined it into the proof that is typically taught today.

There's something really special to me about Cantor's diagonal argument because diagonalization gets at the heart of the set-ness of (un-)countability. It might not be the most comfortable or natural, but it distills the essence of the concept.

Remember, Cantor came to the concept of (un-)countability via harmonic analysis. His early proofs were all very analytic, so it wasn't comfortable or natural to him, either — at least at first!
SQL Queries on Git Repositories
Command-Tab switcher.
Command-N for a New Window if you don’t already have one open.

For a more advanced trick, use the Command-Tab switcher, after taking your finger off of tab once the application you want is selected, but before you take your finger off the command key, press the option key, and then take your finger off the command key and then take your finger off the option key. This sounds more complicated than it is but once you get used to it, it’s straightforward and the following behavior will execute.

1. If there are no open windows, the most recent minimized window for that application will unminimize and take focus.

2. If there are no open windows and no minimized windows, a new window will open, as in the Finder, Terminal or Safari.

In an application like BBEdit or TextMate, it will create a new file, and in the case of TextEdit or Pages, the Document chooser or whatever Apple calls this dialog will pop-up. In an application like Notes, the main window will appear.

This all sounds complicated, but if you know your applications well, and what type of application it is, you’ll quickly suss our the pattern that it is basically a Command-N shortcut from the switcher except for some of those newfangled iCloud-aware and/or Database-centric apps.
I mostly agree with you, but is it not possible that we were stuck in a local minima, and Covid might have shocked us out of that?
> Eradication has been achieved in New Zealand.

This isn't quite true, but even if I accept that as true, you haven't addressed the problem that this is a zoonotic virus. There are abundant animal reservoirs that will never go away.

> Imagine if the next spillover is with a virus that is deadly as SARS-1 but as transmissible as SARS-2.

I used to say exactly that, until realizing that a virus as deadly as SARS-1 will never spread as well as SARS-2. Granted, if this hypothetical virus had SARS-1 lethality with SARS-2 incubation period, it would do a lot "better" than SARS-2.

Anyway, having thought deeply about this - and I'm sure you will strongly disagree here - even a SARS-1 danger virus with SARS-2 spread, I would be against (a) obviously eradication since I've already discussed why eradication is impossible, but more importantly: (b) I'm against trying to contain highly infectious respiratory viruses period.
True, it's not just a photo; it's also a request to identify a police officer, which has legitimate purposes.

Unless you think that calling a police officer a bitch is a felony.
Ask HN: What are the classic signs (if there are any) of market manipulation?
I've been following the market recently due to its unprecedented recovery. I am also dabbling in some home-grown strategies for how to position myself as well.

One thing I've done is I've positioned myself short with some oil and gas ETFs. The peculiar thing I noticed a few weeks ago was that early in the morning the options prices on these equities would spike extremely high, then throughout the day would taper off back to even (no gain / no loss).

For a while I was thinking this was some hedge fund or other powerful / wealthy entity just buying up every last options contract they can. I fail to see how it's not the right strategy right now, as all of a sudden the entire world (to a very large degree) just stopped driving places.

But then it became clear to me that currently there is no reason to really be short the market in any significant capacity because the major indexes just keep hitting all-time highs just about every day.

Then I started considering whether those 2 things are somehow related. People keep talking about extremely solid fundamentals, yet we are in the middle of one of the worst crises human civilization has ever experienced).

I have no knowledge of how these automated trading systems run by large banks or hedge funds work, but if this is happening on a grand scale (short-sale options are dropping significantly in price throughout the course of each day), and it's an important marker of market health to these trading systems, I can see how these algorithms could see this as an extremely positive sign thus all of the equities I've been following appear to be very seldomly trading lower than 2 standard deviations above their 20-day moving averages (Bollinger Band indicator).

If one wanted to explore this further, dig a little deeper to find signs of market manipulation, where would one typically go and what signs would indicate such activity?
How would that imply lack of security? Wouldn't it be perfect if every single homicide by a stranger was by a cop? It would mean that a cop was there every time to stop the criminal before they hurt someone.
> When Google starts to have any inclination to put a bag over my head if I search the wrong thing, sure

Google actually did attempt to participate in that via Project Dragonfly. Users searches would be correlated to their ids and sent to the government, which is actively surveilling people in order to decide who to suppress. Many of these are minorities who end up with bags over their heads in those concentration camp drone videos. The employees revolted so strongly the project was cancelled.

> When the US Government can unilaterally demand security cooperation from Google in any way, shape, or form like the Chinese government can, then sure

Tech companies sometimes sue to be allowed to disclose the secret requests that are made of them. Since 9/11, it’s been a lot harder to say no
Brand Integration, Built on AI
You realize everything you listed here has been this way since like.. forever right? And nothing has changed.
QuickBooks Online vs. Desktop – Which Is the Best?
Any one who participate in politics stands to win for the government to have more power.
> ads on search are a majority of Google's revenue

That's not the same as saying that a majority of Google's revenue pays for making search work. The relevant question is whether search as an application, regardless of what else Google wants to spend revenue on, could bring in enough revenue from users to pay for itself.
> You even have to pay reasonable fees for FOIA requests, which are also public records…

Hm? FOIA requests are usually made to request the release of data which is not yet available to the public. Most such requests require some level of human intervention, e.g. to determine what sorts of records need to be searched, to perform manual searches on non-digitized or poorly indexed data, and to perform any necessary redaction on the retrieved data.

PACER, by contrast, is already fully automated. The court records it searches are all already digitized, and have all been cleared for release; literally the only thing which users are paying for is the operation of the service.
I had a Tecra 500CS in high school. Used to carry it in my bookbag, no case or anything. It was an absolute beast, and the first machine I ever installed Linux on - Slackware 3.4, via floppy disk sets because I couldn't afford a CD drive on top of the machine itself, which even used cost me an entire summer job's proceeds. It did have a built-in modem, though, and that sure was handy.

I suppose I shouldn't talk of it in the past tense. After all, I still have it, and it still works after all these years.
Life Is Short – 2016
Yes, if you suspect your password is common maybe you shouldn‘t use that service at all, but just download some smaller list of “common passwords.”

I also see problematic that, if I understood correctly, some browsers query automatically that service with your passwords which browser collected whenever you “saved” some login.

And they claim that is “for your security.”
This is Jacobin Magazine, an openly socialist publication. You shouldn't take their position as an indication of anything with regard to typical media.

I don't value much of what Jacobin has to say, but I would be more worried if there weren't voices able to say these things. You won't see an analog to this in China.
I really loved the Toshiba Radius 12 I had several years ago, with a 2160p display. It very much kicked ass at gaming, too.

Toshiba had potential.
as always, be careful what conclusions you draw from polls. here's an article discussing that poll and some others from previous years: https://www.vox.com/2020/6/17/21292046/black-people-abolish-...

I'm not even sure you're wrong; I just think you can't conclusively say how black people feel about an issue.
Not really, cities offer public transportation and a lot of enjoyable things to do. They were a thing before large corporations were seated there.
If you think Google isn't deeply involved in politics already, you are fooling yourself.
Article headlines typically reflect the author(s) implicit biases.
Remains to be seen. 3 hours out of the city is still 3 hours out of the city regardless of whether you can "take a nap" or not - which you already can on something called a train or bus.
My thinking is that culturing massive amounts is incredibly scalable since there's no need to inactivate or perform other steps to render the virus safe. You're just culturing a fuckton of virus in a medium like agar.
The Washington Post Releases U.S. Climate Data on GitHub
You can ignore AppStore policies and guidelines, they keep reinventing new interpretations. The one true rule is hand over our cuts.
I think common sub-expression elimination is a part of hoisting out of loops, which seems pretty important.

I have seen Gcc dismantle one loop into two adjacent loops, the first to pre-compute a table for the second loop. My jaw was on the floor.
A big thing for me is being able to walk to a ton of different things, no car or even bike needed. In the US, for practically any area with densities lower than those of cities you're going to need a car.

I'm sure that the reduction of CoL opens up plenty of financial room for a car, but it's a whole extra set of things to have to worry about that I personally would rather not.
Quake 3 on Kubernetes
A project I worked on for fun that I wanted to share. I really like what you can do with Kubernetes and making something that we can play during team events easily was really rewarding, hope you like it!
> It appears there were paper tradings at Toshiba subsidiary “Toshiba IT Services” which reminds me the legendary Toshiba accounting fraud. The legendary one that the waves compounded from excess manipulation, to the point that the operational profit surpassed sales figures.

The tweet I quoted was about a newly discovered incident but the chart is from 2015. Sorry but that was the best link I could find at that time.

In that instance at P.C. sales in 2008-2015, IIRC, the employees were forced to “do challenges” to meet the predetermined goals by the end of fiscal year(31st March in Japan). But the target wasn’t realistic and “challenges” became a synonym for various manipulation inside the corporate, from relabeling future sales to forging documents. That led to yearly pulse right at the end of FY and scheduled YoY growth on paper.
Looking for Software Engineers and Product Managers
Location: Remote (PST Timezone Only) or Seattle, WA In-house recruiter: Jenia Xayamountry (please reach out if you are interested jenia@jobscan.co)

Please apply directly:
https://jobs.lever.co/jobscan-2/511a05ca-b74a-4655-a9bb-604e2270e53d

https://jobs.lever.co/jobscan-2/e3375d9b-903e-4854-b4db-88eeab1f91dd

At this time, we are only considering candidates who are authorized to work in the United States without employer sponsorship.

Software Engineers and Product Managers

Our mission at Jobscan is to empower job seekers and help them land more interviews. We analyze resumes and LinkedIn profiles against job descriptions, helping our users stand out against the competition. Our users love us - we’re completely user-funded, profitable, and growing exponentially.

We are looking for smart, driven, enthusiastic Software Engineers and Product Engineers to help us build the next generation of job search tools. You’ll join our Seattle-based engineering team, delivering new features and tools to our growing user base. You’ll use modern and proven technologies to help us exceed our user’s expectations and scale our tools to an increasingly global audience, working in a fast-paced environment and reporting directly to our CTO. This is a great chance to be part of a growing organization that is passionate about building software the right way as well as continually providing opportunities for professional growth.
> It's statements like this and the one above why you get called an antivaxxer i suspect. Both the mortality rate and the long term impacts of COVID19 are both real and have not been overblown, there is a lot of evidence out there, but you just need to talk to any medical professional who has worked in the hospitals that treated patients to hear how bad this virus is. But it sounds like you have made up your mind already even though you say they are unproven (which they are not) , so you I guess you're making this assessments based on idiology not evidence.

On the contrary, those talking of "lifelong complications" and "long haulers" are ideologically motivated. I have looked at the actual research, as well as thought deeply from a more theoretical standpoint, and have found the risks to be entirely overblown, particularly with respect to my risk category.
As someone who has lived in the burbs most of my life, this stuff is way more of a problem in suburbs. So escape it you either need to buy a huge lot, or go somewhere really rural.
> What is hard about these days is that most of the visible voices arguing for the same POV as Auden's appear to have more in common with Pound than Auden

They exist, just like liberals existed post-9/11, they're just not quite as comfortable speaking up as the ones who speak up out of agreement, rather than on principle.
haha what's better than forever, the past maybe
I used P2 back in ~2012 when Onswipe and Automattic were working together on a joint plugin for WordPress.com. It was a long time ago, but I remember it being… weird? Maybe it was the culture clash, but at the time it felt disorienting.
I went Toshiba -> thinkpad -> MacBook.

They were the best at the time.
Can you trust them?
I feel like I agree with this statement, but I can't think of any examples. Google Fiber doesn't seem to fit, or Reader, or Wave, which are the most commonly cited examples of popular products that got killed.
That's just an illustration of how it can be done otherwise. The only non-standard thing there is that CSS glue construct:

selector { aspect: Func url(script.js); }

It tells that as soon as element matching that selector will appear in the DOM it will have Func() called (from script.js). No complex abstractions are required.

"to share internal web component libraries within my own company, never mind some other 3rd party"

My pardon, I didn't get the "to share" part, who share, what, and with whom?
Looking for Software Engineers and Product Managers
Elon musk furthered a coup? Any references to that?
My high school job as a barista/sandwich maker/prep guy was probably the best job from a fun POV ever.
That doesn't affect mortality, except that the more a country gets infected the better mortality will look since susceptibility to infection just happens to correlate to susceptibility to severely bad outcome
WordPress Suspends Astra Theme – Affects 1M Users
Something relatively simple would be borrowing the idea of the HTTP "accepts" header, and standardizing on an environment variable. For example:

STDOUT_ACCEPT=application/json,application/csv,text/plain

I'm not sure how the application could easily communicate back the understanding of this, though -- basically the equivalent of HTTP Content-Type header. It would need to be done in a way that doesn't break other applications that aren't expecting it, perhaps such as being sent back on STDERR with an escape sequence of sorts?

The other trick is knowing what an application will accept via STDIN - ideally at runtime, but before actually writing anything.

If the shell understands all this, it could automatically format JSON/csv output for display, integrate jq for formatting, or even convert between formats (eg: when one app writes in yaml, the other understands JSON input).
We still have warehouses. What am I missing?
This is really underrated aspect - used to have to drive everywhere, even to the corner store. Being able to walk, or bike everywhere is awesome.
> Choosing one column from "ls" output for example is not simple, bordering on impossible using the consistent behaviour of standard pipes.

ls -l | awk '{print $3}'
ls -l | cut -f 3 -d ' '
Good point. Good question. Confidential answer ;)
If you miss the physical act of writing on a whiteboard, then I would suggest looking into getting a drawing tablet (which you can use with any collaborative whiteboard app, or just screenshare a regular drawing program if you don't need to collaborate).

You can get an entry-level Wacom for < $100, and it scratches the whiteboarding itch for me in a lot of situations.
Kubuntu 20.04.1 has been released, featuring the beautiful KDE Plasma 5.18 LTS
The common thinking is that it will reduce pay, but it may not be as much as most people think. A good example of this is Facebook's new compensation structure for remote work. For engineers remotely working from low cost of living areas base salaries are only 10-15% lower than in the Bay Area, and stock compensation is the same. So a senior engineer (E5) might go from making $400k to $370k in total compensation, while also substantially saving on California's income taxes.
TFA mentions in-app purchases as a differentiating factor, and personally I suspect that's what's really driving this. Streaming a video doesn't expose a way to make purchases that circumvents Apple's getting a cut, but since a game is executable code, there's no way to guarantee that on a gaming platform.

(Which is not to absolve Apple of unethical behavior, but it is one way in which the analogy doesn't hold.)
I completely agree Julia is fantastic for computational kernel construction. I would like to never again write GPU kernels by hand (though Numba has been quite sufficient for my needs). I just don’t see this as everything.
Although in fairness, the paper mostly just speculates itself as to the underlying cause--mostly better control of high cholesterol and blood pressure, presumably primarily through drugs.
>macOS is one OS where a user cannot avoid using the mouse or trackpad!

It is simple: purchase a trackball.
Except for JIRA.

I'd rather learn a completely new system every 90 days than use JIRA.
I don't think guillot would be right place to start, since it was only intended to do one thing: Place axis-aligned rectangles for guillotine cuts. That is, you can cut out all of the rectangles only by cutting all the way across the paper. I wanted to be able to cut the pages up with a paper trimmer (because I am not very good with scissors! :-P ), and this restriction made the brute force algorithm relatively effective.

Laser cut nesting optimization is the opposite of guillotine cuts: irregular shapes with arbitrary rotations allowed.

This 2 years inactive, but still working open source tool is more likely to get you where you want to go: https://deepnest.io/ or the web version https://svgnest.com/
That's exactly the point I was making :)
> Google based information is probably part of the Disposition Matrix, though that's unlikely to end with just a bag over your head.

While bad, this isn't remotely the same either in scope or scale as China's similar issues. In the US you end up in this matrix if you're perceived to be a legitimate, real, prone-to-violent-acts threat. In China you end up in their "disposition matrix" if you say anything negative about anyone in favor.

> So what do you think of something like Elon Musk openly admitting to furthering a coup to secure resources? Is it only a problem with intellectual property?

What makes you believe Musk?

> This isn't the case?

No, it isn't. At least nominally some kind of additional oversight, e.g., via a FISA warrant, is required.

Now, none of the above is meant to imply that operatives and agencies adhere to the rules 100% of the time. They do serve to mark a distinct, clear difference between the US and China, though, because at least in the US if/when these agencies and operatives are caught there are legal repercussions to face. In China there aren't any because these agencies and operatives' actions would just be standard operating procedure. It makes a difference.
> I was taken aback by the costs of this stuff, which made the Sun gear I worked with look extremely cheap :)

Given the shrinking market share of mainframes, the only way for vendors to continue to make money is to increase prices on those customers who remain – which, of course, gives them greater encouragement to migrate away, but for some customers the migration costs are going to be so high that it is still cheaper to pay megabucks to the mainframe vendor than do that migration. With emulated systems like the ones you saw, the high costs are not really for the hardware, they are for the mainframe emulation software, mainframe operating system, etc, but it is all sold together as a package.

At least IBM mainframes have a big enough history of popularity, that there are a lot of tools out there (and entire consulting businesses) to assist with porting IBM mainframe applications to more mainstream platforms. For the remaining non-IBM mainframe platforms (Unisys, Bull, Fujitsu, etc), a lot less tools and skilled warm bodies are available, which I imagine could make these platforms more expensive to migrate away from than IBM's.
I really don't think a comparison to the DoD's exorbitant budget is useful, as pretty much anything will be tiny by comparison.

Granted I don't know exactly what is within their remit, but $8B is a fuck-tonne of money.
I hacked my way through college on a Toshiba Tecra 750... $7,500 configuration that I was able to get for $900! Probably the best laptop I owned except for my current 2015 MacBook Pro.