skysight-inc/HackerNews huggingface dataset:
They could have instead replaced the fossil fuel electrical generation with those renewables, and kept the nuclear plants. That would have been a massive reduction in carbon emissions by Germany.

Odd choice.
>I am wondering if it was put in to the kernel for 5.10 and then left "off by default" until this year.

Any idea how we might check that?

>I haven't had time to track down why, but it has stayed with newer kernels, too: 5.15.41, 5.15.59 also have this issue. I compiled 5.15.72 last night but i haven't rebooted yet.

I'm fairly certain we've seen it on `Linux 5.15.0-1017-aws x86_64`.
A good way to always have cash while travelling is to get a belt wallet. You will get mugged for your phone and your bag and what they presume to be your actual wallet, but they aren't going to ask for your belt or even whatever you might have shoved into your sock.
You can leave native scaling as 1, and instead scale Jetbrains settings (font etc.) without making it blurry.

Maybe that is the secret weapon…
That's not that easy with German homes as they are heated with hot water pipes and walls are typically solid. You could maybe install a device that emits hot air in a single room, but to install a forced air system, you'd need to in essence remodel the entire home. In addition, you'd have worse outcomes because now the nice warm floors are gone.
I wouldn't call it superhuman, but it definitely improves it a lot. I think it's helped in general with my sense of direction, but it's a lot less noticeable in an unfamiliar place (if I'm not wearing it).

If I start in a familiar place, then go into somewhere unfamiliar, like a new building, my ability to keep track of cardinal directions is significantly better, which helps keep me oriented to e.g. find my way out of the building.
Old car headlights were all the same – which was a fairly bright idea [video]
> Germany's main source of heating is gas and yes, gas is used to generate electricity, so nuclear can reduce gas consumption. However, only about 10% of gas is used for electricity and Germany has enough electricity. In a worst-case scenario, those nuclear power plants can help stabilize the grid, but they are not needed in general.

A number of cities also use district heating, where the heat is taken directly from the cooling circuits of nearby power stations. No idea what percentage of total heating this is and if nuclear plants are involved here, but this would be another way how those plants could (theoretically) contribute to heating.
Thinking about it the ankle is a pretty clever Place. My wrists are very often in different orientations to my body, but my ankles are more or less always in line with the way I'm facing.
There are API’s, just not public ones - only available under commercial agreement
It's not. I should have been clear about referring only to the mental issues part.
This seems like it would be distracting when near any ferrous material? If you walk around the inside of a building with a magnetic compass, you would be surprised how often the needle deviates from North.
"What is my purpose?"
"You wash the dishes."
"Oh. My god."
I've not seen anything as extreme as people in the streets, but regularly have seen employee pushback about erp system implementations, e.g. SAP. These enterprise systems are are all on the back of employees, by which I mean they are forced to take the extra time to use them while they are extremely unfriendly to the user - because they are bought by execs, and their value is not at all apparent to those who use then.

A simple example, imagine you told employees they now had to log their time and account for each 15 minutes, and do so through some kind of java.swing interface from the 90s that routinely screwed up, and they don't get any extra time to do so, and they're already busy. Now multiply that by whatever other silly management tasks they want you to use the tool for. You'd be pissed off too
The fundamental problem with this regressive "discrimination" framework is that it divides people into a dichotomy of "having agency" and "having no agency", and then focuses the analysis on those with no agency while ignoring the concerns of those with agency. Essentially it asks the wrong question, stands in for real discussion about societal problems from such things, and allows real issues to be handwaved away as those with agency just needing to choose to "get with the program".

I am 100% dead set against "cashless society", not because I am "unable" to use anything else, but because it is less private, less empowering, and outright less convenient. Sure, I'll sometimes give in to the financial surveillance industry to get money back, or to make returns easier, or to do online purchases, or to avoid trading fomites during Covid. But ideally I want to transact in cash. Make the decision to spend a given amount of money exactly once, and not suffer the same transaction multiple times as I see my agglomerated statements at the end of the month.

With friends, no fucking Paypal, Venmo, Zelle, or whatever fly by night crap is popular this week that undoubtably forces some nonconsentual "terms" at me. Never mind creating yet another insecure account that has to be checked every month lest I end up responsible for a company's negligence. Cash - we settle and then we forget about it. Sometimes it's higher, sometimes it's lower, most of the time it evens out, sometimes it doesn't but we assume it does and move on with our lives.

Like maaaaaybe in the far future if phones are ever personal computing devices that represent individuals, and we have the security properties granted by systems like Monero, and software designed for end users and not surveillance companies, then I'd be happy to settle with digital money. But it's foolish to jump the gun and pretend that any of the junk currently being pushed by surveillance companies represents that sort of idyllic future in any way.
Some people dislike interacting with the HN community for one reason or another. I imagine that's the case here. This person definitely isn't the only one.

