skysight-inc/HackerNews huggingface dataset:
Jesus, it really knows its Chinese history. Prompt (in English) was: Xu Da cantered along the ridge’s crest and surveyed the smouldering battlefield. [completion]

The Xingyuan forces had won the battle at the expense of the casualties. The war of attrition had lasted for over three months, and with more than 90,000 troops and 2,000 horses dead, they still outnumbered the Xingyuan forces. Although the fighting had been fierce, there was now a clear victor.

As the sun was setting on the horizon, Xu Da rode into a clearing where a camp had been set up by Li Kui. Several tents had been pitched, some of which were large enough to serve as temporary hospitals. The corpses of more than half the Xingyuan cavalry could be seen strewn about the clearing. Soldiers were busy tending to the injured, while other corpses were lined up by the sides of the clearing and buried, a macabre scene of war. At the centre of the clearing, Li Kui was seated, smoking his pipe. He was dressed in the same ragged clothes as he had worn during the battle,
Phenomena is a grift? Millions of people have died — what is the grift?
To be extra fair, the license is modular[1] now and the base version anchors itself mostly on the Universal Declaration of Human Rights.

It it still, obviously, something most lawyers would advise against. That doesn't make the mind game of commercially licensing something dual licensed with this being equal to admitting you reserve the right to be unethical less entertaining.

[1]: https://firstdonoharm.dev/version/3/0/license/license.md
:-D Thank you very much!
This is why autopsies are a thing. The LA County Coroner is one of the biggest in the nation and their forensic pathologists have written a number of textbooks on various subtopics. Generally speaking, forensic pathologists follow a standard process specifically to make sure they avoid missing things. That said, drugs on board has a high rate of being classified as an accident. Not suicide unless they left a note; not homicide unless there’s a suspect or there’s something about the situation that precludes it (e.g. opiates on board but also gunshot to the back of the head).
> The measurement problem of QM arises only when one tries to define an interaction of a classical measurement device and a quantum system.

The measurement problem arises when one tries to use QM to predict empirical observations. The concept is fundamental to QM as a physical theory - remove it, and QM can no longer be said to agree with experimental observations (in fact, it contradicts them), so it can no longer be verified to be a physical theory.

> But everything is quantum at the end. So there are no classical devices.

This remains a supposition. It is possible that the classical world is indeed an emergent phenomenon, as in the many-worlds interpretation for example, but we don't yet have a full, experimentally verifiable account of how that would work. Decoherence has shed some light on aspects of the problem, but it is not enough (it does not account for the choice of observable to measure, the preferred basis problem).

> Asymmetry would imply that one could distinguish the past from future, but it would not explain why what we perceived as the past is the past and not the future.

Yes, that is a good point. However, moving from the future to the past in SR requires something that can move faster than light (faster than c). Such a particle is in principle possible, but it has negative energy. As such, if such a particle could actually exist, QM would predict that pairs of this particle and regular particles would form all the time in the void, and thus the universe would quickly become pure chaos (this prediction comes from the observation that energy is conserved if in a region of 0 energy you create a particle with energy E and one with energy -E).

So, if we can establish that the future and the past are distinguishable, then relativistic quantum mechanics requires that movement is only possible from the past to the future, and this should give us an arrow of time even at the microscopic level.
I wonder if I will ever use a JavaScript framework.

My projects are usually either in the form of "User enters data, sends it to the server, server sends a new page back"

Example: https://www.gnoosic.com/faves

Or in the form of "User changes parameters on screen, Javascript updates the screen accordingly".

Example: https://www.productchart.com/laptops

In both cases, I don't see the benefit I would get from a framework.

If you have built a project that is public and benefits from using a framework, I would love to see it!
I have ran selinux in production on rhel and centos for years, had very few problems. All packages that are maintained by red hat comes with selinux policies included, over time stuff barely changes, just some security fixes applied.

