skysight-inc/HackerNews huggingface dataset:
> the package was not properly isolated, so it ended up depending on something from /usr/bin.

I don't know when you last used Nix, but Nix now enforces sandboxed builds by default so it should be better at catching these kind of things during packaging. But note that isolation in Nix is mostly a build time thing, and it does not prevent running programs from accessing filesystem paths in /usr. You could still fire up a bash prompt and enter "ls /usr/bin", there's nothing stopping you from doing so.

> I highly dislike the location of the nix-store. It doesn't belong in /

I see many people express this sentiment, but I'm not sure what's wrong with /nix/store when you've mostly[1] abandoned /usr. Nix is fundamentally incompatible with traditional Unix directory layouts.

> long path names (due to the hashes) are very impractical to use

That's why you never need to specify them directly. You could either install packages globally and get it symlinked into /run/current-system/sw/bin or ~/.nix-profile/bin, both of which are included in PATH, or use nix-shell and direnv to automatically add packages to PATH whenever you enter a specific directory.

[1]: "Mostly," because /usr/bin/env is kept for compatibility
"it's beyond me why would anyone willingly use an Apple product"

With respect, then, you aren't making much of an effort to understand.
Usage of C# packages from F# is simple and without issues. The other way is a bit more clunky, but frankly, you will not want to write any C# once you are on the F# side.

I have been programming in F# full time for the past 7 years and I hope that rumours of its death are greatly exaggerated. Perhaps this comes from a point of view that if something is not growing 10x each year is dead?

It's not a JavaScript framework that has an average lifespan of a couple of years. It's a fully featured, complete, very productive language that makes programmers life easier and more enjoyable.
I know RMS is often abrasive, but that it is a whole new level of bad faith from him on display there. Plenty of "just asking questions" from one of the other participants as well.

Here's another example of RMS on the subject where he told someone he wouldn't accept their code and that they should take it off of the internet and not talk about it:

https://gcc.gnu.org/legacy-ml/gcc/2001-02/msg00895.html
The page is horrific though. 2 meters of scrolling for 7 sentences and 3 pics.
Most RISC-V processors use really old node sizes. Even Raspberry Pi is on 28nm.

To be more efficient and complete with mainstream processors a move to 10/12nm is required.
Welcome to the Fake Office Commute (Turns Out People Miss the Routine)
Ask HN: As a YC employee, what is the "equity in YC" benefit?
I saw this job posting for the Product Engineer, Work at a Startup:

https://www.workatastartup.com/jobs/41302

It says "We also offer highly competitive compensation, including equity in YC". What is equity in YC? Stock options, implying that YC could go public or get acquired? Profit sharing? I'm curious how one can value this equity, and how that potentially translates into cash in the bank now or later.
Without computers.

Our school board is using MS Teams, SharePoint, and a custom web application. It’s terrible. Even adults struggle with SharePoint. Let alone an 8 year old kid. Let alone kids with different abilities and challenges.

Remote learning is terrible and I doubt it will ever be good enough to replace a classroom for you kids.

What could alleviate it is a device like a reMarkable. I gave mine to my daughter. With cloud sync and some scripts I wrote she has her work sheet handouts from her teacher on the device. It’s e-ink and she can write with a pen. It’s a thousand times easier than navigating SharePoint and trying to use MS Word.

But it’s still not enough. The video calls are terrible. Being at home around her parents all day is not great for her.

Best thing has been spending time together to be honest. Playing board games. Running around outside, hikes, etc.

But without the support of a community of educators trained to help kids develop, especially kids with special needs, it is very hard.
Highly unlikely to be very competitive. At this stage it's about getting RISC-V hardware into developers' hands, and previous boards either cost $1000 or were limited in ways where they could not run Linux well. (I am one of the Fedora/RISC-V maintainers.)
I appreciate that you have shared your experience as I acknowledge a personal bias against homeschooling. I have two adult friends that were home schooled and both resent their parents for it. One was home schooled because their devoutly religious parents didn’t want them socializing with non-religious students. The other because their parents didn’t believe the available school could serve their needs related to autism.

