skysight-inc/HackerNews huggingface dataset:
Already exists https://www.wsj.com/articles/secret-u-s-missile-aims-to-kill...
Does Rocketbook have OCR now? I used them when they first came out but the lack of OCR limited what I would use them for.

I just tried to start the app after reading your comment and apparently I have to log in or something and I have no idea how to do that. It was such a cool idea that it's a shame that it never quite got its act together.
> It's unfortunate that Rust calls them "enums"

Rust calls them enum to be familiar to people coming from C-family languages, which is a large target.

> since as you noted that term already had a well-established meaning in other languages

Rust enums "degenerate" to a C-style enum (except typesafe) as it can be repr'd to a number and it's possible to select the discriminant (if there's no associated data).

> the concept that Rust calls "enums" also had several existing names (sum type, coproduct type, disjoint union, and, more generally, algebraic data type) in the literature and in prior languages.

Pretty much none of which are actually part of the language e.g. in Haskell or OCaml the designator is `type`, and it's used for both sum types and product types: the sum type simply has a single constructor.

But Rust doesn't use `type`, it uses `struct`. And a `struct` with multiple variants doesn't make sense.
Connect with Customers Authentically
> And now, in addition to appealing decisions about whether an app violates guidelines, you can suggest changes to the guidelines.
"Some of Haussmann's critics said that the real purpose of Haussmann's boulevards was to make it easier for the army to maneuver and suppress armed uprisings; Paris had experienced six such uprisings between 1830 and 1848, all in the narrow, crowded streets in the center and east of Paris and on the left bank around the Pantheon. These critics argued that a small number of large, open intersections allowed easy control by a small force."

https://en.wikipedia.org/wiki/Haussmann%27s_renovation_of_Pa...
A lot of that IP was stolen from US and EU companies.

Cost isn't the only reason that manufacturing is moving out of China; companies are finally realizing that using Chinese factories is tantamount to giving the PRC access to all of your technical IP.
How Do You Decode a Hapax? Also, What’s a Hapax? (2017)
I didn't, lol. I was just always sweaty and gross.
If you want to continually stay up to date on new tech and have many opportunities to use it in new projects, go work for a consulting firm.

At a consulting firm, many of your projects will be new projects that you will have a hand in architecting. You won't be doing a lot of maintenance programming.

I'm sure some firms do take over maintenance projects, but at least that has not been my experience and it seems like something you can find out ahead of time.
Manual Contact Tracing Has Privacy Issues
Thinking about how radar works - it would be easier to detect a slow moving car than a stopped one.

In other words, driving at 50 mph and coming up on a car going 10 mph, you would get two strong signals -- one strong one for the world going -50mph, and a smaller one for a car going -40 mph.

A stationary vehicle however - it would be indistinguishable from everything else that is stopped.
> reproducible research

This has not been a concern in mathematics up to relatively recently, mostly because computers were generally too puny to be of much use. By "recently," I mean from the birth of the computer up through probably 15-20 years ago. 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.

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.
Prof Michael Levitt: here’s what I got wrong
Disagree. Particularly since named arguments are part of the function name and in languages where you use named arguments you will often have very expressive overloaded function names.

You might have 3 related functions like so:

getStudent(datastore: DS, byId: number)
getStudent(datastore: DS, byAssessmentId: number)
getStudent(datastore: DS, firstName: string, lastName: string, birthdate: date)

Without named parameters, you are stuck with function names like: getStudentById, or relying on convention for naming parameters and often wind up with duplicate names or not knowing if a function is out there because your idea of naming is different from someone else's.

Intellisense picks this up too and suggests the 3 different names. Works fantastic.
Connected Papers – Post Launch Community Update
HN is not a job board, please read the FAQ for more details.
Very slippery slope, since you can use that argument to justify anything you want.

The bottom line is this: You guys are actively spreading misinformation and profiting from it. That's a bad thing.
For most situations, you're liable:

https://brighttax.com/blog/do-us-expats-pay-medicare-tax/

https://www.irs.gov/individuals/international-taxpayers/soci...
Nim almost always produces faster running executables than Go in my experience, but is also higher level/more featureful. It also compiles very quickly if you use the TinyCC/tcc backend C compiler.
A lot of focus has been on this benchmark https://github.com/mame/optcarrot/
It has seen huge performance improvements thanks to the mjit but not quite 3x yet.
Who would buy it? That's the question I'm asking.
is the world entitled to the future work of a bright mind, before it is even done? imo, this is a worrying line of thought if you follow the thread further.
Yep. Mint doesn't have snaps and they've switched their base from Ubuntu to Debian. They haven't caught up to Ubuntu yet but I expect them to eventually. I don't care for Cinnamon myself but they still have an XFCE edition and you can install KDE or another desktop without issues.
I know that the traditional C++ generics convention of <> is problematic during parsing but Nim’s choice of [] was a bridge too far for me. There was a post asking for better syntax on the official forums but it got closed.
Which, I'm assuming, is why all sushi in the USA must must be frozen and then re-thawed before serving.
Page 11 of the original doc has "Theoretical third-party reidentifiability rates" by company: https://www.usenix.org/system/files/soups2020-bird.pdf

I'm surprised how many companies (Facebook, Verizon, Adobe, Oracle, Twitter) are almost matching Google's tracking networks. Google's makes sense based on the amount of Adsense / Analytics trackers there are out there, but I hadn't realized these other companies are just as pervasive.

Edit: typo.
High quality, super-expensive (think quality, cleanliness, secure) public transit that requires higher taxation and therefore reduces the incentive to do business there, maybe. If you want to burn some public money you could subsidize electric cars for a long time at a fraction of the cost of the kind of stuff you need.

As someone living in a third world country in a city where (cheap) public transit is the norm, I can tell you that faster than private cars/taxis it is not; hell, Uber arriving here was a nice uplift to my lifestyle at a price I could justify ponying up for.
It sure does blow up your logs if you're using rails with 2.7.1.
Now I am worried about exploitation in the name of exploration by humans
Tibetan, because before the so-called "Annexation" of Tibet (the word "occupation" is carefully avoided, even on WP), Tibet was an independent country (at least for a few decades). It's not like Manchuria or a few other geographic regions inhabited by ethnicities different from Chinese. So people born during that period in Tibet were Tibetans.

With the Dalai Lama this point is particularly interesting, because his life is an ongoing conversation with the Chinese (although at times they seem like two monologues).
I agree, having age(50) separate almost looks like a separate function call.
Can I pay for GIMP training?
> By the way, in case you are curious about the origin of the first part of the headline for this article, it comes from Cold Chisel’s song “Standing on the outside”, which appears in the Australian band’s 1980 album called East.

The moment I saw this title I thought there must be an Australian connection; this is one of the most iconic Australian rock songs of all, and is instantly recognisable by that opening lyric.

https://www.youtube.com/watch?v=DAUpuYBoeso
England Funded Its Own Invasion by Napoleon by the Shadiest Land Deal in History
Apple says App Store appeals process is now live
More than that:

#[derive(Debug)]
enum Colour {
Red = 1,
Blue = 2,
Green = 4,
}

fn main() {
println!("{:?}", Colour::Blue);
println!("{}", Colour::Blue as u8);
}
Presumably both those guidelines issues that stem from a guideline based on legislation (apps that support criminality, etc) and those that stem from active or pending court cases.
s/NASA and ISRO/Air Force/

Article can’t even get that part right....
Serious question: Is there a reason to preface this post with "This transcript will not make much sense without the equations that I show in the video," rather than include the equations in the post directly?

I ask because I cannot view the video for some reason. The embedded video errors, and so does the direct YouTube video. Which means this post cannot function as standalone content, by the author's own admission.

Cynical me things this is a ploy to drive traffic to a YouTube channel. Non-cynical me hopes the equations in the video include snazzy graphics and animations a la 3b1b. Either way it left me frustrated.
Here's my own personal vaccine for Covid-19:

A daily dose of zinc plus a zinc ionophore, as been shown to prevent or lessen the effects of coronavirus (not just Covid-19)[0]

An ionophore is a fat-soluble substance that can transport non-fat soluble elements across the cell membrane. Zinc-ionophores are zinc transporters in and out of the cell and can increase the effects of zinc in the cell.

There are several zinc ionophore options:

Prescription: Ivermectin, (Hydroxy)Chloroquine

Over the counter: Quercetin, EgCg (Epigallocatechin Gallate), Reservatrol

Personally I take quercetin and zinc every day and wear a mask in public just so others feel comfortable.

[0] Just google coronavirus and zinc ionophore
Because when the Javascript engine will try to concatenate all the strings in the Array (the expected behavior of join), it will first translate every object in the array to a string.

Javascript always falls back to string, that is also why we have === and == operators.

Python's type system is a bit more strict because it will not attempt to serialize your objet if you haven't explicitly done it yourself.

My point is: Python doesn't use this notation because it would not make sense in Python.
Not up-to-date but many more ruby 3x3 articles, see https://planetruby.github.io/calendar/ruby3x3
Those Turkish drones have been bought in 2019 and AFAIK barely seen deployment for the fear of losing them. While the cheap drones are widely used by the army at the very least for reconnaissance. It's very hard to distinguish the Ukrainian army from the "volunteers", but the drone from the link in my previous comment was shot down just in 2020.

>BTW: 3 millions citizens of USSR were at Germany side in WWW2. Do you think it was civil war?

No, because those collaborationist have stayed mostly in the rear (e.g. see deployments of the SS "Galizien"), while on front lines fought forces from the invading countries. Also it's a matter of ratio. USSR was invaded by a 3.8M strong force, so even if you include those collaborationist, more than 50% of the invading force were foreigners. Meanwhile in today's DNR/LNR militia more than 90% of personnel are Ukrainian citizens (well, de jure, most of them don't think about themselves as Ukrainians anymore) and by a very strange coincidence in all recent prisoner swaps Ukrainian citizens were swapped for Ukrainian citizens. A very strange "Russo-Ukrainian war", don't you think?

To get a sense why it's a civil war, just watch footage from the early days of the conflict [0][1]. You can see that moving military forces have been actively blocked by simple folk who understood, that this unlawful deployment will simply result in Ukrainians killing other Ukrainians for political gain of the fresh-installed government.

BTW I do think that Chechen wars can be viewed as a civil war, even though the rebel forces were supported by Saudi and Kuwait money, and foreign mercenaries have actively participated in it.

[0]: https://www.youtube.com/watch?v=1xp4I-prrk0
[1]: https://www.liveleak.com/view?i=039_1397631470
When I got my undergrad about a decade ago, one of the core freshman classes was a lab course on Mathematica. Not CS style programming, but it was immensely helpful in the rest of my classes for tedious calculations, eg calculating a Groebner basis or Taylor expansions of a Lie group.
This Vitamin C test from a major chain of labs is "not FDA approved"

https://testdirectory.questdiagnostics.com/test/test-detail/...

Practically a lab tech who works under their franchise would have a book with instructions to do the test and would have a fair chance of doing it accurately with 10 tries, a good chance of doing it accurately within 100 and not-quite-certainty of doing it accurately within 1000 tries.

According to the that page the test requires that your blood be frozen to -70 C after drawing. They can do that a hospital but not at your Dr.'s office.

The current Vitamin C test is based on HLPC, there was something else used prior to 2000 or so which is not comparable to the current test.

The researchers could do that right but they could easily do it wrong. That's why "double blind" is important, it doesn't just test the hypothesis but it tests the tests.

Also it is shocking how little questions such as "baseline vitamin C levels in the population" are researched. It is going to be variable in specific populations (e.g. people who show up sick at your clinic) because it is depressed by tobacco smoking, affected by dietary intake, etc. For a hospital with a 100,000-patient customer base sampling 1,000 patients might establish a good baseline. A fair price for that test seems to be $40, so it is $40,000 to get that baseline, just 40 cents per customer. The challenge is to get it all in one place while there are thousands of other not-FDA-approved tests that might turn up interesting results that compete for it and where everyone thinks we spend too much already.
Because you visit the same domains across sessions. Throw in some less common domains like HN (i.e. top 1000 instead of top 100 website), and you're trivial to reidentify. (This is what "reidentification" is referring to in the quoted part of the paper in TFA)
Bad faith actors probably aren't going to get away with rules lawyering.
I think it would not be shocking anymore to know that you discovered the operating model of the bank. Business as Usual.
Unfortunately the humanities succumbed to postmodernism long ago. Since then it has been impossible to impose strict tests on veracity as you find in hard sciences.
My update, which has a new feature but no bug fixes, is currently in limbo because the reviewer is getting mysterious proxy connection errors that no customer of mine has ever reported.

I saw another developer today say their app was "rejected" because the reviewer asked "How does the app utilize Touch Bar and where can we locate these features?"

This kind of crap happens all the time, and I don't see anything in this announcement that will help. App review is just plain incompetent and terrible.
FWIW, based on your comments alone, I can tell that I would've enjoyed working with/for you.
Have you updated? Pretty sure all the warnings have been fixed now.
Han Chinese children have to learn Tibetan in school:

https://mobile.twitter.com/DanielDumbrill/status/12992582723...

I think that rumors of cultural oppression in Tibet have been vastly exaggerated
and .Net Core becoming the standard .Net 5.0
In Europe 100 km is far away.

In America 100 years is a long time ago.
looks like they're adding an optional type system, which means you get the worst of both worlds- no guarantees AND no compile-time type checking (think: what happens if type-checked code calls non-typed code?) so I have no idea how they're going to make that fast since all types will still have to be checked at runtime
Yes. As the article mentions, Google has hilariously set in products on all sides of the market, and then slowly forced everyone to switch to using them.

When you sell ad space, you have to use a Google program to broker that deal for you. When you buy ad space, you have to use a Google program to broker that deal for you. And the market these deals are brokered on is also Google's.

In an ideal world, the brokers buying and selling ad space should be trying to get the best deal for their customers. But when Google runs all sides of the table, it's optimizing for it's own profit.
I thought this was great. I particularly believe that people who like to think of themselves as smart (most of whom are smart, but the two are distinct) are prone to this, because finding a shortcut is a smart person thing to do.

In my opinion, the other temptation of shortcuts is that even middle-class life really is a grind otherwise. Especially if you have kids and you suddenly want a big house (so they and you still have some privacy) in a good school district. Resigning yourself to 30 years of high-stress work to pay for that mortgage doesn't feel good.
Amazon’s drone delivery fleet hits milestone with FAA clearance
That depends on what you mean by part of an intact, living city. Oraibi, Taos, and Acoma are all continuously inhabited places, so obviously they count. Las Capas is a continuously inhabited region with small periods of interruption in certain specific areas, just like any city in the UK.
I don't know how these events are conducted, but I'm assuming that it is not simply each player playing from home unsupervised. That would make it way too hard to prevent cheating. So I assume that there is a tournament official onsite at each player location watching, just like there would be for an in-person tournament.

If that is the case, there are a couple of reasonable ways to handle this.

One is to bring back something that used to be common in high level chess: the adjournment.

This used to be common when most championships used time controls that were slow enough that you often would not finish the game in one play session.

The way it worked is that at the end of the play session, the arbiter calls for an adjournment. When the player on the move decides their next move they write it down on a piece of paper rather than actually making it on the board, the move is sealed in an envelope which is kept by the arbiter, and play stops.

When it is time to resume, the arbiter opens the envelope and plays the sealed moved on the board and starts the clocks.

Both players are free to analyze as much as they want between play sessions, and can get outside help. For world championships, especially back when it was Fischer vs. Spassky or Korchnoi vs. Karpov and the match was serving as a proxy for the cold war, each player would have whole teams of top GMs to help analyze during an adjournment.

The player who sealed the move has the advantage of knowing for certain what position will be on the board when the game resumes. On the other hand, the other player is going to be the first one to have the move after several GMs have pulled an all-nighter analyzing it for them so any inaccuracy in the sealed move is much more likely to be punished than it would have been without adjournment.

Or get a freaking modem. Exchanging chess moves does not require high bandwidth, and most of these internet outages do not take out phone service.

Do a mini-adjournment (seal the move, but keep the players on site), establish a dial-up connection between the playing sites, and then unseal the move and resume.
What used to happen is this:

You release version v1.0, with something that's borderline under Apple's policies. Apple approves it.

You release version v1.1, with just bug fixes. Apple decides what you did in 1.0 wasn't OK after all, so you can't release your bug fix until you're removed whatever apple thinks is noncompliant.

This happened with Hey, for example.
For those thinking ‘they already announced this’, you’re right.

The change, as I understand it, is that today the policy goes into effect.
I bet that number skyrockets once you remove the jobs that only exist to support an "in office" economy.

Food workers for lunches. Clothing workers for suits. Automotive industry +public transit for commute. Construction and maintenance for offices. Furniture (where duplicated from the home). "Office managers"... On and on it goes. Those jobs will disappear and so the denominator shrinks, increasing the percent done from home.
We've been domesticating certain types of monkeys since before the pyramids my guy. They're not common pets in the western world, but we have been keeping them as pets for thousands of years.
Sure it does, a language alone isn't much help if it only gets a tiny slice of the ecosystem.

No .NET Native, GUI designers, WCF/gRPC, EF designers, Blend, WinUI tooling, ASP.NET templates,... hinders adoption at corporate level.
I don't see a reason why some FP languages (e.g. lisp, or elisp) aren't IDE friendly. It might well be because where there is unpopularity, there is less effort to integrate, promote and maintain. If everything is a function and functions have positional parameters and everything named can be in a symbol table, why can't IDEs support (at least the basics of) FP languages?
> Or what exactly is a legal issue?

A bugfix to Fortnite.
Performance is more of an implementation level change rather than a language change unless they are restricting the language to facilitate new optimisations.
Show HN: Instagram Autopilot – Scroll, like, hide posts with your face
There is some sort of implicit agreement between users and social media platforms: we're trading off personal data for a better user experience. A social media platform that you can engage with directly with face emotions, but that requires you to be always in front of the camera for it to work, in a way it's only following in the direction that those platforms are going already.

My motivation for this small browser addon, was to create a way to preview this plausible future of social media. I don’t know, maybe some feature like this is already in the works at FB. Well, now we can try it already and discuss if it’s something we’d like to have or not (you’re welcome Mark).

Technical note: the browser extension analyses the camera images only on your browser. No images are stored or sent to the author or to anybody else.
Wait, that's a huge leap from allowing scientists to experiment with their own, personal bodies, and a fascist eugenicist technocratic regime.
ThinkStation – Gamified Live Education for Ages 5-10
This is a good new theory which makes SENSE as far as I can understand.

But, if we apply Occam's Razor then isn't the explanation to all quantum weirdness simply that we live in a simulated universe?
Really!?! I had sushi at the bar many times and it was prepared right in front of me. Maybe you meant ingredients?