skysight-inc/HackerNews huggingface dataset:
The policies of BJP are still motivated by what they are, so my claim still stands. The changed dramatically is the methods, the spate of problems and the consequences of these policies from the recent past. I dont remember cow protection vigilante mobs in the UPAI and UPAII governments, nor do I remember, deaths and damage caused by abandoned cattle from those times. Am happy to reconsider my views in the face of evidence.
If you're going to introduce a generic functor fixpoint then you'll probably want to define

type Tree a = Fix (TreeF a)

so that `toTreeF` is just `unfix` (and is effectively free, as I mentioned above)
Ancient means 1993 apparently.

> * ...delving into the almost 30-year-old BDF 2.2 font specification from 1993 to figure out how to add Unicode A4D8 (ꓘ) support *

I suppose that makes me a mythical person, because i'm from before ancient times. ;-). I've valid pascal code from before then & it still runs in the console nowdays.
Author is correct that SELinux is not trivial and takes work to figure out.

Author is full of it in that they're obviously not aware of the tooling and information available. Eg:

All of this is wrong:

> Fedora Linux. There’s nowhere on the system where you can view the policies and look up why something might or might not work.

You can install the policy's source and look at it all you want. There are also tools to examine the current policy.

> The SELinux denial audit log messages are too vague. You’re told that a label was denied reading from another label. Okay, what do those labels mean? Which programs? Which files, sockets, or whatever?

You get that in the logs. What you get is an inode number, which isn't very user friendly, but it's very much there. SELinux has tooling to turn the log messages into something nicer to work with.

> So, you run the audit2allow command as instructed, and end up with some policy blob files.

> God only knows what changes the blobs do; you can’t be expected to, nor are you given enough information to evaluate them.

This is also wrong, along with the blob you get a text file.

TL;DR: The author has a minimal point, but clearly hasn't read the docs. Help and tooling is available and not that obscure.
Almost 90% of my female friends keep shopping carts full of items as their wishlists or curation lists for clothing. A bit less of my male friends do the same, or do it for other type of items, but still do it. I call bullshit on this data as well. The shopping carts translation to actual purchases has little to do with intent to buy and more about browsing. Similar to how loads of people go to a clothing shop to try out 10 different outfits because it's an interesting activity and may not buy anything at all, regardless of fit.

It's also somehow "more real" than wishlists in the ecommerces that support it (not all of them do).
The world is not a zero-sum game like it was 250 years ago.

I am not a company in a low-margin, huge-scale business. I am a person. A human being. I do not need to "ruthlessly beat my opposition" to be happy and comfortable.

And a person is not a 2-tensor with two digits- altruism and success. My point is- when you are comfortable, content- no matter whether you earn money or not, or how much you earn, you tend to be more altruistic.
Because plenty of unscrupulous ISPs and governments log unencrypted web traffic. Some ISPs use that information for advertising, or inject custom javascript into unencrypted web pages their customers visit for who knows what reason.

HTTPS is free and stops most of these tricks from working. You can still sniff the domain name via DNS or SNI, but HTTPS blocks attackers from seeing the URL you're visiting, or seeing the traffic the server sends back. It also stops people from doing MITM attacks on the connection.

Its 2022. HTTPS is fast, it works great and its free. Use it everywhere.
Well at this point is this even able to be considered a conspiracy.

We all know what happened. Its sad hes dead obviously. But the feds should've protected their assets better.
Does ActivityPub support static site generators? I want to use it as RSS-like subscription format. Is it well supported?
Lots of things are free. Doesn't mean you need to do them. The burden of justification lies on the people advocating for adding complexity and dependency to a simple system.
This is good advice. This is why I like my bicycles to look trashy while actually consisting of functional, well maintained and often expensive gear. A little bit of rust color here and there. A little bit of tape at some spots etc.

