skysight-inc/HackerNews huggingface dataset:
There are some examples I can think of where nuclear waste is being stored underground:

By people: underground nuclear bomb tests
Naturally: there are some spots where nuclear fission reactions have happened on their own, leaving the waste where the fissile uranium used to be

These aren't going to be the same contents as what power plant waste looks like, of course, but they certainly provide some evidence on how safe/not safe it is
"what sane person wants to shoot their peaceful neigbours and relatives?"

Apparently ethnic Russians were being killed in Ukraine (or they have been the last 8 years, but more serious shelling started on February 17, 2022) and that is why Russia invaded.
I'm not entirely certain, but it seems that French operations in Mali were done with some German and British logistic help ( but nothing France doesn't have), and the US didn't participate.
Just because you don’t think a product isn’t intrinsically good, doesn’t make it so either?

Only the most dogmatic critics of FAANG would argue that FAANG products provide no value. Everyone else is willing to acknowledge that they’re useful but come with trade offs - like everything else in life.
Show HN: iPod Clickwheel.js
Flamewar comments will get you banned on HN, regardless of how wrong other people are or you feel they are.

If you'd please review https://news.ycombinator.com/newsguidelines.html and stick to the rules when posting here, we'd appreciate it. Fortunately you don't seem to have much (any?) history of posting like the above, so it should be easy to fix.
I'm not currently aware of any wind turbines in the UK being powered down due to lack of demand, so the 30% capacity factor is exclusively due to lack of supply, i.e. no wind to turn the turbines.

It's definitely worth looking at with another 3x wind capacity or so.
> However, it may be that the grid cannot sustain the existing plant being shut down without new capacity already in place

it already handles this whenever a station trips

I think the grid is far more resilient than you give it credit for

> There's plenty of gas peaker plants in locations where people would not accept a nuclear plant, such as in the middle of cities.

the UK will shortly have a dozen former nuclear power station sites ready for a couple of new reactors

it's not an immediate problem for this project

(did you know there used to be not one but two nuclear reactors right in the middle of London? one in a 17th century building)
Their research includes producing the nuclear power plants on the UK's submarines btw:

https://www.rolls-royce.com/products-and-services/defence/su...
This is why stable branches are a thing. I don't know the branching scheme that the Linux kernel uses, but the idea is that for the oldest (most stable) branch, everything is a (sometimes backported) bugfix with security implications.
You can actually use a sparse zvol pretty decently for this too. You don't get the file level checksumming or some of the other features but you can still snapshot the volume and get pretty good performance out of it. I've got a few programs that don't get along too well with zfs that I use that way.
Also that building multiple facilities at once will streamline regulations and building codes.

What killed the large nuclear reactors was the need for so many "one-off" design changes to accommodate safety regulations, which would vary by site. This means that economies of scale are lost when compared to gas power stations, because every nuclear reactor was essentially unique.
My pet peeve are webcams. You can only plug in a few before you run out of bandwidth.
>> To get a sense for how reinforcement learning can be used to uncover counterexamples, consider this scenario. Suppose there is a mathematical conjecture predicting that the expression 2x – x2 is negative for any real value of x. This conjecture isn’t true — and you can prove that by producing a value of x (a counterexample) for which it’s false. (Any number between 0 and 2 is a counterexample, with the value of 2x – x2 peaking at x = 1.)

That sounds like a constraint solving problem. Did the author compare his system to a constraint solver, or try to derive the same proofs by constraint solving?
Bumped our email thread, thanks!

For everyone else, the mkfifo command lets you transfer arbitrary streams of data between two systems while using rsync.net as an intermediary.
While impractical and not cost effective, having a bunch of bikes connected to the grid and randomly producing power would have no more of an impact on the grid than flicking a 60W light bulb on and off.
Looks brilliant. Anyone that makes the LeetCode grind go away is already a positive in my book, but this seems to go much further to automate a lot of the steps companies need to do these days. Awesome idea!
>Why would these escape that?

Because they're smaller and faster to build.
You've been breaking the HN guidelines so badly, so repeatedly, and so shockingly, we have no choice but to ban the account. I don't want to do that, but this is not allowable here:

https://news.ycombinator.com/item?id=30589122

https://news.ycombinator.com/item?id=30588903

https://news.ycombinator.com/item?id=30588535

https://news.ycombinator.com/item?id=30588380

https://news.ycombinator.com/item?id=30588322

https://news.ycombinator.com/item?id=30554559

https://news.ycombinator.com/item?id=30553932

https://news.ycombinator.com/item?id=30552508

https://news.ycombinator.com/item?id=30495095

https://news.ycombinator.com/item?id=30470397

No matter how justified your feelings are (and I am sure they are), you can't set HN aflame like this. Destroying this place does no good for anyone.
Kosovo? Iraq? Libya International law? Trying putting all these into a single sentence. Unfortunately in the last 20 years West lost all claims for upholding “international law” or “rules”.
> I got to the problem questions and couldn't believe what Axler was asking was even related to the material I had read through.

I think this is a common first experience when first hitting pure mathematics. Mathematics often feels like very rote applications of rules drilled into one's mind, and then you hit a pure mathematics textbook and the questions become a step change in difficulty where you're expected to derive novel insights on your own that the text doesn't hold your hand in showing. A single problem can easily occupy days of your time before the "aha!" moment, but as you say, once you get the "aha!" you realize your understanding is quite profound as opposed to a shallower understanding of just how to apply a given set of rules.
RR is the British equivalent of GE.
I don't understand why these contractors would keep going when it's so clearly a toxic hostile exploitive relationship. It doesn't sound like the company owner in the article was desperate or destitute, he basically took on massive debt for Amazon with no benefits...
Oddly, this works for most things...except Twitter support itself, which is so opaque it leaves every user feeling like Helen Keller.
NFC: It Just Doesn't Work
Hola, from me, dizzy
You're not wrong there. The US is definitely on the list of countries that I don't want to visit. Albeit for other reasons.
Let’s see how well they do; judging by their war planning, it won’t go as well as you expect.
I think I made a mistake by saying "information is lost", rather than "some information is lost" - clearly, some information remains, and as I started my comment, I'm not saying it's impossible.

In fact I share the sentiment that seemingly irreversible things can often be reversed, we just don't have the technology to do so. However my enthusiasm took a huge hit once I learned how the technology we have usually operates: for example the photo sharpeners enhance photos by creating faces different than the actual original pre-blur faces. Just got an idea I have to test eventually, how close would those "recovered" images be to the algorithm input, if the blur was reapplied...

Your first example (recovering text from photo) is impressive, but the blur is clearly one that blurs as little as possible to make the text unreadable. I think if you increased the blur just slightly, too much information would get lost. I also wonder what was the resolution of the image and what was the color depth (was that a JPEG or RAW format?) Without the ability to inspect and repeat the process I'll remain skeptical about de-blurring.
Splink over duckdb is the bomb.

My duckdb wrapper I sent you in the github issue a few weeks ago linked a pair of five million record datasets in about twenty minutes. Spark took about the three hours to do the same job with an infinite resources cluster.
Do you have a warrant canary?
Maybe if your NTFS drive is less than half full, at least I assume this is a limitation of this project since it mentions keeping an original copy... Still, belief in god seems about right, or you have good backups. I had about 2.5 TB on a 3 TB NTFS drive I decided to move over to ZFS, just rsynced to a few various drives since I didn't have that much contiguous space elsewhere (building a NAS later...), learned I had a file whose name is too long for either ZFS or ext4 and had to rename it, and after making a zpool out of the drive I just rsynced everything back. Doing it in place would have saved hours.. but only hours, on something not high urgency that doesn't require babysitting.
Happy to see they're back! The death of maker spaces in SF has been very sad for me.
Plenty, tier 2,3,4 companies all pay in this range for senior engineers (total comp). Additionally, many startups have started realizing that good senior engineering talent also starts around the 200k range now, at least for west-coast based companies/engineers.

I don't know the exact tier bucket that every company falls into, but if FAANG is tier 1 (300-400k), then uber, abnb, lyft, mcsft, etc are tier 2 (also 300-400k), Walmart, Intuit, VMWARE, ServiceNow are tier 3 (200-300k), etc. etc.