In case you have trouble, just install (setroubleshoot-server) and run sealert -a /var/log/audit/audit.log and it'll inform you whats needs to be done, i.e set a sebool or generate a policy. Solves 95% of the problems.
I really hope you succeed, but I think this breaches the Slack ToS
An introductory math class is supposed to

- get you used to the general feel of the topic

- make you practice proving things

The specific theorems students prove are not really the point.
It's a neat feature but the UX annoys me. For sqrt(2) it goes straight from 1.41421356 to "...41421356E-8". I feel like either it should just scroll the decimal places, or at least when it makes the jump from decimal to scientific it should show the "1" instead of the "..." so it's obvious what it's done.
Would you include the integers and the rationals in the mathematical objects that have no constructive basis?
In some places, remote learning can be far superior to locally available education. I love the Khan Academy and I hope they are successful in this project too.
Fear? It’s not as if anything will happen to her. And if this blogger didn’t feel like investigating her, she’d have kept both some fame and extra income. If you have no morals, and crave recognition, there is little reason not to do this.
> the platform

There's a hidden misunderstanding here. Phrasing Mastodon as "the platform" implies you (probably subconscious) perceive it as a "classic" single, centralized, authoritative service managed by a single (legal) entity.

As you've learned: it's the exact opposite. It's not a service: it's just software.

Mastodon fits in between (self)hosted solutions like Matrix, Postfix, IRC, XMMP/Jabber. It would be the odd one out between Twitter, Slack or Discord.

> The main one being discoverability.

And that's a valid concern to have as a dealbreaker. It's also an advantage that's innate to centralized, authoritative services. Storing millions of users in a single telephone directory vastly lowers the bar for discovery compared to a distributed system of telephone directories.

Then again, it's also a chicken and egg discussion. Centralization is a key driver that prompted hundreds of millions of users to flock together. Aspects such as ease of use, convenience and discovery are key conditions as well...

... but let's not pretend this is a net positive: we also experience the many downsides of having millions of people on a single platform that provides common denominator interfaces and policies for governing interaction.

In a federated environment with many instances, agency over governance is delegated again to the countless of small communities and tribes that generally tend to emerge organically in any social context.

Remember, back in the early days, between BBS'es, Usenet, online fora, IRC communities,... the fragmented nature of online communities in itself wasn't seen as problematic. On the contrary, if anything, the freedom to be able to start your own IRC channel or host your own forum was seen as a boon.

In that regard, I don't think that discovery should be treated as a zero sum game where the only logical conclusion is a silver bullet solution e.g. either a single centralized authority or a distributed ledger that acts as a single source of truth. Discovery is massively complex and relies on innate heuristics people have used since forever to find and interact with others. It's never a "solved problem".

That doesn't mean throwing up arms not investing in discovery tools. But rather acknowledging that discovery isn't necessarily worth a trade off against other key aspects of complex interpersonal relationships such as having agency to build your own community space, and self-reliance to implement your own set of policies allowing for governance
there’s an article above the comment section
Money. Social media is 90% people lying to make more money.

I mean all those #girlboss and #babeswhohustle motivationaly posts are also just to get new subordinates for your MLM marketing scam. And then there's people congratulating themselves on pumping and dumping SafeMoon crypto coins ...

I don't know who started the "fake it till you make it" advice, but it's certainly how most Instagram accounts operate. This guy perfected that: https://medium.com/@chrisbuetti/how-i-eat-for-free-in-nyc-us...

(I used to run a bikini company, so I have practical experience working with Instagram influencers)
Reminds me of the #1 reason for a day off work in Australia: possum attack.

https://www.youtube.com/watch?v=z0ytDTcsuYM
> In my experience creating and applying new policies with audit2allow is almost always the wrong thing to do. Most SELinux issues are either a SELinux boolean that needs enabling, or SELinux file type that needs changing.

