skysight-inc/HackerNews huggingface dataset:
> mail.app

Mail.app and most other apps since 10.8 (?) introduced badges just use those, unless it’s a more urgent thing than “you have a new message” in which case, yes, it will bounce the dock icon.
In a way I think landing the boosters is harder, and certainly was more of a first-time thing when SpaceX did it. I was bummed that the cameras cut out for the booster landing on this mission.
I just find it weird that nobody is bringing up Matthew 6:5. I can hardly imagine any example of "praying to be seen by men" purer than the politicization of opening churches right now. I have this feeling like, surely the cognitive dissonance will hit any minute now?

https://en.wikipedia.org/wiki/Matthew_6:5
> The government does not even believe it is possible to achieve that.

That's weird, when Tegnell has stated numerous times that Sweden may be get close to herd immunity by the end of May. I assume you're not making a semantic distinction between Anders Tegnell and the government here.
I wasn't accusing you of thinking that rape victims are responsible for how they dress.
I understand what you mean don't let the downvotes discourage you
Google's track record is evidence, albeit not a guarantee.
It must be so depressing to work at Oracle developing the database - I imagine the source code is a monstrosity.
That’s fine to me if it got us to this point. Another company can come in and do it better if there is really room to improve.

If something doesn’t work, SpaceX will fix it. You really don’t give their engineers enough credit.
Google+ was screwed out of the gate. It was invite-only, which did not work for Google+ or Wave nearly as well as it did for Gmail (logically). It also helps that Fuchsia is open-source and sees very active development.
An orthographic camera might be appropriate, at least for that particular demo.
I don’t think China really cares if it antagonizes the US.
> Arbitrary rules like line width help exactly 0 people per day

I use a linter, it warns about long lines (adjusted to 100), so I reformat or split them and the code seems more readable. Also, it has consistent formatting (other rules), though I occasionally mark some lines to be ignored.

I'd say it helps me, which is >0 people. You don't have to follow norms and/or best practices, but some find it useful.
agree on the issue but I don't think that Play Services is a great exemple.

It has always been closed source and can be replaced in any AOSP build. Google has no obligation to provide open sources apps and services on top of AOSP.
Because of this: https://en.wikipedia.org/wiki/Dodge_Caravan

They were immensely popular throughout the 90s and early 2000s.
> For long mission durations, storable hypergolics are the way to go for now.

Soyuz is a counterexample which flies for decades. Lockheed's engineers working on orbital fuel storage (Advanced Cryogenic Evolved Stage) will also point that it's not a law of physics.
It was visible during Bush's presidency. Trump's foreign policies are effectively an extreme version of Bush's. For example Clinton signed the Kyoto protocol but Bush decided not to ratify it. Obama ratified the Paris agreement and Trump decided to withdraw from it.
> Interesting question would be whether WinGet is a "derivative work" of AppGet.

They don't share any code. As far as copyright law is concerned, it is not a derivative work.
Yes if no one puts time into updating the default AOSP apps then they will stop being competitive. That seems like a tautology.
> The base install is relatively minimal compared to a "prebuilt" distro like Fedora or Mint. This lets me focus on adding just what I want, rather than constantly trying to strip out things I don't need.

That's why Fedora minimal exists, and I wouldn't be surprised to know that there's something similar for Mint as well.
I think it's true that there's too much in the way of faddy tools and products, frameworks, libraries, ecosystems.. and at the same time people are perhaps not investing enough into theory/fundamentals.

Where programming languages fit on this spectrum is a bit controversial. I think most people treat learning a programming language as an ecosystem problem, but that's only because these people tend to consider only mainstream languages that just don't have a lot going for them in the "language proper."

The result seems to be that if you propose a programming language a competent programmer can't pick up in a weekend or three (mostly by learning the syntax & types and then just applying prior knowledge from other languages), there's going to be a lot of complaining and whining about it. Maybe it's justified as long as we don't see advanced languages that really change software engineering in a big way; 'til then, a language is just another (more or less faddy) tool.