(I'm going off the compensation numbers Ive seen on levels.fyi so feel free to disagree with any of my placements but you get the idea).
Yep ... especially fast, cheap public transport ... I had the "pleasure" to commute about 86 km for five years. In Germany that took me about 1,5 hours with most of the way a regional train that took about 40 minutes between two cities.

I would not do that again, but it was feasible.
Polar Route to Japan Is Back as Japan Airlines Avoids Russian Airspace
This one seems to be probably most in-depth free book for C programming in practice. https://beej.us/guide/bgc/
Damn, if it's so crowed over there, I hope y'all aren't having any babies.
I don't listen to this station, but the man sitting on the right in the picture has a show News Views that plays 6PM EDT on the local DC-area WPFW station.

As a local I appreciate WPFW for it's many jazz shows and late night house music. There really is no other station in the area like this. Been a listener for almost a decade now, starting in 2012.

I discovered Nixon's News Views show during the 2016 election. His analysis of the campaigns and of Trump's presidency was a refreshing contrast from the simplistic MSM narrative. He reiterates in every show that all his talking points are facts one can research themselves. From my cursory analysis over the years this seems to be true.

I would say that Lee Stranahan, pictured on the left, whose Radio Sputnik show Nixon sometimes appears on, is far more of a Kremlin propagandist. Just look at his Twitter today to see how unhinged the guy is.
The map is not the territory. Ceci n'est pas une pipe.
Covid can shrink brain and damage its tissue
IME (as a math-degree-haver) the value of mathematics is in improving one's ability to mentally model and reason about complicated real-world phenomena. A lot of folks lose sight of the reality and get lost in the mysticism, especially within the academic regime.

> [Mathematics] is the purest and most beautiful of all the intellectual disciplines. It is the universal language, both of human beings and of the universe itself. [...] That doesn’t mean it’s easy — no, mathematics is an incredibly challenging discipline, and there is nothing easy or straightforward about it

I am always, always going to condemn this unnecessary mystification and idealization of mathematics. It's exclusive and misleading.
Your technical notes really illustrate that there is a science to running good backups. Thanks so much!
> Sure, but can you prove it to the public in enough certainty to declare war?

This is not a court of law, proof is not what is missing to declare a war against Russia. They have a credible nuclear deterent, that is why war is not declared against them by other countries.

It is in fact a very sweet idea to think that a war declaration depends on meeting or not meeting some evidentiary standard.
Overall a pretty decent list, although I would suggest considering some tweaks.

For real analysis it recommends as essential Abbott's "Understanding Analysis" and Rudin's "Principles of Mathematical Analysis". If you "haven't gotten your fill of real analysis" from those it recommends Spivak's "Calculus".

I'd consider promoting Spivak to essential, but using it for calculus rather than real analysis, replacing their recommendation of Stewart's "Calculus: Early Transcendentals".

By doing calculus with a more rigorous, proof-oriented introductory calculus book like Spivak, there is a good chance you won't need a separate introduction to proofs book so can drop the recommended Vellemen's "How to Prove It: A Structured Approach".
:::Helion's $500m funding round has entered the chat:::
Whatever makes you feel better.
The main point is, no-one threats their friends like this. Your original comment didn't state that your friends believed that they had holy blood, but if they did, do you think its a good idea to have fun with their beliefs for your own amusement (and some stangers on the internet for imaginary internet points)?
If world war 3 breaks out, you're probably gonna need some friends.

If these lies that you tell to your friends prevents them from getting vaccinated, then what?

I have a feeling and also some hope, that your story is just that, a long winded BS story to make yourself sound intelligent, because otherwise, you are just a sociopath.
crypto must certainly be the worlds biggest wealth generating machine if people are borrowing at 30%. that or its a pyramid scheme
> what if non-religious people are actually the most religious of them all. humor me.

Atheism is not an assertion that there is no god. It is the understanding that we cannot with our current level of technology prove there IS a god. Therefore, we cannot believe in a god.

That is the baseline argument: Prove it. You can't. That is the end of the conversation.

In other words, the assertion you make here is one of the very few things we CAN prove and DO know. We CANNOT prove there IS a god. We CANNOT prove there is NO god. Therefore, we abstain from believing in a religion until sufficient evidence is provided.

That is why atheism is not a religion. There is no belief involved. Because we do not pretend to know. We assert that we do not, and currently can not, know.
I'm wondering if you have a better solution?

I understand your viewpoint and don't take it lightly.

But at this point, I don't see an alternative anymore, except putting feet on the ground. Which would make the whole situation worse.

---

Note: a collegue of mine has a Russian wife and I asked if she was okay. She didn't encounter any hostilities and I was happy about that. Since it seemed plausible to me that some would/could.

She is, since recently, collecting funds for helping people in Ukraine.
The outage itself has already been widely reported (at least in EU media), especially the (potential) impact on wind electricity generation capacities:

https://www.reuters.com/business/energy/satellite-outage-kno...
> Note, I didn't assume anything

You literally started with

"BTW, when I see "mhz" I assume this means "milli-Hertz"."

> As for millihertz: sure it could make sense, if the design were fully static and one was watching (with eyeballs) some LEDs on control and address and status lines -- in fact, in many 'homebrew' computers, having a setting to allow seeing the sequencing of instruction execution is often a built-in feature.

I didn't say the the frequency didn't make sense, only that it doesn't make sense as an ARM, as that niche ends up having ISA considerations where something like ARM doesn't make practical sense . Particularly given that I said "up to 480mhz".
The amount of traffic my little Perl app got from Freshmeat was astounding. Paid my way through college.
Steam Hardware and Software Survey for February 2022
A bit off topic but the PowerMac translucent towers were beautiful. I wish apple brought those back albeit in a smaller form factor. It wouldn't hurt to see the Mac Pro in such a casing.
Thanks for the advice! Indeed, I was planning to use pre-certified WiFi modules (ESP32 specifically). There are a couple of things here though:

A) How can I trust that my supplier actually did the right tests? Do I just trust that they follow whatever spec (that passes CE) Espressif gave them and that's enough?

