skysight-inc/HackerNews huggingface dataset:
> Taiwan has TSMC so the US needs to protect Taiwan for its strategic needs.

Eh. I think there are plenty of American decision-makers who are motivated to figure out a rationale for swallowing a loss like that.
Agreed. Great teachers of any subject are so hard to find. I too feel fortunate for the few I've encountered.
> The “Frontend/Backend” axis doesn’t map well to engineers’ motivations

True, but it’s useful to describe skill sets. They are truly quite distinct and equally challenging. Full stack is also useful because it means “I can muddle though most of it” — written as a muddler myself.
It doesn't matter whether you or I would support war, it matters what the population wants, and given a direct assault on US forces and the invasion of an ally, 1/2 the US population would be gunning for war and enough of the rest would be convinced.

Unfortunately 'some money to helping Taiwanese' would basically be futile, as there wouldn't likely be a way for that to be applied. (Donations are not going to help Hong Kong, now and won't help Taiwan in the event of invasion)

It also doesn't matter if we 'abhor war', force is a fundamental part of the equation even in 2021, if you're not prepared to use it in the right context, you'll lose the freedom to have the choice. And by that I don't mean 'You need to carry a gun!' because you don't, I mean we need to be prepared to use the Armed Forces (or force in generally) as is reasonably necessary.

And that would effectively be a pretty much necessary case.

These conflicts have 'knock on effects' - for example, if Saddam was able to simply roll into Kuwait willy-nilly, there's no reason to believe that Qatar or Saudi wouldn't be next. That, and 'because Oil stability' -> War.

It's unlikely the US would respond with an invasion of Taiwan because that would be essentially impossible, but probably there would be a 'war' in the South China sea and a Cold War after that.
I read the title as "New math book rescues landmark topology prof", and I was wondering how on earth a math book pulled that off!
Turned out alright for Nazi Germany. As a German, I'm absolutely grateful the Nazis were crushed militarily, rather than, you know, still reigning.
both-sider showed up, welcome, did you have something to contribute?
Most of the normal, non-techie folks I have talked to about this find the idea of taking nudes as scandalous and wouldn't take the risk.

I don't have a strong moral objection to using personal computing devices in that manner, but I think many people are nervous about the risks.
Any info on what Superfund site Apple is built on?
Today has not been a good day for freedom.
good point. Yes, during prototype phase, rigid typing actually helps quite a bit. I still do that myself, simply because I don't have to "run" the program to see if I'm on the right path when I'm just sketching things out.

I guess what I wanted to say is that, in the long run, compile-time checks may become runtime checks, especially something like enum values where at the beginning, enums are fine choice but soon you will find yourself where you have to store that to a DB etc.

Problem is, moving from compile-time check to runtime check isn't that straightforward in a lot of cases.
When everyone works remotely, communication and collaboration suffer, study
James Turrell Knocked the Art World Off Its Feet (2013)
He also advocated eliminating the minimum wage. Or in other words…he wanted to slaughter the hell out of one of the two DNC sacred cows.

Can’t have that…radical ideas that aren’t party approved are bad
16 Tons by Tennessee Ernie Ford: https://www.youtube.com/watch?v=Joo90ZWrUkU
Apple has had a notoriously secretive, paternalising, and "you will do what we say" attitude towards its users for a long time. It should be no surprise that the internal culture is not much different.
Apple is lucky this happened in the US and not the EU.
Mmm I worked on that film doing heaps of concrete that didn't look like concrete. The w16 land cruiser engine in the gigahorse setups a bit wild. Sacrificial gear link between them to join them. Pretty wild, fairly sure I've got a flaming skull from one of the front of the rigs somewhere. Fun cars, sound wicked when running.
My history classes ~20 years ago definitely made me aware Lafayette existed, but I'd say the extent I learned was that he was a French General in Revolutionary War.