Both vocally believe they were significantly stunted academically, socially, and professionally.

Anecdotes are anecdotes, but it’s always nice to hear the other side.
>> professional regulation in software engineering, if for no other reason than to ensure that Terminator and Black Mirror don't become a reality.

Engineers have professional associations. That never stopped a single engineer from building weapons of mass destruction. Lawyers are subject to perhaps the most intricate body of professional regulations and so lawyers rarely ever do anything that might hurt society at large. Professional organizations exist to benefit their members. They don't exist to prevent social ills. That is the role of government. A bar association for software engineers won't prevent Skynet. Government regulations setting limits on the powers attached to AI might.
Ask HN: PWA Push Notifications for iOS?
Anyone know if/when this is coming?

If not, are there workarounds? Maybe a separate generic app that iOS users could optionally download which would enable native notifications pushed from various backends (not only your PWA, but any PWA)? If this doesn't exist, should it? And would people pay for it?
Here is a Udacity course using webgl:
https://www.udacity.com/course/interactive-3d-graphics--cs29...

Here is the Class Central page with reviews:
https://www.classcentral.com/course/udacity-interactive-3d-g...
You can search for other courses on class central, though searching for webgl didn't actually find the Udacity course - had to look at related courses for a no longer available Coursera course listing that searching did find.

Edit: Also, Packt's free ebook of the day is currently Learn Three.js, which is a wrapper around webgl. Only available for the next 9 hours or so. If you don't have a packt subscription, you can only read it in a web browser. https://www.packtpub.com/free-learning
Qualcomm to Acquire Nuvia: A CPU Magnitude Shift
Does it have an GPU? I can't quite decipher the specs.

Random googling suggests that SiFive have partnered with PowerVR for GPU, which might even enable vulkan support, but I suppose this SoC is not one of those?
Technically you're correct, but rotating your desktop can be a bit problematic.
> Siemens, Bosch, BMW, Porsche

Let's see.

Siemens USA: CEO Barbara Humpton, not German.

Bosch USA: Mike Mansuetti, not German.

BMW USA: President Bernhard Kuhnt (sounds German), but top leadership team includes lots of Non-Germans: Shaun Bugbee, Lisa Errion Saums, Adam Sykes, Howard S. Harris, Adam McNeill, Michael Peyton, Trudy Hardy

Porsche USA: CEO Kjell Gruner (German), but top leadership includes mostly names that are not German: Joe Lawrence, Thierry Kartochian, George Feygin, Angus Fitton, Glenn Garde, Pedro Mota, Scott Codute, Trevor Arthur, John Cappella.

I guess you either don't know or you do know but spread misinformation on purpose.
I was really skeptical (for some reason) that just taking a stroll in the morning would be helpful in terms of 'routine'.

Been sticking to it since around October now and it really has been so helpful. Quite remarkable how our brain's work when locked into - or are prevented from taking part in - a routine.
Am I the only one who always feels uneasy when using NFS-like filesystems? In my experience way too much software has been built without any kind of fault tolerance regarding file system access, and no matter how good your network filesystem is, it still can cause havoc and every sort of data loss.

I've seen so many disasters related to software basically assuming a file can't just vanish into thin air, something that can very much happen when your FS is running on top of an arbitrary network connection. Hiding away such a fundamental detail in order to provide a file-like API tends to instill every sort of bad ideas into people (NFS via Wi-Fi? Why not!).
> GNOME 40 is also developed openly and a lot of live coding is going on right now (see for example https://www.youtube.com/watch?v=P2OhXheV-cw), so if users have UX suggestions there are many ways to contribute and get your ideas out there.

Gnome always struck me as a project that doesn't really listen to anyone and just follows their agenda irregardless of how damaging it is to the community.

I find it hard to believe they started listening to the community, but if it's true then I'm really glad they did.
To be precise if you don't know what the tweets were (I don't either) then shouldn't you say 'that have been alleged to lead to the riots'. This is nothing to do with lending support to him or not.
I was thinking about how one could automate this when reading.

