MurphyA/hacker-news huggingface dataset:
by sunshowers | 2025-09-12 22:57:15+00:00
> intrusive lists in general

Not quite an intrusive list, but a particular data structure that's often called "intrusive" is a map where keys borrow from values. This turns out to be a super useful pattern.

https://www.boost.org/doc/libs/1_59_0/doc/html/boost/intrusi...

Note that the signature here is `const key_type & operator()(const value_type &)`, or in Rust terms `fn key(&self) -> &Self::Key`. This means that the key must exist in a concrete form inside the value -- it is impossible to have keys that borrow from multiple fields within the value, for example.

At Oxide, I recently wrote and released https://docs.rs/iddqd, which provides similar maps. With iddqd, the signature is `fn key(&self) -> Self::Key<'_>`, which means that iddqd does allow you to borrow from multiple fields to form the key. See the ArtifactKey example under https://docs.rs/iddqd/latest/iddqd/#examples.
by gp90 | 2025-09-12 22:58:12+00:00
How do we draw the line between whatever -ism and Bayesian inferences? You are seasoned manager for years, you found that your fellow countrymen are much more likely to follow your leadership style than any other group of different cultural background. Let's say it's a fact that you identified through years of trial and error. Based on this fact, you decide to hire only certain groups. How is this racism? How is this different from a university has a college list. Any graduate who does not graduate from the list will not have an interview with your company -- It's super narrow minded and it can considered discrimination, but is that some kind of -ism?
by lproven | 2025-09-12 22:58:53+00:00
Dana "Nanoraptor" Sibera designed a tower C64. In an ideal world, that's how a PC-cased C64 would look, complete with its keyboard:

https://bsky.app/profile/nanoraptor.danamania.com/post/3k47g...

Better still... someone built it for real:

