MurphyA/hacker-news huggingface dataset:
by KronisLV | 2025-04-16 17:25:08+00:00
Oh hey, they've worked some more on the features: https://www.jetbrains.com/ai-assistant/

And it's available with the all products pack: https://www.jetbrains.com/ai-ides/buy/?section=personal&bill...

I think I'll be more than happy to try it out then cause I have that pack and compare it against the Github Copilot plugin, or the likes of Continue.dev (which was pretty good in VS Code, but kind of buggy in JetBrains IDEs).
by porridgeraisin | 2025-04-16 17:25:20+00:00
Likening CVE database maintainers to natural disaster response teams and an entire country's medical board is quite the achievement in hyperbole, congratulations.

Anyway, my opinion is that CVEs have a very low signal-noise ratio and vulnerability databases in general should be revamped to try and fix that problem. The current system - I don't claim to know the root cause - is simply horrible. It could be the management, the entry requirements, some loophole perhaps, etc,. I also don't claim that this is the motive behind this move, I am just hoping it gets revamped anyway as a side effect (There's another article on HN floating around that says someone else has picked up the baton - good luck to them). I also don't care for your country's politics which you seem to be eluding to in your final paragraph.
by miramba | 2025-04-16 17:25:33+00:00
Yes, Option would disable Basic on boot. The first Ataris (400 and 800) came with a basic module that you had to put in and then start the computer to use Basic - or likewise Assembler. The module would then use certain parts of the precious 64 KB Ram - actually, much less because the OS in ROM would write itself into RAM on startup and take about 20KB away. So a program or game had about 40 KB space to use. Basic would take some more away. Which wasn‘t a problem on the 800, you would either plug the module in and use Basic but you wouldn‘t if you wanted to load a game. But with the XL, you needed a way to disable the automatic Basic load at boot time, or many games could not use all of the memory they needed. Hence, the Option-option at startup.

At least I remember it this way, but I only had an XL, not the older ones, and now I remember that the 800 had only 48KB of RAM, so it was probably more complicated than that!
by ferguess_k | 2025-04-16 17:25:54+00:00
Some other thoughts as I cannot edit the reply.

- For Physics laws, I'd say the host environment is most likely also 3d + time = spacetime. It shouldn't be of higher dimension unless they deliberately wanted to do so.

- Again the speed of light is probably also a hard limit in the host env, but maybe of a different value to ease the resources needed.

- I don't know anything about souls, but if the soul is simply a piece of core data inside of each entity, I think there is a way to conserve the soul and inject it into another entity, and they have exactly the same soul (no real death).

- There might be some ways to be the "malware" of humans.

- There might be some ways to escape from the monitor programs, whatever they are, like malware.

- How does the host update the simulation without we feeling it?
by jwortmann719 | 2025-04-16 17:26:02+00:00
You are getting the AI FRee tier with any paid license for a JetBrains IDE and as you stated it should work with local AI models. I looked through our internal documentation, and I couldn't find anything that stated anything different. If you run into issues, please open a YouTrack ticket and we can have a better discussion/look at what's going on, but with everything I see, I'd expect it to work the way you think.
by mandeepj | 2025-04-16 17:26:31+00:00
from the video: devs spend 30% to 50% of time on code reviews, with AI writing code, it's only going to get worse.

So, buy this AI tool (Merge) to review code written by another AI tool?

Instead of a Code review tool, why not have it instead as a static analyzer? Overall, the whole process will take much less time.
by Lammy | 2025-04-16 17:26:39+00:00
This sucks. I'm actually so sick of mandatory TLS. All we did was get Google Analytics and all the other spyware running “““securely””” while making it that much harder for any regular person to host anything online. This will push people even further into the arms of the walled gardens as they decide they don't want to deal with the churn and give up.
by hwpythonner | 2025-04-16 17:27:06+00:00
The whole “AI doesn’t understand” argument assumes we do.

John Searle’s Chinese Room makes the case: a person follows rules to manipulate Chinese symbols without knowing the language. From the outside, it looks like understanding—but inside, it’s just symbol shuffling.

But what if that’s us too?

What if our brains are just predictive engines—layers of heuristics, compression, and feedback—outputting the next “token” based on statistical patterns?

What if intelligence is just what statistical fluency feels like from the inside?
by badsectoracula | 2025-04-16 17:27:10+00:00
> And they're still making games that basically are Atari 2600 games with better graphics.

FWIW various Atari incarnations did try to move on to newer stuff but they all ended up with various levels of fail. The current Atari incarnation is probably the most (relatively) successful this side of the 2000s - though they're probably also (relatively) the smaller one.

I think they were close to closing shop before deciding to focus on the retro and indie gaming stuff.
by pwg | 2025-04-16 17:27:26+00:00
The original Atari 400/800 included BASIC on a ROM cartridge.

To use BASIC, you plugged the BASIC cartridge into the system and powered up.

To boot something else (games...., from either cassette or disk) you first removed the cartridge, then powered up.

With the XE series, BASIC was built in to the console, so the "magic keys" were needed to tell the hardware to virtually "unplug" the BASIC ROM before it tried booting from any connected devices.
by mentalgear | 2025-04-16 17:27:35+00:00
I have doubts whether the live stream was really live.

During the live-stream the subtitles are shown line by line.

When subtitles are auto-generated, they pop up word by word, which I assume would need to happen during a real live stream.

Line-by-line subtitles are shown if the uploader provides captions by themselves for an existing video, the only way OpenAI could provide captions ahead of time, is if the "live-stream" isn't actually live.
by jjani | 2025-04-16 17:27:36+00:00
Gemini 2.5 Pro is widely considered superior to 3.7 Sonnet now by heavy users, but they don't have an SWE-bench score. Shows that looking at one such benchmark isn't very telling. Main advantage over Sonnet being that it's better at using a large amount of context, which is enormously helpful during coding tasks.

Sonnet is still an incredibly impressive model as it held the crown for 6 months, which may as well be a decade with the current pace of LLM improvement.
by dcow | 2025-04-16 17:29:23+00:00
I truly empathize with your desire. But I can’t agree.

To get to the point of the community feeling like startup equity is worth something on average, I think we need to figure out how to generate more favorable outcomes for startup employees.

If startup equity is worth something 20% of the time, the average person would need to work at 4 startups before seeing value. And the statement that it has non-zero, but low, expected value, just isnt true. On average it wasn’t.

If we could make startup equity worth something-minus-x 100% of the time (instead of just something 20% of the time), I’d be more amenable to agreeing with you that you can place a reliable non-zero value on startup equity.

That means things like removing liquidation preferences. Unfucking the tax situation around options or making it standard politcy that the company buys your options for you. Universally allow secondary markets. Build in participation structures for existing employees through funding rounds.

Would you say the expected value of a lottery ticket is > 0? Because startup equity is just too unreliable for an average person to not treat it like a lottery ticket.

I will concede that if you are very very discerning in which startups you work for and a good negotiator and have access to questionably legal secondary markets, you may be able to beat the curve. But that’s certainly not the average case.
by mjevans | 2025-04-16 17:29:46+00:00
https://en.wikipedia.org/wiki/Aluminium_nitride For anyone else who wasn't familiar with the compound.

""" Aluminium nitride (AlN) is a solid nitride of aluminium. It has a high thermal conductivity of up to 321 W/(m·K)[5] and is an electrical insulator. Its wurtzite phase (w-AlN) has a band gap of ~6 eV at room temperature and has a potential application in optoelectronics operating at deep ultraviolet frequencies.

...

Manufacture

AlN is synthesized by the carbothermal reduction of aluminium oxide in the presence of gaseous nitrogen or ammonia or by direct nitridation of aluminium.[22] The use of sintering aids, such as Y2O3 or CaO, and hot pressing is required to produce a dense technical-grade material.[citation needed] Applications

Epitaxially grown thin film crystalline aluminium nitride is used for surface acoustic wave sensors (SAWs) deposited on silicon wafers because of AlN's piezoelectric properties. Recent advancements in material science have permitted the deposition of piezoelectric AlN films on polymeric substrates, thus enabling the development of flexible SAW devices.[23] One application is an RF filter, widely used in mobile phones,[24] which is called a thin-film bulk acoustic resonator (FBAR). This is a MEMS device that uses aluminium nitride sandwiched between two metal layers.[25] """

Speculation: it's present use suggests that at commercially viable quantities it might be challenging to use as a thermal interface compound. I've also never previously considered the capacitive properties of packaging components and realize of course that's required. Use of Al O as a heat conductor is so far outside of my expertise...

Could a materials expert elaborate how viable / expensive this compound is for the rest of us?
by formerly_proven | 2025-04-16 17:29:53+00:00
I'm surprised there is no authorization-certificate-based challenge type for ACME yet. That would make ACME practical to use in microsegmented networks.

The closest thing is maybe described (but not shown) in these posts: https://blog.daknob.net/workload-mtls-with-acme/ https://blog.daknob.net/acme-end-user-client-certificates/
by bobalob | 2025-04-16 17:29:53+00:00
More importantly though, it's a great day for women who need single-sex spaces. This is a much-needed clarification of the law.

The Supreme Court judgment makes this very clear: if you're male, having a Gender Recognition Certificate doesn't make it okay for you to be in a female-only space. And those without a certificate shouldn't be there either. Service providers who insist otherwise can be held legally liable.
by codethief | 2025-04-16 17:29:57+00:00
Thank you so much! That's very enlightening!

> If you ever decide to try - ping me, I happen to know a few guys there :-)

