skysight-inc/HackerNews huggingface dataset:
Original announcement for reference: https://www.apple.com/newsroom/2020/06/apple-reveals-new-dev...

> Additionally, two changes are coming to the app review process and will be implemented this summer. First, developers will not only be able to appeal decisions about whether an app violates a given guideline of the App Store Review Guidelines, but will also have a mechanism to challenge the guideline itself. Second, for apps that are already on the App Store, bug fixes will no longer be delayed over guideline violations except for those related to legal issues. Developers will instead be able to address the issue in their next submission.
You've just described the problem of all technical products that are designed under the auspice of producing a profit for its investors. I simply call it babel-tower building, as it's the earliest and simplest metaphorical example of what happens when Turing-complete languages interact with ergodic, evolutionary human incentive. Namely, differing incentives create Balkanizing forces in information processing and human trade; it's the creation of a disaster in slow-motion, and one in which the outcome will be worse for all parties than if cooperation was involved.
I never said anything about Nim. My reply was saying this:

[ Most languages ] - [ Go ] - [ Some languages ] - [ Rust ] - [ Way fewer languages ]

In the above, languages are lower-level and higher performance (in general) as you move to the right.
Even if they are larger:

1. How is this Apple’s fault? You’re complaining about a third-party application that Apple has no control over.

2. How can you be sure that Mac and Windows manage memory in the same way?

The nerds who sit around and stare at their computer metrics and gauges on their menu bar or desktop overlay are completely missing the point: is the computer usable and responsive?

I use both Mac and Windows daily and they’re basically the same thing and do all the same things, including running Chrome.
JitX – Software defines electronic design
The point is that browser history collection is the same as cross-site tracking. Any 3rd party analytics operation like Google Analytics is able to access your browser history. To such a point that whether they do or not shouldn't matter and couldn't be proven anyways.
It's in the name. You only have "sub-urban living" because there is an "urban" nearby.
> I may be wrong, but I don't think this is what people mean by 'sum types'.

It is.

> I was expecting union types (e.g., https://www.typescriptlang.org/docs/handbook/unions-and-inte.... or https://dotty.epfl.ch/docs/reference/new-types/union-types.h.... )

Union types are basically an anonymous form of sum types. In the same way tuples and structs / records are both forms of product types.

Statically typed languages which support sum types generally only support the named version (because it tends to be more useful and powerful).

> I guess enums are a type of sum type, but seems this is more specifically about enums

Depends on the language, C's enums are not types at all, Java's or C++'s are product types. Technically enums (or more generally tagged unions, which is what Rust's enums are) is a superset of sum types as you can have multiple variants of the same type, but that's not leveraged here.
to mangle Jim Barksdale: there are only 2 ways to create insights - bundling ideas or unbundling them.
agreed. The 'good kind' that I grew up with has always been a minority even within the communities we were part of.
There was some discussion on Reddit over a year ago that was interesting too: https://www.reddit.com/r/ProgrammingLanguages/comments/acrj9...
Yes; I wish commenters would actually debate the point of the article.
correct, it's also why the Chinese and Russian military are quite large and potent despite the fact that obviously they spend several times less in absolute terms than the US. In particular salary costs, which tend to be large factors in research or the military, are way lower in China or Russia.
No I disagree, it can be wrong:
You cannot translate "by default" with "quando si mangiano le mele" (trans.: "when eating apples"). That is wrong.

And you can do even worse: translate "by default" with "in caso di successo" (trans.: "in case of success")

Or also very bad: translate "by default" with "alla scrittura su disco" (trans.: "when writing on disk")

At least the new term must not mean anything else than what it should.
The practices identified here make sense. Testing pipelines on a small amount of data to make sure there are not simple typos, then doing aggregate statistical tests and specific example condition tests will catch many issues.

The paper "Making Contextual Decisions with Low Technical Debt" https://arxiv.org/pdf/1606.03966.pdf goes deeper. Testing and monitoring deployments are very similar. The idea of shadow testing new models (seeing how their outputs would differ from the production models on real data) has been very important for identifying issues in my experience.

This can be generalised to comparing models on historic data which greatly speeds up evaluation. This is different from cross-validation as it is not about correctness, just how different the new output is. This is like the pattern in UX development of a test harness that compares differences in a screenhot. If the differences look good, then ship it!
Your mind will not be uploaded (2014)
free solo climbing in the office building?

The point is that the university is providing equipment and allows this to take place in their labs.
> I'm in the age group that was one of the first cohorts who only learned Metric in school in the 1970s.

From the Wiki article, it sounds as though this is not universally the case any longer: https://en.wikipedia.org/wiki/Metrication_in_Canada#Educatio...

