MurphyA/hacker-news huggingface dataset:
by cwzwarich | 2025-09-20 13:31:19+00:00
CPS is fairly dead as an IR, but the (local) CPS transform seems more popular than ever with languages implementing "stackless" control effects.

As far as functional IRs go, I would say SSA corresponds most directly to (a first-order restriction of) ANF w/ join points. The main difference being the use of dominance-based scoping rules, which is certainly more convenient than juggling binders when writing transformations. The first-order restriction isn't even essential, e.g. https://compilers.cs.uni-saarland.de/papers/lkh15_cgo.pdf.

If you're interested in an IR that can express continuations (or evaluation contexts) in a first-class way, a much better choice than CPS is an IR based on the sequent calculus. As I'm sure you know (since you work with one of the coauthors), this was first experimented with in a practical way in GHC (https://pauldownen.com/publications/scfp_ext.pdf), but there is a paper in this year's OOPSLA (https://dl.acm.org/doi/10.1145/3720507) that explores this more fundamentally, without the architectural constraint of being compatible with all of the other decisions already made in GHC. Of course, one could add dominance scoping etc. to make an extension of SSA with more symmetry between producers and consumers like the classical sequent calculus.
by ModernMech | 2025-09-20 13:31:23+00:00
This has been going on for 10 years. I'm actually surprised it has withstood as much as it did. As they say, these things tend to move slowly, and then all at once.

The main problems seems to be that in order to stop these things, you have to recognize them well ahead of when the metastasize (what's happening now). We had several obvious opportunities where the call was easy, and we couldn't make the right call every time.

The first was in 2016 when Trump revealed his abject racism and sexism, two qualities that are necessarily required for a fascist movement. If we had rejected him on the basis that he sexually assaulted women, which we knew in 2016 before the first election, we could have averted this whole disaster.

Then we had another opportunity in 2020, when he had organized an insurrection against his own government to prevent the peaceful transfer of power. At that time, we could have arrested him, convicted him, and also impeached him, barring him from office forever. If we had done that, we could again have averted this whole disaster.

Then we had a THIRD opportunity in 2024. I don't need to go over that recent history, but it suffices to say at that time we knew he was a racist, sexist, insurrectionist and we STILL voted him into power.

So I don't think the system was all that fragile. It's just, it can't bear the load of so much stupidity and self sabotage. No matter how robust the system it can't survive if you just invite the vampires in the front door!
by echo_vick | 2025-09-20 13:31:37+00:00
Appreciate your feedback. The “international feel” is exactly what I was hoping would come through, the little cultural differences that make stories distinct, but still human.

You’re spot on about the padding. I was going for clean and breathable, but doomscrolling thrives on tighter density. I’ll play with the layout so it’s easier to get lost in the feed.

Thanks for the nudge.
by skeeter2020 | 2025-09-20 13:31:43+00:00
Ublock origin rule to hide shorts:

!2024-03-07 Hide Shorts - HN

youtube.com##ytd-rich-section-renderer:has(#rich-shelf-header:has-text(Shorts))

youtube.com##ytd-reel-shelf-renderer:has(.ytd-reel-shelf-renderer:has-text(Shorts))

I'd suggest using YT not logged in and within a container. The "personalization" - as you mention - doesn't add much and really just increases your value to YT.
by ericmay | 2025-09-20 13:32:06+00:00
> Meanwhile, if you didn’t return by Sunday, you’re locked out of the country and unable to show up for work which will result in your termination fairly soon.

I’m actually curious, have you worked at a large corporation before?

It would be atypical for the scenario you are describing to occur given that there has been a US government policy change that’s of no fault of the employee who is still eligible to work in the United States.

Folks aren’t going to be sitting around on Monday morning saying jeez Billy on the H1B visa didn’t show up to work today and we have no clue why, guess he is fired!

Within business units at this scale there are small, dedicated teams that manage contractors, vendor contracts and licenses, keep track of employees on visas, report that information for compliance purposes, etc, and they are almost certainly communicating with their employees who are currently out of the country to provide arrangements and additional details as things progress.
by jmclnx | 2025-09-20 13:32:15+00:00
>Some employers have exploited the program to hold down wages, disadvantaging U.S. workers,

Change "Some" to "All major employers". I worked at a fortune 500 company in IT and all they hired were H1B employees over the past 15/20 years. The last raise we got that was above inflation and health insurance increases was before 2000. I left 2 years ago and after I left they fired almost everyone in the IT Dept I was in and replaced them with H1B.

So I hope this sticks. Plus remember, H1B people should make a fair wage too, all too often their salary is set by their contracting firm and is far far lower then what we got.
by ben_w | 2025-09-20 13:32:22+00:00
Weirdly, you can not only do this, it somehow does actually catch some of its own mistakes.

Not all of the mistakes, they generally still have a performance ceiling less than human experts (though even this disclaimer is still simplifying), but this kind of self-critique is basically what makes the early "reasoning" models one up over simple chat models: for the first-n :END: tokens, replace with "wait" and see it attempt other solutions and pick something usually better.
by jmcodes | 2025-09-20 13:32:43+00:00
Yes, hence tests, linters, and actually verifying the changes it is making. You can't trust anything the LLM writes. It will hallucinate or misunderstand something at some point if your task gets long. But that's not the point, I'm not asking it to solve things for me.

I'm using it to get faster at building my own understanding of the problem, what needs to get done, and then just executing the rote steps I've already figured out.

Sometimes I get lucky and the feature is well defined enough just from the context gathering step that the implementation is literally just be hitting the enter key as I read the edits it wants to make.

Sometimes I have to interrupt it and guide it a bit more as it works.

Sometimes I realize I misunderstood something as it's thinking about what it needs to do.

One-shotting or asking the LLM to think for you is the worst way to use them.
by echo_vick | 2025-09-20 13:33:01+00:00
You’re actually right, anonymous posting has been around for decades. Craigslist, Whisper, PostSecret, Reddit… all had their moment.

The underserved need (at least how I see it) is that most existing platforms tied anonymity back to profiles or clout. Reddit has karma. Twitter/X has followers. Even “throwaway” accounts aren’t fully free of identity.

The experiment here is: what if there’s no account, no profile, no karma? Just the raw story itself. Almost like “content without authorship.”

Whether that’s a niche people care about in 2025 is exactly what I’m testing. Lean Startup-style. Ship small, measure, learn.

Appreciate the reality check though.
by jacquesm | 2025-09-20 13:34:01+00:00
No, but it is practical: you can consider your life in the US and what you've built up there as an immigrant pretty much lost or at least hanging by a silken thread that can be capriciously cut at any moment. This all depends on the whims of the dictator. Almost anything is better than that.

Remember that the purpose of the Berlin wall was not to keep the West out but to keep the East in. You're at the stage where 'in' and 'out' are being defined and if you have the choice I'd go for 'out' even if that means a temporary - large - setback.
by jeneleski | 2025-09-20 13:34:41+00:00
Sad and sorry to hear of Gregg's passing. I've known Gregg since day one. his father knew my father. we took 2 week long family ski vacations together in Sun Valley, Idaho. Im missing Gregg's smile and laughter. He laughed when his sister and I wrapped my brother in a Scott ski boot box and presented to Gregg for his birthday. or when thought we were so funny following Gregg into the movie theatre. we stacked my brother on my shoulders and put a raincoat over the two of us thinking the theatre ticket person would let us in because of the height created by stacking my brother on my shoulders. Gregg just laughed at our silly pranks. Gregg left me with the best life lesson he shared. pay attention to what can be " Certainly, seek out meaningful work, but prioritize loving relationships over it.
by Leynos | 2025-09-20 13:34:52+00:00
At least for me, I can have five of these processes running at once. I can also use Deepresearch for generating the designs with a survey of literature. I can use NotebookLM to analyse the designs. And I use Sourcery, CodeRabbit, Codex and Codescene together to do code review.

It took me a long time to get there with custom cli tools and browser userscripts. The out of the box tooling is very limited unless you are willing to pay big £££s for Devin or Blitzy.
by rawgabbit | 2025-09-20 13:36:16+00:00
The executive order said to bar re-entry unless the $100k was paid. This is the enforcement mechanism. https://www.whitehouse.gov/presidential-actions/2025/09/rest...

Quote: Section 1. Restriction on Entry. (a) Pursuant to sections 212(f) and 215(a) of the Immigration and Nationality Act (INA), 8 U.S.C. 1182(f) and 1185(a), the entry into the United States of aliens as nonimmigrants to perform services in a specialty occupation under section 101(a)(15)(H)(i)(b) of the INA, 8 U.S.C. 1101(a)(15)(H)(i)(b), is restricted, except for those aliens whose petitions are accompanied or supplemented by a payment of $100,000 — subject to the exceptions set forth in subsection (c) of this section.
by meisel | 2025-09-20 13:36:20+00:00
Another speed up method here would be using simd, although it would be interesting to see in the assembly if it was auto-vectorized already.

This reminds me of a trick to sort floats faster, even if they have negatives, nans, and inf: map each float to a sortable int version of itself where one can compare them as ints (the precise mapping depending on how you want to order stuff like Nan). The one time conversion is fast and will pay off for the lg(n) comparisons. Then after sorting, map them back.
by Muromec | 2025-09-20 13:36:21+00:00
Why can't they set a salary cutoff for visas at something like 1.5x of median salary in the same industry? That's what EU does. No lottery, no degree requirement even -- if the company wants you to pay above the market, they can, otherwise, nah.

This of course creates another problem -- highly paid foreigners price locals out of the housing market, but hej, we can always blame that on refugees, right.
by jeneleski | 2025-09-20 13:36:22+00:00
Sad and sorry to hear of Gregg's passing. I've known Gregg since day one. his father knew my father. we took 2 week long family ski vacations together in Sun Valley, Idaho. Im missing Gregg's smile and laughter. He laughed when his sister and I wrapped my brother in a Scott ski boot box and presented to Gregg for his birthday. or when thought we were so funny following Gregg into the movie theatre. we stacked my brother on my shoulders and put a raincoat over the two of us thinking the theatre ticket person would let us in because of the height created by stacking my brother on my shoulders. Gregg just laughed at our silly pranks. Gregg left me with the best life lesson he shared. pay attention to what can be " Certainly, seek out meaningful work, but prioritize loving relationships over it
by DashAnimal | 2025-09-20 13:36:37+00:00
Per the proclamation:

"the entry into the United States of aliens as nonimmigrants to perform services in a specialty occupation under section 101(a)(15)(H)(i)(b) of the INA, 8 U.S.C. 1101(a)(15)(H)(i)(b), is restricted, except for those aliens whose petitions are accompanied or supplemented by a payment of $100,000 — subject to the exceptions set forth in subsection (c) of this section. This restriction shall expire, absent extension, 12 months after the effective date of this proclamation, which shall be 12:01 a.m. eastern daylight time on September 21, 2025."

So it applies to all H1Bs. Subsection c is limited (but will be interesting to see how it plays out) so I don't bother sharing.

Actual proclamation here: https://www.whitehouse.gov/presidential-actions/2025/09/rest...
by brainless | 2025-09-20 13:36:41+00:00
This is terrible lack of planning. I understand the need for the US to be strict about people entering the country. They have a right to choose but this is so mismanaged.

There are so many active H-1B visa holders, now everyone is just anxious. The rules can start for new visa applications. For existing holders, there should be a time period where people can figure out if the employer is even able to pay.

If this stays in effect for existing visa holders and the employers cannot pay in time or wants to change the contract, the individuals and their families are stuck. Plus, employees probably lose their job if employer cannot pay the fees.
by risyachka | 2025-09-20 13:37:13+00:00
I also know people with 10 yoe. But when I dig into it almost always those people have a massive list of requirements for the job they want (remote/short commute/no overtime ever/etcetc)

Though it is reasonable to ask whatever you want you must understand there are always someone more desperate (and often with higher skills) that will take that job.

So the fact that 10yoe can’t find a job doesn’t mean anything. Usually this is either too many demands from seeker or skill issue.

Or they don’t eant to take lower salary.

If a company was willing to pay 70k for a developer you must be delusional to think they will suddenly decide to pay 100k+ for local talent.

They will just get a remote contractor
by throwaway2037 | 2025-09-20 13:37:23+00:00
I have a controversial, non-scientific view: When you live in a place with better weather, your mental health is better. This has enormous second order effects. (I have no idea if this can be scientifically explained due to UVA/UVB exposure.) I grew up in place with horrible, long winters. When I finally escaped to places with better weather, it was life altering. I will never forget living as a university student in Silicon Valley. My otherwise unimpressive apartment had an orange tree in the backyard. I could pick the oranges and eat them. Weeks elapsed where there wasn't a single cloud in the sky. I cannot stress enough how much this improved my mental health.
by jonpurdy | 2025-09-20 13:37:56+00:00
Reading a thread on r/immigration involving multiple immigration lawyers and corporate lawyers※, the Executive Order wording is apparently unclear and leaves CBP agents with discretion (which can obviously cause confusion and not apply the same rules to everyone).

Much easier for the companies to recommend/insist on folks fly back before the deadline to avoid issues.

※ - https://www.reddit.com/r/immigration/comments/1nlo8jd/h1b_pr...
by bluefirebrand | 2025-09-20 13:38:31+00:00
> I really believe there are people out there that produce good code with these things, but all I've seen so far has been tragic

I don't believe this at all, because all I've seen so far is tragic

I would need to see any evidence of good quality work coming from AI assisted devs before I start to entertain the idea myself. So far all I see is low effort low quality code that the dev themself is unable to reason about
by hellcow | 2025-09-20 13:38:41+00:00
The comments here are awful. What happened to “Hacker” news?

This is a Linux phone that actually works, running Debian. It has a battery that competes with the runtime of any modern phone. It has a snappy UI and can reliably make calls. Already it’s the best Linux phone in the world, just on that basis.

They’re selling it for the same price as the outgoing model despite tons of bullshit tariffs being levied against them. What an achievement!

I want a Linux phone that works, and I want to support a world where Linux phones exist and are financially viable to make, therefore I will buy this as my next phone.
by Muromec | 2025-09-20 13:38:54+00:00
>Folks aren’t going to be sitting around on Monday morning saying jeez Billy on the H1B visa didn’t show up to work today and we have no clue why, guess he is fired!

I deeply suspect it will go both ways -- one Billy would be paid for, while the other will be fired for not being able to show up. Not every Billy is on the same good standing with the corp.
by fuzzfactor | 2025-09-20 13:39:03+00:00
Some subject material is "heavier" than others ;)

I would say for me it was back in college, mainly in textbooks for mainstream physics and chemistry, especially the ones about thermodynamics.

I already was pretty familiar with equations beforehand, and these equations do not lie. I was studying hard.

When you do the math, it just plain takes more work and burns more resources, and always takes more concerted effort to keep your weight up than it does to let it slip.

I was putting relatively more effort into academics instead.

Plus this was way before the internet. Laptops, or even PC's didn't exist yet. These books weighed kilos and I was lugging them miles to classes on my solid steel bicycle and up & down numerous staircases within non-air-conditioned classrooms and dwellings all day. Except when there was no class it was worth a trip to the main library where they had A/C.

I can't recommend any true weight-loss classics since that's not what I was pursuing back then, but I sure ended up thinner and in better shape than when I started, after only a few short years, and for me it was the textbooks alone.
by FridgeSeal | 2025-09-20 13:39:13+00:00
I mean, the suv case is easy:

- market SUV’s.

- stock dealerships with mostly SUV’s

- complain that nobody is buying non-SUV’s (they can’t, it’s only suv stock),

- stop selling non-SUV models.

- complete transformation into indeterminate, indistinguishable car brand no.3564.
by leakycap | 2025-09-20 13:39:14+00:00
Wild that Google unsubscribing from a terrible newspaper made news on TechCrunch. Most interesting fact in the article is the average 14% drop of visitors referred by Google to typical websites.

Traffic coming from google to my client's sites hasn't dropped double digits, but the industry I serve is not discretionary. Overall traffic hasn't dropped but I am seeing drops of at least 5% across the board from Google referrals in any recent data to same period 1 year ago.
by KPGv2 | 2025-09-20 13:39:58+00:00
Also with EDNS0, you can send larger messages over UDP, too, because you aren't restricted to a single UDP payload, but can send multiple datagrams.

It's pretty cool how this tech has evolved. UDP has become so much more reliable that you can even do SSL over UDP, with a complex mechanism meant to account for dropped packets during the handshake process.
by Alifatisk | 2025-09-20 13:40:00+00:00
I think the meat is in these two paragraphs

> with the recent increase of software supply chain attacks, we are taking proactive steps to safeguard the Ruby gem ecosystem end-to-end. To strengthen supply chain security, we are taking important steps to ensure that administrative access to the RubyGems.org, RubyGems, and Bundler is securely managed

So the recent supply-chain attacks on npm has made the Ruby folks a bit worried and wanted to be more cautious and secured in preparation for similar attacks on RubyGems

> Ruby Central has to safeguard the supply chain and protect the stability of the ecosystem. We are strengthening our governance processes and tightening access to production systems. So only engineers employed or contracted by Ruby Central will hold administrative permissions to the RubyGems.org

This is not an exact quote, I removed some fluff. But this is basically their reason for the hostile takeover?
by visarga | 2025-09-20 13:41:05+00:00
I think extraction from the model itself is a bad idea. But extraction from external sources, such as the deep research reports LLMs generate, or solving problems where we have validation of correctness is a good idea. The model is not validating its outputs by simply doing another inference, but consults external sources or gets feedback from code execution. Humans in chat rooms could also provide lots of learning signal, especially when actions are judged against the outcomes they cause down the line, using hindsight.

So in short what works is a model + a way to know its good outputs from bad ones.
by yomismoaqui | 2025-09-20 13:41:10+00:00
In my career I have been a "Perl programmer", a "Java programmer", a "Python programmer", a "JS programmer"... the common word in all of these titles being "programmer".

The value you bring to a company should be more than your knowledge of a specific syntax and ecosystem. You get paid to solve problems with computers, strive for that.
by cjbgkagh | 2025-09-20 13:41:47+00:00
Net income per employee at MS is $440K so if H-1B are so important then they can afford it. I worked at MS on a visa and it definitely felt like I was a second class citizen that managers could freely abuse without recourse, it didn’t help that corporate politics had become tribal. So while having a visa was beneficial to me personally I felt it lead to the degradation of the employment market, now a market for lemons, and this hurt Americans. High prices are a signal and people make career choices based on prospective income, many of America's smartest got the memo that Software Engineering was going to be taken over by H-1B Indians and they should pick a different career like law, finance, or medicine. So the program created the problem it was purporting to solve, the fact that the problem exists even though we’ve had H1-Bs for decades. The irony is that without the H-1Bs the US market might be attractive enough for me to return, sadly I’d need the visa. I’m content knowing the market isn’t being destroyed for Americans even if it means I can’t partake in it.

That said I wonder if it’s more of a power grab with the discretion to grant exemptions being used to strong arm corporations to clamping down on criticism of Israel.
by Igrom | 2025-09-20 13:41:55+00:00
While you're making a point in response to a specific post (and the OP), and so you're making a point strictly about Microsoft, an implicit premise that's supposed to strengthen your argument is that only the deep-pocketed Microsoft or its equals are subject to penalties. What about other companies for which this is a less manageable expense?

And is it respectable and okay to switch up the law over the weekend if, and just because, the ones who are affected are large companies? Realistically, what's the rush to have the "law" (Congress?) come into effect two days after its announcement, beside making it a shakedown? Remember that policymakers anticipate, or should anticipate, second-order effects. Either Microsoft forks out $100k per employee, or the cost of coping with the new policy is pushed onto the regular Joe. In any case, this produces a sense of crisis and urgency that you'd criticize if it happened at a measly, inexperienced startup you happened to work at.

The law changes three months ahead? Looks like I'll have to cancel my December plans. But when I'm on a holiday? Sure, let me pack my bags, get back to the nearest airport and take the first transcontinental flight. Or maybe Microsoft is flexible enough to have me shoulder the $100K to stay until the end of my holiday?

I'm not sure how openly the measure was discussed beforehand (and on that point: the employees already have visas; why must they return, unless their visa is about to expire?), but it was promulgated _yesterday_.