Getting a post or tweet picked up by a large community who doesn't see your stuff regularly can be a lot more stressful than speaking directly to your audience (in this case, direct Twitter followers) who have a lot more context on your work.
Didn't even change the readme, it seems.

*EDIT* https://codeberg.org/

I'm guessing they're just maintaining their own copy and Codeberg is more about the service rather than being another git hosting project.
They also published a video with some renders of the NGAT:
https://www.youtube.com/watch?t=518&v=2qiu86-ZZdU

I really wish it had been built.
Describing Javascript can be confusing. C++ compiles -> C compiles -> assembly language compiles -> 1-for-1 to machine code. But Javascript be like "Javascript is the programming language interacts with your browser" or "Javascript conforms to the ECMAScript specification that describes how the language should act but is implemented according to the browser vendor's interpretation of said specification, and is further compiled according the browser." And that only covers browsers' Javascript.

And I'm not even sure if the above is 100% accurate.
> What are current things that are unpopular today but will be regrettable in 10-20 years?

Wind turbines and power lines in my backyard. It's already regrettable today.
because it suits the pragmatic 90% case and not some "what if" scenario. It has quite adequately outlined what files it does search and also how to overcome the defaults. If you use CLI you can use --help as well and get the other options.
You missed at least part of jerf's point. If your program is non-trivial, you're going to come out ahead from tests even before you ship.
I know, but having data on it helps. I am curious how many of these funded companies actually generate profits for their founders and how soon. It may be that despite large investments returns are slim, meaning many such startups are a waste of time.
>Although I think some among the anti-nuclear movement may have had subversive intent

This is a dramatic understatement. It was coordinated by the Rockefeller Foundation from the very beginning:

https://atomicinsights.com/how-did-leaders-of-the-hydrocarbo...

>They may be wrong about the relative safety of nuclear power but they aren't morally defective people, so shaming them isn't appropriate.

The moral failing that you're missing is arrogance. People who actually study radiation were not leading this movement.
The assumption of this theorem is that we may encode any problem that is unbounded and infinite. What if we limit ourselves to *bounded* and *computable* functions only?

See draft presented at many top logic conferences yet: https://arxiv.org/abs/2106.13309

Since the observable universe is bounded, and we are most interested in computable, why not to focus on maths that is most relevant to our universe instead of infinitary alternate?
> I've never seen free speech advocates use an example of any of these as examples of problematic censorship

Just look at some of the exceptions to free speech: https://en.wikipedia.org/wiki/United_States_free_speech_exce...

* Incitement

* False statements of fact

* Obscenity

* Fighting words

* Threatening the president of the United States

These are all grey areas that are constantly being tested and censored to varying degrees on multiple Social Media platforms. Trump was banned from Twitter because of “the risk of further incitement of violence” after Jan. 6. So it's very much at the crux of the issue on the debate whether or not Trump's speech on Twitter should have been protected by the platform or not, which is what really catalyzed Parler and Truth Social's branding in the market place as "pro- free speech".
> nowadays Turing Machines are a dime a dozen, and the idea of a "program" is common place

I think you may have misconstrued what I meant. From a metamathematical standpoint, leveraging the Halting Problem gives you a lot of stuff for free. Just the fact that we're assuming that a formal logic system and a programming language are isomorphic is actually a pretty huge deal and those developments span several generations of logicians.

Specifically, Godel numbering really originally made this entire thing work. And that sausage was not very intuitively-made.
If only C-levels and Boards viewed such jobs as a good excuse to provide someone with a living as opposed to poor worker utilization hurting their bottom line
> The only somewhat free place I've seen is 4Chan but it contains so much toxicity, that's its barely bearable.

You've found the problem. There _are_ "anything legal" online spaces, and they _suck_. There's no way to have 0 moderation and not have the place turn basically into 4Chan.

If people really want to be on totally free speech platforms, they can just go on 4Chan, but what they really want is to force everyone else to engage with the toxic shit they want to say and no one else wants to hear.
The problem is that GitHub is so endemic, and useful for open source projects that simply need the traction/eyeballs.

I wish GitHub:
- had scoped labels ala. GitLab. Project custom fields _almost_ get there but they must be more visible/accessible/filterable via 'basic' issue lists.
- allowed longer label descriptions, they should double the 100 character limit - and allow 4-byte Unicode...
- had wider milestone scoping
Absolutely -- Tests are a business investment, and a business expense.

A question is: "what is the business consequence if this code doesn't work as expected?" If the code is frontend stuff, then maybe tests won't pay off.

If the code is "calculate total and taxes for user buying products", then yes, you probably do want to write tests. If you don't write them first, then they might not get done until there's a "big bang" of "gee we need to write tests for the last 10k lines of code over the weekend". Or worse: code might or might not be correct in the past, but you can't tell how many users were affected.