Not a foolproof way, but add a string in your Issue Templates that is required to be there, e.g. <!-- AUTOMATIC-CHECK -->.

If this is not present in the issue, the GitHub action just closes the issue with a message to please fill in the template if they wish to create an issue.

Doesn't catch nearly everything, but should get some and it's easy to set up. Could be interesting to go further with the idea and maybe check if each section contains text or something like this, hmm...
...and Apple's from music, apps, books, and PCs.

My point is that these companies, while not as massively dominant as Apple, are still very relevant in their own markets. It's just that everyone wants a phone, while fewer people are on the hunt for heavy equipment.

The part which I should have made more explicit is “Big American electric conglomerate” also sells MRI stuff, but my impression is that it’s not often one of the front runners, so it’s not as though European companies just can’t compete.....
Awesome tool!!
I’m using AWS CDK, but I’m having trouble with AWS Single Sign On, will it be compatible ?
I think everyone is well aware of that, but unless you're making and able to sell millions of boards and have hundreds of millions in cash flow, there's no real path to using 10nm or smaller nodes. FWIW AllWinner are currently manufacturing 5 million RISC-V chips (with TSMC IIRC). I don't know what node they are using.
My understanding has always been that colonoscopy is long proven to be one of the highest benefit ratio procedures in all of medicine. Let me see if there's a solid source for that... OK, here's the American College of Surgeons fact sheet - https://www.facs.org/~/media/files/education/patient%20ed/co...

Unambiguously stating that up to 90% of polyps or the tumors they grow into can be detected and removed. Also that lifetime risk of these cancers is 4.5%, versus a low risk of complications from the procedure. Compare to much lower detection rates for non-invasive procedures, and note that a positive from a FIT or FOBT will get you a referral for... a colonoscopy.

I don't have any expertise here, only marginal interest, and hoping like hell that it always stays that way. But it's not comforting to read that the odds of a serious horror show are higher than flipping a coin and getting heads 5 times in a row. Seems unlikely but do you want to bet your life on it?

