skysight-inc/HackerNews huggingface dataset:
Self censorship in this case means censure by professional colleagues. As opposed to censure by the executive class. Executives are far more sensitive to Twitter mobs than professional colleagues.

The medical and legal profession also censures fellow practitioners who, regardless of their basis in scientific or factual thinking, bring infamy to the profession through recklessness or callousness to the wellbeing of others.
This is a great idea, and the low-level optimization tips are all excellent ones I have used in the past. I want to talk a little bit more about using bidirectional A* though, because I think it's very interesting. It's a great strategy in general, but this may be a case where it doesn't do as well.

Working backwards for this particular puzzle is very difficult because on each turn an actor may or may not move. This effectively increases the branching factor from 4 (one for each direction) to 4 * 2^n (for each of four directions, each actor may or may not have moved). In practice it would be lower than that upper bound, but it could still be significantly higher than the forward branching factor. A nice visualization for this to think of your start and end states as points in space, and your A* searches as cones emitting from one point and growing toward the other. The angle of the cone would be roughly approximate of your branching factor, and when your cones meet each other or a point the search is done. If your branching factor is the same forwards and backwards, you can travel through much less space by searching forwards and backwards simultaneously. However, if your backwards branching factor is higher then the cone from the end state will be much broader. This could travel through much more space than just doing a forward search.

This kind of behavior is very evocative one-way functions, and makes me think it might be related to NP-hardness in some way. I'm really not qualified to prove these kinds of statements though. Maybe someone else can offer a more rigorous mathematical perspective?
> In the United States, crypto mining could cost residential and business ratepayers $1 billion a year, the researchers estimate.

Is $1 billion a year across the whole country a significant number?
Nuclear fusion: Five sites shortlisted for UK energy plant
His claimed inspiration, Hillel Wayne’s post “Why Python is my Favorite Language”, is a piece of fluff that basically says "I only like the things I already know". I was so uninspired, I couldn't read further.
I've been trying to figure out how to build JS projects with the evolving tools (grunt => gulp => webpack => parcel => back to webpack) for years. I stumbled on esbuild and thought why not. Within about 15 minutes, I had solved pretty much all our build issues. Admittedly, our use case was simple-- we needed to transpile React-flavored TS to a npm package. In about 6 lines of code, I had a working bundle. There were no .esbuildrc or esbuild.config.js files, no babel dependencies, and no order of build operations to consider. The tool just worked and it was screaming fast. My first impression was that it _didn't_ work because the process closed in my terminal so quickly.

After my first experiment with it, I rewrote our hundreds of lines Cloud Functions deploy script in about 15 lines (most of which is configuration options on the `build()` method).

I'm curious to explore the tool more. Kudos and thanks to the author for an unbelievably useful contribution.
When chain letters (e.g. the Send a Time pyramid scheme) caused impact to the postal system beyond what the system was designed to handle, to the detriment of the intended users of the system, chain letters were banned. Now, Bitcoin serves as a similar, though obfuscated, pyramid scheme that is detrimental to intended usage of the power system for productiviry or enjoyment. I see no reason not to apply the same solution.
That’s only if being right matters.
Amazing synthesis of facts... so much I didn't know.

I have a copy of The history of the future and was planning to read it. If all it's going to be is PR for Luckey, I will donate it to a used books shop.

Would you have an opinion on VR being the next computing platform? Despite the troubled past, do you suppose Oculus Quest 2 could become THE standard?
back in middle school we would just use proxys to play online games on the library that were regularly blocked
Not all US credit card companies are like this. I specifically remember a few years ago that my Mom got a call from AMEX about some fraud on her card, to which she responded “I never get calls from you, how do I know this is real?”. They said no problem, just hang up and call the number on the back of your card.

I believe some banks even skip the call entirely, and just prompt you to call the number on the card.
No. It has lightweight syntax ("computation expressions") you can use to sugar monads, but no effects system.
> The serializers, http servers, etc. are probably not worth the squeeze to force into a functional domain.

These are two examples I would probably come up with if you asked me “where does FP thoroughly beat imperative?”

(De)Serializers - parser combinator libraries like attoparsec absolutely BTFO imperative parser libraries in most dimensions. Bidirectional codec libraries like haskell’s Binary, Serial, Aeson[1] are top-tier. Functional formatters like Blaze are top-tier as well.

Haskell’s HTTP ecosystem is massively better than anything else I’ve used, and I went on a binge of trying a ton of HTTP servers like 6 years ago (in python, ruby, C++, Go, and finally Haskell).

