skysight-inc/HackerNews huggingface dataset:
The irony is when I get told that people want an application to output PDF instead of Word, because it is read only.

I always get amused by proving those people how to edit PDFs.

It is the same logic that documents sent by Fax are legally binding but the same document sent by email not.
It's a very different world but i relate to this a ton coming from biomedical EM. This article does an awesome job explaining what makes biomedical computer vision so hard.

There's huge opportunity for automation, a wide range of vision challenges, and very cool rewards if challenges can be met. We're working now on building 3d nanoscale structural models of COVID vs. control blood clots and modern hardware leaves tons of data on the table for better software to take advantage of. The relevant vision problems are very challenging, and even just within EM, robust computer vision that isn't built up around individual narrow high-visibility problem domains (like neural circuit tracing) has a long way to go.
People don't say they are Anti-Choice, they say they are Pro-Life. I suspect these manuals are the same. You don't say you are against good-thing you say your are in favor of competing-good-thing.
> The question of whether or not you can revoke an open source license would go away if the people writing the licenses would say in their licenses that they are irrevocable or perpetual or in perpetuity.

Since the entire issue is that gratuitous licenses are, as a matter of law, revocable by notice regardless of their surface conditions, no, it wouldn't.

Such terms may make downstream licensees more secure that, in the event of revocation, courts will limit the effect of that revocation to avoid them incurring undue loss based on their reasonable reliance on the promises in the licenses while it was being offered under principles like promissory estoppel, though.
I think that a reimplementation of a ~15 year old UI running on current hardware smoothly is not particularly indicative of whether or not the implementation or the software stack is efficient. It running smoothly is indicative of it being well suited for the hardware/stack it's being tested on, but that's not a high bar, especially for a 2d UI.
Why do you say so? Is the default different?
Has anyone actually been killed by any Tesla vehicle that was driving automatically (that wasn't in the car itself)? Even on the earlier SAE level 2 "Autopilot" system? I don't remember hearing of any personally.
The key difference is that only Tesla ships one that will autonomously kill other people.
some people had lucky (not defective) or replaced it for good 64 kBit drama and add a switch to change between the lower and upper bank. (my father did this)
> If you for example treat a 64-bit unsigned integer as a measure of length/distance in nanometers then you can measure distances up to 18.446.744 kilometers.

If your calculations require you be able to square any of that unit, the largest you can go without running out of range in your intermediate calculations is cut to ... 4 meters. God help you if you need a higher power than 2.

Same deal for taking the product of several numbers for an area or volume.

Working in fixed point has its benefits and it has its costs. Not so unlike manual memory management, but automatic memory management doesn't benefit so much from amazing hardware acceleration that you miss out on with manual management.
And you did not follow-up why the accident report was not filed? I usually keep following up on such cases, until all issues are resolved. It is a net negative investment for me, since the time and effort I have to put in it, is not worth it, but I get 2 satisfactions out of it:

1) Hopefully whoever "played" will learn a lesson not to again.

2) Hopefully the overall problem (whether it is bad customer service, strong arm tactics, etc.) will slowly be fixed.

I guess in your case, you already used up your quota of fighting-the-system when you had to argue with both the cop and the tow-man.
Yes this is one of those slightly annoying biases on HN. 90% of the time Product = SaaS. I'd like to hear some stories from folks who have adapted the techniques from this space to work in other markets. Iterating on hardware, embedded software, small number but high value customer markets etc.
I use AnkiDroid on Android. The UI supports a dark mode.

I can't imagine why anyone would want to use the original desktop Anki, which chains you to a PC or laptop. Though in the pre-mobile-computing era, such a program would have been attractive.

This technique begs to be mobile, so you can do reviews in any occasion when you would be otherwise idly waiting for something, like standing in line somewhere. Buses, trains, planes, waiting rooms, washroom stalls ...

You can micro-review. If you have just a few seconds to spare, you can whip out your phone and just do one review and put it away. That's one less to do later.