Also not comforting to see the low rate of detection for the lab tests. FOBT misses 2 to 4 out of 10. FIT misses 97% of advanced cancer? That must be a typo. Checking... "FIT has been extensively evaluated for screening, with sensitivity estimates of a single low-threshold FIT for CRC approaching 90%." (https://gut.bmj.com/content/68/9/1642) But of course, that's once you have something that bleeds. The scope finds those earlier.

All very unnerving. A lot depends on the goal: catch your own cancer early, which suggests getting a scope early, or increase detection broadly among a population, which suggests focusing on easy-to-take tests that more people complete.
>slow-shift towards Debian and Canonical...

This will only happen if no community replacement for CentOS gains traction. I wouldn't bet on that.
OK, it's about coyotes, not wolves, and finacial innovation and organizations, not tech/business infiltrations, but:

Too Clever By Half
https://www.epsilontheory.com/too-clever-by-half/
Which will be generally available first: the BeagleV or the Raspberry Pi 5?
Such a different experience. I keep telling everyone how Tik Tok is the most positive social media experience. All I see is people dancing and comedy sketches. My wife sees some more "mom" jokes, but still the same overall feel.

I've never seen anything like what you're describing. Amazing how the algorithm can make experiences completely different.
>that EUs best and brightest minds, educated with EU money are helping strengthen the Chinese and US tech titans

It goes farther than that. Universities in many EU countries are essentially free, even for foreign students.

About 30% of students at my university in Berlin are foreign, coming from mostly Asian, Arabian, and American countries. And you know what? I wouldn't change a thing about it.

This "us vs. them", or more accurately "US vs. them" attitude needs to stop.
That means PowerVR, most likely. Bad news, no useable drivers ever existed for mainline linux kernel for any PowerVR CPU
Khan Academy (where I work) is definitely trying to help people achieve mastery[1][2], and we have people who create studies to test our efficacy and help inform future course development. We care about proving the efficacy of our approaches and constantly improving.

We've been putting in a lot of effort over the past few years specifically to help teachers help their students achieve mastery in their subjects. One piece of that has been standards alignment for our content. I don't know about the UK, but I do know that our content has been aligned with the US Common Core[3].

Since Khan is a non-profit, we're often best known for offering all of our content for free so that anyone can learn (and our mission _is_ a "free, world-class education for anyone, anywhere"), but we know that a lot of learning happens alongside teachers in classrooms and are providing tools to help with that.

[1]: https://support.khanacademy.org/hc/en-us/articles/3600307534...

[2]: https://www.khanacademy.org/khan-for-educators/k4e-us-demo/x...

[3]: https://www.khanacademy.org/commoncore
Open source refers solely to the software side of things in these groups and types of projects. Thus, all of the drivers and software you need to use the SiFive is open source and thus you can say it is an open source design. However, it is not an "open hardware" design in that the IP used to design the chip is not released.
My understanding is that those "longest lived people" are in places that had bad vital records to begin with or had them destroyed in a war and that the long lived people backdated their birth date to avoid the draft or otherwise cheat.
The death and illness is pretty bad.
> People believe that the dynamics of “free markets” where people have choices of what to consume/purchase lead to ever increasing quality.

Some people may believe that -- extreme free-market libertarians being the most obvious example -- but I'd be surprised if it was a majority view. There doesn't seem to be a consensus that food safety regulations are an unnecessary irrelevance, for example.
I would take Parler as a test case off the table, as per their CEO even their bank and payment providers, and law firms, and mail and text providers all cancelled on them. Are you going to turn into a cash business?
The problem is they weren't really kind towards people with suggestions in the past.
Yes, that's the problem. I was hoping these results for the FIT meant the uninvasive test was approaching the value of the invasive one, but clearly not close enough for my own comfort.
Lots of comments here hating on TikTok, so I'll offer another perspective:

TikTok is instrumental for offering children and teens an "in-group" and finding their interests. If you're LGBTQ, you find really wholesome content. If you're depressed, you can find people being open about their depression. If you self-harm, you can find other people discussing and opening up about it. If you're in a toxic household, there's basically a whole support network for you. It's an exceptionally human way to interact with people online, and it's so much fun.

IMHO, TikTok has been the most wholesome social network I've ever used and participated in. Even as an adult (24yo), it's even helped me explore my own identity and how I relate to the rest of the communities I'm a part of. Legitimately, TikTok has helped me feel comfortable opening up and be more "myself" in public.
> You need to think about this from a security perspective

An application firewall is a SECURITY software. Crippling it is stupid. And that is exactly why people are very pissed at Apple for doing so.

> Apple did not “deliberately cripple” the firewall.

Yes, they did - they crippled all APPLICATION firewalls. An application firewall controls what apps can access the internet. By deliberately creating a new API with a BACKDOOR to allow some Apple apps to connect to the internet, and forcing all firewalls to use only that API, Apple is intentionally crippling them.

> they made the decision to exempt core services which are either unsafe to disable or only have effect when you voluntarily opt-in

There are many who have been using such Application firewalls for years together, on previous versions of macOS, blocking such "core" services that they don't care about ... they are "core" only to Apple, not for users who don't use it.

> The question you should be asking is how often that would stop an attacker because they wouldn’t have permission to disable your local firewall rules.

This is just a diversionary argument from the fact that crippling firewalls and giving default internet access to some apps actually weakens the overall security of a system.

> This kind of local firewall is appealing for giving the illusion of security

There is no illusion - if you don't use iCloud, Maps, App Store etc., they don't need to unnecessarily connect to the internet and waste our bandwidth, or worse access and transfer our personal data. The same applies to any app on your system. Their job is to block internet access to specified apps and modern application firewalls do this in a user-friendly.

It is gross abuse by Apple to cripple this ability in their OS.
On the other hand, I find that your suggestion sounds curt and impolite. I did not say idiotic, I did not suggest that the poster was in any way incapable. In fact I find it a bit rude to assume that I was acting in bad faith at all.
Maybe with the democrats winning everything, plus the obvious power tech now has, they don't think there's much risk in actually breaking the law in this. But hey at least they're banning apps that haven't actually been proven to break the law.
I don’t have much to add but Python maintainers have been suggesting solutions like this for years, and IIUC Red Hat distros use a similar approach you described. Debian devs refuse to bulge, like they always do on many topics, for better or worse. They are not going to do it, not because your approach is technically wrong, but does not fit their idea of system packaging.
YouTube Suspends President Trump’s Account
It's really a lot more complicated than that. If you have someone strong in science but weak in math, their math disability can actively block their ability to learn their favorite subject.

But I really shouldn't ever bother to discuss this on HN. The only person who knew me before I joined HN knew me through homeschooling and gifted circles and never once said anything nice about me, just politely nitpicked my comments to death for eight years. No one ever said "Dude. Wow. Leave her alone." Because misogyny and double standards are alive and well.

So y'all feel free to feel like you know more than I do about the topic. My sons are grown. No one here will ever either respect me or pay me for my expertise, so your current pain points on this topic really aren't my problem.
Grounded: Life on the No Fly List
Humans in the future will read about our struggles with social media and our inability to fix it, and they will think we were so dumb.
The law moves slowly. Angry mobs move quickly. Give it time. Just because the angry mob got there first, doesn't mean that the law isn't functional. I fully believe that people who broke the law will be tried, eventually.
I don't think it's open source. RISC-V is an open ISA, but implementations are not required to be open source (although there are many implementations which are).
Well, if you have to worry about money every month because you are living month to month, then yes money is important. This is the situation in many EU countries.
Right click -> open message in conversation
I suppose I could have wrote that a single .o file can be made an executable by gcc if the .o has a main function.

Nearly any file can be set as an executable, and surely a bash script set to launch an un notarized app in your application folder wouldn't magically bypass the gatekeeper security prompt for that app.
> that can also freely snoop around your memory.

Can them? Even with IOMMU?

EDIT: I don't think so.
They claim to be working on a "proper" way to support this.

See e.g. https://freedom.press/training/blog/beyond-signal-phone-numb...

I am not aware of a blog post that fully explains their reasoning, and what exactly the downsides are of "just adding the feature". I can come up with several reasons myself, but it would be nice to read a good summary.
I hate to say it, but if you have a phone that you can flash, I sincerely encourage you to do just that.

Why? Because even with "Google" phones, installing pure AOSP cripples the phone (and by that mean SMS breaks with LTE, you lose voLTE, Wi-Fi calling, etc.) A lot of Android ROMS have to scrape official images to get the binary bits (and it is nor a fun needle in a haystack excerise) to get basically phone functionality in Android.
Zulip sounds a lot like a modernized bulletin board/forum. It’s interesting how we keep coming back to the same ideas again and again.
There you are, dreaming of this awesome new thing that will be amazeballs while eating ramen in your shitty flat. Then someone comes and offers you a ton of money to go think about some other stuff for a few years. You figure you can always come back to thinking about the awesome thing, but a few years of eating decent food and living in decent housing would be nice.
If it's truly an unmanageable amount of work that's a sign that there are other bugs/problems lurking that need fixing.

If they did consider it and reject it I imagine it is more likely it was about avoiding backwards compatibility issues than the amount of work.

This would also signal that there are deeper bugs lurking that need fixing, however.
are you in the US? Toastmaster is great if you find the right group.
they're trying to find out/tune what is accurate/helpful right?
I expect them to not resort to violence because the guy they supported was banned from twitter.
I wasn't comparing WA to Signal, but to a load of other IM apps. Compared to those, WA is super slow as well.
Identification of Risk and It’s Mitigation