[1] https://github.com/lovasoa/bad_json_parsers
I don't think it is that clear, actually. If I sell a car that is as good as the Ford one you searched for, but 80% of the cost, wouldn't you want that ad to appear when you searched for ford?
This is the iceberg of "face" culture. Appear happy content and whatever society demands in public and let out the true opinion, feelings and yes, often hatred in anonymity or inner family.

Good thing we wouldn't introduce such a thing in the west.
Apple Captures 75% of Global Handset Market Operating Profit in Q2 2021
I already have that with Linux.
FYI, the title of the article is actually: ‘Self-serving garbage.’ Wildfire experts escalate fight over saving California forests, but I thought the 'garbage' quote would be taken out of context and would cause readers to pass this up. It's really a great long form piece in a local paper -- the sacbee, and I really enjoyed reading it.
You do realize that energy being used to mine crypto is generated in good part by those fossil fuels you care about, right?

https://www.govtech.com/news/bitcoin-mining-in-upstate-new-y...
>What makes you think that even if you're sure your mind is stable, that it's not left in it's local minima of abilities?

I don't think anybody needs to justify to anyone else why they don't want to tamper with their mind. This is by definition a subjective topic. If this person's intuition is that tampering with their mind will destabilize it, that's legitimate. Nobody is in a place to question someone's intuitions about their own mind. Other minds are alien experiences -- unknowable. Not everyone can, wants to, or needs to push their consciousness to the theoretical idea maximum of its capacity as defined by another fully isolated subject. It's deeply irresponsible for anyone to suggest, or aggressively advocate, otherwise.
Should EXIT_DEAD be visible to userspace?
Everything about this exchange seems fine to me. You asked a clarifying question about an “advanced” usage of the question mark, and you were answered with a neutral description of what’s going on.
Not an ideal defense, as explained at https://portswigger.net/web-security/csrf/samesite-cookies

But there are many things the programmer can do to defend against csrf attacks. But you have to know about the problem and know how to defend against it. When I made my first Django site 20 years ago I hadn’t even heard of csrf, yet was protected against it by the framework. It has many such benefits included, so you can make a secure site while knowing little about web security. And an efficient one: it caches DB data for you, for example.

On the downside, as others have mentioned, it’s built using Python class inheritance magic, so can be a headache to modify its behavior.
> Coherency, security, stability, ZFS...

My only sort of complaint in regards to FreeBSD is actually ZFS. Not that it's not fantastic, or that it shouldn't be there. ZFS does however clearly comes from Solaris, and there have been no effort to make the ZFS command line tools feel more BSD like.

Changing the tooling around ZFS probably isn't a great idea, but coherency has clearly taken a backseat to features in this case.
I don't think you understood the article at all. For example, they talk about how standard grading practices often misrepresent mastery, by including grades from the beginning of a class, before the learning has happened. This benefits people who start out with advantages, and clearly disadvantages people who end up with the same level of mastery, but start at a place where they need to learn more. This relates back to software design: Averaging the homework scores from the entire class is a "default" in how most grading software works. It doesn't have to be.
Python's Property(): Add Managed Attributes to Your Classes
>Some sideloading initiatives would also mandate removing protections
against third-party access to proprietary hardware elements and
non-public operating system functions

Here's the real problem right there, from their point of view. It's oh so haaaaarrrrd to control everything people do when you can't lock things down to the point of forced dependence.
The 737 can take 150 people across the United States, let’s attribute that to one Dragon passenger; that is 150 flights, which is a lot, but some ‘frequent fliers’ do two or more flights a week.

Such a person could easily burn an orbital flight full of fuel in less than two years.
I got FreeBSD running on a Raspberry PI. It isn't too hard to install and get up and running. I primarily use FreeBSD on the Pi for ARM assembly programming. All BSDs are great for devs.
It is not funny, it is just boring at this point. Every single response from the mega corps to anything (leaks, whistleblowers, fines, hacks...whatever) is predictable, soulless, boring, useless. Or some combination of those.

Not one of the responses is constructive, useful or accepting responsibility. They don't even say something might be wrong and that they will work on it, they don't even pretend to care, even that is too much these days
Welcome to climate change in the 21st century, where we'll be outraged/distracted by everything but how ~100 companies are responsible for 70% of global emissions[1]. Today we’ll be talking about evil terrorism enabling cryptocurrencies. Tomorrow we’ll be talking about individual choice and SUVs.

[1]:https://www.theguardian.com/sustainable-business/2017/jul/10...
Person discovers Amazon's business model. Writes about it.
Quebec delays vaccine mandate for healthcare workers by one month
Putting a question mark at the end like this imitates the change of intonation when speaking with uncertainty.