I sometimes do AnkiDroid reviews lying down in bed, before sleeping. You can turn of screen rotation and work sideways.

I've woken up in the middle of the night and completed the last few reviews of the day. That's possible from having the phone near the hand; no way would I get up, and sit at a desktop PC to do that, or even laptop.

The desktop Anki is completely pointless except for (1) serving as the reference implementation and (2) certain complicated maintenance tasks on large decks.
It's great that Scott is having his stab at solving the exposition problem for the Continuum Hypothesis. I'm looking forward to the future parts of the series!

The Continuum Hypothesis is also very interesting because it is a poster child in a discussion between adherents of the "traditional dream solution" of the Continuum Hypothesis and the intriguing "multiverse philosophy of set theory". In short, the former is the attempt to devise new axioms which would settle the hypothesis. The latter is the position to embrace all possible mathematical universes.

I tried to give an exposition of that circle of ideas here:
https://iblech.gitlab.io/bb/multiverse.html Comments and questions are very welcome.
There is an argument for judging programming languages based on the worst code possible within the language, due to the fact that with a wide enough ecosystem, you will regularly encounter lots of stuff in the median between that and your “just don’t do that” standard.

This is one of the reasons I love Go: the worst code possible in it is still pretty readable.

The worst code possible in PHP is scattered across thousands of files corresponding to individual routes, and isn’t indented at all.
Business Suggestion: fix your name.
I'll check back here in 12 months when Americas cases never stop rising
I've also seen 𝔸 for affine space, 𝔹 for the Booleans, 𝔽 for a field, 𝕂 for a field, 𝕆 for octonions and 𝕊 for surreals.

I think I've seen 𝕀 and 𝕚 for identity matrices and suchlike, and I'm sure 𝟘 also gets some use.
What do you mean, 'they get hairy really fast' ?
> Either it's 100% safe under all circumstances or it shouldn't be allowed. And Tesla definitely shouldn't be allowed to call it autopilot or "full self driving" when it very clearly isn't.

Then no human should be driving on the roads either or at least every vehicle should have a breathalyzer in it to check your blood alcohol level before the engine can turn on. You're being unreasonable.
Doesn't "the west" include Australia? I would think Australia and New Zealand count, and they've done a pretty good job. Canada has done a relatively poor job by international standards, but still much better than the US and the UK, who have both been roundly criticized in the Anglosphere.

Although parts of continental Europe are struggling, there are others that have done okay - Norway and Finland, for example.

Outside of "the west", democratic countries in East Asia like Taiwan, South Korea and Japan have done alright too. Malaysia, Singapore and Thailand have their political issues, but they're less authoritarian than Vietnam and China - the whole lot of them are doing well. Most of Africa is too. South America, not so much.

So, it's not just about politics, and it's not just about geographic location, and it's not just about climate.

It will be interesting to see the analysis after all this is over. There must be something we can learn from why it was that certain countries failed at managing this virus while others succeeded.
thats irrelevant
If you're worried about existing jobs being lost, aren't you also worried about non-existing jobs never having been created?

Imagine we don't have parfocal lenses and you need multiple cameramen with all different fixed focus lenses filming different parts of the scene, or some other contrived example of less technology creating a need for more jobs. That would surely be a better world by your standard. Should we try to eliminate some technology to create extra jobs?

Where is the correct balance? Do we currently have not enough cameraman jobs or too many? It won't be exactly the right amount by coincidence.
It communicates with the charger, right? So the charger could just go online and refuse service.

Don't fix shitty products.

Don't buy them in the first place or we won't have anything nice left.
And for roads or streets that aren’t closed, you better drive a tank of a car or keep your eyes wide open on a bicycle because of all the potholes.
I don't know why you bothered to quote all that drivel.

But for HN readers who don't know any better ...

> No state organ, social organization or individual shall coerce citizens to believe in or not to believe in any religion