Tests are a business investment, and it's worth a discussion to find out risk tolerance.
Your GP comment was denunciatory and information-free. That makes for unsubstantive flamebait, especially when the topic is a sensational one.
> The downside is, that they were already in the process of being shut down. They now need to undergo new safety checks, the fuel rods are nearly spend and this will cost 100 millions. Money which can be spent better.

Oh no, here's hoping they learned a lesson from that money.

Without affordable gas, they'll be buying electric heaters. I believe that's already under way. [1]

[1] https://www.reuters.com/business/energy/germans-switch-costl...
If the bottom line is red, I wouldn't care much if that was a trillion. ¯\_(ツ)_/¯

Did you even check the website, btw?
I won't tell you you need Fly.io. I am offended you'd put us in the same bucket as kubernetes though, rude.
For sure. There is likely no greater benefit that one can derive than avoiding starvation.

Although there isn't much of a modern day parallel there given that citizenry of the US have already agreed to afford each other that benefit for an exchange in kind. Individuals need not worry about additional transactions deriving a hunger resolving benefit.
You think lotteries are only 100 years old?

https://en.wikipedia.org/wiki/Lottery#Early_United_States_16...

>Lotteries in colonial America played a significant part in the financing of both private and public ventures. It has been recorded that more than 200 lotteries were sanctioned between 1744 and 1776, and played a major role in financing roads, libraries, churches, colleges, canals, bridges, etc.[5] In the 1740s, the foundation of Princeton and Columbia Universities was financed by lotteries, as was the University of Pennsylvania by the Academy Lottery in 1755.
In this case, there’s no need to imagine. Their latest Tweet has the answer.
I don't think so. ripgrep could easily become super cluttered if any john-joe-jimmy-larry could namespace it
I wouldn't sign off on this personally. It makes auditing harder. You see `cargo install rg` somewhere, but you also see that `cargo install ripgrep` is what's listed in ripgrep's README. So now you wonder, is `cargo install rg` correct? Then maybe ripgrep has to add a note about this to the README, and maybe you see it, maybe you don't.

Better to just make `cargo install rg` fail so that it never worked in the first place. `cargo install ripgrep` is also more self-describing and gives you a better search engine query.
I'm currently using a Magic Trackpad 2 with my KDE desktop (5.26). Gesture support is now 1:1 with MacOS, giving you silky-smooth kinetic gestures for changing desktops, going into Overview, etc. If you're using Wayland, it should also have fairly good support on GNOME too. The only thing you're missing is Force Touch, but I didn't even use that on MacOS.
I remember reading about how certain languages didn't have words for left & right, but used cardinal directions instead(0), and always wondered how they have an intuitive sense of where north is just to make themselves clear. It would certainly help to have it though.

(0) - ie: HokeyPokey would be a line of kids standing in a certain direction - you put your north foot in, you take your north foot out, you put your south foot in.. etc
> everyone wants to censor / filter the speech of the opposite side.

This is mostly because the left/right spectrum is too nebulous to be genuinely useful at understanding most people's values, which tend to be more nuanced than a one dimensional spectrum allows for. People that want to censor/filter speech are authoritarians. Nothing about authoritarianism uniquely binds it to the left or the right.
> Reality: the Greens and their allies spent half a trillion USD on the "energy transition" and turned off perfectly good nuclear reactors. Result: energy shortages and diplomatic submission to Russia.

Um no. Renewable energy is now actually cheaper than nuclear energy. You could build renewable energy + storage within the same range of cost. The problem is the former government shut down nuclear power plants and then did exactly nothing.

The nuclear power plants aren't perfectly good. They are very old and would need a lot of investment if run for more than a couple of month.

And germany isn't even near electric energy shortages. It's currently supplying france with a lot of energy.

If electric heating were used everywhere from now on, there would be an electricity problem. But for that the electric heaters are missing.
You just presumed everyone is a JS dev. Despite how hard it is trying to take over the world but not everyone writes javascript.
Thanks for flagging this, I was unaware! I agree with your assessment; I just hope that this is considered to not be in breach of the spirit of the PEP. It seems like the PEP intended to disallow squatting in terms of pre-emptively reserving and hogging names, the way domain squatters do it. So hopefully typosquatting prevention for the sake of security is considered fine by the admins; especially since our project was designated a 'critical project' and stricter security measures apply to our maintainers.
Good point, and this is a thing in Switzerland, but not in Germany. Direct heating from nuclear plants, that is.
Similarly train brakes are failsafe. They operate by compressed air. Being connected to the locomotive and hence control allows them to be released. If the carriages become disconnected, brakes get applied.
>I hope ranting about smartphones in a cashless-ness thread isn't too off topic

I don't think so. Certainly it's hard to argue that at least a feature phone that you're willing to give out the phone number for is well-nigh mandatory.

