skysight-inc/HackerNews huggingface dataset:
Can I ask you why you have this particular hope?

Is it because you are a user of apple products and hope that you will continue to do so in the future because you are dependent on them?

Is it because you believe that apple is a good company and you hope for the best for them?

Why should we hope for the best for a company that has made hundreds of billions off of offshoring jobs to an authoritarian country with little regard for investing in manufacturing in America?

The way I see it is that if China decides to squeeze Apple by restricting their production it will be a fair comeuppance for a company that has seen fit to extract billions in wealth from developers through their app store and has sought to turn their commodity hardware into status symbols to extract even more wealth from middle class people who want to feel like they're more than middle class.

If the executives at Apple had any foresight and any interest beyond self interest they would have encouraged domestic production a decade or more ago. Instead we have a situation where people are crying for poor Apple, a company who that has more money than god and who could have used that to create their own supply chain domestically which would have had tremendous benefits for America and the American people.

Instead they have chose to consort and ultimately enable an authoritarian country into a situation where they now pose a legitimate threat both militarily and culturally to America, the albeit flawed but last best hope for freedom in the world.

Think different indeed.
For me the 13.1.2 update broke all networking on my ipad Air 2. Mobile, WiFi and Bluetooth all not functioning and looks like it is reasonably common issue as well. Only way to get it working again looks to be a factory reset from iTunes. It just works, I guess...
Hopefully there will be a fix soon. In the meantime see https://news.ycombinator.com/item?id=21231416.
Show HN: Minio-Kv Simple KV HTTP API for Minio / S3 – Store JSON Documents
CS Now Counts as HS Math Credit in Most States – Is This a Good Idea?
Money helps here. People were writing software for Windows even during the darkest days of Vista. On a mac or linux, if possible.
Most Popular Programming Languages from 1965 to 2019 (5-minute video)
Karl Popper argued that we need to use violence to cull intolerant ideas even if they aren't violent. If you think that it is wrong to do that then you are on the pacifists side and not the "We shouldn't tolerate intolerance" side.
> Moving messages between mailboxes, both via drag-and-drop and AppleScript, can result in a blank message (only headers) on the Mac. If the message was moved to a server mailbox, other devices see the message as deleted. And eventually this syncs back to the first Mac, where the message disappears as well.

Actually this was already a problem on Mohave. I lost all my mail from one mailbox when moving messages from one folder to another (gmail)
I'm curious how you use irrational numbers in any language. I'm not aware of any mainstream languages that support them.
"The only reason people don't notice that is because they do it incorrectly and it works most of the time, so they are unaware."

Ironically, that's Rust biggest problem: not using perfect ownership management works for most software most of the time and that's good enough for most people and companies.

You probably can't sell ownership management as a feature. The only thing that Rust can sell and that makes sense is "it won't crash" + "it's fast", but then there's a lot of other languages that have the first property and the second is not very appreciated, as seen in the rise of so-called Electron apps and web apps in general.
Can you get the sources for the board for the Raspberry? Can you run it without blobs?
This makes me want to anger China. What would be the best way to go about it for an individual person?
yeah, those are the ones you can't sent 2 or 3 units of abroad in a minute by chat, where the receiver is not taxed 2-5%
Samsung ends smartphone phone production in China
Ineos 1:59 Challenge Live
This notion of 'curation' in the article and in your comment stretches credulity.

Aboriginals were not in a position to 'curate' or 'manage' much at all. Aside from some rare controlled burns here and there - they didn't have the capacity to 'curate' vast areas of land.

More reasonably, their 'industrial footprint' was small by virtue of their near lack of modern industrialisation and their small population.

They were light on the land, but let's not construe that with some kind of 'caretaker' moniker - this is a romanticism of another kind entirely.