I think that's very dependent on what you're doing, and how supported the thing your doing is by the OS. We write a lot of custom software. We also end up installing a lot of applications that didn't ship with good (or any) rulesets, or that we packaged into RPMs ourselves. Using audit2allow (after first checking audit2why and booleans) has become standard enough in those cases to generate a ruleset that makes sense (either for immediate installation or adding to a package we're building) that my experience seems to be somewhat different than yours. Or maybe we just run a lot more servers and while the percentages are the same the total numbers look higher, I don't know.

There's also the cases where we basically threw our hands up and said screw it, run in permissive mode indefinitely, because the alternative it too annoying and error prone (I'm looking at you, Jira).

> The few times where you do need to create new policies then audit2allow is useful but still requires you to review and understand the changes it's going to make before applying them.

Yep, and I noted that I don't think the audit logs and autdit2allow output aren't actually all that hard to understand if you take the time to look.
This article is a prime example of why one should think about the content of a page before accepting it's premise.

I would argue that no solution in and of itself is complete.

I hope someday we can get away from the idea that containerization is the complete solution.

I have been a system admin for over 20 years, and it seems we still have not been able to get the concepts of defense in depth, and specifically many layers of defense on each level to soak in.

I see multiple people espousing the belief (in the comments on this article at least) that containerization has solved this issue and SELinux is no longer needed.

I can think of a certain chaos goose (Ian Coldwater) who has been providing plenty of reasons why it's bad to trust containers alone for years.

In my personal experience SELinux has stopped attacks in their tracks when a 0 day hit, until a patch from upstream became available and is an invaluable tool for blue team in general.

It is not the most intuitive of tools, but most truly powerful tools are not intuitive, that seems to be a common trade off.
Do you have any authority on the subject of archeological academic misconduct or are you speculating?

