skysight-inc/HackerNews huggingface dataset:
People should actually read the 135 page dissertation and then leave a comment here with an opinion or an analysis. Anything short of that is meaningless critique.
Nesting is the concept of having a thing under another thing. 1+2 will be referred to as a mathematical equation and 1+((((a-b)/3+2/87)-6)23) will be referred to as a nested equation. Of cause this is rather lose semantics since both are expressions or statements and not equations, but that’s how the language is typically used.

This is what that looks like in wolfram alpha: https://www.wolframalpha.com/input?i=1%2B%28%28%28%28a-b%29%...
It looks the same in Mathematica while your typing it in, which makes I extremely easy to work with, because even very complex equations look exactly like usual in Mathematica instead of ending up looking like lisp implementation of the Fibonacci sequence.
Totally agree. There are great mods then there are people with an agenda. The reputation mods get on reddit is always one of selfish, controlling power-tripping assholes, but for the large majority that's way off. But there's also cases where it's completely justified.
The USA delayed it until the first Sunday in november in 2009.

I have no idea what the rationale for this was either. I guess people like it? (I mean, I like it too, I think).

The wikipedia says:

> The United States Chamber of Commerce has praised the extension of daylight saving under the 2005 law, which increased the amount of shopping and commerce from after work in evenings. In the golf industry, the group has noted exceptional increase in revenue of "$200 million in additional sales of golf clubs and greens fees".[25] The extension of daylight saving has also had a notable impact on Halloween and candy sales.[26] Wyoming senator Michael Enzi and Michigan representative Fred Upton advocated the extension from October into November especially to allow children to go trick-or-treating in more daylight.[27] In some areas, the extension of daylight saving time in March and November has pushed back sunrise to as late as 8:30 a.m.[26]

—https://en.wikipedia.org/wiki/Daylight_saving_time_in_the_Un...

So, uh... golf? That can't be it. I think people just like the extra daylight in the evening? Until it gets too far into winter and they don't like the dark in the morning, depending on where they live?
Subs cannot "shadowban" users themselves. Either one banned and gets a notice, or one isn't banned at all. Comment removal initiated by moderators themselves is not "shadowbanning" - that's something Reddit's automated mechanisms (and maybe admins too) do. I think you meant "content removal without explanation" instead.

I will say, however, that for about half a year now or even more, reddit's own anti-spam detection has been filtering too many posts in a sub (60k big) that I co-moderate, to the point where we've had to manually reinstate up to a dozen posts on specific days.
> It's 100% physically plausible, using technology we have today, to make humanity star-faring.

That kind of claim needs an actual source, because it's not.

The distances are so many orders of magnitude too high for any of today's technologies, making this a pure daydream.

The best we could plausibly do is travel within Sol, and that's not starfaring.

It would have to be a multi generational journey in which any refueling/restocking is impossible and any slip up would cause a full wipeout.

Starfaring is far beyond us... and that's unlikely to ever change for humans with a biological body.
Interesting, looks like a web based Mudbox clone

https://en.wikipedia.org/wiki/Autodesk_Mudbox
That's why the first check is a hard assertion (returning on error), and the others are soft (continuing on error).

If the list is empty, then the log will contain one error about the length being zero. If the list has one item but it has the wrong properties, the log will contain two errors.
I think part of the motivation for one assertion per test comes from the fact that you stop getting information from a test as soon as one assertion fails.

I think it was a guidance, like the SRP where you should be testing one thing in each test case. I also think a growing number of assertions might be a sign your unit under test is wearing too many responsibilities.

Maybe it’s better to say “few assertions, all related to testing one thing”
Eighty Years of the Finite Element Method
Ok, so what if it was a leveraged buyout? All buyouts are. How did Twitter get "saddled" with debt?
1.) Peer socialization isn't the same as peer pressure. If you come from a worker family background you are more likely to vote for labour parties even if your parents never 'pressure' you to vote for them.