Finally, because aboriginals were present in some areas does not abnegate the notion that they were essentially pristine, i.e. this is not some kind of false romanticisation of the land by Westerners, rather, a mischaracterisation. Lacking a large agricultural base, large scale domestication of animals, an industrial base, large cities or even large populations, it's fair to suggest that such areas were in fact, by and large, pristine - certainly relative to the West.

Treatment of aboriginals by whatever policy is an altogether different question.
American films often use military assets and personal, and give the military final cut on the films. They follow rules set by the navy, Air Force, etc to portray their personnel and decision making in a certain, glorifying way. This program has been rampant in US film, but it's arguably increased in it's offerings to film makers; more money, more sets, more extras--and more demands. Film franchises work with U.S. forces to produce recruitment material using the film's IP, story, actors and brand.

Black Mirror, from memory, season 3 episode 5(?), a soldier fights a non-human enemy that is simply hiding from them. [Spoiler ahead] Turns out, military manipulation of the soldier's brain causes him to see non-humans where there are actually helpless humans.

Independence Day 2 lent their story, one of fighting alien invasion, to US armed forces recruitment videos. Actors gave mock interviews about their brave children who fought the aliens, and viewers were encouraged to join the REAL armed forces to be like the fictional ones fighting the fictional enemy.

This scratches the surface of what I mean to compare Cook's alleged requests to. Apple, without military money, asked writers to be sensitive of another nation. Their motive: a wider audience and more subscribers and customers. Heinous and selfish--sure, why not--but a far cry from recruiting folks to dump napalm on villages or use Iraqi farmers as target practice.

As a freaking media company, producers and other executives ask for content and define the market in which they want to address. It sounds like that's all Apple's really done. And if they've actually made an effort to curb US propaganda about China, then, even better. But I think it's more about expanding to a very promising market.
Well it helps when the wind is pushing you along.
SEC applies Howey Test to determine if a given security is an investment contract (security) and as such must be registered if offered to public.

The test is quite simple:
* It's an investment of money
* There is an expectation of profits from the investment
* The investment is in a common enterprise
* Any profit comes from the efforts of the one offering the investment or a third party

Cryptocurrency trading in general could be either but ICOs are clearly in the security category.

I would be curious to see Wyoming etc. try to overturn Supreme Court's decision on SEC vs. Howey. If they are successful it will be the end of SEC and the public markets in the US as we know them.

Re: Liechtenstein. They don't have a stock exchange so they don't have anything to lose.
It's pointless expecting corporations do make those sort of sacrifices, it would be economic suicide.
Honestly, I have consistently found the changes in the last couple of versions of iOS on iPad to just make things worse and worse, for no reason.

Moving the control panel to the upper right despite this making no sense on the massive iPad screen as compared to the iPhone X this feature was developed for.

Making the new floating dock ... and then making the gesture both to raise the dock and to open the app switcher the same gesture, with only fractional timing between them.

And that's not all. There's an additional context menu on Dock items now if you hold them, but ... you also need to be able to hold on a Dock item if you want to drag it up and make a floating window. Once again, fractional timing differences: hold too long and you get the menu instead. Hold too little, and instead either the app switcher comes up, or worse, it tries to drag the whole dock up, even though the dock is not a movable element. So about half the time when I try to drag up to create a window, instead I wind up moving the actual dock a fraction of an inch, and then it bounces back and nothing else happens.

There's also new "cleverness" about how windows are organized, and by cleverness, I mean "Why in the nine hells would I want this?" Previously, if you made a floating window, it was just that app, and you could swipe it in and it would always be the same app regardless of whatever full-screen app was currently open. For example, I commonly would make my IRC client the current floating window, so I could swipe over to it while watching Youtube or reading in Firefox to check chat.

Except now, the current set of windows is app-specific. If I'm in Firefox and I make a floating Discord window, and then go switch to Youtube ... that window is gone. Swiping in will instead bring either nothing, or whatever window I happened to create the last time I was in Youtube. This constantly results in confusing surprises and manually having to reopen windows.