Anyway, my point is I don't think its fair to call a nation converted when it still has both officially-recognized non-metric units and official uses for them (such as in aviation). I also disagree that these are driven entirely by the US, as Canada still uses a few non-metric units, like the Avery bushel, that the US does not.
It's also worth noting the French-English angle here.

The meter was basically the Parisian yard; the crazy definition of 1/10,000th the length of a quarter-circle running from the north pole to the equator through France was picked because (a) it gave something very close to the Parisian yard and (b) it gave an agreed upon standard for all of the hundreds of disjoint local variants of the yard, as you mention.

So now that everyone has already adopted the meter, it's the standard, but if you're back in 18th-19th century England, which already had a well-standardized national system of measure, and here comes your long-time rival France with a new standard system of measure, derived from first principles, they say, perfectly rational, and it just coincidentally is the same as their old unit of measure, you're going to be a bit skeptical that you should abandon your units in favor of theirs.
That makes sense. But can they sell it for $10 and sell it for $7 somewhere else? Let customers figure out the best place to buy it. Some users may prefer to pay premium for the convenience of buying through the app store, in which case Apple's markup is justified. Other users may prefer to put in some extra effort in order to pay less.
The batteries included approach makes a big difference in adoption. So far as I know there was nothing in particular making people use Python, it was just fun.
Huh, yea, TIL
It’s not uncommon to have city walls from the Middle Ages, and Roman buildings and monuments around here (not all of them still in use, true). Plus a whole bunch of castles and churches from the 11th century onwards.

Boston and Santa Fe are very nice, but it really feels quite a bit different.
This seems like a dead project. It's fairly unknown and hasn't been updated in over a year.
It also implies a nefariousness that might not be appropriate.
I feel like that's a value statement and how you qualify readability would change the answer.

I'm curious if Keli plans to maintain function composition in the face of named arguments. It would be quite nice to have both.
And this has already been used successfully by GuardianVPN

https://twitter.com/chronic/status/1299777657744142336
I'm very sympathetic to the problem. I'm working on Dark (https://darklang.com) which is a functional language, explicitly because we believe that functional languages are easier to learn, understand and provide great tooling for.

It seems to me there's a lot of focus on syntax, and I don't think they've gotten to a great place. For example:

(this Int).square | Int = this.*(this)

In Rust, they do

impl Int {
fn square (self) -> Int {
self * self
}
}

I can read the Keli version, but I'm note sure that `(this Int)`, `|`, and `.*` are great inventions. You need a good reason to deviate from commonly recognized syntax, and Keli doesn't feel like it's made things simpler with this.

In Dark, we use piping heavily to get the benefits of the dot-syntax. In particular, it can be type directed:

8 |> Int::square |> Int::log 2

The autocomplete will only show you integer functions in this case.

For the problem of "which parameter" - our IDE shows parameter names when your cursor is in a position to type the next parameter, so you know what you're adding it is. We also show the parameter names when your cursor is in the completed argument so you know what parameter it is. (I couldn't see if Keli did this, it might not be possible in modern editors).
was the same not true with Japan? at some point China may move past Western nations in practical sophistication, and start making better stuff.

example: you want a photography drone? Like, the best commerical one available? It's a Chinese product. Most of the other stuff on the market doesn't come close. The closest we had domestically in the US was 3D systems, and then went under if I recall correctly.
I unplugged the wrong power cable once, and thereafter the RAID controller on that machine would report degradation after the system was running for a while. Finally ran a RAM error check, one bit in most of a stick was flipped. The last stick. So once the machine was all spooled up for a while, I’d get errors.

This is also how I learned 3ware was using RAM instead of its own memory. What is he point of hardware RAID if main memory can screw it up?