The CCP inserts their own layer of bishops, imams etc. at the top of each religion. That means the CCP maintains control of the religious narrative, so that members don't have a religiously-derived moral center.

Thus the final arbiter of right and wrong is the CCP. You can see where this leads.

The Soviet Union tried asking for compromise from the Vatican, but the Pope consisently told them no. (There's a famous article about John Paul II doing that. It was a very short conversation, being a one word answer, "No.") Unfortunately, the Vatican compromised on this going back to 1950 with the CCP.

Regarding lawyers, the CCP has warned HK lawyers to not represent anybody against the state. They have also created parallel social media profiles and sent impostors to client meetings, then revealed the meeting notes to discredit the real lawyers. So clients aren't sure if a lawyer is real or not anymore.

https://www.ucanews.com/news/vatican-cardinal-accused-of-man...
The AnkiDroid app for Android is free, and is basically a reimplementation of Anki with compatible behaviors, storage formats and configuration. It's a complete, self-contained Anki implementation; it does not require anything on a desktop computer.
Very pretty... but just about everything I wanted to try out (Control Panel to switch to the Classic interface, the Run command, Command Prompt) just gave generic “program not found” errors, which I understand, but which makes this little more than a tableaux—though indeed it is termed a ‘recreation’ and not an ‘emulation’, so maybe I was just hoping for too much.

Well done on the visuals, though. Very impressive.
15 minutes on a web search and I can't figure it out either. Any flight experts here?
I don't believe you can claim that humans kill more people than shitty AI since we haven't seen a world in which shitty AI is driving around unassisted. Given that Uber/Waymo/Cruise all have safety drivers working, it's hard to say how many fatalities would have been caused if those safety drivers weren't there since that would require predicting the future at the moment the safety driver disengages the AI.
Recently I had to install a driver for an old HP PhotoSmart on a new pc and the amount of always-on bloatware they tried to force down my throat was staggering. It even included an old school browser toolbar.

I couldn't avoid installing the 250+mb "Solution Center", because I needed it to disable the overly enthusiastic automatic cropping that the scanner for some reason defaulted to. The option to disable that was buried deep in some obscure settings menu. Ugh.

Too bad this warning was not related to that kind of behavior.
That’s just the annual amount that triggers the requirement to fill out a tax form. $60k is nowhere near where anyone would be taxed anything:

https://smartasset.com/retirement/lifetime-gift-tax-exemptio...
Pharmaceuticals are much more of a "black box" . It's all about statistics, and if tesla seriously wants people to use SD, it will have to be a lot better, beyond placebo statistical significance.
If you told six month ago me that we'd be treating people who are high risk of this disease the same as people with low risk I would have been in complete disbelief.
Well the government isn't exactly funding self-driving very much. Indeed if the government actually had such goals then funding cycling paths, mass transit routes would certainly be better, but the government doesn't have such goals really. So companies develop technology that fits within the government funded systems that exist (namely the government heavily funds building highways and roads) so the systems must be built for that application. Feel free to encourage politicians to change their ways, but until that happens automated vehicle research will continue.
I disagree.

The choices we make, especially about those with whom we enrich via our business and custom and, increasingly, even attention, matter more than most people realize when it comes to shaping the future of our world. It’s one of the few actually-powerful options still retained by most of the general public, increasingly rare in our modern western world.

It’s quite important that we know who we’re dealing with and to whom we pay money. A good example of the result of ignoring this is the fact that the now-largest hosting provider in the world are also the CIA’s sysadmins.

Doing business blindly with vendors is to pass the steering wheel to someone else, and abdicates a critical individual responsibility.

If you find it irrelevant, you’re free to ignore it, but many people (in my estimation) do not, and I believe we all benefit from having better information about markets, whether it results in endorsement or avoidance. Informed decisions are good decisions.
The thing is, SR is the world's "ultimate fighting technique" in school. Outside of school and language learning there are more caveats. It's not always obvious which facts are worth memorizing, and sometimes we're not actually doing much new in our day-to-day work. It certainly won't in and of itself turn you into a 10X programmer. But neither will touch typing. It certainly doesn't hurt though.
That's not an example of putting this kind of decision power in the hands of one person. It is a complicated history that likely started with almost no fatalities, and steadily increased as speeds increased, with no clear point where a line was drawn.
Even 360 degrees would be incorrect. That's how you would describe a construction that allows to do one full rotation and then stop. For example, tarsiers or owls can rotate their heads about 360 degrees.

But a windsock needs to be able to rotate over and over and over without bound. That's distinctly different from 360 degrees.
This is a great thing for the Ada community. I hope this encourages more contribution and collaboration on libraries that keep Ada useful for mainstream development.
It makes sense that winter makes things worse, but if weather were the only factor, why is South America seeing far more cases than Australia?
Yes, it was Winter and they were in a four month lockdown. Let me repeat, a FOUR MONTH lockdown. That is a bloody long time so anything but a huge dip during a four month lockdown would just be bizarre. Now they have summer, cases a low after a lockdown and due to the weather cases will remain low like we've seen in Summer across all of Europe, regardless what measures countries have taken. If Europe was to spend 4 months out of their Winter in lockdown, then cases will drop there too.
> ATMs didn't completely eliminate the need for bank tellers, they just automated a lot of their most mundane tasks.

That looks suspiciously similar to the process of raising the skill floor that I referred to. The simpler parts of the job were relegated to a machine while the more complicated bits remained. My point is that there are inherent limits to such a process. What happened historically (including the ATM example) ceases to be relevant once such a limit is reached.

Relevant quote: "Instead of shooting where I was, you should have shot at where I was going to be." -Lrrr (to Fry)

(In the ATM example, it's specifically the bits that require vision, situational awareness, and human level conversational capabilities that were retained by the human. All things that cutting edge ML is making very visible progress on. I implore you to take a serious look at the state of cutting edge ML research with such tasks in mind.)
Exactly this! Especially when you have multiple internet feeds into your router, but no assigned IPv6 block. Eg Router has fibre from one carrier, and LTE from another carrier, and you either want to actively use both in a load balancing fashion, or use them in a HA/failover fashion without paying through the teeth to the ISPs for the privilege.

Fibre with LTE HA is an extremely common scenario in the physical retail world. And retail is notorious for tight margins. With IPv4 this is dead simple for a router to do using NAT. With IPv6 it’s a nightmare because everyone is against NAT in IPv6. It took ages to get some form of NAT, and it’s poorly supported.
All these scams are moving online now. I'm getting email spam daily with all these kinds of offers. An average Indian would fall for these scams preying on superstitions.
If memory helps, spaced repetition can help. You’re confusing knowledge with facts. You put in what you want to be reminded of at spaced intervals. Half of my spaced repetition stuff is actually my own personal philosophy and observations about life.

Knowledge isn’t that crap you get out of books. It’s whatever you can know that empowers you.
More like half active, a quarter in port or in light maintenance, a quarter in deep maintenance. Realistically, two always on station from each fleet, sometimes four. Enough to maintain second strike deterrence even with enemy attack subs to contend with.

It also important to note that once an SSBN launches, there will likely be return fire from either land or sea based ballistic missiles that will boil the ocean for 50nm, incoming in 30-60 minutes. So tactically it is hard to launch just one nuke... It's full commitment or nothing. Just another cheery aspect of escalation dynamics.
What? Where I’m from, competitors routinely put others out of business by offering better products or pricing and you don’t get sued the hell out of.
Wonder if "fair use" could potentially be applied to the 0.1% of the code the original author didn't create?

I mean "fair use" is an acceptable thing (situation dependent) for other copyright things (music, video, books).

Wonder if it might be application to software code for some situations?
Because Australia suppressed the virus as much as they could with a very long lockdown. South America didn't, so they started with complete different baselines into their summers.
Checking in from Sydney here, summer is still a month away, my family is snuggled on the lounge under blankets right now.

The result comes down to a competent government response to a public health crisis. Not the weather.
"big brꙮther"
Isn’t this argument against ALG not NAT? You could have ALG with IPv6 no NAT involved, with the router enforcing deny all inbound unless ports explicitly opened (such as via this SIP ALG request).
Or you can give them up to the estate tax lifetime exemption limit which is currently $22.36 million. Most people have a net worth well below this so there is no tax consequences.
The problem with people with power passing that on to their often dumb as rocks children is a pernicious problem in most societies.
> Prove you wrong how? By learning things with it?

The author of the article is specifically struggling with his evangelism. He says he thinks the world would be a better place if everyone used spaced repetition. I don't know (can't imagine honestly) what sort of utopia he envisions, but he needs to show instead of tell. Just like I need to.

It's so insanely hard to lead people. I think the only thing that works is to lead by example. Any sort of talking is just fluff. You have to show people how to accomplish or attain something they care about.

As for SR itself... for decades we've had some of the smartest people (and perhaps even some of the best educators) like Richard Feynman decry rote memorization in the classroom. SR takes the worst 8th grade history class you ever had and doubles down on it. You can choose what to memorize, but it's still just memorization. Why not use a personal knowledge base (== your Anki deck) that you can refer to, and let your memory naturally cache the things you commonly use?

If you have a problem and you're considering SR as a way to solve it, my advice is to really drill down into what the problem is. Why do you think you need to fill your brain with snippets of data? (If you're just trying to pass a test, then sure, use Anki.)
As in the bombers example, the previous generation is hardly quickly and completely outdated. They're still nukes. And that's exactly the reason to keep them in service.