https://www.reddit.com/r/retrobattlestations/comments/1iqth0...
by swatson741 | 2025-09-12 23:00:21+00:00
Very true but the other side of this is first class continuations are no worse than compiling try-catch semantics, and hygienic macros are still just macros so the complexity is kept simple (sort of. maybe simple isn't always so simple).

The other thing that makes languages like scheme difficult to compile are those closures. In fact, the book, the implementation of functional programming languages, Jones (1987) didn't do it at all! No closure conversion at all. They just compiled to a letrec in the g-machine.
by godelski | 2025-09-12 23:00:59+00:00
If anyone is interested, here's a picture of decades worth of it[0]. I used to have a video of Russia's, but it seems to have gone down. If somehow you can way back it, here's the link[1].

For more comparison, France produces about 2kg of radioactive waste per year, which delivers 70% of the country's electricity. If you removed all nuclear power reactors you'd still be generating 0.8kg of radioactive waste[2]. It'll work it's way out to on the order of (i.e. approximately) a soda can per person per year.

I think people grossly underestimate the scale of waste in many things. Coal produces train loads a day (including radioactive and heavy metals), while nuclear produces like a Costco's worth over decades. The current paradigm of "we'll store it on sight and figure it out later" isn't insane when we're talking about something smaller than a water tower and having about 300 years to figure out a better solution.

On the flip side, people underestimate the waste of many other things. There are things much worse than nuclear waste too. We spend a lot of time talking about nuclear waste yet almost none when it comes to heavy metals and long lived plastics. Metals like lead stay toxic forever and do not become safer through typical reactions. We should definitely be concerned with nuclear waste, but when these heavy metal wastes are several orders of magnitude greater, it seems silly. When it comes to heavy metals (lead, mercury, cadmium, arsenic, etc) we're talking about millions of tonnage. These things are exceptionally long lived, have shown to enter both our water supply and atmosphere (thanks leaded gasoline!), and are extremely toxic. It's such a weird comparison of scale. Please take nuclear waste seriously, but I don't believe anyone if they claim to be concerned with nuclear waste but is unconcerned with other long lived hazardous wastes that are produced in billions of times greater quantities and with magnitudes lower safety margins.

[0] https://x.com/Orano_usa/status/1182662569619795968

[1] https://www.youtube.com/watch?v=_5uN0bZBOic&t=105s

[2] https://www.orano.group/en/unpacking-nuclear/all-about-radio...
by yodsanklai | 2025-09-12 23:02:43+00:00
> vastly prefers to import foreign labor rather than hire local

Salaries are extremely high in SV, why would they bother hiring foreigners if they can find good candidates locally?

I work in a big US tech company, and I do interview lots of candidates. Most of them graduated outside of the US. I can't believe that leadership would go to such great lengths to avoid local candidate. I think there are just not enough qualified applicants.
by n8cpdx | 2025-09-12 23:02:49+00:00
That’s an important point. The collaboration model is more complex in GIS because it’s not just documents (maps and map projects) but the underlying data is coming from databases that are independently editable.

The comparison still works in some ways though, because ArcGIS is selling you both the software (ArcGIS Pro, Map Viewer, Field Maps, etc) and the backing services (hosted feature services, basemaps, locators, etc), similar to how Office is selling you data hosting, sharing, and mobile + web app integration.

You can accomplish the same things with QGIS, GeoServer, QField, etc, but then you’re in the position of building a GIS from parts. Whereas with ArcGIS, setting up a new map and database (feature service) for data collection is a point-click workflow.

Of course you pay a premium for that level of integration.
by ninkendo | 2025-09-12 23:02:53+00:00
> I thought this was going to be easy, and failed after not realizing what I was up against. At the time I didn't even know what I didn't know

This reminds me of high school ~25 years ago when I just started learning TI-Basic on my calculator and was dabbling in VB6 on my PC, and I was flipping burgers at Steak n Shake as my part time job. The manager moaned about how hard it was to write the employee schedules out each week (taking into account requested days off, etc) and I thought “ooh, I know how to write software now, I’ll make a scheduling program!” I told the manager I bet I could do it.

… it took a very short time for 16 year old me to realize writing scheduling software to solve for various constraints is pretty damned hard. I never brought it up after that.
by RajT88 | 2025-09-12 23:04:02+00:00
> I'm supposed to get concerned that MAGA is going to use this event as a rally cry - a rally cry for what, exactly? More violence?

Yes. Namely. You wait and see, with how public figures on the right have been talking.

The political party which tends more than the other to house bunches of heavily armed wingnuts who like to muse about the prospect of a civil war... How do you think this is going to go when one of their media darlings gets murdered? And then quotes like this are put out there:

"Radical left political violence has hurt too many innocent people and taken too many lives. Tonight, I ask all Americans to commit themselves to the American values for which Charlie Kirk lived and died" - Trump, 2 days ago before anything was known.

I actually think we're lucky that reflexively they haven't started jailing the political opposition just to make the base feel warm and fuzzy.

This kid without question made the world a worse place for liberals and conservatives both. What a complete asshole.
by balamatom | 2025-09-12 23:04:43+00:00
Using an email client requires a Proton Bridge thing that acts as a local IMAP/SMTP proxy: https://github.com/ProtonMail/proton-bridge

As if disabling the issue tracker and stonewalling pull requests wasn't bad enough, seeing how it is built out of multiple layers that communicate via gRPC was what made me instantly lose all trust in Proton. I don't know who's been doing their hiring but just from one look at that kludge it's evident they've lost the plot altogether.

(There's a third-party alternative called Hydroxide, but it's experimental. Haven't been able to send emails through it from Thunderbird yet, though I've only looked into this for a few hours recently.)
by strawhatguy | 2025-09-12 23:04:51+00:00
Yes? Any sort of system that generates power... can generate lots of power if there's more of that system.

What I find odd is that it has to be an all-or-nothing approach. Maybe sunny areas can do more with solar, great! But that won't work everywhere, and probably isn't a complete replacement anywhere. Other places that are cloudy, it might be better to go nuclear. Or even gas.

The regulations and the subsidies ought to be removed though, let the market decide. Solar or Nuclear will win if it's better, and that might be a per-area contest.
by pydry | 2025-09-12 23:05:00+00:00
>Why are you implying that Germany has decarbonized their grid?

I neither said nor implied that the green transition is complete. Green transitions take decades. Germany is merely transitioning the fastest and doing it without the overpriced and risky albatross that is nuclear power.

>shutting them down when you are still burning coal is almost unbelievable

It's unbelievable that the country some people are most furious at is the one that has decarbonized at the fastest rate.

Not the country next door to it that didnt even try.

They are seemingly obsessed with what was once ~8-12% of Germany's power output, but the actual environment? Not that important.

It's bizarre.
by lproven | 2025-09-12 23:05:06+00:00
Currently it's very limited, but the BeTrusted Precursor is in the ballpark:

https://www.crowdsupply.com/sutajio-kosagi/precursor

I wrote a little about it today, as it happens:

https://www.theregister.com/2025/09/12/three_new_microkernel...
by 0xbadc0de5 | 2025-09-12 23:05:07+00:00
Last time I checked, hacking was still a crime in most jurisdictions - even if the target is considered a geopolitical adversary. This sort of activity is also against the Proton ToS. Once KrCERT and Proton were alerted to this activity, they would have been legally obligated to act.

That's not to say I feel any sympathy to the target - who by all counts has done a fair bit of damage. But this sort of hacktivism / vigilantism simply isn't helpful. There's a high likelihood that one or more nation states / law enforcement agencies may have had active operations directed against this threat actor derailed by such activity.

tl;dr - If you're going to conduct such activities, practice proper OPSEC. And don't let your desire for attention / recognition take priority over staying on the right side of the law.
by throwawayffffas | 2025-09-12 23:05:21+00:00
Yes the cost of depositing nuclear waste is trivial, it takes a small number of large concrete structures underground in well picked locations.

The US produces about 1250 cubic meters of waste per year. For comparison the empire state building has a floor area of 208000 square meters, assuming a 3 meter floor height you could fit about 500 years worth of spent fuel inside it.
by Freedom2 | 2025-09-12 23:06:26+00:00
> Hence Leetcode is a reasonably good test for the job. If it didn't actually work, it would've been discarded by companies long ago.

This is an appeal to tradition and a form of survivorship bias. Many successful companies have ditched LeetCode and have found other ways to effectively hire.

> If you can show that you can become excellent at one thing, there's a good chance you can become excellent at another thing.

My company uses LeetCode. All I want is sane interfaces and good documentation. It is far more likely to get something clever, broken and poorly documented than something "excellent", so something is missing for this correlation.
by epolanski | 2025-09-12 23:06:56+00:00
> Your country sold you down the river 30 years ago.

Jm2c but I think the harsh truth is that US while having a decently sized population of good software engineers, it is still nowhere near the required amount.

Thus, many companies would rather give 150/200k to someone who's actually good at it and will be impressed by that money rather than some half assed US graduate who only went into SE because he wanted a cushy well paying job.
by Kon5ole | 2025-09-12 23:07:50+00:00
But why is it a cost thing? I got a 55 inch 8k tv for less than 1000 usd years ago, including sales tax and overhead from a physical store. It’s the best monitor I’ve used.

Today, many years later, monitors are still way worse and more expensive! Also you can basically not buy the tv’s anymore either.

The panel factories existed, and the panels were cheap, years ago. They’re just not used anymore (or so it seems).
by phil21 | 2025-09-12 23:07:55+00:00
It's exceedingly overblown. I agree administration (not teachers) are the issue here, they are the ones who are terrified of the liability fairy and refuse to actually support anyone who is actually attempting education. They don't want to have to take a single risk and maybe have to either do some work or lose their cushy job. Much easier to do nothing and pretend they are terrified of having to deal with manufactured complaints. These school districts are large - they could trivially come up with a in-house legal defense team and strategy for a rounding error on their budget and kill these stupid things as a chilling effect.

I've watched it happen in real time. Administration terrified of totally nonsense complaints and pretending that they just can't take on the "liability" - most of which would be laughed out of court. Bury these people in legal bills if they want to bring such crazy to court. But there is no risk ever taken unless an administrator's career is the one on the line.

Phone breaks in the custody of a teacher and there is not actual evidence of that happening? Too bad. Sue us. No one is suing over a $800 phone unless it turns into a crusade. If the latter happens, put up the strongest legal defense possible and make sure anyone watching understands they are not an easy target for such things. Don't want your phone to "break" while in custody of the school? Easy. Don't bring it to school and violate school policy.

If there were a competent administrator they'd be having parents sign release forms at the start of the school year for the topic. First offense confiscation for the day. Second you get it back on Friday. Third at the end of the school year.

I don't disagree that we treat teachers like shit. They are the equivalent of a retail employee being put in the front line and forced to deal with customer's vitriol due to horrible corporate policies set by do-nothing executives making 20x what they are. I put nearly all the blame on incompetent and downright corrupt administration enabled by equally deeply unserious politicians.
by godelski | 2025-09-12 23:08:40+00:00
> the GP

michaelt?

We're at a point where if that is parody then it is indistinguishable from reality. I hope you're right and that it is parody. But hell, just the other week I saw someone pull out the "bUt YoU dIdN't UsE a SoTa MoDeL" card in reference to a GPT-5 output and I mistakenly assumed this was a joke.

Sarcasm doesn't seem to translate well over the internet. Fewer clues and people conflate the ability to read with literacy. I love sarcasm, but it appears Descartes was right

> Any community that gets its laughs by pretending to be idiots will eventually be flooded by actual idiots who mistakenly believe that they’re in good company.
by JonChesterfield | 2025-09-12 23:09:10+00:00
Trusting that the compiler docs correspond to reality is a bit of a risk here.

I lost a bunch of my evening to gcc refusing to find glibc headers and the docs wouldn't have helped me there. I did find a wontfix bugzilla from 2020 though, so that's nice.

The alternative would be to start stoically writing test programs and gradually reinvent part of autotools. Maybe run your conformance tests on the platforms that do have docs as well. Sounds like you may already be doing that :)
by ggm | 2025-09-12 23:09:26+00:00
I appreciate it's an appeal to authority but this is a six year old 40,000 karma posting account. It's clearly work in progress from a reputable source. What's your beef?