I bet most Americans who have heard of him assume his first name is "Marquis."
It must be a conflicting issue for the Sacklers.
One one hand there aren’t many rhinos, but on the other hand, they need a lot of opiates.
As someone whose research currently consists of proving things in proof checkers, I can confirm they are more complicated than LaTeX.

At one point, I had to prove n / 15 + n / 4 + (2 * n / 3 + 1) <= n, for positive n. Seems simple right? But first you have to multiply by 60 so that you're working over actual naturals. But then you have to contend with the fact that n / 15 * 15 <= n itself needs proof (they're not just equal, since n / 15 actually represents the floor or that quotient). Automatic tactics that simplify things for you help some, but it still ends up being a good 8 lines of code for such a trivial statement. When things like this can be handled fully automatically, then it will be ready for mainstream use.

It is fun to fight the proof checker though! :)
I didn’t downvote, but I’m not sure what’s going on with HN today —- this is the third article I’ve seen with lots of HN metacomments.

That said, they’re probably right that the title should be fixed. It’s just getting a bit... well. I just wish we would all be a little more grateful for how much effort a site like HN takes to run. It’s also not so easy to get good moderators with tasteful editing abilities; imagine what a disaster it would be if Reddit let a subset of mods control most titles on /r/all.

I suspect the title is broken in this case because the title gardeners are taking a well-deserved break, hopefully enjoying the evening with their families.
Taxes and tax credits are also a useful policy lever to get people and companies to do things without having to imprison or beat them.
Lots of industries/companies are required law to maintain records of what they do. If such requirements were imposed on media companies, it could be done by archiving source material and using nondestructive editing software that saves edit decision lists.

Laws requiring media production companies to keep these records seem implausible in America, but at least conceivable in some of countries.
Since when did writing words then defining those same words become a big deal? And doing it wrong? Let's not confuse jargon with understanding or getting things done.
How old are your friends? For younger generations it would be weird not to have nudes on your phone.
Smale's proof for d>=5 was unified. The d=4 and d=3 cases were special and those are special dimensions for a lot of reasons. "Low-dimensional topology", i.e. d=3 or d=4, is a big subject in its own right, because of those issues. At least for now, the prospect of unifying them with higher dimensions is somewhat remote. Basically in higher dimensions, there is more space to maneuver and things don't get in each other's way as much, so many proofs become easier. As well, many things are true in high dimensions and false in low dimensions, in which case unification is obviously impossible.. See also "curse of dimensionality" about why things are different for high dimensions.
This person was Tweeting internal e-mails from Apple, complete with the footnote explaining that they were confidential and not to be shared outside of the company. Example here: https://twitter.com/ashleygjovik/status/1435421599826518025/...

There were headlines and outrage about her being placed on administrative leave by Apple recently. Reading the finer details, it turns out she requested to be placed on leave (From the article: "She was placed on administrative leave in early August while Apple investigated some of these concerns — a placement she says she requested as a last resort.")