Ha, I have actually been entertaining that idea for quite some time, but it seems rather difficult to penetrate that domain as an outsider. The links you shared only seem to confirm that. :-\ I'm not sure I would even want to compete with the Google/Apple Pay duopoly, for now I'd mostly just be interested in an open-source, privacy-preserving solution for contactless payments.

Anyway, you might want to add your contact info to your HN profile – just in case. ;-)
by legitster | 2025-04-16 17:30:07+00:00
From a different article:

> "The next step would be for the Court, pursuant to the Federal Rules of Criminal Procedure, to request that the contempt be prosecuted by an attorney for the government," Boasberg wrote.

> If the Government "declines" or "the interest of justice requires," the Court will "appoint another attorney to prosecute the contempt," he wrote.

He's already anticipating a corrupt DOJ trying to drop the case.
by Suppafly | 2025-04-16 17:30:51+00:00
With chatgpt, for noncoding things, it has rails to avoid things like copyrighted art, violence, adult topics, etc. For coding LLMs, I suspect they have things like preferences for certain data structures, avoiding directly returning training data (even if that training data might be the only feasible way to do something), preferences for certain languages and APIs, etc.

If you knew what some of those preferences and rails were ahead of time, it'd be easier to design your request and also know why it making some odd or unworkable suggestions.
by _mlbt | 2025-04-16 17:31:44+00:00
EDIT: Ignore me, as pointed out below I’m a hypocrite per my comment history where I have engaged in the past on political topics here against my better judgement. Sorry, I was having a bad day.