2.) That democratic ideas are more popular for educated people or that rural areas lead to more republican attitudes shouldn't lead to the idea that we need policy to balance either. Rather a plurality of parties and votes would be something to strive for.
Of course, just by being alive everyone contributes to greenhouse gas emissions. But there’s a huge difference between somebody who flies 5 times a year and eats 10kg of beef a month, vs. someone who doesn’t do this (ceteris paribus). There’s a huge variance between individual contributions that matter in the sum.

And sure, a big part of emissions come from industry. But in the end, industries create products to be ultimately consumed by people. So, by changing our behavior we can also change industry. This doesn’t mean that we shouldn’t also hold producers accountable and pressure our governments to set the right incentives. But just saying we as consumers don’t have any power to change anything is wrong.
Closet black hole to earth so far
Is this shared somewhere?
Stewart Brand says he’s still an optimist
>Problem is this: science is not democratic.

The problem with this; who gets to decide what's right? The institution of science has had this issue before, and decided no one group is capable of always doing that. Hence it is decided using consensus and the scientific method. It's easy to say 'only allow professionals' but there ARE professionals with controversial opinions that will still get mobbed.
> You might know which line failed the test, but not always.

If that's the case, the test framework itself is severely flawed and needs fixing even more than the tests do.

There's no excuse to have an assert function that doesn't print out the location of the failure.
Indeed! But getting ~80% back from batteries or pumped hydro looks even better[1]. Or, the ~90% that EnergyVault claims[2].

I'm very much pro-renewables and pro-storage, but that doesn't mean that all forms of storage are equal. This one has certain advantages (cheap, simple, tough), but the roundtrip efficiency kinda sucks compared to some other options.

And I'm guessing (without checking) that the 30% is for short-term storage (eg, overnight). In which it will drop over time, as the battery inevitably leaks heat into the environment. I'd guess that after 6 months (summer to winter, as you mentioned) it will lose a non-trivial amount of energy so the efficiency will be even lower.

[1] - Actual rates from deployed systems from the EIA: https://www.eia.gov/todayinenergy/detail.php?id=46756

[2] - https://www.energyvault.com/newsroom/energy-vault-announces-...
One of my ears has significant hearing loss, and in the same time it's still very good at bone conduction of low frequencies tones. I can literally feel that neighbor from two floors above is playing basses, even though my spause won't notice this. There are times this forces me to go out since I cannot 'opt out' from sensing this. So one thing I'd like to say to audiophiles, please be aware that something beautiful to you might be causing lots of distress to people around you..
Does anybody see a way something like this can actually be avoided? Fighting climate change is expensive. And while the costs of a climate catastrophe are even higher, they only need to be paid long after today's politicians have left office. Policy makers who want to get re-elected tomorrow have very little incentive to do what's right. What's more, it's a global problem where individual countries can benefit by defecting and letting others do the hard work. They can blame each other to justify inaction. It's a wonder that any measures get taken at all.

Direct air capture is not looking promising. I bet there will be so little action that shit will hit the fan and we will need some kind of geoengineering. An eternally dark sky like in the Matrix? Hopefully not. But perhaps targeted control of the weather to prevent the worst droughts and storms. And a massive, forceful change to the planet to offset the additional warming.

Please someone convince me I'm wrong?
good analogy!

obviously the solution is what organized crime came up with. tie performance to heartbeat of loved ones.

for accountability to work it needs motivationability

important to know whether the job is impossible or not, because if it is you will only ever get desperate unlucky less-than-useful idiots.

and also very big issue is the strength of the causal relationship between quarterly earnings and "job performance" ... hiring miracle workers, like GE did, who will massage the numbers, whatever it takes, will look nice initially, but then the long winter sets in and it turns out it was all theater. (that's when the mob connections come in handy, for exercising that accountability ... and of course these bonus clawbacks are happening, but probably due to the aforementioned causal inference problem they don't do much)
I've posted this before, but sometimes a quote can have multiple applications. This was apocryphal company wide email:

"Some of you are concerned about the recent change in leadership and of the changes they have enacted. Many feel that Elon is just an MBA wielding moron who has no business running a social media company. I have personally known Elon since we were kids and I just want to set the record straight: Elon does not have an MBA."
why would it be meaningless?

seems like a great opportunity for Microsoft to alter copilot so it's opt-in to get your code scanned, and to mandatorily add licensing and attribution to outputs

I know you said you're OK with it as is, but many aren't, so if I'm a coder, this suit represents a big net positive for me, being a way to reduce the probability of someone laundering my code away without proper attribution or license attention
Ok. So?

The issue here is that I don't read spanish. I used a translator - google, actually. And I know painfully well that sometimes translations are clunky even when they are generally good. I don't have a lot of experience between Spanish and English, but I do with Norwegian-English, and those are both germanic languages and often translate decently.

But not always. Some things are just messed up. Some things don't translate word-for-word simply because folks express things differently.

So yeah, it might be weird in English. Might not be in Spanish, though.
> Do you have a chest fridge as the main or only fridge in your house? Tell us about your experience?

I grew up with a chest freezer in my house as a child. I never had any problems with it as a kid, I didn't need to get kilos of meat out of it, because I was a child and my parents cooked food for me. It doubled up as a kitchen countertop, but you'd have to keep it clear or you couldn't use it, which is a usability shit.

Did you? Tell me about your experience.

I'll say the real issues with chest freezers is that unless you design your kitchen around them they end up taking more space.

The best use IMHO for a chest freezer is for long-term storage of food that you occasionally need to use. I know people who use them for storing extra food, they buy huge amounts in bulk and even running the freezer 24/7 they save a lot of food money doing this. Most people (myself included) probably don't have the luxury of space.

> I feel my comment was just a response to the article text. Particularly the paragraph stating: "So - WHY mediocre food-spoiling fridges are being made? WHO makes decisions to manufacture them? Who awards them "stars" and other misleading awards? Why people continue to buy and use energy wasting and food-spoiling devices? Does anyone care about understanding anything?"

Yeah, the article in question is short sighted and I disagree with many of the points the author makes. Usually I'll quote the text I'm responding to, instead of the article in general. This makes it less likely for some random internet nob head to come along and misinterpret what you're saying ;).

> I would like all fridges to be as efficient as chest fridges medium houses, elderly people, families, disabled people, short people and people who can never remember what they have in their fridge.

No, I disagree

> I think they are impractical for small houses

Yes, I agree

> I think they are a niche product that is only suitable for a tiny proportion of people.

Yes, I agree

*But they're still useful!*

For individual use, sure they're a tiny proportion, but what about industrial use, catering?

They're useful for specific situations and poo-pooing them _ENTIRELY_ because of some issues is a short sighted approach that I see EVERYWHERE in real life and online, and it boggles my mind.

You can say your post doesn't say they're useless for everyone, but I would say it heavily implies it.

> PS. On a personal note my quick comment seems to have stressed you out so I'll endeavour to write clear non-gear grinding comments

You shouldn't change how you write because I took umbrage with it, that's an issue with the internet today, don't change who you are just because some arsehole online didn't like what you wrote!

> and you should probably get off the internet for a bit

You should probably stop telling people what to do.
Neuroscientists and Game Designers Play Well Together
Look up Phoenix program for wild things. Not to take any Iraqi victims lightly, but Vietnam had much more atrocities.
We experienced that too, at a much higher rate. Mods would get blamed for deletions AutoMod would do. Turned into quite a shitshow.
Donald Trump, I heard, is working on one
I strongly believe that increasing both the depth and scope of your situational awareness is the best course at present. All indications are we're nearing a tipping point, "The Churn" as Amos in the Sci-Fi series "The Expanse" puts it. I hope it can be avoided.