If we had a language that could offer guaranteed productivity boost (without any nasty tradeoffs other than the required up-front mental investment) for anyone who takes a few months to study it, then hell yes we should!

So it boils down to: is there really enough values in those ideas or not? I think not, or else both academia and the entire industry is just extremely dumb for not seeing that value. And I'm dumb too :(

The other point to note is that some valuable concepts just slowly creep into mainstream languages over time. Like mainstream languages today have a decent set of constructs that you primarily associated with functional languages 2-3 decades ago. Those things are probably not valuable enough in isolation to justify switching languages.
Malls are allowed to open in California, and they are opening.

https://www.sacbee.com/news/business/article242962581.html
Another way to express semantics is the use of Unicode in source code. For example, I have this Julia package that performs Box-Cox transformation, and I was able to use bold face for vector data and greek letters for the parameters as found in research paper and literatures.

https://github.com/tk3369/BoxCoxTrans.jl/blob/master/src/Box...
I view the waste land as a form of hiphop before the concept ever existed. It's the pinnacle of rhythmic language and I guess it came before the beat generation? But yea it's like reading Ulysses by James Joyce -- you're better off reading it with a guide
> For various reasons, but nothing fundamental.

"Hardware vendors being unwilling to make the drivers they write open source" is a pretty fundamental reason.

Which is worse, a phone where you can't update kernel because of the closed drivers or a phone where you can update the kernel, with closed drivers? I don't think that realistically there's a third option. The open source community is not, for example, going to make their own high performance gpus.
For a lot of appliances, there are brands that are known to last for years. The only problem is that you get what you pay for, so they tend to be rather expensive.
Personally, I just sing or hum along with music, and if there was one thing I could improve, it'd be the ability to sing in tune. I do the "finger in your ear" trick, but it's still quite difficult to hit a note right, or move between several without sounding like a trombone (glissando).

I absolutely marvel at what pop singers can do with ornaments, seemingly hitting a whole series of notes in rapid succession, in tune. Maybe they're using an autotuner? :-(
https://youtu.be/goh2x_G0ct4
Find a teacher. Generally as a rule Classical/Lyrical/MT styles require more technique than Rock or Jazz (they require technique to not hurt themselves but the style aspect is personal and harder to teach) so I'd recommend getting a teacher who knows the former well.
While I understand why you want open source drivers, the situation hasnt improved for 10 years, and this is one of the major reasons many phones end up not getting Android updates, which makes Google/Android look bad.
What to Expect at SpaceExploration and ML After Elon Musk’s SpaceX Makes History
"...removing 67% of the total deaths in Sweden still leaves more than 1,400 people dead who were not in elderly care facilities. Compared to the 236 deaths in Norway, that’s still six orders of magnitude more death in Sweden than in Norway.

...

Sweden’s lead epidemiologist, Anders Tegnell, seems to have a bit of a problem with math."

I couldn't help but chuckle at an author misunderstanding orders of magnitude in one paragraph and accusing others of misunderstanding maths in the next.

This article appears to be an attempt to paint the Sweden model in a negative light rather than honestly compare it to alternatives.
re: PeerJ: I missed that, nice!

re: semantics vs visual layout of math... Wikipedia says OpenMath is a thing, but... that only solves half the problem. Once you have a format that encodes what you want, someone has to actually it.

Like, if some writes x^{-1} and f^{-1}, it's hard for a computer to figure out that the first one means "the number you get when you divide 1 by x", whereas the second one means "the function you get when you compute the inverse of f".

And if the author can't be bothered to slow down and say which is which, then the reader will have to guess.

re: HTML to arxiv: not ready for prime time, if you actually follow that link.

re: kerning: TeX's advantage here is not fundamental, I think. Just need a good font, as far as I know. (Actually that's not far; I know almost nothing here.)

re: layout: CSS is finally getting good at this from what I hear.

re: talk: looks familiar; maybe I should re-watch it.
They aren't disagreeing. Parse what they said, and notice nothing contradicts the post they're replying to.