You're stating gospel about conjecture. They're stating economics from mass statistics. Petty tax avoidance in the cash economy is understood and measured. Why do you think NBER are unaware of this?
by throwaway652368 | 2025-09-12 23:10:22+00:00
I've never seen a math journal that requires academic credentials or affiliation to submit a paper, and I've published several math papers without an academic affiliation. You can put your employer as your affiliation or even "Independent Researcher". The hard part is writing the papers themselves. Getting a paper in a decent math journal as an outsider is rare, not because the journals ban or are biased against outsiders, but just because it's rare for an outsider to write a decent math paper.
by labcomputer | 2025-09-12 23:11:33+00:00
Right, but the problem with CHERI is that you may (probabilistically) continue to have that capability even after you shouldn't. That's the problem.

That's because the capability (tagged pointer) itself is what gives you the right to access memory. So you have to find all the capabilities pointing to a segment of memory and invalidate them. Remember, capabilities are meant to be copied.

Early work on CHERI (CHERIvoke) proposed a stop-the-world barrier to revoke capabilities by doing a full scan of the program's memory (ouch!) to find and invalidate any stale capabilities. Because that is so expensive, the scan is only performed after a certain threshold amount of memory has been freed. That threshold introduces a security / battery life trade-off.

That was followed by "Cornucopia", which proposed a concurrent in-kernel scan (with some per-page flags to reduce the number of pages scanned) followed by a shorter stop-the-world. In 2024 (just last year), "Reloaded" was proposed, which add still more MMU hardware to nearly eliminate pauses, at the cost of 10% more memory traffic.