Oh, and they redesigned the Reminders app, and in the process managed to screw up my notifications and delete or corrupt several important medication reminders, so thanks for fucking with my health, Apple.

The rest of the changes are mostly useless or cosmetic. The only vaguely useful thing is something they should've done years ago, which is expanding the app grid dimensions to something more sane for this resolution. The rest just feels like overblown marketing hype, a push for a new "desktop-like" iPad feel ... without any features that actually make it feel like a desktop.

Pointless.
Eliud Kipchoge Breaks the 1:59 marathon
Eliud Kipchoge Becomes First Man to Run Marathon in Under Two Hours
> Popper's opinion only makes sense when the person in power (or the mob) is never wrong, and that never happens.

I don't think this is true. The person in power can be wrong (e.g.) 10% of the time and you'd still have a mostly stable and tolerant system.
That is because people around you see tolerance as good. I know people who see themselves of guardians of rightful effectively and see intolerance as order.
On iPadOS it seems that you can play YouTube in the background again (previously YouTube blocked this on mobile, I guess the fact that iPadOS pretends to be a desktop browser nullifies this!), but you do have to resume playback from the “now playing” widget once the YouTube window goes into the background. The easiest way I’ve found to do this is to swipe down control center from the top right, then press the Play icon in the Now Playing widget.
“Lisp doesn't look any deader than usual to me.”—David Thornley via http://www.paulgraham.com/quotes.html
The listed reasons why enterprise software sucks are not terribly controversial, they are well known. Perhaps more controversially, here are some reasons why enterprise software is good and maybe even fun:

1. The domain that the software operates in is usually complex and varied.

2. The job that the software does is often meaningful, and helps people be more efficient or faster at a job, as opposed to simply entertaining them.

3. Users of the software are generally professionals, and can accept (and often demand) a deeper learning curve in exchange for more features.

4. It's generally more fun to develop software for smart devoted people than uncommitted interlopers.

5. Smart people using your software often directly challenge you to innovate (they make feature requests), rather than spending most of your time reverse engineering the psychology of your users based on aggregate behavior whom you rarely interact with.

6. Enterprise software often needs to dive deep into an industry or practice, they don't need to generalize to everyone.

7. This isn't a distinct benefit, but enterprise software does not need to be a large monolithic application, it can be nimble and fast moving like any other software.
Why wouldn't it prompt or inform during the upgrade or before they were deleted though?
This is a bit of a lesson of what happens when your focus on the price tag only.

Sure, I want my products to be cheap, but there might be some hidden costs that will eventually show up at a very inconvenient time.

Sure, Apple can do CKD assembly of their products everywhere, the manufacture of custom parts is the tricky part.
http://www.salimvirani.com/facebook/

https://www.cnbc.com/2019/08/23/facebook-releases-new-cambri...

http://www.theguardian.com/technology/2014/jul/06/we-shouldn...
You are right, I had overlooked this possibility. How does that work with your friend? Will he publish his own work in a separate math paper?
Welcome back PG!

HN: How do you get an intuitionistic understanding of computation itself? While Turing Machines kind of make sense in the context of algorithms, can I really intuitively understand how lambda calculus is equivalent to Turing machines. Or how Lambda Calculus can solve algorithms? What resources helped understanding these concepts?

I'm currently following http://index-of.co.uk/Theory-of-Computation/Charles_Petzold-... and a bunch of other resources in the hope I'll "get" them eventually.
It's far from boring. A planet closest in environment to us is interesting as heck for obvious reasons.
Advances in Quantum Machine Learning
I miss RoR, I think I will churn out a project for old times sake!
> I know people who work at large banks, they work nothing like a tech company.

> Tech/IT is seen as a cost centre, often outsourced, and if not outsourced performed by disillusioned teams with neither influence nor autonomy.

That may be true, but how people work is beside the point. That's a question of culture and dependent on the industry and it's maturity. Yes, it may make or break individual companies, but on the scale of industries it's not relevant.

