skysight-inc/HackerNews huggingface dataset:
> No.

You and I know that they're locked-down computers with hardware DRM and a bit of custom silicon, but most users don't see them like that. To them, it's a device that is only capable of running games.

> You have no idea how many user-hostile and abusive things I’ve seen blown completely out of the water with the golden phrase "Apple won’t allow that".

I'm an Android developer myself but I've seen iOS apps released, and I'm friends with many iOS developers. You're going through this bureaucracy lottery every time you release an update. You can never be sure of its outcome, and you can never know how long it would take. Even most governments are more predictable.

Sure there exist rules that are genuinely in the interest of the user. But then there are rules that are in the interest of Apple as a business (the 30% cut for digital goods). There also are rules that are following US laws, and they're stringently enforced regardless of your target market because Apple happens to be a US company.
Why do you assume my activities are legal?
There is no bar on personal projects. Period. That's the whole point of it being a personal project.

At least you've made it perfectly clear that you don't think people should have lives outside of work. Hope you also subscribe to the same ideology yourself and don't have any personal projects or hobbies (why are you on HN anyway, shouldn't you be working right now?) or else you'd easily be considered a hypocrite.
Mostly proximity to extended family, and in general just indifference toward many of the trade offs between city and rural living. Those trade offs matter a lot to me, but not to them.
Close the chat client?
Reading the comments below, Apple is damned it they do and damned if they don’t.
Epic expressly snuck code through the door to activate a user-visible feature in direct prohibition to App Store rules. Apple could have revoked their developer certificate in response, which would have essentially killed all installations of Fortnite iOS/Mac worldwide within 24 hours. That they are merely revoking their ability to sign new code and giving them 2 weeks to perform an orderly shutdown is far less draconian than they're capable of being here.

Notarization is about protecting users who are not capable of making an informed decision about code safety from developers who refuse to comply with Apple's terms of service. Epic willfully violated their terms with Apple to make a point, and Apple is responding in the same way that they did to Facebook: taking away their access to the users, because they cannot be trusted to comply with the restrictions placed on their behavior.

Most (if not all) of the restrictions on the App Store exist to protect users from app developers who prioritize their own greed over the rights of privacy and safety that Apple promises the users of the App Store. Developers are the threat model, and there's nothing inherently wrong with Apple's response to Epic declaring themselves a rulebreaker — and, thus, a threat.

(If Epic was not trying so hard to be able to sue for damages, they might have been able to negotiate, same as Facebook did. But they wanted to be a martyr for the cause, so here we are.)

Consider this thought experiment: At your employer, an IT employee goes rogue and installs malicious code on your computer to read your email. How would you feel if IT leadership said "they promised not to do it again" and allowed them to continue unsupervised work on your computer while you're away? Most people would feel awful, because you can't trust the IT employee's word — they literally just broke their agreement not to snoop! — and because your leadership clearly doesn't care about your privacy.

Should Apple "fire" Epic, now that Epic's word can no longer be trusted? This answer should, in theory, match the answer above. I bet for most software developers, it does not. I encourage thinking through that dissonance rather than rejecting the thought experiment.
Google is being sued for a different reason. I think it is for blocking a deal with a phone maker where they would have epic store installed
>In Windows world, you can just pick a new certificate vendor

I mean if they really wanted to they could blacklist your CN or O value in the certificate, or add you to the windows defender/smartscreen detection list, which will effectively kill your app for a good segment of the windows userbase.
> Instead, Epic pulled a publicity stunt by sneaking it in, specifically so that Apple and Google would remove their app

I definitely remember cases from the early years of the App Store where people would deliberately sneak e.g. tethering apps into the App Store in the guise of a game, and usually came to public attention when their account was banned.
> Before we can have driverless cars we will need something akin to AGI.

Not even close.
I think most iOS users don't actually care, but they know that they get their phones from Apple, and some game company is trying to mess something up.

I agree that the legal and the PR plays are separate, but if Epic were just trying to handle the legal issue, they wouldn't be making as big of a deal out of it. They're expecting to get something else from this.
Consent is only one legal basis, but it’d be hard to argue that sharing their data for processing by Apple is legitimate interest, and the other non-consent bases don’t apply here.
"named dimensions" feels like a dynamically typed version of "giving each dimension index a distinct type", with the added ability to select nesting levels by name.
The part which OP disagreed with was the intentionality, and I likened it to another example where the disobedience was deliberate. Of course with any analogy other factors will be dissimilar.

It's interesting you point out the bad practices they have themselves as being important though. The civil rights movement in the 60s boosted Rosa Parks above Claudette Colvin even though they both could have had similar legal battles only because of optics:

> For many years, Montgomery's black leaders did not publicize Colvin's pioneering effort. She was an unmarried teenager at the time, and was reportedly impregnated by a married man

Epic certainly shouldn't get to score virtue points here, but we shouldn't require someone to be a saint to point out unfairness.
I looked into this recently in order to gather enough facts to educate an aunt who wasn't a 5g conspiracy person, they just asked "how do you know that it's safe?", which is always a fair question. I wrote a post here: https://news.ycombinator.com/item?id=24103096

But the TLDR is that (in the example of 5G), the power levels were talking about amount to ~300,000x less power than what would be required to irritate your skin in a minor way.

Of course, it's always complex because sure, stick your hand in to a transformer and electromagnetism will do plenty of damage to you. Being against 5G or power stations because EMF "can do damage" is a bit like banning cars because jumping in front of a car "can do damage", except cars are _far_ more lethal and far less helpful than signal-carrying cables.
You are free to make and sell games for the PlayStation and Xbox without going through Sony or MS...

However, in order to get a key that works with their DRM or console OSs, you do need a license.
> This is a significant risk to the product. Opening it up means that the quality of the product and consumer suffers.

Thats still a monopoly on apps sold on the iPhone.

You are just giving arguments as for why you support Apple's monopoly on the iPhone app store market.

> A monopoly needs to dominate the market.

Also, related, there does not even need to be a monopoly for anti-competitive practices to be illegal. Anti-competitive behavior can still be illegal, even if there is not monopoly.

> the competing app store is the Play Store

No, actually. The play store cannot install apps on the iPhone. That is the market that Apple has a monopoly on.
> If video game streaming is so bad

It's not just streaming, it's interactive streaming where it could well happen that PayToWin / LootBox / etc games can appear.

Now, of course, they already exist on the App Store (and I honestly wish Apple would ban them outright) but there, at least, Apple has some kind of leverage - with xCloud, they have none.
And for some projects, you might not have the disk space for a full 'clean' tree, so you copy just the 2 or 3 files you're editing into `file.old`. And when you're constructing the patch, you hand craft the order in which files are shown to make sure the code lines up to the narrative that accompanies the patch.
Epic needed to demonstrate that they and consumers were harmed in order to have standing to sue. It's not illegal to "violate" a TOS that is itself illegal. The legality of what Epic did is yet to be decided in court.
> Epic could have sued Apple without the theatrics and they'd have been fine.

Without the "theatrics" epic would not have had standing to sue and the case would have been dismissed.
Although the article highlights that in the last year I started to work full time, I’ve been working as a programmer for 7 years during university. I had mentor which taught me a lot about programming which I’m eternally grateful for. I’ve worked before as a freelance developer and liked it pretty much.

Although I do understand it sounds like an impulsive action I just wanted to share how my thought process was in the last months. I never ask you to do the same or follow my steps, I simply share them.

I hope you do what you love cause in the end that matters the most.
This will indeed age very poorly.

The article is also of poor quality, making lame swipes at ride-sharing and electric cars as well.
I've been talking to people at SFUSD and NYC DOE and I think you're likely right that schools will last a week to a month tops before they close again (if they open at all)

It's insane that schools are asking kids to sit for 8 hours straight. What's more a lot of them are teaching on zoom the way they do in the classroom, when it's a completely different medium that has different strengths that we could be using to our advantage.