As you say, go back not that many years and cash/travelers checks and appropriate ID (drivers license and/or passport) were really all you needed in general. In addition to phone, it's really hard without a credit card today as well.
Identity doesn't come into existence with the registration with a government, it's something you build over time as you interact with the world around you.

Nicknames are an identity and it's pretty much common these days to have nicknamed account on all over the internet. The problem with these is that one can have multiple of those and a behaviour in one place doesn't transfer into other places.

So maybe we can have across-the-internet identities. You are jasonshaev but who you are on twitter? on reddit? on other places? Once you become the person who is known around everywhere the same way, you have the identity that you would like to protect. You can't troll one place when bored then be known as a nice person somewhere else. I think that's good enough identity. The implementation can be around crypto, single sign in, face recognition etc.
Would add airports. If I’m not checking a bag, I can walk straight to security, do an iris scan at CLEAR and show my digital boarding pass to security and at the gate.

That said, there are manual workarounds to almost everything requiring a smartphone. They’re simply less efficient.
> It's a pretty amazing accomplishment for humanity to have developed systems as complex as modern jumbo jets with "brains" that are essentially more reliable than the ones that created them.

Load the airplane's "brain" with algorithms for how to survive, cooperate, adapt and replicate under every conceivable condition and you'll end up with a comparable system more complicated and worse-performing than ourselves. Not really a fair comparison.

Self-driving cars (and robotics) would be better examples, since they attempt to emulate a broader swath of our sensory capabilities.
32 vacant homes for every one homeless person in the US. and no, the vacant homes are not only in Detroit or other similar run down places.
Astronomers observe “brightest of all time” gamma-ray burst
> This is an old, well established pattern, but it is embarrassing that this kind of irrelevant idiocy is so often destined to greet authors and subject matter experts when they visit a message board discussing their work.

Yes, this sort of bikeshedding is the cost of clickbait titles--seems like this could all go away if authors/editors stopped using clickbait titles; not sure why we should sneer at the community for highlighting the misleading headline. Moreover, such sneering violates the site guidelines:

> Be kind. Don't be snarky. Have curious conversation; don't cross-examine. Please don't fulminate. Please don't sneer, including at the rest of the community.

(emphasis mine)
You can teach yourself a lot of "sixth senses" if you try hard enough!

When I was in the Navy as an Officer of the Deck (OOD), I used to be able to visually measure distances on flat water in the range of ~500 yards to a mile within a few tens of yards because I had an internal sense of how big objects were and how they would look at those ranges. This was because I constantly had to measure ranges on radars and via moboards[0] when I was a OOD-in-training and so I learned quickly how to measure distances visually.

I also learned how to estimate how a ship was moving in ports and transit canals and how to adjust that using engines simply by looking around, much like you can adjust how you walk on a surface depending on senses from your whole body about what type of surface it is, how stable it is, etc. On gravel, most people can sense a bit of slippage as they walk from their feet, they might sense their body alignment from feet to head moving slightly due to that slippage, etc. and all those senses are used to tell "I need to slow down here" or whatever. For ships, you get an idea for what direction the bow and stern are moving, how they relate to your control angles, how that relates to what you see around you, and also integrates your body senses, because your body is a finely-tuned acceleration sensing machine.

Anyways, I wish I were still an OOD today, because I would try and create some tools like this that would help me there. Even this anklet itself would have been helpful when I was on duty, to tell me when the helmsman was asleep!

[0]: https://en.wikipedia.org/wiki/Maneuvering_board
JJ electronics. Their factory is in Slovenia. Thankfully I did a large buy before prices went up.
It was supposed to be rebuilt as a phased array of about a thousand 10m dishes mounted on a steerable plate about 300m wide. That would have been some colossal engineering.

Have a look: https://www.youtube.com/watch?t=518&v=2qiu86-ZZdU
Unfortunately TSA generally makes you remove your money pouch when they're feeling up your genitals, making it so everyone can see that you have a money pouch. Yet another way the Orwellian-named agency makes individual travelers less secure.
I'm the same, I'd rather it be broken so I can figure out what's going on rather than bounced around all over the place.
I might be misunderstanding this but there are many many sources that estimate Russia's arsenal of nuclear weapons to be non zero.

> according to the Federation of American Scientists, Russia has 5,977 nuclear warheads - the devices that trigger a nuclear explosion - though this includes about 1,500 that are retired and set to to be dismantled. Of the remaining 4,500 or so, most are considered strategic nuclear weapons - ballistic missiles, or rockets, which can be targeted over long distances. These are the weapons usually associated with nuclear war.

https://www.bbc.com/news/world-europe-60564123
The section header "Theorem mining — better than crypto?" makes me wonder: instead of POW based cryptocurrencies, could we use POT(Proof of Theorem)? Machines could grind away looking for theorems. It's still a POW method, but it provides some potentially useful output.