The truth is that tech companies don't "win" by working better, they "win" by playing a different game and the game here isn't too different to the incumbents.

> The back end of big banks is a huge mess of legacy systems

Yes and no, as big banks are not monolithic nor homogenous. But this doesn't make the jobs of startups any easier either because the interfaces to existing platforms are just as necessary for them in order to interoperate.

>the leadership don’t recognise that everything will be software soon

Actually they do and they are betting on that to cut costs by automating legacy and inefficient functions.

> They are the antithesis of big tech.

They are not the antithesis, they are just at a different stage on the maturity curve. It's up to the disruptors to find enough gaps in their armour to usurp them. But I don't think that there is that much room for disruption in the retail market apart from niches players, because fundamentally their models are not that different.
In Python there's SymPy. It simplifies expressions and then you can ask for the answer as a number to N decimal places.

>>> from sympy import N, sqrt, pi
>>> N(sqrt(2)*pi, 50)
4.4428829381583662470158809900606936986146216893757

https://docs.sympy.org/latest/modules/evalf.html

https://en.m.wikipedia.org/wiki/Computer_algebra
I have worked in enterprise for 20 years and have always been watching the vast majority of my colleagues (by the numbers) struggle to make anything but basic use of Office. My experience has been that there are a few advanced users who enjoy the mastery of it enough that they know it inside out, but the majority of enterprise workers really just do pretty basic stuff with it.

Meanwhile, the killer app of G Docs (collaboration) is a very frequently unanswered need. People emailing attachments with ridiculous names like "contract_v2_final_finalforreal.docx", making conflicting edits that cannot be reconciled, carrying USB sticks around because their PPT presentation is too big for email and they can never figure out how to use shared folders, etc.
"Also by convention, the cdr of the last cons cell in a list is nil. We call such a nil-terminated structure a proper list. In Emacs Lisp, the symbol nil is both a symbol and a list with no elements. For convenience, the symbol nil is considered to have nil as its cdr (and also as its car)."

https://www.gnu.org/software/emacs/manual/html_node/elisp/Co...
Be elected president, and then figure this out on your own?
Wow! So cool to see a new post from PG!

Really curious to see what this project will become.
The combinatorics were written in code in a human lifetime so there should have been tests for it.
Chinese people are also beholden to China (the government). It may be a political game to you, but trying to destabilize the government would have serious consequences to the livelihoods of the people there, just because some policies (that don’t affect you) don’t agree with your world view.

Even though there are kinks in their regime, for the most part they’ve lifted hundreds or millions out of poverty. Imagine if the U.S. had a massive foreign power prodding it during the early years of slavery, manifest destiny (the justification for eradicating the Native Americans), racism, drug war, Vietnam, and mass incarceration.

Yes, they have a big brother-style regime, but they are also capable of sorting out their own political issues. And if not, they’ll reap the consequences without you having to do it form them.

If you really believe in democracy, then trying to influence their politics from afar is ultimately going to be far-less democratic than they influencing their own politics. I understand they don't have directly elections or a multi-party system, but that does not mean there is not opinion sharing in policy decisions, or intra-party elections. In a representative form of government direct-elections are not really a thing anyways.

If you truly support democracy, the last thing you would do is to try to influence the policies of another people. That would be robbing them of their self-determinacy, even if it is to prevent them from robbing themselves of it.
Nobody is trying to overturn the Howey and more important subsequent Federal court decisions.

The law in Congress will tell the SEC to stop wasting time on this and give a default status for digital asset issuers to exist in that isnt securities. Exactly as a handful of states have done.
Considering that Confluent actually develops the Open Source Kafka project, I expect these problems to be AWS only. Go for the real thing and don't give Bezos money for a crippled product.
> tokens are issued in addition to certain securities

