MurphyA/hacker-news huggingface dataset:
by memsom | 2025-05-07 13:41:09+00:00
If you use more than one of their IDEs on a regular basis, I'm going to be honest - it starts to make more sense that the change between IDEs is less jarring. I use Rider a lot, and Pycharm and Android Studio infrequently, and I like that all of the IDEs are so similar that I know how to do most things as the settings and menu system is almost identical. I also use the IDEs on Windows, Mac and sometimes Linux - and the UI is similar enough that I do not ever struggle to make something work that I have previously done in any of the platforms or OS versions
by viraptor | 2025-05-07 13:41:10+00:00
> Zelensky repeatedly said that the West was creating a panic.

I still have no idea if it was serious, or a fake "look at us helpless and not preparing at all". It was reported in media that he was given early warnings and briefings from the US about the incoming attack. There are so many cases like that that were may never learn about for sure...
by kragen | 2025-05-07 13:41:14+00:00
Yes, I think it's unfortunate that you decided to muddle the discussion by introducing the discussion of LLMs in your previous comment, and by conflating them with AGI, in the sense of strongly superhuman AI, which is OpenAI's objective. I worked pretty hard to unmuddle them in my comment.

The questions you are bringing up about the possible limits of the LLM approach are interesting open research questions, and while I really doubt your implicit claim to have resolved them, they are ultimately irrelevant to the topic at hand, which, I will remind you, is the astounding novelty of the situation where

> many companies operating in the public eye are basically stating "We are creating a digital god, an instrument more powerful than any nuclear weapon" and raising billions to do it, and nobody bats an eye...

Note that there is nothing about LLMs in this proposition, and the particular company we're implicitly most focused on—OpenAI—has already developed a number of well-known models that aren't LLMs and plans to keep doing so.
by SetTheorist | 2025-05-07 13:41:52+00:00
In what possible sense can you possible mean that "all wars are defensive"?

And it is absurd to claim that Russia wants peace. It can literally have peace anytime it wants by simply pulling its troops out of Ukrainian territory and ceasing the launching of missiles and drones on the populace.

The US threats on Canada and Greenland are not made with "peace" in mind.
by phkahler | 2025-05-07 13:42:10+00:00
>> The LGPL is specifically designed to allow proprietary applications to link to open-source libraries without requiring the proprietary application’s source code to be released, provided certain conditions are met. This is particularly true when the LGPL-licensed library is used in a way that allows users to modify or replace it independently of the proprietary application.

That requires the library to be dynamically linked. Not sure if that's in play here.
by HelloMcFly | 2025-05-07 13:42:16+00:00
The person you responded did not frame this in moral terms, but emotional terms. I'm not here to grandstand about the morality of anyone's behavior, but knowing students can't engage with long-form written content is depressing to me. Knowing that many (most?) will not teach themselves how to engage in critical thinking and work through frustration is also depressing.

Part of this is empathy, just knowing they are depriving themselves of skills they don't even realize the importance of. Part of is selfishness, feeling like our next generation of thinkers and creators are potentially self-sabotaging.

I don't know, I'm out of the prediction game, I don't really want to get drug into utilitarian arguments about the place of AI, or debates on what was wrong with education, etc. Frankly, I'm out of my league there. I'm just sad to see people lose the ability to think for themselves and struggle through hard problems.

Yes, I use generative AI myself, I'm not a luddite or anything.
by jeremy_k | 2025-05-07 13:42:20+00:00
I was a RubyMine and later IDEA user for many many years. I agree with everything you've said but I got so tired of the IDE using excessive RAM and constantly making my fan spin (2019 Intel MBP). Switching to Zed made my experience on this laptop enjoyable again, the downside being that I miss out on some of the features from the JetBrains editors.

I've learned to work around the loss of some functionality over the past 6 months since I've switched and it hasn't been too bad. The AI features in Zed have been great and I'm looking forward to the debugger release so I can finally run and debug tests in Zed.
by redczar | 2025-05-07 13:42:40+00:00
Last semester I gave my students a take home final exam. I told them they could use AI. I just asked that they document their usage of external sources. This was precalculus class.