That's what I didn't want to say explicitly in my other comment: they made a long-winded comment that appeared to express a negative statement about what the poster said, while technically agreeing. To me, it's a perfect example of a lawyer's yes-that-sounds-like-no.

Edit: glad I didn't say this in the other comment. Shouldn't have jumped to conclusions.
Exotic self-induced spin glass state in elemental and crystalline neodymium
Sure, but codebases aren't structured that way.
Bitesize candies that melt in your mouth but not in your hand would be a good choice. :)
> On Android this is more acceptable since you need a Google account for the OS itself anyway.

I don't think you do, I'm pretty sure I've skipped that step during device setup on occasion.
I’m not super well informed on this, but is there any reason for sending humans to space at this moment in time (or for the next 20 years for that matter). The only reason my layperson understanding can think of is mining minerals in space, but I fail to see why robots wouldn’t be able to adequately do the job. In fact wouldn’t sending humans make future space ventures even more costly and put people into unessisary risk?
I’m not entirely sure I buy this argument. Ban it effective on a fixed date in a few years and introduce a favorable regulatory regime to help with replacements. If some planes won’t be able to fly, so be it.

Alternatively, introduce a Pigouvian tax: charge an obscene and increasing amount to burn leaded fuel.

This is kind of like the regulations that permit grossly polluting old collectible cars to operate. Sure, they have history, but that’s not a sufficient excuse to allow them to operate unmodified near other people.
An alternative to this is Octant, a full-blown GUI (not terminal) which looks pretty good and it's backef by VMWare https://octant.dev/
A big reason why Fuchsia exists is governance — Google wants to make a kernel that it controls. Linux cannot provide that advantage unless Google forks it.
That also explains why Apple could exclude abuse happening in the logs, which some commenters have refuted.

If they have all the JWTs, seeing if one had a different e-mail than the logged-in user should be fairly doable.
Your first point is already on my todo list!

No it doesn't take them into account, at least not yet. Currently it shows you only the most popular movies, but thats something I'm gonna think about. Thanks for the suggestion!
I'm not sure much serious mathematics is done is Haskell, beyond the usual arithmetic operations present in most programs, especially relative to other programming languages. It hasn't taken off in the numerical computating market, for example.

All that stuff about types and categories and monads and so on is maths too. Arithmetic or numerical work is only a subset of that field. Lots of maths doesn’t even involve numbers!
Let's not promote violence, protests ok, riots not ok
A little context on silver: silver is the defacto main currency in China at the time (for at least 1500 years). So for the Chinese perspective, they are really selling tea for "money".
> It’s blindingly obvious that spaceflight makes sense to invest in. The issue is that the level of investment is large and the time horizon before a return is long. Sometimes government takes that role.

Are you invested in spaceflight then? I don't see it being very obvious at all. Yes, some precious metals can be recovered in large quantities but they aren't intrinsically valuable. These materials are used in things like catalysts, batteries and chemical processes where we could also invest to remove the dependence on them.
Wow, had I known that this whole thing would have been a lot more nerve wracking.
I think it's important that the next big advances in computing are developed in the West. That's why the proposed NSF Technology Directorate [1] is so important.

[1] https://www.sciencemag.org/news/2020/05/us-lawmakers-unveil-...
How could it be tweaked to make it better?
It was a zero day up until the first report was made.
> most people would probably not want to deal with this toaster on a daily basis.

I used this model of toaster every day from the age of about 5 until I joined the Air Force. I dispute your claim.

Besides, any bad things about this toaster are not required in order to have the good things.

Given that the video linked by this HN discussion is about designing a new toaster based on the technology used in the classic Sunbeam toaster, you seem dangerously close to claiming that "the bad things about this toaster model make any desire to use it's technology in a new toaster something of a bad idea" and I would strenuously argue against that, if that is indeed what you're saying.

If a thing has problems, then fix the problems -- don't abandon the whole thing because it is imperfect as it is today. A toaster is a construct, and it can be constructed well.
An average cost of an NLP researcher is probably around $300k/year. If buying 10 $5k cards makes them twice more productive, then it's a no brainer.
> You use it.

They didn't use any of AppGet's code.

