skysight-inc/HackerNews huggingface dataset:
The X-Plane flight simulator features a realistically simulated Mars to fly on, and includes one or two fixed-wing aircraft designed for its atmosphere. No rotary-wing as far as I remember, but I suppose one could be built with the bundled Plane Maker. https://www.x-plane.com/adventures/mars.html
I was asked to join a team of scala developers. Most except one had started learning about 6 months earlier. I was asked to learn it while making small contributions to the project. I quickly found out that there were statements that could be interpreted in multiple ways, can't remember now what it was. Then I got stuck on something and even our seasoned very enthusiastic Scala developer could not solve it. I then and there decided not to pursue learning the language and quickly have myself transferred to another team. It's a difficult language, one should not spend thinking on the language but spend time thinking about the problem itself. Probably what I say is not doing justice to Scala as I was just a newbie but I did not have those problems with Clojure which is another not that mainstream language.
Hopefully with Shopify's help we are closer to running Rails on Truffle.
> * access modifiers (public/private)

I think you can omit the "public"s in the Java hello world (thereby making everything package protected, and sneakily sidestep the issue), but I don't want to ruin this machine by installing Java on it to make sure.

To be super thorough, you would also have to understand:

- semicolons (and the related issue of newlines being semantically equivalent to normal spaces)