It’s a free country…post what you want and I’ll ignore what I want. :)

From the HN Guidelines...

Off-Topic: Most stories about politics, or crime, or sports, or celebrities, unless they're evidence of some interesting new phenomenon. Videos of pratfalls or disasters, or cute animal pictures. If they'd cover it on TV news, it's probably off-topic.

Can we please stop with all the political postings on here. It's really drowning out the interesting content. There are plenty of other avenues to discuss politics.
by mwkaufma | 2025-04-16 17:31:59+00:00
replace/luminescence/luminance (thanks autocorrect).

Legacy OpenGL APIs used to assume sRGB, so you had to specify GL_LUMINANCE for non-color 'intensity' maps (which couldn't be blitted to FBOs, e.g.).

Modern OpenGL assumes linear color, so instead you have to specify sRGB on texture load to direct the driver to do colorspace conversion (e.g. GL_SRGB8 for typical RRGGBB byte triples).

More info: https://www.khronos.org/opengl/wiki/Image_Format
by specialist | 2025-04-16 17:32:11+00:00
Sometimes I imagine "progress" as movement along a coil.

In 2D, it seems like you're just reinventing the wheel. But in 3D, you can see that some hack or innovation allowed you to take a new stab at the problem.

Other times I imagine trilemmas, as depicted in Scott McCloud's awesome book Understanding Comics.

There's a bounded design (solution) space, with concerns anchoring each corner. Like maybe fast, simple, and correct. Or functional, imperative, and declarative. Or weight, durability, and cost. Or...

Our job is to divine a solution that lands somewhere in that space, balancing those concerns, as best appropriate for the given context.

By extension, there's no one-size fits all perfect solution. (Though there are "good enough" general purpose solutions.)

The beauty of experiencing many, many different cuts at a problem, is that one can start to intuit things. Like quickly understand how a new product fits in the space. Like quickly narrowing the likely solution space for the current project. Comparing and contrasting stuff in an open-minded semi-informed way.

Blah, blah, blah.
by losvedir | 2025-04-16 17:32:12+00:00
As someone teaching their 4 year old to read right now, I don't buy it. The text is long on "friendly" and random stuff like that, but that's not what I'm looking for in a font for kids.

Just off the top of my head the "v" in there doesn't have a point on the bottom, which is one of the confusions my daughter has ("u" vs "v"). And I don't think the "n" needs the serif on the right foot, as that's not the "platonic" shape of a lower case N. I do appreciate that their lower case "a" is more like a handwritten one, as is the lower case "g".

I've been going through the Teach Your Child to Read[0] book, and it introduces a "learner-friendly" font, which actually helps. It has special glyphs for "th", for example, and other font tricks like making silent letters smaller, and different variants for the vowels depending on their sound. Eventually, those tricks are minimized and the kid is reading a normal font, though.

In other words, I'm interested in the idea of a font that's useful for early readers, but this font doesn't seem to be concretely designed in that way, and I'm put off by the vague "friendly" type stuff it seems to be focusing on.

[0] https://www.amazon.com/Teach-Your-Child-Read-Lessons/dp/0671...
by arp242 | 2025-04-16 17:32:22+00:00
> And just as people started comparing notes and figuring out that the story didn’t quite add up… the main Reddit thread got locked. Then deleted. Like, no public resolution, no real response, just silence.

Anything that doesn't fit the narrative must be deleted I guess.

As is so often the case, it's not the mistake itself that's the biggest problem but how people or organisations deal with the mistake.
by DebtDeflation | 2025-04-16 17:32:24+00:00
> most "AI Agents" that make it to production aren't actually that agentic. The best ones are mostly just well-engineered software with LLMs sprinkled in at key points

I've been saying that forever, and I think that anyone who actually implements AI in an enterprise context has come to the same conclusion. Using the Anthropic vernacular, AI "workflows" are the solution 90% of the time and AI "agents" maybe 10%. But everyone wants the shiny new object on their CV and the LLM vendors want to bias the market in that direction because running LLMs in a loop drives token consumption through the roof.
by ty6853 | 2025-04-16 17:32:45+00:00
I think the more common scenario is the kid cares about the parent but is unable to financially assist them because they're being taxed 20-30% by "society" (who as a kid basically left them high and dry), in addition to paying a large amount for their own children due to society imposed costs like paying out regulatory / licensing / tax overhead for daycare which is now required because being a latchkey kid or going to unlicensed daycare is effectively illegal -- leaving nothing left over to assist the parents financially.

If you killed off social benefits, desirable or not, there would be lot more left over for intra-familial support and the incentive would come back for people to invest in their own children. Or alternatively under a more society-driven system, make a proportional societal investment in children to what you ultimately take from them so that the incentives are not skewed. Ultimately the issue here is not individualistic or social systems for raising children but rather shoving almost all the costs on the individuals and then totally changing the system to being societal as soon as society can extract benefit.
by froddd | 2025-04-16 17:33:05+00:00
Holiday homes have quite the impact in many parts of Wales.

Occupancy ratings per house seem to be quite low on average [1], but weirdly I can’t seem to find any figures for overall occupancy.

[1] https://www.ons.gov.uk/peoplepopulationandcommunity/housing/...

Edit: clarification
by pwg | 2025-04-16 17:33:18+00:00
> much less because the OS in ROM would write itself into RAM on startup and take about 20KB away.

RAM shadowing of the ROM did not exist in the Atari's (at least not in the original 400/800 models). The ROM's simply were physically connected to actually "be" the top 16KB of the 6502's 64k max address space. The CPU executed the ROM code by directly reading the code from the ROM chips.

Which is also the reason the original 400/800 models were limited to 48k max RAM. 16k of the address space was already used by the ROMs.
by kenjackson | 2025-04-16 17:33:19+00:00
Thanks for the rubric. I found the complete listing. It’s useful to also see the instructions given: https://ap.uci.edu/faculty/guidance/ieactivities/

The instructions make it pretty clear what you need to write. This seems reasonable to me as PART of a total application, but not as the gate to get into the review process.

But again, this is not the same as a quota.
by jdietrich | 2025-04-16 17:33:50+00:00
The problem is that we're talking about "manufacturing" as one big homogeneous thing. The US obviously makes a bunch of stuff, but it has very limited ability to make lots of kinds of stuff, especially in a hostile trade environment.

The US manufacturing sector is about half the size of China's in terms of value-add, but it's much smaller by any other measure. The US has focussed on high-value verticals like aerospace and pharmaceuticals, where intellectual property provides a deep moat and secure profit margins. That kind of manufacturing doesn't produce mass employment for semi-skilled or unskilled workers, but it does create lots of skilled jobs that are very well paid by global standards.

That's entirely rational from an economic perspective, but it means that US manufacturing is wholly reliant on imports of lower-value materials and commodity parts.

A Chinese manufacturer of machine tools can buy pretty much all of their inputs domestically, because China has a really deep supply chain. They're really only dependent on imports of a handful of raw materials and leading-edge semiconductors. Their US counterparts - we're really just talking about Haas and Hurco - are assembling a bunch of Chinese-made components onto an American casting. To my knowledge, there are no US manufacturers of linear rails, ballscrews or servo motors.

If the US wants to start making that stuff, it's faced with two very hard problems. Firstly, that it'd have to essentially re-run the industrial revolution to build up the capacity to do it; secondly, that either a lot of Americans would have to be willing to work for very low wages, or lots of Americans would have to pay an awful lot more in tax to subsidise those jobs.

It's worth bearing in mind that China is busy moving in the opposite direction - they're investing massively in automation and moving up the value chain as quickly as possible. They're facing the threat of political unrest on a scale they haven't seen since 1989, because of the enormous number of highly-educated young people who are underemployed in unskilled and semi-skilled jobs.

Lots of Americans want to bring back mass manufacturing employment, but very few of them actually want to work in a factory. You can't resolve that contradiction through sheer political will.
by carlita_express | 2025-04-16 17:33:56+00:00
> we’ve observed that large-scale reinforcement learning exhibits the same “more compute = better performance” trend observed in GPT‑series pretraining.

Didn’t the pivot to RL from pretraining happen because the scaling “law” didn’t deliver the expected gains? (Or at least because O(log) increases in model performance became unreasonably costly?) I see they’ve finally resigned themselves to calling these trends, not laws, but trends are often fleeting. Why should we expect this one to hold for much longer?
by insane_dreamer | 2025-04-16 17:34:12+00:00
Because the artificial sweeteners and chemicals are also harmful. I don't know why people think that Diet Coke is any better than regular Coke. You're just replacing one sweetener with another and still at risk of diabetes and other health problems[0].

[0] https://health.clevelandclinic.org/3-reasons-you-should-kick...
by mjevans | 2025-04-16 17:34:14+00:00
I hope you're correct. I'm in the middle of building a replacement PC (it's been like 10 years) and went with a ~80 USD air cooler that's got two fans and a bunch of heat pipes. The case is also a consideration, I selected one that can hold a BUNCH of fans and intend to have them all always push at least a little air through, more as it gets warmer.

In my case two fans on the CPU, pointing towards the rear exhaust fan to suck, and 6 fans 120mm or larger pushing air through otherwise, will _hopefully_ remain sufficient.
by kristofferR | 2025-04-16 17:34:25+00:00
To use that criticism for this release ain't really fair, as these will replace the old models (o3 will replace o1, o4-mini will replace o3-mini).

On a more general level - sure, but they aren't planning to use this release to add a larger number of models, it's just that deprecating/killing the old models can't be done overnight.