You should acquaint yourself with Nate Hagens, and his concept of "energy blindness". It's important to know just how much of our civilization is dependent on a finite and increasingly hard to extract resource.

As to "offsets" - John Oliver pointed out on his show recently, most of them are scams.
My main takeaway from this is that the seemingly contradictory notions like "mutual help" and "competition" are just too vaguely defined, and exist on a wrong level of abstractions, to have any formal discussion about them.
You sound like a Virgo.
I thought the exact same thing. But then I noticed some code is also open-source. https://github.com/twitter/birdwatch/tree/main/static/source...
Doesn't say if this was reported to the Linux kernel bugzilla - quick search doesn't turn up anything.
My first thought it was a joke ... ;)

Learn Rust with entirely too many linked lists (2019)
- https://news.ycombinator.com/item?id=22390662
- https://rust-unofficial.github.io/too-many-lists/index.html

In this series I will teach you basic and advanced Rust programming entirely by having you implement 6 linked lists. In doing so, you should learn:

- The following pointer types: &, &mut, Box, Rc, Arc, const, mut, NonNull(?)

- Ownership, borrowing, inherited mutability, interior mutability, Copy

- All The Keywords: struct, enum, fn, pub, impl, use, ...

- Pattern matching, generics, destructors

- Testing, installing new toolchains, using miri

- Unsafe Rust: raw pointers, aliasing, stacked borrows, UnsafeCell, variance
> That's why the first check is a hard assertion (returning on error), and the others are soft (continuing on error).

See that's so completely unclear I utterly missed that there were two different calls there. Doesn't exactly help that the functions are the exact same length, and significantly overlap in naming.
Doing keyword analysis (and perhaps sentiment analysis) could be a really powerful/valuable way to see what subreddits have what ideological biases, most especially political-heavy subreddits; in particular ON KEYWORDS/topics in DELETED COMMENTS.

For example, /r/CanadaPolitics - the moderator /u/_Minor_Annoyance (a username that fits into the category of "demon troll" nicknames that Jordan Peterson has defined) is heavily biased to the Liberal party of Canada/the establishment narrative, and anyone who questions or posts anything (truthful) that counters their narrative or makes the "Liberals" or Trudeau look bad gets deleted most commonly (even if highly detailed and very substantive) under the subreddit's "Rule 3 - Not substantive": "Keep submissions and comments substantive."

It's sickening [if you understand the consequences of it].
I mean I get it as a slight offhand joke but the most succesful companies are "woke" asf. Apple, Nike, most car manufacturers...
I suspect you’re being facetious, but there are several 39mm screwmount lenses from the former Soviet Union that can be had for less than $100 (often much less) and offer excellent rendition for the price. It’s how I can afford to shoot a rangefinder on a shoestring. :-)
This is the evidence the regime cannot hide anymore of the recession caused by their own actions.
I agree it would be good if people flew less and ate less meat, but have you checked whether those actions would be sufficient to meaningfully slow climate change, making it unnecessary to consider geoengineering?

I don't like the idea of pumping stuff in the atmosphere either. I would rather make a space sunshade, although I can't say I understand the economics well enough to compare it with sulfur aerosol. Either way, we're not on track to control the climate right now, even if consumers do some nice things. We need more time.
Just use you best judgement and you will be fine.

Patterns are context specific advice about a solution and its trade-offs, not hard rules for every situation.

Notice how pattern books will often state the relevant Context, the Problem itself, the Forces influencing it, and a Solution.

(This formulaic approach is also why pattern books tend to be a dry read).
xUnit is terrible. It has a horrible culture, the author seems to have a god complex. It is overly complex and opinionated in the worst way possible.

Many times I searched for 'how do I do something with xUnit' and found a github issue with people struggling with the same thing, and the author flat out refusing to incorporate the feature as it was against his principles.

Other times I found that I needed to do was override some core xUnit class so it would do the thing I wanted it to do - sounds complex, all right lets see the docs. Oh there are none, 'just read the source' according to the author.