Eg:

I think I left the phone in my car.

Vs

I think I left the phone in my car?

While technically incorrect in written English, this is very common in casual speaking and has found its way into casual writing.
Hillary Clinton?

My point being is that both sides are full of liars. They're politicians, they're famous for it
Bonnes pratiques pour produire un code de qualité
That would assume that OpenBSD is secure the first place.
I really wish there was more competition in this space. Here's hoping someone like Canonical tries again now that the open-hardware world is starting to expand.
Digital nomads in Italy: visas and tax incentives for remote workers
Seems like a logical next step in shifting power at universities to the administrative staff. In 50 years universities are going to look like technical institutes - all the teaching and research staff will be employees that can be fired on a whim.
Not the same things AT ALL.

Stories 1 and 3 are about one fantasist who managed to trick a bunch of regular news outlets.

Story 2 is about a single flawed report from the BBC.

You can sit back and complain that not enough checking is being done by reporters and editors at mainstream media sites, and you would be right; the pressure is always on reporters and editors to get the story out and move on to the next one; the news cycle has got shorter and at the same time budgets have got tighter.

But an occasional failing to meet high standards like that is a million miles away from deliberately setting up a ring of supposedly independent web sites with the intent of pushing lies 24x7 and carefully calculating how to get as many people as possible to believe in those lies.
Verification for Dummies: SMT and Induction
> Tesla doesn’t advertise.

Elon does though
I think this depends on the relative weights you assign to learning a new language and program correctness.
I don't know why I still waste time looking at HackerNews only to find TechDudeBros siding with anitvaxxers and denialists. Grow up.
> You just want me to be mad at bitcoin so I don't notice that the system itself is sadistic.

More charitably: it’s easier and intellectually lazier to point at a bogeyman than to understand and explain structural issues

Same happens in housing wrt furor over gentrification and luxury housing. Blame the rich foreign investors and tech bros instead of the structure of the marketplace and enforced scarcity of the zoning system!
> In Upstate New York, where a quarter of US crypto mining takes place, the researchers find that electricity rates have gone up in response to rising demand. Their study demonstrates that because of bitcoin mining’s power usage, households paid an additional $165 million a year in energy costs, while businesses paid an extra $79 million. In China, where more than two-thirds of the world’s crypto mining took place over the past decade, electricity rates are set by the government and inflexible to demand. Crypto miners there were crowding other industries out of the market and forcing electricity to be rationed, the research suggests.

So correlation implies causation?

I'm not sure if the study is just flawed or the article is doing an especially bad job of explaining it.

I won't be reading the paper because of this:

> Benetton and Compiani received financial support from Ripple’s University Blockchain Research Initiative. Ripple Labs supports the cryptocurrency XRP.

XRP is a scam run by Ripple labs. The company routinely mis-states the utility of XRP.
Very interesting, and certainly much more nuanced than the factcheck. I had heard of the Simpson's paradox in another context (university admissions), but really didn't expect it to pop up here.
Post-secondary academic institutions are at a cross-roads now -- they must decide whether they pursue truth or whether they pursue justice. It cannot be both.

Harvard made their choice.
It was a real call, but staged.
Xi is making a lot of good decisions lately. Put a mouthy billionaire in his place--great. Make school equity more advantageous to the poor kids--good. Put some breaks on gambling--fine.

I do wish he would keep this citizens wealth in China. I'm tired of seeing his wealthy people buying up our realestate, along with every other nation. We only have so much land. It should be set aside for American citizens.

(Lately people. I don't need a lecture of the bad things he has done. I know them, and don't like them.)
Original source: https://www.nytimes.com/2021/10/13/technology/facebook-workp...
Well then why not just give one big test at the end of the year, something tells me that would end up being even less equitable than the current system
I suggest that one of the (perhaps under-estimated) reasons that Linux has been so successful is Linus' thoroughness and clarity of communication on the kernel mailing list.
Wasnt there an Al-Jazeera documentary about 787 manufacturing problems, some 5 years ago?

Googled it- 7 years ago:
https://www.aljazeera.com/program/investigations/2014/7/20/t...

There were line workers complaining of many manufacturing defects and bad practices that were being swept under the rug.
They are definitely fantastic principles, but note that a lot of people claim they are doing the first two while they are doing the opposite (on both sides of politics). Not that this is unique to these principles: There is always a ton of dishonest noise complicating every positive ideology.
The delicious irony of this coming from an institution notorious for grade inflation.
The biggest clubs in the world tried this several months ago - the $3.2 billion European Super League didn’t even last a week before it fell apart.