B) From what I've read, if all the components you use to build an electronic device are CE approved, that doesn't mean that your device is. This seems to be boiled down to as "CE + CE != CE" a lot of the time I've seen it. Is it wrong?

Fiverr/Upwork is definitely not something I've considered. Will give these a try.
Opex "isn't significant" only in comparison to capex for nukes. Nukes' opex is, like capex, outrageously huge compared to both for renewables. Every penny spent on building nukes instead of building out renewables/storage adds to global climate disruption.
They now want Ukraine to recognize Crimea as legally annexed, and two additional regions as independent states (likely will join Russia after that).
The CO2 cost of creating nuclear power plants from concrete is a drop in the bucket compared to the 30-45% of CO2 emissions from power generation and transportation that needs to be replaced as soon as possible. Especially since it will be a remarkably small percentage of overall concrete usage.

Concrete isn't negligible, however the unavoidable 4% of emissions for standard concrete isn't enough of a deterrent to require us to curb its use in favor of other methods immediately. Especially considering it's utility. With enough carbon free energy we could offset that 4% very easily. In the same way we can create carbon neutral fuels with sufficient cheap energy.
> Also, the US cooperates with Japan, SK and other countries without them being in NATO

The US has bilateral treaties in which the US undertakes NATO-like commitments to Japan and South Korea, and bilateral or multiteral (e.g., AUKUS, Rio Treaty) agreements with US-outward or mutual defense provisions with others, sure.

Are you imagining a similar relation with the EU replacing NATO, and, if so, how is that substantively different from just keeping NATO?
"I’m an optimist by nature." Are you sure of that? Because what I just read seemed like the meandering thoughts of a cynical pessimist.
Thank you! And yeah we've had that request a lot, later this year we'd like to open a candidate-facing platform to hone their skills on Litebulb interviews. Conceptually, getting better at Litebulb interviews should just make you a better dev, not better at interviewing.