Though nobody is questioning whether what MS did was legal. The issue is whether it was moral.
"A lot of developers have integrated Sign in with Apple since it is mandatory for applications that support other social logins" -- How pathetic Apple is to force their own service on developers!!
Are you sure? That's the path that InCommon has been providing me for new certificates since they switched away from the expiring one.
This was about ease of use and simplicity of implementation. By the way, QHash's performance will be fixed thoroughly in Qt6. It is significantly faster than std::unordered_map, whose performance is constrained by an API that effectively requires a sub-optimal implementation.

https://codereview.qt-project.org/c/qt/qtbase/+/287053
Why are you surprised? They force you to use the App Store. They force you to process payments through their systems. They force you to comply with many things. How is this any different?
The court is letting states decide that religious practice is non-essential or less essential as compared to some selected commercial activities.

I don't think a state or the US should be allowed to make that determination.

Interfering with religious practice can cause irreparable harm to persons. It is up to the person and the religion.

This is not really something the state can reason about.
Lionel Messi: Gary Lineker on football's 'bewildering talent'
Can a SpaceX Crew Dragon launch from a non-SpaceX rocket? If NASA decides to diversify, can they buy a Crew Dragon and stick it on an Atlas V or Delta IV? It seems not.

The Wikipedia page for Crew Dragon says "The spacecraft launches atop a Falcon 9 Block 5 rocket and returns to Earth via an ocean splashdown." [1]

The Wikipedia page for Boeing Starliner says "It is designed to be compatible with four launch vehicles: Atlas V, Delta IV, Falcon 9, and Vulcan." [2]

[1] https://en.wikipedia.org/wiki/Dragon_2#Design

[2] https://en.wikipedia.org/wiki/Boeing_CST-100_Starliner
The Z80 enthusiasts in the TI-83/84 arena used to just write everything by hand in asm. Although since TI just killed that with their latest OS update, that's going to be a decent chunk of the Z80 enthusiast market gone overnight.
I enjoyed reading Professor Frisby's Mostly Adequate Guide to Functional Programming, 146 pages.

https://github.com/MostlyAdequate/mostly-adequate-guide
I think the Fallback for sorting short arrays section makes it clear that it's not only about sorting small arrays, so I think it's reasonable to wonder why Timsort wasn't mentioned.
I think one of the main priorities is military supremacy. It might not appear as that from a bit away, but that should not be overlooked. NASA's boss really highlighted some of that indirectly today as well with the increased funding to build out Space Force and some of that money goes to SpaceX obviously. So commercial, yes, but not like a car. More like a tank or fighter jet.
Give us some examples. OK, I'll start... Vacuums: Miele. I don't think Miele vacuums are quite as reliable as they used to be, but they are still (with some success) being marketed that way. What other brands for appliances ("white goods")..?
Google's new permissions model and APIs are actually great for weakening the power and abuse potential of extensions. Honestly, the vast majority of them aren't very trustworthy. I've seen extensions from banks that simply take over the entire browser for "fraud prevention" or some other nonsense. The new declarative APIs are great because extensions don't actually get access to user data.