Another thing that bit us in the ass is they refused to support .NET Standard, a common subset of .NET Framework and Core, making migration hell.
I don't think you're using the word "metric" the same way as those of us who are criticising the use of LOC as one.
Testing is hard when the code it tests is OOP, has mutations everywhere, and has big functions that do too many things.

It's practically impossible to thoroughly test such code with one assertion per test; it would mean having dozens of tests just for one object method. Correspondingly, the fixtures/factories/setup for tests would balloon in number and complexity as well to be able to setup the exact circumstance being tested.

But the example in TFA is, imo, bad because it is testing two entirely different (and unrelated) layers at once. It is testing that a business logic delete of a thing works correctly, and that a communication level response is correct. Those could be two separate tests, separating the concerns, and resulting in simpler code to reason about and less maintenance effort in the future.

We want to know if the DeleteAsync(address) behaves correctly. Actually we want to know if DeleteReservation() works, irrespective of the async requirement. Testing whether AnythingAsync() works is something that is already done at the library or framework level, and we probably don't need to prove that it works again.

Write a test for DeletReservation() which tests if a valid reservation gets deleted. Write another related test to ensure that a non-existent or invalid reservation does not get deleted, but rather returns some appropriate error value. That's two, probably quite simple tests.

Now somewhere higher up, write the REST API tests. ApiDelete()... a few tests to establish that if an API delete is called, and the business logic function it calls internally returns a successful result, then does the ApiDelete() return an appropriate response? Likewise if the business logic fails, does the delete respond to the API caller correctly?
Did you ever have a feeling of being Tom Sawyered into doing free work for Reddit? Moderation may provide some feeling of authority and control which i suppose could be pay-off enough but in the end its just free work.

I suppose if I created my own little subreddit and curated its contents that would be different but moderating tens of thousands of users must be just a crappy chore. For you was it a slow transition from fun curation to work like chore as the subscribers grew?
Poster you’re replying to said it’s not replacing work done by paid, now laid off, employees.
AFAIK fosstodon.org, social.librem.one and mastodon.technology (and likely more) have more or less similar reputation, so your argument is purely theoretical, not supported by the reality. They all have a reasonable number of interesting posts (i.e., users) if you look at some common tags.
You see this with chain restaurant reviews. A great one can have endless bad reviews on Google, Yelp, etc because by and large only people who had trouble bother to review.

But sometimes the reviews are accurate. Sometimes the critics and audience concur on a movie. Sometimes the people yelling on Twitter really are in the fire they're yelling about.
"Worse is better" is always true if you choose the criteria carefully. For example it is always worse to eat food because it might be poisonous. Markdown certainly has limitations, but it more people know it and people can and do use it.

More "powerful" is a good criteria, unless you have to pay the price.

I applaud the decision and the work by the authors. It worked.
Maybe my criticisms are superficial, then. I guess superficially some problems with Sagemath I've found:

- If you do matrix algebra in it, it rigidly insists on knowing which ring your matrix-elements belong to. If you have a symbolic variable, then you need to indicate this as part of the ring. Some functionality is not available for certain rings, which sometimes feels overly pedantic; surely a best-case effort could somehow be made? I haven't tried this for a while, but I remember this was an obstacle that I hadn't encountered in Mathematica (or Sympy), which seemed to just do the right thing. Note that normally when working with real- and complex-algebras, I usually resort to various matrix representations.

- The pretty-printer wasn't good. Maybe my mistake was insisting it print to Unicode, but it failed to pretty-print the elements of a matrix. It defaulted to printing out Python code within a matrix. Maybe this is a bug? Maybe I should've just outputted to Latex?

- The variables weren't pre-declared, so I kept having to write out `var("x")`, etc. This is not ergonomic for a CAS. Sagemath doesn't even ship with a hack like `from sympy.abc import *`.