Potential feature: get high enough scores on a specific interview, get recommended to companies currently hiring that use this stack and get inserted mid-way through the funnel?
Someone has pointed out that in Qing dynasty china has about 12m sq Km not only 9.7m sq Km, mostly lost to Russia through unfair treaties (possibly except the first one). Good luck when Russia is a junior partner.
One man attacked a tank with ax
having a plan to execute is separate from being "legally binding"

separately: the EU refused to negotiate at all until Article 50 was triggered, so what you're asking for was essentially impossible
Ubuntu Now “Just Works” on the Framework Laptop
I think there’s (unfortunately) a need for a low-effort high-pass filter for candidates because there are so many utterly unqualified candidates chasing the dollars that a software job can bring. I don’t blame them, but I also think the bottom 10% of all potential programmers is way over-represented in the applicant pool and finding a way to filter them out effectively has value.

It doesn’t have to be leetcode, but it does have to not be “have an engineer spend an hour with everyone”
One of the things that helped me a lot was realising that software is never "done". There's always more to do. Take a look at the simplest tool from coreutils: true. It's git log spans over 22 years. So accept that there's no point where your project can be done (i.e. your ideal) and learn to love the process instead. As long as you're moving in the direction of that unreachable ideal and making progress you're doing well.

Software (like Art) is never finished, only abandoned.
Honestly I have three of these things and they aren't great. Maybe for a side or "kitchen" computer. If Mac had a decent RDP protocol, that would be a great way to use them.
I think you'd be better off plugging it into a kettle or coffee maker. At one hour per cup that sounds like good exercise and having a goal sounds like good motivation.
It's not piracy if it's legal.
It's easy to buy an end-user terminal and tear it apart on your workbench to develop an understanding of how it works. I don't know about you, but I haven't seen any satellites on eBay recently.

Also, most satellites are intentionally as dumb as possible, just a "bent pipe" transponder, putting all the complexity on the ground stations which are easier to service if something goes wrong. There might not be much to do on the satellite itself.
That Surface Studio almost mimics an old-school drafting table.
Without any disclaimer, can you hint on the topic you studied on your own? I am quite curious about it! Thank you!!
Fundrise | Multiple Roles | Anywhere in US | Remote-first (with option to work in DC HQ or any WeWork in the US) | Full-time | https://www.fundrise.com

Fundrise's mission is to allow everyone access to a technology driven, diversified portfolio of institutional-quality real estate. Founded in 2012, we’re the largest direct-to-investor real estate investment platform in the United States. We make institutional-quality real estate investments available to individual investors of every size at the touch of a button.

I'm Jake, a Senior Frontend Engineer on the new Growth Tech team, and you can find me at https://www.linkedin.com/in/jakekenneally/. We're working on a new, greenfield, customer-facing application at Fundrise, and we're looking for:

- Senior Frontend Engineer: https://jobs.lever.co/fundrise/61831652-d655-4300-98a3-3137c...

- Senior Software Engineer: https://jobs.lever.co/fundrise/d6453eca-43f9-4087-a9d5-823e2...

Our tech stack for the new product is: TypeScript, Vue 3 with the Composition API, Java 17, Spring 5, Spring Boot 2.6, MySQL, all deployed to AWS with CDK and CloudFormation

Additionally, we're hiring for multiple other roles and teams at Fundrise, including:

- Android Engineer

- Cloud Engineer

- Director of Engineering

- iOS Engineer

- Senior Android Engineer

- Senior Cloud Engineer

- Senior Frontend Engineer

- Senior iOS Engineer

- Senior/Lead/Principal Software Engineer

- Software Engineer

More information on all open roles here: https://jobs.lever.co/fundrise?lever-via=kpRlBa77fv

To get in contact with our Talent Acquisition team at Fundrise and learn more about our open roles, send an email to ta@fundrise.com
More info: https://convey.earth/conversation?id=50
The GDA process for for the Chinese-developed reactor planned for the UK [1] took four and a half years [2]

1. https://en.wikipedia.org/wiki/Bradwell_B_nuclear_power_stati...

2. https://en.wikipedia.org/wiki/Hualong_One
“Lost” Album of the Week: DR Hooker's 'The Truth' (2016)
This is perfectly legal