No, archeologists do not go into the field "thinking about mummies". This isn't Hollywood.
Sorry my last comment was sort of wrong because I neglected to mention Fix (I'm going to claim that I was tired :) ).

They say a picture is worth a thousand words, so hopefully this clears up the difference betwene `out` and `toTreeF`:

-- | Our basic binary tree type
data Tree a = Leaf a | Node (Tree a) (Tree a)

-- | A pattern functor for our binary tree
data TreeF a r = LeafF a | NodeF r r

-- | The fixed point of 'f'.
newtype Fix f = Fix { unfix :: f (Fix f) }

-- | Given an F-Algebra on 'f' we have a catamorphism on 'Fix f'
cata :: Functor f => Algebra f a -> Fix f -> a
cata alg fix = alg $ fmap (cata alg) $ unfix fix

-- | We can sum the elements of a 'Fix (TreeF Int)' using 'cata'
sumTreeF :: Fix (TreeF Int) -> Int
sumTreeF = cata $ \case
LeafF i x -> x + i
NodeF l r x -> x + l + r

-- | To operate our binary tree we need to map from 'Tree a' to 'TreeF
-- a'.
toTreeF :: Tree a -> Fix (TreeF a)
toTreeF = \case
Leaf a -> LeafF a
Node l r -> NodeF (toTreeF l) (toTreeF r)

sumTree :: Tree Int -> Int
sumTree = sumTreeF . toTreeF

I didn't compile this code but it should be correct.

out :: Fix (TreeF a) -> TreeF a (Fix (TreeF a))
toTreeF -> Tree a -> Fix (TreeF a)
In many countries (at least in Europe) there are harm reduction associations that can test the product for you at no cost and anonymously. In some cases you can even ask for a GC-MS, which is accurate enough to distinguish even between closely related substances (such as Xanax/alprazolam and other benzodiazepines).
The named authors on the blog post are an amazing set of engineers and the type that would have added a lot of introspection and expertise to what happened while maintaining a high-level of lightheartedness. I spent a number of years at Slack and was involved in a postmortem in my first week as an Engineering Manager. I was impressed by how excellent practices were borrowed from Etsy in the early days and then magnified by Google's practices. As someone who once had to run these sessions and distill the learnings in to the wee hours of the morning this is great to hear.
VSCode devs do some magic trickery to improve Electron's performance, but it is by design not in the league of Neovim or even fully fledged Qt Creator in terms of responsiveness.
Klarna is just a payment option, and one which is a line of credit too. You could have just selected a different method surely?
Which is complete bullshit, the blog writer is just uninformed.

There are tools to examine the policy, and you can get the source to the entire thing. Though it's rather big and complex, but it's certainly there.
For the conspiracy-minded here, I ask: Why would any organization bother to murder a whistleblower who delivered documents over a year ago? He's no longer relevant.
> The gist of the problems is that the policies are not transparent

Yes.

> (probably due to security reasons?) to the user/admin, did I get that right?

No, that isn’t the reason. They’re open source. The policies are, simply put, compiled binary blobs from a comprehensive set of allow-rules and label-path definitions. The complexity of analyzing and difficulty in overriding these complex rulesets is the problem. There are tools for interacting with the system, but good luck figuring out what they’re even called. All the tools are optimized for the ruleset developers and not the sysadmins that have to play by the rules (and are never told what the rules are).

Answering the question, “What do I need to label files that should be read by program X?” is waaay to hard. You’re expected to put your files in certain locations and then some things work out-of-the-box. However, there’s no documentation on where you’re supposed to put the files.

Sure, /var/www is where you put your website files by convention. Apache can read from that directory. But what if you put it in /var/web? You can relabel the directory, but it’s not at all apperent why everything grinds to a halt when you do. The /var/www dir is owned and readable by the apache user, but Apache still says complains it can’t read it. That’s the SELinux MAC in action blocking you from doing something totally normal just because you didn’t follow the strict rulesets (that no one told you about).
They may accept students from around the world, but whether it counts as a high school for the purpose of continuing on to higher education is country-specific, which (I assume) is why 2Gkashmiri asked what they did.

Also, based on the About Us page, the requirements for submitting an application are quite US-centric ("Student must be proficient in Algebra 1", etc). I did not try to fill out an actual application to see if they accept other countries' alternatives (I assume they do).
No, author is just incompetent.
Really like the idea, do you have any worry of Slack blocking your API access if they see you as a competitor?
> The standard GPL already puts "restrictions" on the latter, but at least said restrictions only apply if I choose to distribute binaries.

You seem to have it backwards. The GPL and the AGPL concern the relationship between the programmer and the users. They are specifically designed to:

1. Grant the users of the program the "four freedoms".

2. Forbid any third-party middlemen to strip the users of the program of these freedoms.

The second point is what separates permissive "google-friendly" licences and copyleft. It doesn't make a difference for the users, but it avoids third party distributors to strip users of the program of the four freedoms. In that sense, I'd say that copyleft really gives "more freedom" to the users (unless they intend to re-distribute the program and strip other users of the freedoms that the original author granted to them).

Users of AGPL software are thus assured that they will have the four freedoms forever, regardless of who distributes the program that they use.

Construing the GPL or the AGPL as "putting restrictions" to the users can only be done in bad faith.
No, they are absolutely constructive and have well-defined computable addition and multiplication rules.
Yes, cocaine now regularly has fentanyl in it

Yes, cocaine users are sometimes receiving heroin

Yes, sometimes whatever they receive contain fentanyl

Yes, heroin users are also now commonly getting unintentional and intentional doses of fentanyl

Yes, fentanyl is being added to other drugs as well

Its a mess. I think its time to move on from abstinence only education to treating this like an ongoing bioterrorism attack and taking federal control of the supply chain.
Don't go wild on opiates anywhere, it's one of the harder manageable addictions.
I think copyleft is a good way of protecting a creator's intentions. While it's true that 'superior software is the way to software freedom', it's also true that free software is the way to software freedom.

If free software begets other free software simply through its replication, then I think the juice is worth the squeeze
Even without complete decidability, a good CAS implementation can give you "yes/no/not sure" answers that are more than "good enough" for practical use.
> Red Hat Enterprise Linux (RHEL) has some of the most accessible documentation on creating custom policies.

Red Hat is the Pinterest of Google searches for Linux problems. You’ll often find a page where someone is describing you problem but the resolution is locked behind a subscription login.
Managing remote hosts at the edge with Kubernetes and SSH
"I sometimes wonder if it's ok to put forks inside my pants" -> "You can see that pierce with pier and pier."
“The tuition for full-time students who are Arizona residents will be paid for by the state at no cost to families.

Students who live in the US, but outside Arizona, will pay $9,900 per year tuition.
Students who live outside the US will pay $12,900 per year.”
I'm not into conspiracies, but it could be a deterrent for future whistleblowers.

"We'll get you when you think you've gotten away. You'll never be safe."
https://asuprep.asu.edu/khan-world-school/about-us/

-The tuition for full-time students who are Arizona residents will be paid for by the state at no cost to families.

-Students who live in the US, but outside Arizona, will pay $9,900 per year tuition.

-Students who live outside the US will pay $12,900 per year.

-Tuition for all students does include the opportunity to take two university courses per semester and earn college credit.
How to bully-proof your kids for life
> There are a number of tools that can be used to manage a fleet of hosts, however they each involve significant redesign of your system. Not all of them are going to slot easily into an existing estate of infrastructure tooling.

> After a recent call with a customer, who is using inlets tunnels to manage remote appliances for customers, I wanted to show you what this looks like, and a sample architecture with Kubernetes.
But what am I, as the sysadmin, supposed to label things? Even if I know that I probably need to apply some labels, how do I find out what the policies are? What labels can interact with this program? You can turn to Google and find some incantations in a blog or forum post from ten years ago, but you can‘t easily see which labels a program is allowed to interact with or not. (If you even know to ask that question.)
Sure, but it also sounds like your usage isn't really sysadmin level, which is what I prefaced everything I said with to put it into that context.

I don't expect random users to run with selinux on and deal with problems for all the stuff they might do. I do think it's probably a good idea for system administrators, and if those sysadmins have problems getting some custom in-house software running through selinux, that seems like a good place for them to focus some learning to rectify that issue.
Making Bill Gates’ short position on Tesla look like genius.
Is it me or is there absolutely no meat there?

The logic basically seems to be Trump uses DB, DB does business in Russia, therefore ...
> Q1 Cloud Loss of $931M, still not sure how they can't compete with Azure and Amazon here?

If you haven't analyzed the revenue and expense, this number doesn't say anything. Thay may willingly be spending more to grow, but could change stance and be profitable on Monday if they wanted to. These are numbers that sound like output, but my guess is someone had a "revenue+$1B" budget, and they spent it.

I have no clue if that's the case, but it would surprise me if Google Cloud is inately unprofitable.
Because there’s more to high school than just classes. It’s important to learn how to deal with people as well. A purely virtual high school experience sounds extremely lonely and thin for the soul.
> one super school left

I don't believe so there is huge problems with hybrid/offline learning at scale with distractions, social interactions etc that cannot be fundamentally solved by Khan Academy.

But having a 'master teacher' is something I definitely welcome because my education, like so many others, varied year to year, on say math, because of educator quality.

Khan's 'reverse school' is something I wish I could have experienced growing up as I think it would personally have worked for me.
But you can do arithmetic with uncomputable numbers. The probability of a the universal machine not halting on a random input is 1 - Ω.
There, I just subtracted an uncomputable number.
As you note, you cannot "know its digits", which is just rephrasing the "uncomputable" aspect of these numbers.
Fentanyl is added to everything these days. I know someone who got some painkillers from a friend and ended up going to the hospital with a fentanyl overdose, and my drug enthusiast friends test their molly for fentanyl.
These are just standard OBJ files with diffuse textures only and trivial material settings (all white).
Additional there is some metadata that specifies that the same data is to be used as displayable model and collision geometry.

So, essentially, this data is highly portable, photoreal aesthetics is not really a goal.
(Also see some notes in the paper, e.g. "Limitations of the Dataset".)