She has a dedicated form on her website for press to fill out to request an interview with her. ( https://www.ashleygjovik.com/press.html )

She maintains a website called iWhistleblower ( https://www.iwhistleblower.org/ ) with details about past cases involving Apple and links encouraging people to report Apple information to different regulatory bodies.

Her personal website leads with "Apple Labor Advocacy" as well as "Public Health Advocacy" where she describes how she thinks there might be a toxic waste container somewhere on the property of her old 3rd-floor apartment. She believes it was causing her blood pressure and heart rate to change, according to monitors that she wore. She published photos of herself wearing a blood pressure monitoring cuff and her story here: https://sfbayview.com/2021/03/i-thought-i-was-dying-my-apart...

While I fully agree that all allegations should be given due process and properly investigated, I get nervous when someone is visibly invested in building a personal brand on social media around being a victim. The story about the toxic waste apartment, the story about Apple's lawyers needing her work phone for an investigation, and the story about her alleged harassment at Apple all happened within the past 6 months. Her entire social media presence appears to be built around capitalizing on these stories.
A $10/month droplet is probably closer to the minimum, and even then it struggles with only a handful of players. However that might be down to all the mods.
How do you know all those things weren’t caused by leaving the gold standard?
The Story on Why Space Cadet Pinball Was Removed (Ft. Windows on Itanium)
Yet they wouldn't be surprised that the devices are used to download nudes of others! There's a consumer-only angle here that's interesting.
She did not own or control this device. According to article it was a work phone.
Wow, this was unexpected.

Like many, I'm still learning a lot of this - especially the formal terminology and the distinctions between the mathematical and computational variances of these ideas.

It can be tough to push past the more intense and techincal jargon and I enjoy writing about these ideas to document my learnings for myself and to try and make it more accessible to others.

I'm happy some found it useful and for the discussion here where people can help correct and inform parts that aren't as sound.
Every time I see an app that seems novel or popular that is iOS only, I form a prejudice against it. I've never, as far as I can recall, gone back to Android offerings once they were eventually launched.

Apps are cancer. Apple is the company responsible for this mess.
Transmissible through feces, as was suspected 1.5 years ago.
My point wasn't so much a dig at FP as it was at programming in general. For example, I started my career writing Perl, which uses the word 'hash' to describe a dictionary-like datastructure. But Python uses the word 'dictionary' to mean the same thing. Javascript's equivalent is an 'object', though it is effectively a different. Other languages call this datastructure a 'map', others an 'associative array', and so on.

It's like, effing pick one! And if you have to have multiple why do they have to overlap with other completely different things? When I first read about a 'map' in this context I was very confused.

You also see this a lot comparing Microsoft environments to everyone else. Reading microsoft docs in the late 90s (which is where I first learned a lot of these concepts) you learn one set of vocabulary, and then in the _nix and webdev worlds you learn a whole different set. Take 'databinding', for example... I have not once heard this term used discussing shadow DOM stuff like React or Vue, yet databinding is exactly one of the services they provide. But no, they have to call it something different, making a lot of prior-art type research much more difficult than it needs to be. Perhaps it is part of the reason why the webdev world seems so intent on pointlessly repeating history. It hampers discussion and contributes to the conceptual isolation and tribalism that seems so common in this field.

(And in the perl example, yes I know it's short for hashtable and that this is because this dictionary-like thing is exactly that, but I think that from an end-user's point of view it would be best if all these different terms were unified)
Hot tip, all those cars were built with profits from happy feet too :) took the o.g builder like a decade to make them all.
>Most of the normal, non-techie folks I have talked to about this find the idea of taking nudes as scandalous and wouldn't take the risk.

Damn near every person I've ever met in my age group who has used a smartphone or computer has used it for every aspect of their personal lives to include the sexual parts of their lives. There is an expectation of privacy that average folks have on their devices. It's where they search for their most sensitive medical information, search for relationship advice, watch porn, and explore their curiosities without censorship.

I'm not sure where you are finding these puritan self-censoring non-techies who treat their devices as open books, but I've certainly never met them.
If you're interested in French revolution I highly recommend watching the movie made in 1989. It's in 2 parts, both are on YT, and Lafayette is played by Sam Neill. AFAIK it was the most expensive French movie until some time ago.

1- https://www.youtube.com/watch?v=0ofCqCc3S1s

2- https://www.youtube.com/watch?v=YgtK2BnMmUM

https://www.imdb.com/title/tt0098238/
Isn't elastic still open source, just not in the way the open source diehards like?
Smoke detected in Russian module on space station – Roscosmos
I fully agree, but that doesn't change Epic's motivations one way or the other.
Which will fund the federal government for what? 2 weeks?
Who knows? Generally speaking it's hard to get two meanings to both translate -- especially over 2000 years.

I guess a good example of this style of joke would be a used car salesman confronted how the roof has been torn off of the car and immediately switching to upselling it as a convertible.

An astrologer predicts no kids, then switches to advising on the future that he should watch over his kids.
Probably this one https://cumulis.epa.gov/supercpad/cursites/csitinfo.cfm?id=0...
Yeah, didn't even realize earlier that something ate the Police. Can't edit it myself anymore, though. Should've editorialized it after all and put more context into it, wouldn't have happened then.
That's just as myopic. We all do many things daily with no expectation of monetary reward.
Microsoft seems to have done this in the least respectful way of all the tech giants. They waited until 25 days before the planned RTO date, and won't even give assurance of the earliest date they might expect people back. Other companies pushed this months ago.
Requires age confirmation in the land of the free. Presumably for body parts.
Plenty of Apple users complain about Apple, don’t just focus on the fanboys, which every platform has, even Windows.
I follow many people from different instances all on one account
I'm pointing out a false dichotomy, why do we have to "pick our poison"? Can you explain why I should pick one? I don't want to take any poison. I want free speech and I want universal healthcare. I don't want one or the other; that's moronic. One does not preclude the other, so I want both.
Most of the normal, non-techie folks I know use non end to end encrypted chats to send nudes. I had to convince them whatsapp was better than snapchat. Maybe people have different feelings based on if they grew up with technology.
> There's still Singapore, and it is not in the line of fire of China.

Isn't Singapore already pretty authoritarian?
You remind me of when I started to actually get this stuff and it occurred to me that monads are just metadata+data with some special properties, and I posted about it on reddit and got downvoted to hell and told the many ways how that's wrong. The FP crowd...must be great at parties. I get this frustration.

I think a big part of it is difference in definitions. There's the mathematician's monad, which is pure and abstract and obeys all these laws. And then there's the engineer's monad: an interface you can map, ap, and flatmap over. People get so hung up over "algebraic purity" they forget why they were invented/co-opted for software in the first place: to solve the problem of applying pure functions to side-effecty operations.

> A monad is a wrapper. Anyone who tells you otherwise is being obtuse.

https://rcrowley.org/2011/09/21/monads.html
I do envision Ashley lawyers requesting the data on:

- how many Apple employees looked at Ashley's boobs in Apple's permanent evidence locker

- what the reason for each occurence

- what their names and titles
Probably because it presents a lose-lose situation for both parties involved. Epic is still getting their profits cut, and Apple can't be certain if they'll even profit off IAPs at all. In my eyes, that's legal stalemate.
sort of. I don't write tests at early stages, do you?

I don't see types as serious tests and I don't think they are robust. let's say that some integer must be between 10 and 100, do you use type checks for this?
FWIF lemmy.ml isn't meant to be the default, but it is still run by the devs.
In my experience the only concrete distinction between "Frontend" or "Backend" has been whether you touch CSS or not. Everything else has been a grey area.
This pretty much sums up the challenges I've been facing the past week
to add points to this:

> getting pregnant is not a crime

neither is signing a contract, but you can be penalised for breaking one. Neither is joining the army, but you can be punished for deserting. You are suggesting that if it's not a crime to take on a responsibility, you can't be punished for betraying it - that doesn't follow to me.

> you don't have to take it with you from the hospital. If you did, you voluntarily assumed the rights of a parent

why don't you assume the potential consequence of bringing a pregnancy to full term by voluntarily having sex, and not aborting in early terms?

> you still can't compel other human to risk her health and life

No, but you can penalise them. Can you not penalise members of the army for deserting? Yes, because they took on that responsibility. Who takes on the responsibility for a strangers kidney problems?

> if your child needs a kidney to survive you are not obliged to provide it

you aren't responsible for such a condition.

> yet if somebody needs a uterus

because you put them there? Can I lock you in a cage and claim no responsibility in getting you out?
Can you explain what you mean? Are zygote, embryos, foetus and various categorisations of foetal development arbitrary? Or do you mean "arbitrary" specifically in terms of personhood (i.e. there might be a clearly distinguishable stage where the heart starts beating, but this bears no obvious relationship to personhood)

> That one is arbitrary is not an argument against it and in favor of a different (and equally arbitrary) one.

True, but that's not my aim. I am instead attacking the notion of personhood, which was a dependency of your own argument, not mine. If there are no meaningful indicators of personhood, the only way to avoid aborting a person is to set a limit at a point where a foetus is still likely to be a non-person, because detailed gauges of personhood are otherwise unavailable.

I think a better direction for this argument would be to burden you with the question; why aren't we allowed to terminate once a child is born? pre-empting the argument "but then there are no health risks / autonomy considerations" - does that mean all abortions are done for purely health-risk reasons?
it depends how much you value your privacy. People that get their phone number/email leaked and get phished would tell you it's worth more than 50 cents.
so it's subjective.
The constitution carries more weight than you think: the highest governments in the US are the states which delegate their power to DC via the constitution. It’s a contract, and when violated the power is removed.
It's probably been about 20 years since I did American Revolutionary history in school and yea his name pops up, but he's treated as a minor character and a footnote. Gotta be honest, I only just learned his first name was Gilbert...
I appreciate your input. I don't think that's unreasonable.

However, this "theory" I proposed wasn't essentially about physics; it was ontological in nature, encroaching more on the field of CS's type theory as it applies to conceptions of physics.
I like that appeal to the Ship of Theseus. It's not compelling, but it is clever.
As a German I have to say: this happens all the time. By this I mean police raids for minuscule infractions.
I can do frontend development.

You don't want me doing frontend development.

I don't want me doing frontend development.

I struggled doing frontend development back when it was 80x24, with green, bold, reverse, underline and blink. On a good day I got the fields lined up.

I can do frontend development, but, you won't like it.
Her personal beliefs aren't something that changes how Apple handled this situation.

Edit:
I'm not arguing that she hasn't made the situation worse, I'm only arguing that her behavior doesn't excuse Apple's.
No, I aged out and I'm low income since I had an expensive addiction that I've since dealt with. Money was never that interesting anyway. I mean it would be nice, but over time I'm not sure how it would change my life that much. I've been learning how to write a story by studying others. I've been writing some jokes and am thinking about buying some paints and playing with color. The pandemic has put a damper on socializing, but when it's over I plan to get involved.
https://disasterarea.home.blog/2019/07/12/apple-headquarters...

Interesting. Trichloroethene.
Oh, first time I heard about Cloudflare Workers. Must have been living under a rock. This looks very interesting in many regards.

I'm in the camp "use Rust if you need it". Supporting Rust natively here makes a lot of sense for compute heavy applicatons. There's still some 30 ms latency, so some single digit microseconds don't really matter, but getting in the region of saving 2 digit microseconds in compute, the performance benefits of Rust start paying off (of course depending on the number of requests). So, I guess this is a great examples for choosing Rust.

The combo Cloudflare Workers and Rust is probably the fastest you can get for worldwide delivery of dynamic content. Really interesting stuff.
Right, which goes along with my comment about lots of people not having a clue to who Lafayette was.
It's like IBM in the early 1980s.
This is just a thought experiment. What if you registered to vote and the goverment gave you a $3.00 bill. This bill can't be used as cash (I guess, I'm just working through the problem).

You present....damn it I've already figured out a half dozen problems with this idea. Give the bill to your buddy and he can vote how he wants.

Do you have any ideas or recommendations to this problem? Every citizen whom is eligible to vote should be able to. Every vote should be counted correctly.

It is a hard problem to solve, and I would guess whoever solves this problem - especially for the long term - would be able to help out humanity in a way that hasn't been invoked in a long, long time.

Ughhh. The world is tough sometimes. Reminds me of Idiocracy - Your kids are starving. Carl's Jr. believes no child should go hungry. You are an unfit mother. Your children will be placed in the custody of Carl's Jr. Carl's Jr., fuck you, I'm eating.
>Organizations tend reward process-oriented thinking regardless of whether it succeeds or not

I'm not sure if my experience aligns with this