The first problem was a graph x(t) and y(t). The component functions of a parametric curve. The question was: Estimate the times the particle is at the origin.

I got an email from a student: I put problem 1 into ChatGPT and it couldn’t answer it. What are we supposed to do then?

My response: Think!

Students have mostly been trained that anything that can’t immediately be solved is too hard. They have no academic grit. It’s bad.
by toomuchtodo | 2025-05-07 13:43:02+00:00
Due to structural demographics compressing the working age population, this will occur long into the future. Good for young folks who can obtain jobs without going into debt for a college credential that might be unnecessary. Good for us collectively for employers who are forced to train on the job (versus pushing this cost onto potential hires). Only bad for unnecessary colleges. Should also push wages up over time.

(~4M Boomers retire per year, ~11k per day)
by swat535 | 2025-05-07 13:43:02+00:00
> A good chunk of the US population believes the Israelis were literally chosen by God

There is more to it, not only that but they believe that the Jewish state of Israel is needed for Jesus to return to earth.

This belief comes from Thessalonians 2:1-4

"1 Now concerning the coming of our Lord Jesus Christ and our being gathered together to Him, we ask you, brothers, 2 not to be easily disconcerted or alarmed by any spirit or message or letter seeming to be from us, alleging that the Day of the Lord has already come. 3 Let no one deceive you in any way, for it will not come until the rebellion occurs and the man of lawlessness—the son of destruction—is revealed. 4 He will oppose and exalt himself above every so-called god or object of worship. So he will seat himself in the temple of God, proclaiming himself to be God."

So the "temple" is required for the anti-Christ to arise, and for Jesus to return.

Now as to if that actually means the physical Third Temple of Solomon... this is up for theological debate. Some Church Fathers held that the anti-Christ would indeed arise from a physical Third Temple. While other Church Fathers held that the 3rd Temple in Christianity was technically the Church, and so the anti-Christ would arise from her.

Either way, if you side with the first view there is no qualification for a state to be present in order to rebuild the physical Third Temple.

Protestant Evangelicals in America by and large take the first stance I mentioned, and are pretty stalwart in their belief the State of Israel is the vehicle through which this will be achieved.
by JadeNB | 2025-05-07 13:43:02+00:00
> If you write a limit as \lim_{n \to \infty} etc etc then LaTex gets to decide whether to write your limit in inline style (next to the limit) or below. If you want it always to be below then you need to write

In display mode, without modifications, LaTeX has no choice; `$$\lim_{n \to \infty}$$` in the default LaTeX compiler will always put `{n \to \infty}` below `\lim`, unless you or some package have monkeyed with things to change that default behavior. (In inline mode, similarly, $\lim_{n \to \infty}$ will by default always place `{n \to \infty}` as a subscript of `\lim`, unless you or some package have changed the default behavior.)
by avoivo | 2025-05-07 13:43:36+00:00
Location: Athens, Attica, Greece

Remote: Yes, fully remote

Willing to relocate: No

Technologies: React.js, Node.js, GoLang, Angular, TypeScript, JavaScript, .NET Core, Docker, Kubernetes, AWS, Google Cloud, CI/CD, Microservices, REST APIs, SQL, NoSQL

Résumé/CV: https://docs.google.com/document/d/1A1o0qxxWeoMyjSEA-RcOt9F1...

Email: tvoivodas@gmail.com

LinkedIn: https://www.linkedin.com/in/athanasios-voivodas/

I am an accomplished Engineering Manager and Senior Software Developer with over 20 years of experience delivering innovative solutions for global tech companies. Based in Athens, Greece, I specialize in leading remote teams to build scalable applications using React.js, Node.js, C#, GoLang, Angular, TypeScript, Docker, Kubernetes, and cloud platforms (AWS, Google Cloud).
by lolinder | 2025-05-07 13:43:44+00:00
Direct link to the paper [0]. They're drawing emissions data from an earlier paper [1]. Here's the key bit from that earlier paper describing the difference between investment emissions and consumption emissions:

> Consumption-related emissions come from the carbon released by the direct use of energy (e.g. fuel in a car) or its indirect use (e.g. energy embedded in the production of goods and services consumed by individuals). Investment-related emissions are emissions associated with choices made by capital owners about investments in the production process (i.e. emissions involved in the construction of machines, factories, etc.).

I'm not an expert in any of this and can't judge how it actually did the math, but on the surface this seems like a reasonable way of attributing emissions.

[0] https://www.nature.com/articles/s41558-025-02325-x

[1] https://lucaschancel.com/global-carbon-inequality-1990-2019/
by gyomu | 2025-05-07 13:43:45+00:00
> Professors can basically do whatever they want

Maybe that was true at some point, but they certainly can't anymore.

Speaking with professors around me (at universities on different continents!), they all report that they basically have to give everyone passing grades, they can't tell students off/kick them out of the class for engaging in outwardly rude behavior (eg wearing headphones, obviously playing games/watching videos/etc. for the duration of the class), they have to accept pretty much any request for extension/makeup exams/etc, they can't give a student a 0 when they've obviously used chatGPT (ie cheated) for an assignment.

If you want to go back to proper academic rigor and study, you have to return authority to the professors.
by GrantMoyer | 2025-05-07 13:43:52+00:00
C++ has this[1], kind of, but please don't actually use it.

> for_each(a.begin(), a.end(), std::cout << _1 << ' ');

Also, Scala has something similar as a first class feature[2].

[1]: https://www.boost.org/doc/libs/1_88_0/doc/html/lambda.html

[2]: https://scala-lang.org/files/archive/spec/3.4/06-expressions...
by badsectoracula | 2025-05-07 13:43:57+00:00
> I wouldn't take people seriously who are vocal against telemetry in a product which has paid version with the option to turn telemetry off.

You are conflating two separate things, a product does not need telemetry to function and if telemetry is needed it can be opt-in. Similarly a product does not need to be free to have telemetry nor does it need to be paid to not have telemetry, as i already wrote these two are completely separate.

> Such people would be vocal against paying for the work others do.

Again you are conflating two completely separate things: people being concerned about the privacy implications of telemetry (both directly and indirectly, see below) and people who are against about paying others for their work.

> Also, if properly anonymised, telemetry isn't the devil people make it to be.

Even if anonymized (which is something you can only guarantee for open source projects that either you or someone you trust has checked they do such anonymization properly - and also you either build yourself from the source that was checked or you used a binary from a reproducible build) having telemetry in place still creates and reinforces a precedent of it being acceptable which in turn can be used to excuse other programs doing the same but those programs actually not caring about doing proper anonymization (at best) or even outright spying on you (at worst).

Besides anonymized data can still be used in conjunction with other data to be deanonymized and the best way to protect users from this is to not collect that data in the first place.
by epiccoleman | 2025-05-07 13:43:59+00:00
It's pretty tough to give up the good things that Jetbrains IDEs can bring, when they exist for a given lang. The obvious example is Java - IntelliJ is just leaps and bounds better than whatever stack of plugins you need in VSCode (or Cursor).

This isn't a great solution, but in cases where I've wanted to try out Cursor on a Java code base, I just open the project in both IDEs. I'll do AI-based edits with Cursor, and if I need to go clean them up or, you know, write my own code, I'll just switch over to IntelliJ.

Again, that's not the smoothest solution, but the vast majority of my work lately has been in Javascript, so for the occasional dip into Java-land, "dual-wielding" IDEs has been workable enough.

Cursor/Code handle JS codebases just fine - Webstorm is a little better maybe, but not the "leaps and bounds" difference between Code and IntelliJ - so for JS, I just live in Cursor these days.
by makapuf | 2025-05-07 13:44:04+00:00
Reminder: top 10% richest worldwide seem (from my 10s. google search [1]) to amount to around $100k net worth, so for many people there, it's not them, its' us. 1% is around $1M net worth.

[1] https://www.cnbc.com/2018/11/01/how-much-money-you-need-to-b...
by cies | 2025-05-07 13:44:20+00:00
All vims and emacses can have undo-tree (as a plugin iirc). Many devs use it.

Vote/read-up here for the feature on Zed: https://github.com/zed-industries/zed/issues/17455