What kind of tools have you tried for math? I recently discovered Prodigy Games and Math Tango (the latter is probably too young. Kids seem to love them and need no egging on at all. Khan Academy is also great and they just launched a free tutoring program as well.
Prodigy: https://www.prodigygame.com/
Khan's tutoring prorgram: https://coda.io/@schoolhouse/welcome

I think your instinct with socialization is right on. Your child needs a healthy attachment with you and your family. That will help them form healthy attachments with others later in life. Here's an article I wrote on this topic with the help of a play-based learning specialist from Bank Street. Kids absolutely do not have to be in a huge group to learn to socialize well.
https://www.modulo.app/stayingconnected

For music, I'm actually working with a student in NYC who goes to Laguardia, does guitar and is interested in being in a string quartet..if you'd like to connect, maybe we could do something together?

I've heard Hoffman Academy has great classes but haven't tried them myself.

Here are some more math options:
https://www.modulo.app/all-resources/the-best-math-programs-...

If you'd like to offer a music class, I'd be interested in collaborating with you. I run an early stage startup that's been offering digital learning pods to students. I think that a bunch of our families would be interested in this class.

Here are some more music resources for you. I haven't tried them all myself but I'm part of a group of thousands of homeschoolers and these seem to be the ones they like the most:
https://www.slso.org/en/edu/middle-high-schools/
https://www.hoffmanacademy.com/
https://www.squiltmusic.com/
https://prodigiesmusic.com/

If you need any other help, please don't hesitate to reach out to me. I know this can be stressful and there is so much unknown - and even more so when your children have special needs that are already difficult to navigate in the "normal school system". It can be helpful to have someone to talk to and think things through. My email is manisha@modulo.app
This is Apple trying to avoid real Right to Repair legislation by taking actions that look like they support independent repair.

Consider taking a moment to donate to https://repair.org/ - we're pushing to get Right to Repair laws passed in state legislatures across the US.
What you said was "The former program destroyed any belief that we might be able to use formal tactics to analyze truth or other semantics." That description is quite vague, which was what my question suggested.

Tarski's work described a criterion for a theory of truth for a language, and showed how to give a compositional semantics for some formal languages. As you noted, that language does not define its own truth predicate, to avoid paradox, but this is a formal analysis of truth. His work, along with Gödel's, ended the logicist program, but not formal treatments of semantic concepts.

P.S. Don't assume what others have or haven't read. I can't claim any expertise, but I took a graduate seminar on the theory of truth taught by Anil Gupta. That doesn't mean I'm right, of course.
I agree with the sunk cost - besides, who is the customer and who is the product here?

The customer is supposed to be the one who bought the phone and is using the OS in their best interest. Right?

This whole thing feels all wrong. Both Apple for "gatekeeping OUR customers" and Epic for "Apple's stealing OUR money" (or "Apple is making us pay 30% so we're going to charge you 30% more")

Besides, it's not as if the Apple App Store is full of quality apps. It's full of a lot of garbage. It's so full of garbage that I have a hard time finding anything worth buying - because almost all of it is ad-laden junk that tries to nickle and dime you with in-app purchases. lol.
I spent the last decade in SV and the "rents are falling!" meme came up every year or so. Good luck :)
One may hope, but I doubt it.

They make a majority of the money in mobile.
Once he picks up Rust, he'll become a 10x programmer.
A teacher made a Google spreadsheet tracking Covid-19 cases at schools in US
The same person then turns on a dime to protest Trump...
The Uk example you’ve given is terrible. Trade execution at the quotes given (that last 30 seconds) improved. In the uk quoting is done by an RSP but It doesn’t mean the price the customer got in the end improved looking at the main board or dark pools (which you can’t see). They mention it in the conclusion of the PDF.

What it implies is price changes with payment for order flow the order won’t executed and is requoted, whereas where it’s banned there’s no incentive to cancel so you get the quote.
Oh yes, you definitely want to install it with npm rather than your package manager, unless you are trying to completely avoid npm.
This is an interesting capability.

Since the very first spy satellites were placed into orbit, adversaries have carefully tracked their orbits so that they could avoid exposure during an overpass. This form of cat and mouse game has had various options thrown at it, from satellites that can change their orbits, to "cover" satellites which operate as one thing and provide surveillance capability in addition to their "public" persona.

SpaceX threw up 2 satellites on a ship that was carrying 60 separate satellites (the others being Starlink nodes). But it could throw up 60 black sky satellites if asked. Further it could do that fairly quickly[1] from time to request to launch using a flight proven booster. Or perhaps 30 satellites with their own booster engine to maximize the number of orbits they could reach.

At some point continuous monitoring of a point on Earth becomes simply a question of cost. That can be kind of game changing from a geopolitical perspective.

[1] Where quickly here is anywhere from 10 to 60 days depending on whether or not a company like black sky could have the upper stage on hand with the delivery system.
True, but your Tesla has a super-powerful general purpose computer in it that connects to cell networks, and is likely way more powerful. Nobody's going to argue a Tesla is a PC.
You should have programming pals you can network with.
You should have entrepreneur friends you can network with.

Alone you are going to make bad decisions, if you have friends you can learn from THEIR mistakes and bad decisions, and their good decisions too, much faster than you alone.

Those guys have already made databases, they have built web apps or whatever you want to do.

If you know successful people on your field, use whatever they use, just copy them, correcting for your own circumstances and capabilities.

It is probably the best way humans(and primates in general) learn, by imitation from the best.

This can and is hacked by advertising industry because it works subconsciously: You see the best tennis player in the world drive a particular car model or wear a watch and you want this car model or watch. Or they watch their favorite musician take drugs or get tattooed and want to do the same.

This makes no sense(copying some master outside her area of expertise) but if you are into tennis you should "spy" what the best tennis player does for training and so on.

What is incredible is that most people will help you if you just ask them.

Once you do you will learn:

* It is not overwhelming. There are very clear tradeoffs with each technology.

* There are not so many options available that are mature and proven.
> Not sure this adds up to 30%.