Unfortunately, the time between free and revocation introduces a short-but-not-zero window for UAF bugs/attacks. This time gap is even explicitly acknowledged in the Reloaded paper! Moreover, the Reloaded revocation algo requires blocking all threads of an application to ensure no dead capabilities are hidden in registers.

In contrast, with MTE, you just change the memory's tag on free, which immediately causes all formerly-valid pointers to the memory granule to become invalid. That's why you would want both: They're complementary.

* MTE gives truly instantaneous invalidation with zero battery impact, but only probabilistic spatial protections from attackers.

* CHERI gives deterministic spatial protection with eventually-consistent temporal invalidation semantics.
by nsagent | 2025-09-12 23:11:35+00:00
Proton seems to have a lot of cheerleaders that come out of the woodwork when anyone complains. I'm happy that somehow their code is magically bug free for you, since you've somehow never encountered any bugs whatsoever in their code (despite their release notes mentioning literal bugs they've fixed).

I'm glad it works for you, but their offering is frequently buggy and broken for me.
by thephyber | 2025-09-12 23:11:40+00:00
Arguably this is because of the reactions of Republicans, gaslighting us about CK’s actual beliefs, turning the temperature up (blaming Democrats, “this is war”, calling Democrats terrorists, likening it to the Reichstag Fire, and a Republican Congressman declaring that anyone making light of it should be cancelled permanently from social media / government / society).

I would argue CK was somewhat influential among getting lots of young Christians to vote for Trump, who clearly doesn’t live Christian beliefs, but the shooting is being catastrophized for political value.
by araes | 2025-09-12 23:11:47+00:00
Thanks, was actually my main question on reading the article. "Why go to all that effort if an American will accept the job for the same pay and you don't have to deal with sponsorship?" This seems like one of the most likely reasons. Racism's been mentioned, yet leverage over employees who have very little other alternative seems somewhat more likely. American's will just leave and go look for another job. Probably much larger chance of having them lateral to a different company also.

fmajid in another thread had a similar paraphrase

> H1-B holders have to find a new employer within 2 weeks or lose their visa, the threat of firing is the same thing as deportation, making for a form of indentured servitude.

It's probably greater difficultly to lateral also, since then there's another company talking with the government about sponsorship on somebody you're already sponsoring. A lot of banks and financials already have standing threats to fire anybody they even find looking around.
by aryonoco | 2025-09-12 23:12:17+00:00
I moved from Proton to Fastmail (and Mullvad for VPN).

I was a a founding paying member of Proton Mail. I loved them and evangelised them for years. But after a decade, the quality of the offering, especially the mail and calendar, is almost a joke, and the company seems very distracted chasing the next big thing (the half baked password manager being one).

Comparing Fastmail’s UI and feature set with Proton, you quickly realise they are leagues apart.

And no Fastmail doesn’t provide e2e encryption. For that I use Signal, and for the few occasions where I need e2e encryption in email, I use PGP.

My only wish is that there was more client support for JMAP protocol. Even thunderbird doesn’t support it, and I can’t go back to IMAP because I like labels. Thankfully Fastmail’s own web interface is so good it is not a big issue.
by Animats | 2025-09-12 23:12:50+00:00
> Tesla went into humanoid robots to pump the stock. Everything else in your comment is more locked to direct observable info. However this really isn't.

Musk says it is: "Tesla CEO Elon Musk said on X that about 80% of his automaker’s value will come from Optimus humanoid robots. Musk said in mid-2024 that Optimus robots could make Tesla a $25 trillion company, equal to more than half the value of the S&P 500 at the time of his comment."[1]

I'd like a good $35,000 electric Jeep myself.

[1] https://www.cnbc.com/2025/09/02/musk-tesla-value-optimus-rob...
by 0xbadcafebee | 2025-09-12 23:13:00+00:00
Fastmail is fine. It's somewhat limited in its UX, but technically speaking, everything works, and it's snappy. Very few outages. I really like their integrations with calendars, contacts, and mail for 3rd party sites/services. Not a ton of features or deals re: custom domains or multiple users, but it's fine if it's just for yourself. edit They literally -JUST- turned on Offline support for their app and web interface, so my only real complaint is gone. Go with Fastmail.

For a VPN, what do you need it to do? For tinfoil hat privacy stuff, get a VPS in Estonia or something. If you just want a secure tunnel while working remote, get a WiFi access point with Wireguard and Dynamic DNS at your home (it's free plus you probably have more bandwidth).
by kccqzy | 2025-09-12 23:13:08+00:00
This is unlikely to be of use to your friends. Companies hide these job openings because they aren't real: they are filled by a real person right now. If someone applies, they won't be hired because there's no extra headcount. They will just be rejected after a resume review. Companies usually don't even extend interviews to such candidates. Applying only delays the green card process of a foreigner since they will need to rewrite a job description to be even more tailored to that already employed person.