Blockers just happen to be so important and trusted that they shouldn't be subjected to these reasonable limitations. Extensions like uBlock Origin and Privacy Badger are so special and important that they should probably be fully integrated into the browser itself instead of being optional.
I'm actually much more confused by your comment than the parent of yours.
I wonder if there's a browser extension that will port scan them back.
Minor typo, `froget` instead of `forget`
Books, magazines (BYTE, Nibble[0], Dave Ciarcia's Circuit Cellar), computer camps, BBS. But because there were so few resources, they tended to be FAR higher quality than googling or Stack Overflow. Plus things weren't as complex back then: you could memorize the 6502 instruction map in an afternoon.

The only way I really learned was by saving my money (returning soda cans and mowing lawns) and buying MULTIPLE books on the same subject because the examples or explanations differed enough to triangulate WTF was going on.

Nibble magazine had source code in it every month for the Apple that explained how stuff worked. I once typed in 14 pages of assembly to write a space-invader's game. Most of it was bitmaps.

When I was 13 I won a scholarship to a computer camp and spent a month with experts who answered every question I had and taught me how to debug. It expanded my knowledge 1e6%.

I'm a late-70's kid. I grew up near Yale University I bought programming books from the Yale Co-op book store with allowance money.

I started with BASIC on a relative's C64, then got into 6502 assembly[1] on the school Apple computers[2], then bought a book on 286 protected mode when I got to highschool. Then I worked for a machinist who taught me C in the mid-80's.

It was really hard without a network of experts to reach out to.

I still a have the latter two books, below, with my big, goofy-kid handwriting in them:

[0] Nibble mag ... https://www.nibblemagazine.com/

[1] 6502 Software Gourmet Guide & Cookbook, Robert Findly ... https://www.amazon.com/6502-software-gourmet-guide-cookbook/...

[2] Beneath Apple DOS, by Don Worth and Pieter Lechner ... https://www.amazon.com/Beneath-Apple-DOS-Don-Worth/dp/091298...
The article says there was an issue with reimbursement. It doesn't say that the issue wasn't resolved or that it was MS's fault, both are just your conjecture.
So... Don't have guns, because the government will kill you anyway? That's encouraging.
The difference between respecting a right and not can be seen by how much restraint goes into crafting the law. The details can get murky, but often the spirit is plain to see: was a good faith effort made to specialize the law to the problem being solved with minimal interference on any rights?

Here, the California order doesn't ban going to church, it places additional building capacity and total attendance limits.

There are complications though -- the longer these emergency orders drag on, the more skeptical we should be. They should be reviewed frequently, enforced moderately, and lifted promptly along with other similar activities. Surely it would turn into disrespecting the right if ballparks and concerts reopen first.

Another complication is the idea of protests. While limiting the capacity of a church doesn't completely deny religious services; limiting protests strikes more at the heart of the first amendment and our ability to challenge decisions at all.

The closing of gun stores is also problematic. It seems many gun stores in California have been ordered completely closed (not sure about state/county/city status), when other retail establishments remain open. A farmers market near my house is offering pony rides, the Starbucks and the Baskin Robbins are open, as are liquor stores and probably dispensaries. I think there is a real Constitutional issue there, and if it makes it to SCOTUS I would expect an injunction allowing gun stores to remain open.
WTF is a "zero-day?"
https://www.washingtonpost.com/technology/2020/05/30/spacex-...
While it might make sense to provide an exemption for local industries that have critical defence or security implications, politicians may find themselves tempted to expand the scope of that to include other "national interest" products, like yoghurt:

https://www.bbc.co.uk/news/business-45866508
> bias in the USA towards the predominant religious institution away from the minority ones

Are you sure that is the case at the federal level? Some states or governors may sometimes do something like you suggest, but I think at least the Supreme Court is more reasonable. Some examples here: https://en.wikipedia.org/wiki/First_Amendment_to_the_United_...

> In God, Yahweh, Allah, Buddah, et al we Trust

Some comments, a bit off topic:

* "In God We Trust" only became the US motto in 1956, presumably because of the "Red Scare"

* Allah = Christian God = Yahweh, so your proposed motto sounds stupid. (Though I think I read somewhere of a theory that the Torah is actually an aggregate work, so that different parts actually speak about different gods, or something like that...)
> I fail to see why robots wouldn’t be able to adequately do the job.

Because they can't adequately do the job, even now, on Earth. Maybe they will, in 20 years. Right now, there are whole classes of missions for which the choice isn't between humans and robots, but between humans and not doing them at all.
Fixing a long-standing bug in satellite-based nuclear weapon detectors
- International travel (anywhere in the world in less than two hours) could be one of those things.
- Asteroid mining
Easy to find.

https://www.nytimes.com/2019/10/28/technology/facebook-mark-...

https://www.theguardian.com/technology/2019/oct/28/facebook-...

http://peninsulapress.com/2019/10/24/facebook-employee-fired...

https://www.google.com/amp/s/www.cbsnews.com/amp/news/mark-z...