FIFA survives because it effectively sanctions competitions at every level. Take Manchester United: they play in the English Premier League. That competition is sanctioned by the English FA - a member of UEFA, the European body of FIFA. If United make it into European competition, they play in a competition organized by UEFA. Their players represent their national teams all over the world, and compete in matches run by UEFA, CONMEBOL, and other FIFA governing bodies.

When Manchester United announced they were joining the Super League in lieu of the UEFA sanctioned European competitions, the FA announced that they were at risk of expulsion from the English league structure because the FA bylaws say you can only play matches sanctioned by FIFA/UEFA - essentially pulling the league and cup competitions away from them and turning them into a glorified exhibition team. And the fans went ballistic at this, for good reason.

Was the ESL a trial balloon? Almost certainly, and we will see something similar, possibly to just force UEFAs hand in negotiating things like revenue sharing. But supplanting FIFA would be much harder than “throwing money at the problem”.
From the article:

The company did not name the supplier, nor did it identify the part, although the Wall Street Journal earlier reported that the defect involved certain titanium parts that are weaker than they should be.

-

It would seem that we would need to know what kind of part this is if we want to continue flying and trusting Boeing. Is it a part in the kitchen of the plane or a more critical holding the jet engines. It would seem this might be a critical part as it is titanium.
I read the entire transcript and understood that point. I prefer the default grading method to the proposed solution, though I admit I much prefer this discussion to those of the form of “getting rid of grades altogether.”

I don’t think we actually see the outcome you are referring to, where students who struggle at first end up with the same level of mastery. I don’t think we should use the grading process itself to compensate for inequities if they do exist.
Applications: desktop vs. the browser

In the early 2000s, there was a widespread debate about the browser replacing desktop applications - the term Rich Internet Applications (RIAs) was coined. Could browser applications take on desktop software in features and usability? Well, I was sceptical.

Fast forward today and how wrong I was.

Today, 'cloud' apps running in the browser dominate a whole class of business tasks. I used to believe some types of apps like design and graphics apps would never work in the browser unless extremly limited. But even design and graphics apps have found success in the browser e.g. Figma.

The trend of more and more apps moving to the browser (via the cloud) shows no sign of slowing down, only accerelating.

(Whether browser-based apps are a good thing or not is a different question though.)
Mine uses pandoc and core utils to convert markdown to html and shoves it into an existing page template to create a blog post.

I could add menu / link tracking pretty easily but I don't need it. My script is less than 15 lines long and can convert any number of markdown files into their own pages on my site, ready to serve.
even in a distro, you'll get various syntax variations for instance
I really love Clojure, but I have a lot of experience on the JVM so I didn't have to climb multiple learning curves simultaneously.

While the clojure ecosystem has a lot of wonderful, bright and helpful people in it, and clojure itself is technically impressive (esp. its collections implementation), the new user experience isn't great.

I'm not an experienced emacs user, so that makes it doubly difficult, as the ironed-out workflows seem to assume that you are (which is fair, as emacs and lisp are like peanut butter and jelly). However, these days it's fair to assume that a new clojure user is probably learning 'clojure', 'lispy ways', 'java/jvm', and 'emacs' simultaneously.

I think that calva/vscode has a lot of potential to drop emacs off that list, which is welcome, as its learning curve alone is legendary. If you look at that list, it should not be surprising that the community is small. There's so much to learn that I it seems too much to even start.
I agree that 100% functional is not necessarily the way to go. That said, I am a big fan of F#'s "functional first" ethos, which drives you toward that sweet spot of a functional core inside of an imperative shell.

With C#, when I'm trying to use functional design, I often feel like I'm swimming against the current. The language has functional features, and it will certainly let you use them, but, LINQ aside, the path of least resistance is mostly imperative and object-oriented.

In F#, it's the other way around. It has a full suite of object-oriented features - still, after all these years, quite a bit more complete than C#'s suite of functional features - but the path of least resistance is mostly functional.

I don't want to say that's a universal best way to have things. But it suits my taste, because it makes the easiest way to do things correspond very closely with the way I like to see things done: distinct and well-distinguished layers of functional and object-oriented code, sorted according to where each is of the most utility. C#, by contrast, tends to guide you toward a foamy lather of functional and object-oriented code with no identifiable organizing principle.
It gets a bit of a bum rep these days, but I've always liked Eagle and it's cross-platform between Linux/Mac/Windows. Autodesk made a lot of changes which people didn't like, but to be honest the software was stagnating under CADSoft anyway. There was a time when the UI would change weekly, but it's a bit more stable now and developers in the forum are pretty responsive.