- naming conventions (to explain why it's not "System.Out.Println" and "Main")
To me, the question is who is allowed to make the choice?

Is it the language designer's place to say what can or cannot be done with it or the person/team who chooses what they do with it?

Personally, I would rather work with programming languages which allow me/the team to choose. YMMV.
403 forbidden?
Wow. Wow! Thank you. I have so many questions but lack the architecture vocabulary to even know where to start. :O
It isn't what you're looking for, but perhaps Lawvere's generalization of Gödel's work is sufficiently geometric for you [0][1][2].

[0] https://ncatlab.org/nlab/show/Lawvere's+fixed+point+theorem

[1] http://tac.mta.ca/tac/reprints/articles/15/tr15.pdf

[2] https://arxiv.org/abs/math/0305282
I can't take credit, I found this same comment on Reddit. :)
If anyone comes across this comment, this 100% worked.
Thanks and appreciated. Agreed.
So I was mostly thinking in the context of postmarketos, where we have a less-weird filesystem layout to work with and can assume that user data lives in the home directory and can be on its ownfilesystem.

That said: Yeah, Android+Linux is super weird if you're used to GNU+Linux:) And I'm pretty sure it would be more complicated, since I'm basically proposing that we protect data but not code; I think you'd need to protect /data at a minimum, maybe more (I forget where Android sticks the "internal storage" directory). That said, I think you could do it on Android.
I agree about it too. Isn't that Skype and other Microsoft products offer the same protocol?
You are the director of your side project idea. Employ the fresh talent or an unemployed to work on it. Guidelines come directly from you. Experience the behavioral science.
Show HN: Media Player Library – Supports Html5, Hls, Dash, YouTube and More
At least in the Android world, I've seen folks make the distinction between a "soft" or "hard" brick, with the former being fixable via a recovery mode or other software method, while the latter would require a hardware modification or may be truly bricked.
Built this library out of frustration from trying to use Videojs and Plyr for one my projects.

For anyone curious the reasons are listed here -> https://github.com/vime-js/vime#motivation.

If you're looking for multi-provider support, plugins, custom controls and other goodies then this might be for you. It's not perfect but it feels stable enough to share. If you guys end up using it then please share your experiences so I can learn how to improve the library.

Cheers!
Because forcing everything to be evergreen means that they only have to support the latest version. They can also corral users away from less common and older platforms.

One thing I really don't like about it, is how it forces you to spend more money on the latest hardware you don't need. Something is broken when I can't use a three year old phone to pay a parking ticket in my city. And they can just scoff at me and say that it is my fault for daring to go two years without buying a new device.

Being evergreen means that any vulnerabilities in DRM and platform integrity are swept away under a tide of updates. As long as you are constantly pushing updates, and making it very hard for people to use an out of date version, you don't have to worry nearly as much.

Finally, in the bigger picture, it strategically makes sense because it keeps your competitors aiming at a moving target.

Why do you think it is easier to install an older operating system than it is to install an older version of Chrome? Do you really think it is solely about your security and safety? Of course not. They don't care about end user security or privacy nearly as much as they do about keeping their platform secured. In fact, it is still easy to buy out a trusted Chrome extension and attack users. There is still no possible way to disable extension updates. Google knows about this and they won't change their architecture in any major way; they just keep the updates and revocations rolling and rolling, and any users who are hurt by this are an acceptable loss.
Google docs link which displays the email and identity of all viewers.

Direct link to pdf on Github: https://github.com/MikaeI/frax/blob/master/Frax%20presentati...
> we can look at most hiring processes and see that they are a problem

I’m not seeing a compelling problem with the outcome. The question is: are companies not able to hire good people? And: are good people not able to find jobs?

Interviews are also expensive for a company. And I don’t really see a clear or compelling argument that interviews somehow cost the candidate money. How much money? If the candidate doesn’t have a job, then what exactly is money or time cost to the candidate? Doesn’t the eventual job with income outweigh all interviewing costs? Isn’t the cost somewhat irrelevant if it’s not egregious, and there’s really no choice if you want a job? Isn’t the alternative, choosing not to interview, potentially way more expensive?

If you’re going to frame it as expensive, I think it’s more than fair to counter with you need to average the cost of the interview over the time period that you’re employed. If you interview for 10 hours, and you work there for 5 years, the cost of the interview is 20 seconds per day.

> they’re painful for the candidate

I agree that interviews have a time cost and that candidates have a finite budget. That means someone looking for a job should invest wisely, figure out how & when to decline an interview, study the companies before interviewing.

This is subjective, and it’s not a solvable “hiring problem”. This is something the candidate has to fix for themselves. Nobody is going to give you a six figure salary and ask you to work with them for many years without vetting you. It will always take time, and it will always be somewhat uncomfortable and emotionally draining. Some people prepare for interviews, and some people like to interview. If you view it as a skill, one that you can learn and improve at, maybe it will become less painful for you. But don’t expect that companies are ever going to do that for you.
No, it is not necessarily so. First phase of rollout can happen to the users and businesses under NDA.
If you're worried about E2E then I'm not sure what options you have other than maybe proton mail (and then only if both parties are using it) or GPG-encrypting messages, at which point host is irrelevant.
Routex v1.0.0: Modern Node Router
This is interesting. I sat down at my machine on Thursday morning, and it was entirely unresponsive. It had warned me about installing updates the previous evening, but I've done this many times without an issue, and regardless, they are always complete by morning. I waited a minute or two for any sign of life (beyond the fans running), and then held power. I heard the unpleasant sound of the fans spinning up to high RPM and then shutting off rapidly. I waited a few seconds and then held power again. The machine showed a slow progress bar, but then finally I saw "26 minutes remaining" below it. I was pretty surprised that the update was running, but I figured it had just started late or hung, and ran a bit later into the working hours.

This article makes me reevaluate that thought.

Coincidentally, one of my colleagues had warned the team about installing macOS updates, since he was having repeated issues with kernel panics on the original 10.15.4 update.

I hope Apple can get some of this together a little better going forward.
Sorry, I meant GYB: https://github.com/jay0lee/got-your-back
No Milk Today
As the article says, we shouldn't have the norm, "the data matters unless we already agree with the conclusion."
Vacation Management Tool
Can't say I've been eating much healthier, but... other than the first week, I am making sure only to eat about once per day. No sense in eating as I'm not burning anymore energy than usual... and less probably. So when I find myself hungry... I usually get a drink of water beforehand and then wait 10 minutes or so and if the hunger is still there, I'll grab a snack.
Replace the word "dictator" with "leader" in your statement, and your sophistry becomes obvious. You are just describing common traits of executive leadership, conflating them with a shallow and dumbed down version of "dictator" to try to make it fit.

>that does not directly contribute towards said leader's goals and the goals of his electorate

Well yeah, in most of these cases you are talking about unelected bureaucrats caught trying to undermine and subvert the elected President's agenda and constitutional authority.

Are you trying to say a President should not have people helping him, and that he should permit employees who have been secretly and actively working against his agenda and undermining his authority? Seriously?

>repeatedly fire

How do you "repeatedly fire" someone?

>That anyone was fired from this duty without a clear explanation and justification is cause for alarm

Good thing nothing like that has happened, no matter what the fired individuals or their "resistance supporters" might like everybody to think. Falling for this line depends purely on ignorance and buying into the opposition's propaganda without question.

What part of Commander and Chief of the United States do you not understand? Was Obama a "dictator" when he blanket fired all of Bush's political appointees without explanation? Or was it, rather, the routine action of an incoming President attempting to set up his incoming agenda for success?

>until he sees a loyal drone in the slot

As opposed to a disloyal drone? Come on... This is just sad at this point.

>The procession of a dictator is more nuanced and complex than people realize.

Not really, though it really is fun to see Progressives leak their inner motivations through projection.
It's great to know that this mission wasn't pushed due to COVID or anything - the next launch window is 3 years from now.
Have been on Fedora for 10 years; the only thing that "reliably" breaks is the proprietary Nvidia driver.

Otherwise Linux is pretty damn rock solid. These days "it just works" applies to Linux more than any other OS.

And with the new Nvidia-less Dell Precision 5400 the system runs cool and quiet to boot.

Linux isn't what it used to be...
I've been considering moving to Outlook. Can anyone share their take on Outlook?
Then you've violated the terms of service and when they find out they have an excuse to kick you.
Operation Rubicon/Thesaurus – The Secret Purchase of Crypto AG by BND and CIA
Research revealed three distinct variants of Covid-19
It's two-edged. On the one hand it's easy because you only get to target one version of your software. On the other hand your developing environment can suddenly change, what worked fine yesterday requires a complete rewrite the next day.
>"Bricked" is relative, depending on your skill level.

>For some consumers, if recovery mode doesn't work that might be the end of line.

If you want to go by that rule, for a large number of people simply getting a virus would mean their computer is bricked. I think it's safe to assume "bricked" means it's a hardware level issue.
Reinstalling the OS shouldn't wipe your data partition…
"free, but Emacs" is pretty much an endpoint...
TTM Programming Language
macOs management tools for enterprises like Jamf allow you to explicitly set deferral for updates for 30 days to avoid situations like this. I may actually set this for my company since we try and patch within two weeks of a general security patch release.
Memory! You could only make 64k chunks of code and had to connect them with overalls.

PS loved turbo pascal. Everything I know about oop I learned from the manual for tp4. First job I ever had programming required using it, but even then it was being replaced by C.
Also, "The Amazing $1 Microcontroller" https://jaycarlson.net/microcontrollers/
I really need to tell you: Eclipse really rocks against other IDEs
OnePlus One I think has the best support and can be acquired pretty cheaply (I picked one up for about US$70).
I haven't had any issues either, 2017 MBP. Volume slider acts normally, too.
Betas are partly NDA'd to some extent, but this has historically been enforced quite poorly.
We can perform some measurements [0] which show that spin exists. So, the 101 lemma used in the Kochen-Specker Theorem is related to existing laboratory experiments, and not just thought experiments. But indeed this doesn't say whether people have free will.

We might instead interpret the Free Will Theorem as demolishing a position otherwise claimed: People have free will, but people are special; most other things don't have free will, and certainly particles don't! But the Free Will Theorem explicitly contradicts this position.

In terms of philosophy, there are several nuances to consider. There's Kochen-Specker itself [1], its untestability and its applications. There's free will itself [2], including whether free will is definable, is useful for ethics, and indeed whether free will exists. I think it's interesting that [2] has no mention whatsoever of [1] or the Free Will Theorem more generally.

[0] https://en.wikipedia.org/wiki/Stern%E2%80%93Gerlach_experime...

[1] https://plato.stanford.edu/entries/kochen-specker/

[2] https://plato.stanford.edu/entries/freewill/
Covid-19 Japan Web API
> If that’s not enough, the SVG standard is large and occasionally horrifying: the (failed) SVG 1.2 standard tried to add to SVG images the ability to open raw network sockets.

!!!

!!!!!!!!!!!

From the SVG 1.2 draft:

> Note that these interfaces expose possible security concerns. The security model that these interfaces work under is defined by the user agent. However, there are a well-known set of common security guidelines used by the browser implementations in this area. For example, most do not allow access to hosts other than the host from which the document was retrieved.
>
> The next draft of SVG 1.2 will clearly list the minimum set of security features that an SVG user agent should put in place for these interfaces.

"Possible security concerns". No kidding. At least they were going to address them in the next draft version... though probably not by removing the ability to open sockets. Words fail me.
It mostly tells me that mathematics does not care about runtime or space performance. Which is fine, because mathematics is about solving abstract problems, not getting a Turing machine to solve concrete problems.
Gary Shandling: "Nice guys finish first. If you don’t know that, then you don’t know where the finish line is."
It’s kind of embarrassing but I didn’t understand generics from my beginner CS course (taught in Java). It wasn’t actively tested on either. I only began to appreciate it when I took an online MOOC in OCaml on a whim.
> You have to be the one they see themselves working with

This is a really good point, thank you!
That wasn't what I was implying at all!! In your immune system, it can kill off bad cells and that's acceptable. But when it comes to human beings, we can't let some people die to save the rest. That's unacceptable. That's the analogy I was trying to draw.

Human beings are not cogs in a machines. We are not cells who some master brain can dictate things to. We are complex, self-aware beings. You turn off a machine and you can turn it back on again later. Your body kills off a ton of infected cells and that's fine because they grow back and those cells aren't special.

Your turn off large parts of this complex machine we've constructed to support 6~7 billion human beings on this planet, and a lot of people are going to die. Even if you can keep people from dying, there is going to be a lot of civil unrest, protests, because there are limits of what we can take as human beings.

The point of the post is that there are two diseases. The first is the virus that's killing of tens of thousands of people. Then the second disease will hit; the economic impact of all we are doing to stop the disease, which could leave millions without necessities.
I came to this hypothesis on my own. I think it's a very good idea. You can think about existence in a very interesting manner once you embrace and understanding of time being emergent.
I really like the referencing and transclusion features of Roam. Being able to reference any fragment of text anywhere else, and edit them them in-place with all changes propagated to every other reference... it's the defining feature that I'm willing to pay for once it monetizes.
The intention should matter. Brainfuck's is self descripted. I can come up with a few things that are genually confusing about scala, like implicits resolution rules and quirks of the type system, but I cannot claim they are intentional, and they are getting fixed. On the other hand, having things like functional collections futures years before Java made life easier for the whole lot of us
Only if you ignore inflation.
I'm hosting one on my Pi-Hole but no one want's to use it any more.
I work in graphics and seem to lately be referring to these articles more than papers. I love how playful IQ’s investigations are, as well as how practical and useful.

Recently I tried writing a sound program on ShaderToy and without thinking much assumed you could easily vary the frequency of a tone by using sin( t * freq * tau ) and animating freq. Whoo my ears got a big surprise, and a Google search brought me right to https://www.iquilezles.org/www/articles/fm/fm.htm
> Granted there's no formal definition of "bricked" it usually means a hardware requirement to restore functionality.

From Dictionary.app that comes standard with the Mac: "a smartphone or other electronic device that has completely ceased to function"
He was my mathematical hero. I never had the opportunity or privilege to be a student of his but I imagine it must have been extraordinary. I really enjoyed his books, ONAG, his work on groups and his contributions to the sphere packing problem. Most of all his playful way of writing and teaching. A true performer.

I will miss him.
The actual blog URL is https://www.iquilezles.org/blog/

Maybe the submission title should be s/Blog of/Articles by/, or actually link the blog.
I'm tired of the endless posts over Why We Sleep. The book attempts to cover hundreds of studies in an accessible way, and it largely succeeds. It's certainly fluffy at times (as are all popular books, by necessity), but if you didn't like its message, nitpicking at minor points doesn't refute the central thesis, and pretending it does is below the standards of even internet flame wars.

Like, this kind of exchange is exactly why academics try to avoid randos from the internet. They tend to seize on one point, declare victory, and refuse to change their minds. And when the academic doesn't grovel in compliance, they declare academia to be a failure. As far as I'm concerned, UC Berkeley responded perfectly.
It’s also a pretty decent representation of stuff they will be expected to learn and deal with on the job. I can’t imagine programming without dependency/build tools, and yet I also often struggle with them. It seems dishonest and impractical to me to only focus on core concepts. Students should also be exposed to real life!
Well, maybe it's because the article is hyping itself up in order to get more attention than its content justifies.

As a result, some large percentage of readers are let down by the actual content, and think it wasn't worth reading, let alone commenting on.
Thank you, I think "good organization" would be one of those modern innovations most difficult to avoid, along with literacy, worker transportation, and abundance of fresh/clean food/water. Seems like they're trying to account for it though.
Dictionary definitions are not formal definitions, they are attempts to capture usage. And they are almost invariably approximations except when explicitly specifying otherwise, and outside of the the more lavish of the unabridged dictionaries are also almost in invariably simplified, both in the number of definitions of any term presented and often the individual definitions, for brevity at the expense of accuracy.
Absolutely not. Not only do Guzey's nitpicks not refute the main point, they fail to refute even the subpoints and subsubpoints.

The example cited here, where people on 5 hours of sleep actually have slightly less chance of injury than 6, is by far the most egregious one, but even it doesn't change the conclusion of the sentence where it appears. At most, it would require a footnote: "also, something weird is going on in the tiny 5 hour group".
Well, "accidentally" also communicates that it was done automatically without human review and that human review ended up reversing the decision. I don't think splitting hairs with "well technically they intended for it to happen automatically so it couldn't have been accidental" adds to the discussion. Automatic processes absolutely make mistakes.

This should be obvious after 10 seconds of thought, but here's an example: https://en.wikipedia.org/wiki/Scunthorpe_problem
The original source[0] states that access to Recovery Mode is not possible, at least in some cases. One user there reports[1] that the device shows no signs of life--no power, no fans spinning, nothing:

> No power at all. I tried SMC and PRAM reset but sadly was unable to do either since my computer won’t even turn on.

[0]: https://forums.macrumors.com/threads/warning-macos-catalina-...

[1]: https://forums.macrumors.com/threads/warning-macos-catalina-...
Your "isodd" function should probably not be doing bounds checking and throwing an error when it encounters large even integers.

If you have a use case where you need to know if you multiplied two large integers and got a result larger than 2^53, then you should do it explicitly before you get to the point of checking if your number is even or odd.
Yeah, I got a black screen on boot on more than one occasion because of some change to either X11 or its config after updating. It's probably a rite of passage for a seasoned Linux user to figure out how to undo the damage to their `/etc/x11/xorg.conf`. (then again, I stopped using linux about 4 years ago, so maybe that's changed)
“Nobody ever figures out what life is all about, and it doesn't matter..." - Richard Feynman
You’re reducing two type variables down to one. The number of type variables matter. The kind of the type matters. Look at the definition of Monad for Either. You’ll see.
Getting a little too personal there, don't you think?
One difference is governance. Dragonfly is a CNCF project with open governance.