And here on VSCode: https://github.com/microsoft/vscode/issues/20889
by itsanaccount | 2025-05-07 13:44:59+00:00
This forum is skewed towards capitalists, and cops protect property. Its not a juvenile opinion to point out how power works. Its actually my only hobby on this site.

And for people who have cops in their family, its not unknown to me. Its like having family in a gang. Or the mob. They're fine people, you can have dinner and enjoyable conversations. But when the gang comes up in discussion they're gonna protect the colors.

The fellow who responded and then blanked their post I think is European, which with no guns and a socialist safety net I might allow have a different flavor than US police, founded as possibly the town watch instead of slave catchers and immigrant beaters. But this is an article about the DEA, ACAB is very appropriate.
by voxic11 | 2025-05-07 13:45:31+00:00
Selling exploits is generally legal. What law would be used to put you in jail? Using exploits can fall under the Computer Fraud and Abuse Act's criminally prohibited conduct but afaik there is no similar law that covers distributing/selling exploits. In fact selling exploits to companies via their bug bounty programs is quite common.

All that said NSO didn't just distribute/sell the exploits (that would be giving away their secret sauce). Instead they offered what was essentially a managed service for executing the exploits against user selected targets.
by bartvk | 2025-05-07 13:45:31+00:00
I teach at a college in The Netherlands, and this is not my experience at all. We give the students assignments, and when they hand them in, there's usually an individual assessment. Then we walk through the code, and ask them a bunch of questions. If you can't answer these questions, we ask them where they got their code from. And I caught many students.

However not all code matters. If the subject is "design patterns", then we're not going to ask them questions about run-of-the-mill Spring Boot code.
by NoboruWataya | 2025-05-07 13:45:33+00:00
Agree that it is a crazy resource hog and I don't like the AI integrations either. But I gotta say for UI and features it is very good. I haven't been able to get VSCode or neovim to offer the same kind of easily actionable code diagnostics and suggestions as JetBrains IDEs do out of the box. I'm not saying it's not possible, but I couldn't quite match it even with a fair bit of tinkering.
by sage76 | 2025-05-07 13:45:47+00:00
So many professors in college are detached and tone-deaf about their syllabus, their approach to teaching, and their workload, that the smart students adapt.

One of those adaptations is cheating. I have seen really hardwokring students in grad school finally resort to cheating because the workload was insane, and they realized everyone else was cheating.
by zdragnar | 2025-05-07 13:46:05+00:00
Not all appliances I looked at were energy star certified.

The energy guide (yellow label with cost estimates) is mandatory for most appliances. The energy efficiency is quantified as an estimated annual cost of operation.

Energy star certification is a voluntary and binary thing. There's no readily visible difference between appliances with or without the energy star certification, short of going back to the energy guide label to compare.
by John23832 | 2025-05-07 13:46:12+00:00
> LLMs have ended the need for white collar junior work.

If you think that juniors are solely for doing the low level work (which is wrong).

The purpose of the junior is to work towards becoming senior (in experience and capability). Doing the the bs work is just an additional use of their time.

Your thinking is akin to the belief that the purpose of the medical residency is to do examinations and not to become a full fledged doctor.
by rfv6723 | 2025-05-07 13:46:29+00:00
Why no comparition to gpt-4o-transcribe？

If you don't compare to latest model on the market, how can you claim it's SOTA?

According to OpenAI, gpt-4o-transcribe has much better performance than whisper-large-v2.

https://openai.com/index/introducing-our-next-generation-aud...
by conartist6 | 2025-05-07 13:46:34+00:00
Worry not, for it is being built.

You will not catch me using the words "agentic IDE" to describe what I'm doing because its primary purpose isn't to be used by AI any more than the primary purpose of a car is to drive itself.

But yes, what I am doing is creating an IDE where the primary integration surface for humans, scripts, and AIs is not the 2D text buffer, but the embedded tree structure of the code. Zed almost gets there and it's maddening to me that they don't embrace it fully. I think once I show them what the stakes of the game are they have the engineering talent to catch up.