It absolutely shouldn’t add up to 30% unless you believe Apple should be using the App Store as a pseudo-loss-leader for the iPhone.
All that really will matter is how the government and courts see it. Those words will be used in court.
Its mind blowing to run the math on how many people work these positions. For instance, I know for a fact that less than 650 people at UBS make more than 500k in investment banking. Take that number, and all the biggest banks, and you have less than 10k people making more than 500k in investment banking at the big banks. This is miniscule. Yet people talk about these careers like they are viable, or even worth the time and effort. They arent, unless you are top of your class at Harvard, have connections, or are irrational.

Engineering is different in terms of the number of positions, but still, the high IC comp is pretty rare once you run the math
Use RSS.
Language package managers take care of versioning/downloading the library from a central source into a project-specific place where the toolchain will find it.

AFAIK for C, this is handled by your linux distribution, and for any libraries that are not part of your distro you would be downloading the header and object files / pointing your Makefile at them by hand.
I remember a long time ago picking up an F100 and comparing it with a 1v. The 1v felt so light!
Epic needed to demonstrate that they and consumers were harmed in order to have standing to sue. If Apple's policies are illegal then Epic is not bound to follow them and retaliation is unjustified. It won't be known until it's decided in court. That's why Epic's motion should be granted to prevent retaliation until the court decides.
Are you incapable of self control to the point of not being able to stop yourself from using a different app store? Or is it that you know Apple's cut is onerous enough that given competition, most the apps would leave? It feels like you want other users to suffer on the basis that your values happen to align with Apple's avenue for generating profit. If Apple were in it for your privacy and safety they could drop their cut substantially and kneecap most of the controversy.
It's usually better to have a choice than to not have it. It's the same argumentation as with a headphone jack in phones.
Of course! Can you email me at manisha@modulo.app and we'll find a time to talk?

Also Math Tango is our all time favorite app and they have lots of great fraction stuff.
https://www.originatorkids.com/?p=1008

More fraction specific - Slice Fractions is a favorite in our community.
https://ululab.com/slice-fractions/
For most of us, the inability for the key to be duplicated remotely is the primary design criteria, as most of us need to defend against low to moderate remote attacks (which is exactly SMS 2FA is bad). You have to be an incredibly high value target before "my opponents are willing to send people to try and steal my 2FA token from my person and clone it" is a probable risk. At that point you better be using all kinds of special equipment and techniques, as a Yubikey alone probably isn't enough.

That being said, it's incredibly unlikely that someone would ever sell mass storage based USB credentials because:

1. Security products are marketed based on surviving the worst case scenarios. Nobody would buy a U2F token that is "good enough for the threats you probably face".

2. By the time you've hardened any USB device from remote cloning, you're probably already done most of the work to harden it against local cloning. Might as well complete the last bits necessary in order to get the marketing benefits from point 1.
Erm, people blame Nvidia because that one was Nvidia's fault?

Neither Apple nor the PCB manufacturers specified the failing solder balls that Nvidia used. Nvidia made and packaged those chips.

And then Nvidia failed to take responsibility when they failed because it was going to be so expensive.
Signed the petition! Thanks for helping make change.
That's fair enough. I'm actually pretty sympathetic to the subjective argument "Apple is really big and profitable now, and I don't like their App Store rules, so let's try to get them to change it." I find it less ridiculous than arguments that attempt to construct some supposedly objective principle like "iPhone are general-purpose devices and therefore they must allow running unsigned code."

Ideally, I'd prefer that this kind of back-and-forth between developers and Apple would happen strictly through negotiation, rather than invoking the court system, but I realize that not all markets are functioning well enough for this to be practical.
I think the main thing is having enough employers to provide jobs for the people. This could be done by coordinating the construction with some local large businesses or maybe a University that wants to open a new branch. Or just locate near enough to an existing town/city that has jobs.
Same thing here in Winooski, Vermont! I don't think it would be fair to say it "nearly" got built, but it was considered!

https://www.nytimes.com/1979/11/18/archives/dome-may-shelter...

https://unofficialnetworks.com/2013/02/02/entire-vermont-tow...
I am fine with this for most things except my phone.

I trust Apple more than any party in the world. Even the government. Fortnight devs, Epic, whatever are not even on the same radar. They'll sell your privacy in milliseconds if they can get 2.5 cents for it.

I would never ever own an open source phone. Not because the operating system is open source (probably good that it has eyes on it) but there is no way to control third-party apps. Even the os builds can get hacked and I cannot trust it. I have so much personal stuff on my phone on it that I cannot afford to entertain Richard Stallman and his righteousness.
That's such a great effort, and a laborious undertaking!