I have also heard of people swapping hardware on a defective machine only to learn that the power supply was bad, sending noise or brown power to the system. Swap in a new power supply and the components start to behave themselves.
Are you sure it’ll be awful? Sorbet (https://sorbet.org/) is pretty popular already. It can statically check your whole project and dynamically check it at runtime. It also doesn’t add that much overhead so I’m not sure what you’re on about...
Long-term that startup mentality of "ship it once it seems to do something sensible" burns out your developers. So if you are into sustainable software development, you do as much static analysis as you can up front. And yes, that discounts languages like js or python for long-lived software projects.

If your software will be irrelevant after one or two years though, you can freely hack together whatever you want, I would say.
an excellent use of nim is https://nitter.net (browse twitter tracking free).
> the reviewer asked "How does the app utilize Touch Bar and where can we locate these features?"

This kind of arrogant behavior really makes me mad.
U.S. Expats Can’t Renounce Their Citizenship Fast Enough
I'm not British, but I do agree that the stone measurement does make sense in a human way. It's pretty easy to see how it came about. Oh take a rock about the size of x(whatever x was agreed upon at the time), and see how many that item weighs. In a time without precise machinery, or any machinery at all, you can see how such a system was thought up. Do you disagree with the above, or do you just think in the modern world it shouldn't exist anymore?
Sushi grade fish must be flash frozen to kill any bacteria, worms, etc. in order to be served frozen. Most fresh (killed, butchered and served quickly) food isn't really great, either taste wise or health wise. Especially if it's not fully cooked.

Most red meats sit out for a bit, either wet or dry aged, which enhances the flavors. Fish will need to be frozen or cooked to a safe temperature.
> Why not let scientists be the leaders of our new meritocratic fascist regime?

Yup, it looks like a clear case of Scientist-itis to me. I had seen that before. Too much superhero histories.

Why would want the scientists to take part into such creepy thing? Do you really thing that they are so weird and creepy?
I wonder how intentional it is that Apple chose to terminate Epic Games' developer account one business day prior to this going into effect. Epic Games presumably can't access the form since it can't log in. (And obviously they don't want to screw with the Unreal Engine's Apple account on this fight.)
If you think about it, that's the natural outcome. Why? Because people in corporations don't have the incentive to benefit the business but to progress their careers and that's done through meeting the goals for their position and make their upper ups progress with their careers too.

So essentially, you have a system where people spend other people's resources for living and their success is judged by making the chain link above happy. In especially large companies it's easy to have a disconnect from the product because people in the top specialise in topics that have nothing to do with the product. If the people at the top want to have this shiny new thing that the press and everyone else is saying that it's the next big thing, you better give them the new shiny thing if you want to have a smooth career. In publicly traded companies, this is even more prevalent because people who buy and sell the stocks would be even more disconnected from the product and tied to the buzzwords.

The more technical minded people who have the hunch on tech miss the point of the organisation that they are in and get very frustrated. It's probably the reason why startups can be much more fulfilling for deeply technical people.
I’m reminded of time learning a new language, and how little it takes to completely change the meaning of something.

Imagine if you thought you understood 90% of what somebody said to you but you didn’t catch the word “not”; you would have exactly the wrong interpretation. Or what about skipping a modifier like “slightly” or “significantly”? (And don’t even get me started on sarcasm or other things that may not be detectable to all.) Google’s summaries, or any auto-summarization, risk inventing a new conclusion that was never part of the original.

This is a cornerstone to critical thinking as well. If you spend your time trusting one-sentence tweets and other shallow writing, are you also asking yourself what hasn’t been stated? For example, I could say: “Engineers quitting Google amid latest executive actions”; the reality might be “it was exactly two engineers”, “their reasons for quitting were unrelated”, etc. It is extremely easy to create misleading summaries.
That's a good point, forgot about that.
The Accidental McCarthyists of Tech Twitter
Basically when it comes to screen readers, they will parse content as it appears in the DOM as blocks of items to be read aloud.

This is why it's so important to use semantic HTML and truly understand how you are structuring your content.

A good rule of thumb is to not try to force a voice reader to have a certain cadence (like making multiple paragraphs into a single paragraph element so it gets read as one) or nesting anchor tags into paragraph elements because that's the way the copy appears.

When it comes to making accessible experiences it helps to use the tools that disabled people use to navigate, even better is if you had disabled engineers or people when doing user research.

What becomes a challenge is that all the assistive tech are similar to all the different browsers, they all have their own standards and how something gets read aloud in VoiceOver may not be the same as NVDA.

I'm actually creating a cheatsheet for a11y in general (at first I was tailoring it to react, but taking a general web approach now). I'm not done with it, but if you want to look on github I have the same username as I do here.

Also a good resource about a11y in general is Deque Systems. They're a consultancy that specializes in a11y, they've also created a popular tools in the OS community like axe. They put out many great talks not just about the engineering side of a11y but also the legal issues, how design is impacted, what sort of automation can be done to help find issues.

https://www.deque.com/
Notes from the Chaos Communication Camp, an Open-Air Hacker Party
This is an interesting case where removing the word "How" makes the title more clickbaity rather than less!

In one case, it's an article about an amazing new discovery, in another case it's an explanation about the method of something we already know.
That is bad also, but does not remove the blame on doctors for defensive-doctoring as opposed to actually trying to figure out what is best for their patient.
I'm a riot.

Irreverent sumbitch. Not everyone loves me.
> 2-disk RAID1 setups where people insist on cowboying around with their degraded arrays

RAID1 is not a backup. Apparently under BTRFS, using RAID1 for HA isn’t acceptable either.

What’s the point of a RAID1 array if you can’t use it degraded? Might as well just go RAID0 too then (you have backups anyway, right?)
Well, I don't know of any type theory that has that but you could make something up. C^(B^A) = (B^A) -> C = (A -> B) -> C. So you'd get nested higher-order monomorphic functions like if the base is A and the height |B| = 5 then the result of tetration would be (((A -> A) -> A) -> A) -> A. I don't really know what that means though. Maybe an expert Haskeller could recognize a pattern.
Horror thought: if the internet ever "breaks" enough that all access to StackOverflow is lost, no one will be able to fix anything to get it back up, and we'll be back to the stone ages to start again.

Kidding. Mostly.
Perhaps the error message should be improved, but your response shouldn't be to kill an update process mid-update and assume everything will be ok. The OS didn't cause that issue.
Kind of weird that they would use ML/AI for a separations process. Separations and chemical engineering in general absolutely LOVES parameters and systems of equations. And don't go anywhere near colloids, those have so many empirically sourced parameters it will make your head spin.
This isn't too bad. We live in Git society now.

After the breakup, fork, rename to the new girlfriend name, and put a notice on README.md:

"I broke up with Keli but don't worry, I am with Sandra now. Please follow the new language <a href="https://sandralang.org">here</a>"
Unfortunately, the mathematics curriculum doesn't seem to have caught up. (Please correct me if I'm wrong here -- and I'd be happy to be wrong.) If you wanted to learn these skills as a grad student even 10 years ago, you would have to go to the CS department, most likely, unless you were at one of the handful of departments doing formalized mathematics. I believe that's still the case.

I would guess that by "these skills" you mean something beyond just programming in the general sense, or even numerical computation, as there shouldn't be any harm in leaning on the C.S department for that. No?

Are you instead proposing that a new course be added to the mathematics curriculum, that might be titled something like "Computational Mathematics" or "Experimental Mathematics" or something along those lines? If so, what kinds of things would go in such a class in your eyes?

Since then, there's been a real convergence of tools and computing power that's going to send mathematics in new and interesting directions over the next decades.

Indeed. One of the things I'm interested in is learning more about Interactive Theorem Provers. I just bought a book on Coq and intend to start diving down that rabbit-hole. Interestingly, I'm only just now starting to learn to do proofs based math at all, so I'm especially (but not exclusively) curious about whether or not there's an pedagogical value in starting to learn to use these proof assistant type tools right alongside learning to do proofs. It may well turn out that the answer is "no", but it should be fun to explore all of this in either case.
Well, I have seen both sides of this story by now: at my previous job, we had lots of developers who are happy to throw the whole code base over board every two months as they discover a new test framework, spend a month on refactoring simply to satisfy a single dev‘s pet peeve for functional programming... it’s especially frustrating to watch as a team lead from another department, actually understanding what’s happening, but unable to do something.
You didn't mention plugins, it seemed like not having to do anything besides installing the language and VSCode should be required.

In that case there are many functional languages with good IDE support. E.g. F# through Ionide.
Pinterest is serving different content to the Google crawler than to Google search users.
That's actually kind of scary. This means that if the WFH trend continues after COVID, many of the jobs lost will never recover.

I live in a planned work/shopping/living area, and I've already seen several of the traditional office lunch places close for good. I'm sure the high end suit place is not doing well at all.
Yes, if you had sushi in a restaurant in the USA, the fish was frozen and re-thawed beforehand.

https://cooking.stackexchange.com/questions/76455/in-the-usa...
Also even if say you and I visit the same exact 100 sites. Order, time on site, sub pages visited, and time of day I use the sites, all can mater. Ad network can also leak out data as you may see a different set of ads than me.
I only know Doro feature phones (and am impressed by how easy to use they are, especially for those who don't see well and have trouble hitting small buttons), but it seems that they make smartphones too:

> Age should never be a reason for not being able to enjoy all that a modern smartphone has to offer. Our stylish smartphones bring you not only the full Android® experience and an elegant design, but also unique features that make them easier to use the older we become.

https://www.doro.com/en-gb/products/smartphones/

Maybe check out some video review before buying? Good luck.
Nice article. Agree that this is a nascent but really interesting and important area for machine learning as a discipline. The topics in this article labelled as "invariance testing" and "expectation tests" hint at the broader challenge with empirically defined functions: that the input domain for a given model can be significantly larger in scope and complexity than the datasets that the asset has been exercised through at the training, testing and validation process. This will be addressed by some of the highest performing teams, but I'd hazard a guess that there's many models in production nowadays that aren't instrumented to consider concepts like the extremes and dynamics of their valid input spaces, developer-introduced scope creep as models get more integrated with CI/CD practices, and many other tricky and complex behaviours that might get lost amongst the noise of ML development.

"Testing" in ML as it stands just now is essentially still development & application logic of the learned function, not testing in the same sense as we consider it in other aspects of software. The "post-train" area will need to a see lot of advances if we're to remain confident in our ML models in production (provided they continue to proliferate into more areas of software).
When you're flying over dry land, they already have to do a collision test to check if you have flown into terrain - so the solution would be to simply not check if you are above sea level when you are flying over land...