The main reason it hasn't been done is that we're still all basically writing code on paper. All of the most modern tools that people are using, they're still basically just digitizations of punchcard programming. If you dig down through all the layers of abstractions at the very bottom is line and column, that telltale hint of paper's two-dimensionality. And because line and column get baked into every integration surface, the limitations of IDEs are the limitations of paper. When you frame the task of programming as "write a huge amount of text out on paper" it's no wonder that people turn to LLMs to do it.

For the integration layer using the tree as the primary means you get to stop worrying about a valid tree layer blinking into and out of existence constantly, which is conceptually what happens when someone types code syntax in left to right. They put an opening brace in, then later a closing brace. In between a valid tree representation has ceased to exist.
by saalweachter | 2025-05-07 13:46:35+00:00
I feel like the value-proposition of Uber was three-fold.

1. Solving a pain-point of many people re: hailing a cab, via an app that works everywhere.

2. Using VC funds to (initially) pay drivers more than you, the customer, were paying them.

3. Ignoring local regulations and passing the savings/convenience on to you.

1 is nice but I don't think they established much of a moat (both drivers and customers are willing to use multiple apps); 2 isn't sustainable in the long-term, and they failed to leverage 3 to establishing a permanent right to operate as they had been in most markets.

I think this makes Uber an even more interesting benchmark for other unicorns, since besides "solving a real problem without establishing a moat" they are also often burning through VC cash to prop up their business model while ignoring some laws which they may not be able to get away with ignoring long-term.
by DarkWiiPlayer | 2025-05-07 13:47:04+00:00
People having friends sucks because, while you can shove products in between them, you can only sell them at a price justified by the value they add to the friendship, not the value of the friendship instead.

People would be willing to pay so much more if what they were paying for was the friendship instead, but so far, any attempt at taking friendships hostage and having people pay have gone nowhere.

So the logical conclusion is to just sell the friendships immediately; that way you can put a price tag directly on the friendship itself and earn much more money from it.

This is a perfectly reasonable business strategy when you're a soulless psychopath with an insatiable hunger for endless wealth.
by epiccoleman | 2025-05-07 13:47:19+00:00
> (2019 Intel MBP)

I used to have one of these and recently got an M1 Max machine - the performance boost is seriously incredible.

The throttling on those late-game intel macs is hardcore - at one point I downloaded Hot[1], which is a menu bar app that shows you when you're being throttled. It was literally all the time that the system was slowing itself down due to heat. I eventually just uninstalled it because it was a constant source of frustration to know I was only ever getting 50% performance out of my expensive dev laptop.

[1]: https://github.com/macmade/Hot
by stuckinhell | 2025-05-07 13:47:24+00:00
You are arguing a strawman: patients unrealistically want doctors to have every fact memorised or to deliver an instant, definitive diagnosis.

What I'm really shocked about is that new AI tools are now fast enough—and regulated enough—to be used live at the point of care.

So why do I need to pay doctors as much money, when they themselves are using an off the shelf solution?
by alabastervlog | 2025-05-07 13:47:24+00:00
> wdym by refactoring in this context?

The main trouble is if you find that a different term produces better output, and use that term a lot (potentially across multiple prompts), but don't want to change every case of it, or use a repeated pattern with some variation that and need to change them to a different pattern.

You can of course apply an LLM to these problems (what else are you going to do? Find-n-replace and regex are better than nothing, but not awesome) but there's always the risk of them mangling things in odd and hard-to-spot ways.

Templating can help, sometimes, but you may have a lot of text before you spot places you could usefully add placeholders.

Writing prompts is just a weird form of programming, and has a lot of the same problems, but is hampered in use of traditional programming tools and techniques by the language.

> & what do you feel is missing in consistency checking? wrt input vs output or something else?

Well, sort of—it does suck that the stuff's basically impossible to unit-test or to develop as units, all you can do is test entire prompts. But what I was thinking of was terminology consistency. Your editor won't red-underline if you use a synonym when you'd prefer to use the same term in all cases, like it would if you tried to use the wrong function name. It won't produce a type error if you if you've chosen a term or turn of phrase that's more ambiguous than some alternative. That kind of thing.