Your goal is not to look like a shitty target, it is just to look like a shittier target then the others.
KubeArmor (https://github.com/kubearmor) makes implementing SELinux policies easy for your host / k8s workloads.

Please do checkout the project and provide your valuable feedback.

All of our policies for SElinux are Auto generated using https://github.com/accuknox/discovery-engine

Writing policies by hand is nearly impossible, error prone and that is the exact problem we are trying to solve - to make SELinux and AppArmor easy for K8s workloads and now host based workloads.
> In fact, talking about "Nth decimals" also requires an infinite amount of work.

This is known as the Table-maker's dilemma https://en.wikipedia.org/wiki/Rounding#Table-maker%27s_dilem... The article is about rounding, but the exact same logic applies to other common ways of choosing "exact" approximations.
Looks like it's time to update that article. It was primarily intended for self-hostable projects, and as others have discussed it's an issue for libraries!

Also to more directly answer your question, the idea is that they sell a custom license to their own AGPL code -- if that code is mixed with code they don't own that is indeed a quandry! The royalty industry has a pretty well established model, so maybe we can use that.

Again I want to point out that this is probably not reasonable for library authors (for many other reasons as well), I'm mostly thinking of people who are making software someone might want to rehost.

Funny, there actually might be a business in here for managing the licensing and royalties for upstream projects in this future I'm envisioning ever comes true.
To make a point? You do this to us - we do this to you. No statute of limitations.
It is probably a guideline where they have to keep delivering more values to the shareholders.

I think it is just a vague guideline because in this instance the board didn't even try to negotiate for a few billions more.
"A fat cat was eating" -> "the fat cat was food"
Elon, you have no idea what the hell you're talking about
Of course it is possible to update beliefs based on evidence if priors are numbers. If I flip a coin but don't show you the outcome, you will rationally assign a prior of 0.5 to the proposition "The coin landed heads-up". If I then show you that the coin did indeed land heads-up (or tails-up) you will update your assessment of the probability of "The coin landed heads up" to something close to 1 (or 0).

Now, it is possible to do Bayesian analysis on probability distributions rather than "bare" priors, but that is just a way of assigning priors to a family of propositions rather than single propositions. For example, "This is a fair coin" is not a proposition to which one can assign a prior because it isn't a well-defined proposition. The intuition behind "fair coin" is something like "the ratio of heads to tails will approach 1 as the number of flips goes to infinity". But no coin can be flipped an infinite number of times, so this is a meaningless definition. Furthermore, consider a coin that always landed on the face opposite that of the previous flip. The ratio of heads to tails for such a bizarre coin would indeed approach 1 as the number of flips approached infinity, but that is not what is generally meant by a "fair coin". So the usual way of dealing with coins is assigning priors to the family of propositions, "If I flip this coin N times the probability that I will get M heads is X" for all possible values of N and M. But each of the propositions in that family gets a prior which is a number.
Yes. AGPL was designed to avoid issues like Amazon offering a hosted cloud service based on an open source project, but then never giving back to the project. E.g. what they did with PostgreSQL. Microsoft & Google at least donated, Amazon did not.
> it's one of the harder manageable addictions

Harder manageable, or harder to manage? I'm not sure if there should be a difference in how I interpret those, but there is.
And he was tweeting in Jan 2022 about giving away $3 Trillion!
How do you take federal control of the supply chain of illegal drugs being illegally trafficked into the country?

I do agree that it seems suspiciously like a deliberate attack, reminiscent of the opium wars.
> What’s the point of a legal system if it can’t deter lawbreaking?

To reinforce social heirarchy, protect elites, and subjugate the proles.
CI Pipelines for Dockerized PHP Apps on GitHub Actions and Gitlab Pipelines
Oh god you're right - it gives grammatically fine nonsense Czech too. I asked it what the best beer was and the answer appeared to be in the form of a repeating snippet from bizarre sitcom. See below, I added the translation [in square brackets] in post:

Q: Které pivo je nejlepší? [which beer is the best?]
A: Představte si, že jste vystřelili koule. [imagine that you shot balls]
Koule je nejlepší pivo. [balls is the best beer]
(Smích) [laughter]
Které pivo je nejlepší? [which beer is the best]
A: Představte si, že jste vystřelili koule. [imagine that you shot balls]
Koule je nejlepší pivo. [etc, etc, it repeats]
(Smích)
Které pivo je nejlepší?
A: Představte si, že jste vystřelili koule.
Koule je nejlepší pivo.
(Smích)
Které pivo je nejlepší?
A: Představte si, že jste

Don't get me wrong, I never expected it to tell me the best beer, I'm just sort of amazed that it gave some sort of result at all. If I ask the question a little differently:

Q: Co je nejlepší pivo? [What is the best beer?]
A: Pivo. [Beer]

So perhaps the real issue is that GPT is not too fussy about beer.
A magnet high school in northern Virginia.
Thank you, it’s not an area I’ve gone deep on. It seems to me the casual observer that there is not a single thing called “number”, rather there is a family of somewhat related concepts each of which ties in to various semantics and systems of units for relevant operations and interpretations. So “number” needs at least one adjective in front of it, otherwise we don’t know what we’re discussing.
The separator is often a good clue. Dots and dashes strongly imply d-m-y, slashes imply an English date, which might be m/d/y if it is from North America.

A mixture is even more likely to be d-m-y, today is 27/4-2022 in Danish handwriting.
That model doesn't seem to have anything to do with the Google Scanned Objects dataset.
Exactly.

> "But lack of stress doesn’t automatically make you a good person."

This.

Lack of stress only makes it easier to be nice, and stress makes it harder.

That does not mean that a person without stress is automatically nice, and stressed out people are always rude and unkind.

The fact that this needs to be said out loud is weird.
The linked commit simply adds the codec id. By itself, that won't do much.

FFmpeg relies on libjxl for decoding and encoding. Support added in

https://git.videolan.org/?p=ffmpeg.git;a=commit;h=458cc7e314...

https://git.videolan.org/?p=ffmpeg.git;a=commit;h=5f0b4e9c70...

The Windows static builds have binaries with this support. The linux and MacOS builds don't, as yet.
That's too high if you are considering students from all over the world. Why should it be more for outside US students?

OTOH, this looks promising (though I haven't read his 2012 book which spells out the 'vision'), and would be great if this can provide a framework for a democratized online schooling system with the flexibilities and features it provides.
I also think people have a tendency to underestimate the massive psychological pressure that comes from being a whistleblower in cases like this that involve governments and large, powerful organisations like Deutsche Bank.
huh... and here I am, always long-clicking the back button for the back button history.

Long left-clicking has the advantage of saving one click when you immediately drag your mouse down to the page you want to go back to.
You can get to some of the resolutions (but not all) with a free RH developer account.
I disagree that you have done arithmetic here. You have constructed an expression that describes arithmetic.

Would you be satisfied if you entered 3 + 8 into a calculator it would simply give you back 3 + 8? Would you say this calculator has performed arithmetic? No. You described to it the arithmetic it must perform, and it failed to do so.

In mathematics we almost exclusively work with the descriptions (expressions), using the rules for simplifying and manipulating those descriptions (algebra). But the foundation underlying the algebra is (currently) the reals, which contains uncomputable objects.

Ultimately we want every description of a number to map to an actual number. Why are we allowing descriptions that are not computable, and then call the result a number anyway?
GitHub trims at 72, only warns at 50
What is the order flow used for?
Teams would be on the other end of the spectrum.
click Insert > Table. Voila! Proper column names. No hardcoded row numbers.

If you're going to be critical of Excel, at least be familiar enough with the product to know whether those criticisms are valid.
https://twitter.com/ScottMStedman/status/1518820453833355265
> Tuition for all students does include the opportunity to take two university courses per semester and earn college credit.

Even the most irritatingly bureaucracy obsessed box ticking country, i.e. Germany, would accept a transcript with two college courses per semester as a university preparatory high school.
> Because plenty of unscrupulous ISPs and governments log unencrypted web traffic.

Ok. Not relevant here. I don't care if my ISP knows I'm learning SELinux. And they would know that even with HTTPS.

> Some ISPs use that information for advertising, or inject custom javascript into unencrypted web pages

Sounds like an ISP problem. Buy service from a better one. No need to impose SSL on the website for this.

> HTTPS is free

Absolutely not. It takes time and effort to set up. And then maintain forever. Plus you're introducing an unnecessary dependency on multiple third parties.

> HTTPS is fast

HTTP is faster.
Maybe they expected a different audience. There is no need to be overly verbose if your audience is knowledgable enough to deal with concise descriptions.
At the end of the article there is a fairly good summery. Trump borrowed money from Deutsche Bank at apparent favorable terms. At the same time period, Deutsche Bank was been scrutinized and fined for its dealings in Russia, converting rubles into dollars in ways that bypass money laundering laws.
I never use frameworks either. In fact the last site I published didn't have any Javascript at all (it's just a static site so shouldn't need it yet that doesn't seem to stop most other sites from abusive amounts of JS).
My daughter is very harsh on people she considers lazy.

We were watching interviews with people in Ukraine whose towns have become war zones.

The first person worked at the local steel plant. He had to dodge bullets on the way to work.

His next door neighbor was a lawyer for the local airport. The Russians took over the airport, and she doesn’t have a job. She said there’s no work for anybody.

My daughter shouts, “There is work! The guys next door works at a steel plant! You could work at the steel plant! You just think because you’re a lawyer you’re too good to work at a factory!”

And I’m sitting there going like … wow that’s freaking harsh.
The company I work at wastes millions of dollars on maintaining a complex React frontend for no technical reason whatsoever. It amazes me.
I'm sorry, I thought

>or they didn't build them.

implied somebody else built the pyramids.
A junior dev turned me onto this several years ago, and I've gone by it ever since.

I was skeptical at first. For instance, the given reason for using imperative mode is not strong, in my opinion (the default git message on merge and revert is imperative is not a good reason, because other default git messages do not use the imperative). But, there are other good reasons for using it, not least of which is arbitrary consistency lowers cognitive load.

Now, it's my go-to if there isn't a good reason otherwise.
For me, transforming JSON on the command line was a pain, another DSL to learn. Now, I can just use Babashka/ Clojure + one or two functions from Cheshire https://github.com/dakrone/cheshire where I need to. If I needed a standalone tool, I would perhaps reach for https://github.com/borkdude/jet by the same author, Michiel Borkent, as Babashka or use jq that everybody else would find more familiar.
I went to the "use my calculator yourself" page. The calculator looks nice but the interface is either awfull or I don't get it. I tried for 5 minutes to type in "1/5 + 1/5 + 1/5" and failed...
gnoosic.com/faves is cool but the Allmusic.com's related artists section is the ultimate place to discover new bands.
> Huh? Two whole years and the exact day is supposed to be meaningful? Why? That’s basically the exact definition of a coincidence.

A murderer might choose a meaningful date to send a message. Conversely, a suicidal person might take their life on a date that’s meaningful to them. Or, it could be coincidence. Hard to tell for sure.
No, I mean libertarian. Libertarians can be right or left leaning. I do not mean code for conservative.
Stress is an inevitable part of life. We all experience it, and often we can't avoid it. Fortunately, there are plenty of ways to deal with the stress that we do encounter in life—before it starts to affect our health.

A good place to start is with exercise. It's a common misconception that exercise makes you stressed out—when in fact, moderate exercise helps to relieve stress! This is because exercise helps your body release endorphins, which help you feel more relaxed. Not only that, but just taking the time for yourself to get some exercise can give you the space you need to process your emotions and thoughts—which can make you feel less overwhelmed by them.

Another great strategy is to keep a journal. Writing down your thoughts allows you to see them on paper and make sense of them, rather than letting them bounce around in your head all day. This not only helps you feel more calm and collected as you go about your day but will also help you see patterns or triggers of stress in your life so that you can address or avoid them better in the future.

Finally, meditation and deep breathing exercises are helpful ways to decrease stress levels.
I'm sure you can see how condescending your comment is, you basically went into discrediting me instantly. For the sake of argument - I've been windows user since 1998 and Linux user since 2005.

I used it for a long time. I had problems with nvidia drivers, before that I had problems with modem drivers and the list goes on, from finding where xorg.conf is to which thing I need to modify so that I can have multiple monitors running. I tried many distros, I used i3wm for extended period of time until the keyboard navigation only started to bore me.

I believe my "membership card" has been shown.

Despite the problems, PopOS and Ubuntu have been very stable for me for the past 2.5 years. Problem is also often in users, who are quick to blame software when it doesn't work the way they imagined it must work. I haven't used software that instantly works great. However, for development (and running containers in particular), Linux has been stable and a total workhorse. I can even put up with uglier UI. It's also the only OS that I can shut down forcibly via button and it won't fall apart.

Could it be that the, often loud minority of angry users, simply reports problems because:

1. they imply knowledge and thus earn internet fame points?
2. they purposely twist the truth because they can?
3. they aren't particularly advanced users to begin with?
the source blog looks even sketchier than Risa Hoshino
I don't really have a problem with bullet points, conveying relevant information is after all the most important thing the message should do, but if that example is an actual one then it would raise some flags during review. Mainly because it's not super readable (mix of styles, super terse requires extra interpreting) but also because it mostly explains what has changed (most often unneeded information, as that should be clear from the diff) and not really why it is done that way (ok, the code might have comments, but still I expect the message to explain that). In my experience, using bullet points like this is correlated with this style of messages which just list 'I did x, y, and z' whereas a more narrative style, which can still go in bullet points, is correlated with easily digestable messages explaining properly the reasons for changes. Anecdotal of course.
Ask HN: Is the interview process status quo working well for big tech companies?
> So the future of F/OSS is all projects taking no outside contributions or requiring copyright assignment? How else will the core contributor(s) be able to sell a license to AGPL code they don't fully own?

You can do it without copyright assignment by, for example, contributors granting the maintainer a license to relicense their contributions.
Why? Cross contamination because fentanyl is effective at extremely low doses? or is it a really inexpensive adulterant?
Ask HN: Is blockchain tech already everything we need it to be?
A recent post asked a question similar to 'Am I going insane or is there no value in blockchain tech'. I have been thinking more about the idea that perhaps blockchain tech has reached maturity, and that we are instead waiting on the remainder of 'Web3' to mature.

I may be oversimplifying, but if I look at Web3 as the existing internet, but without central intermediaries; then most applications can be built this way today. If we want a Clubhouse, or Zoom clone, these could be built atop existing WebRTC infrastructure. A Whatsapp clone can be built atop libp2p messaging (again I oversimplify). From the internet infrastructure view, the part that was missing has always been mechanisms of identity, ownership, and payment (trust mechanics in general). Today, blockchains handle these in a variety of formats, such that a project can just pick the chain that fits best with the application architecture. In 'Web 2.0', if I want auth, payments, file storage, etc - I would simply stitch together one or more infrastructure providers such as AWS. This feels very natural today.

Is it possible that blockchain has already reached maturity for the value it brings to the decentralized web? Are there any popular applications today that could not be built peer-2-peer in this context?

The big gap I still see in this view is who pays for services that are free in Web 2.0 (such as Facebook). But even in this case, blockchains provide a variety of incentive mechanics where increasing usage could appreciate a digital token, which in turn gives incentive for people to run the underlying infrastructures.

I also feel crazy in that there seems to be consensus that blockchain is suppose to do everything, or should be doing more than it does. In all of this, I am viewing the problem space from the domain of infrastructure, agnostic of application. Is blockchain tech already everything we need it to be?
Yeah setting up an instance is complicated. I've seen the do solution but even then.
I see, it must have been from that. Thanks very much for sharing that.

It’s very creepy and scary to see the breach notice side-by-side with these scumbags’ fresh phishing attempt. The people behind these sort of attacks need to be hunted down and brought to justice.
Also, in some situations.

I know a social worker who said, there were problematic kids that started "going" to school in the pandemic because it was now from home.