Then, when a better tech becomes an option, it doesn't replace the previous weapon, it complements it.

So the options are: 1) retire old weapons, recycle them to build weapons which are expected to be better, keep the military potential about the same, reduce costs but still spend a lot and 2) keep what's in service and build a better weapon. Option 1 is hard to justify politicaly. Scraping something perfectly functional that costs billions sounds like a career ending decision. It also affects too many people. Option 2 is almost a guaranteed way to improve military potential, and a way to have a stellar career. Assuming that funding is available.

So yes, the decisions are not always the most economically efficient. That's a wrong objective function. Especially if we're talking about defense.
> If you want to be a walking encyclopedia, maybe SR is a good approach. But if you want to understand the world, be able to do things... SR can't help you.

Yes, merely memorizing a lot of facts is not very useful. But unfortunately, burning a lookup table to your head is often a crucial step for actually using many types of knowledge, and it's a real headache for beginners. I find it's entirely possible to fully understand a result, yet unable to clearly remember it. When you need to use the result, having to pause and think (even for a few seconds), creates a significant cognitive overhead. Being able to recall some results mechanically is often advantageous.

For example, a long time ago, it was lifechanging after I had discovered "man 7 units" and eventually remembered that 1 kilo = 1/(1 milli) = 1e3, 1 mega = 1/(1 micro) = 1e6, 1 giga = 1/(1 nano) = 1e9, 1 tera = 1/(1 pico) = 1e12, I was able to calculate much faster, and to say "The CPU is clocked at 1 GHz, which means it ticks every 1 nanosecond" without thinking. Previously, I fully understood what a SI prefix is, but I simply couldn't build a lookup table in my brain to map words to the number of zeros, and always needed to pause a moment to count. The man page allowed me to instantly check it while making calculation without leaving the commandline, effectively it was spaced repetition without software, and I finally remembered them...

This is when spaced repetition is useful - burning some lookup tables to your brain. It cannot help you to understand things, but it has its place. Just be aware of its limitation.
https://www.skybrary.aero/index.php/Windsock

"Windsocks must rotate freely around a vertical shaft"

10 seconds google for "windsock rotation". Second result right after the original article here on HN. And arguably more informative