Could you please provide a pointer to registration paperwork of those securities? It must exist if they are "issued strictly according to the current legislation". Thanks.
I don't like Facebook, but I do give them credit for being very smart. They managed to lock a billion eye-balls on their platform and that doesn't happen automatically.

That's what makes this whole Libra thing so shocking. I just can't believe Facebook would be so naive to just shout "digital cross-border currency" and then expect everyone to cheer them on. Bitcoin has been around for years, and controversies surrounding it are well known. PayPal has been around for decades and everyone understands the potential of electronic payments.

The fact that Facebook did not expect this ambivalence / skepticism and address it upfront is a pretty surprising misstep.
Welcome back Paul :) Great to hear from you again. I almost thought you were too busy for HN since you became less active here, it's really nice to see you again!
The developers that actually have bought Apple computers to work on Swift and Objective-C, instead of a pretty UNIX to develop GNU/Linux applications.
Digital asset exchanges and issuers already exist in Liechtenstein. Kindly learn more about that.

Things that are actually securities in liechtenstein are passportable to other European countries that do have stock exchanges.

I think that was a very reductive and inaccurate comment on a multifaceted topic
Eliud Kipchoge Breaks Two-Hour Marathon Barrier
To be fair though, that quote is from 1996 just before the Steve rejoined Apple. He then went on to significantly increase Apple's share of the "PC" market over the next 15 years, creating some iconic models (iMac, MBP, MB-Air). That seems like more than milking it. Recently however ...
Balancing Your Writing with Your Job After Graduation
Agree. To name another example, I personally can't take seriously anything named 'webinar'.

Webinar is similar in spanish to the word huevina that means "egg beaters" (a replacement cheap and second quality). It sounds also like "web-vaina" (a vaina is "something" and specially used when something annoying happens) and has common roots with words like "huevín" (little testicle) and "huevada" (something irrelevant, lacking of any real interest and a total lose of time).

Definitely looks like something created to be dismissed. I can't thing in a worst 'hype' word for replace (without any real need or reason) the perfectly neutral and good old term 'videoconference'. Webinar is the kind of term that Ned Flanders would use.
Independence Day 2 lent their story, one of fighting alien invasion, to US armed forces recruitment videos. Actors gave mock interviews about their brave children who fought the aliens, and viewers were encouraged to join the REAL armed forces to be like the fictional ones fighting the fictional enemy.

And if they've actually made an effort to curb US propaganda about China, then, even better

Your entire post is fake news, and sounds like CCP propaganda.
The aircraft was not required to have cvr but it had one, which was invaluable to investigators, and do they decided other small aircraft should also carry one.
> A large part of that circumstance being the nonexistance of the former and creation of our urban environments to specifically cater to the latter.

That's a nice talking points and might even apply to some (US) cities. But I live with an extensively (and expensively) built public transportation and still it loses vs. individual transport quite often.
I'm pretty much all in on Phoenix, but I suppose a good reason to stick with RoR would be that 1) it's easier to find (experienced) devs, and 2) there are (still?) many more packages available which can make quick development easier.
> The parens are the shadow cast by Lisp's consistency, which is the reason to wish for Lisp in the first place.

Beautiful. I'm stealing that, with your permission?
I agree with your points, but relying too much on one country or one supplier is actually not Apple’s style or preference. Now this large reliance on China seems to be restricting it in ways that aren’t what any company would choose. Samsung recently stopped manufacturing in China, though it still has a small market share there and will continue to sell its devices there.

When it comes to shifting manufacturing, it seems like the main lower cost choices are “worse” and “less worse”. The less worse choices may be other countries in Asia, each with its own drawbacks and baggage, like Vietnam, India, etc.
My guess would have been a short for BEtter Lisp ;-)
It's basically just touch input controlled with a mouse. It's not really what one wants or expects when one thinks of mouse support. It's one of my few disappointments with iPadOS (next to multitasking still being a pain in the ass after all the changes they made with iOS 12).