MurphyA/hacker-news huggingface dataset:
by mdp2021 | 2025-04-21 20:13:11+00:00
Kindly explain why noting that "people who need experience before knowing what is rationally evident should not be empowered" would be «trying to be 100% right» and opposing «getting the result you want».

If for «getting the result you want» you meant "creating damage in order to prove a point and discard some ways", I said that there must be a better way.
by elashri | 2025-04-21 20:13:16+00:00
I was a user on one of their pro plans with some discount. I remember getting confused between the two tokens limits (flow action and the other one). I am puzzled now trying to figure out if the change corresponds to effective decrease or increase of the pricing. They eliminated the flow action now. To be honest I think it might be that I couldn't understand the change.

The only thing I notice is that for 250 additional credit you pay $10 and at this point itis cheaper and better to get another subscription for $15 which will give you another 500 instead of $20. That is if you think you will need this number.
by 3D0MR3991N | 2025-04-21 20:13:31+00:00
Just tell them you moved, that's why you're canceling, and you live nowhere near any of their other branches therefore it would be physically impossible for you to come in.

This works for me, and I have no qualms lying to circumvent stupid tactics like these. I have turned into a LIAR when speaking to customer service for stuff like this because it just makes me more sympathetic as a customer, even though it's insane and unfair that one has to do this as a sort of social hack instead of the business just doing the right thing.
by wesselbindt | 2025-04-21 20:13:46+00:00
If 1 is prime, then the fundamental theorem of arithmetic goes from "every positive integer can be written as a product* of primes in one and only one way" to "every positive integer can be written as a product of primes greater than 1 in one and only one way". Doesn't quite have the same ring to it. So just from an aesthetic perspective, no I'd rather 1 isn't a prime number.

* empty products being 1 of course
by SquareWheel | 2025-04-21 20:15:28+00:00
I tried Windsurf for the first time last week, and I had pretty mixed results. On the positive side, sometimes the tool would figure out exactly what I was doing, and it truly helped me. This was especially the case when when performing a repetitive action, like renaming something, or making the same change across multiple related files.

Most of the time though, it just got in the way. I'd press tab to indent a line, and it'd instead jump half-way down the file to delete some random code instead. On more than one occasion I'd by typing happily, and I'd see it had gone off and completely mangled some unrelated section without my noticing. I felt like I needed to be extremely attentive when reviewing commits to make sure nothing was astray.

Most of its suggestions seemed hyper-fixated on changing my indent levels, adding braces where they weren't supposed to go, or deleting random comments. I also found it broke common shortcuts, like tab (as above), and ctrl+delete.

The editor experience also felt visually very noisy. It was constantly popping up overlays, highlighting things, and generally distracting me while I was trying to write code. I really wished for a "please shut up" button.

The chat feature also seemed iffy. It was actually able to identify one bug for me, though many of the times I'd ask it to investigate something, it'd get stuck scanning through files endlessly until it just terminated the task with no output. I was using the unlimited GPT-4.1 model, so maybe I needed to switch to a model with more context length? I would have expected some kind of error, at least.

So I don't know. Is anyone else having this experience with Windsurf? Am I just "holding it wrong"? I see people being pretty impressed with this and Cursor, but it hasn't clicked for me yet. How do you get it to behave right?
by alexdanilowicz | 2025-04-21 20:15:40+00:00
Nice of you to comment! Website looks awesome.

In the earliest days of the product, we were hyper-focused on custom component libraries. We connected to Github repos and then fetched the relevant components for every prompt. We no longer do that because the models got a lot better and most customers don't care about the code, they care about the visual output. But this lead to us always caring a lot about consistency. Still iterating on that every day.
by braza | 2025-04-21 20:16:03+00:00
Honest question: what does it mean this new pricing that every product has today in terms of “credits”.

Sounds quite apache given the fact that you will need to track utilisation all the time for something like prompting.

Does someone has any insight on why the old flat pricing or utilisation prices are not in those new AI products where we have this abstract concept as credit?
by michaelsbradley | 2025-04-21 20:16:19+00:00
> The TLM obscures what the mass is about…

Well, opinions and all that…

My experience, and that of many of my fellow TLM goers that I’ve heard or read, is that we treasure solemn reverent worship that helps us focus on the Eucharistic sacrifice. If we were being distracted from “what the mass is about”, we’d take ourselves and our children elsewhere.

Here’s a video of yesterday’s Easter Sunday Mass offered by priests of the same religious order that operates the oratory where I attend Mass:

https://www.youtube.com/live/XshPZzdI0zk

If you get an opportunity, maybe attend Mass one Sunday at a location of the ICKSP or the FSSP. I believe you’ll experience a welcoming community of Catholics passionate about Jesus.
by aniou | 2025-04-21 20:16:59+00:00
Yes-and-no, I think. Limited usability of assembly language comes from limited resources (registers, operations) available to programmer, that leads to (so) many simple steps for more complicated tasks.

But, high-level language can offer a very interesting possibilities, even if it was not created for such kind of programming. For example, some time ago I made another attempt to emulate family of 65xxx. Previous versions were written in typical manner, like work of every other programmer on Earth.

A new approach, when a code was written in more regular way (see link below), like mentioned tabular-one, gave me excellent results. I was able to fully understood a program and processor logic and finally I was able to re-create a most magical command for 65xx: SBC/ADC with BCD support in very straightforward and clear way (especially for a cpu-like logic).

For example: https://github.com/aniou/morfeo/blob/a83f548e98bd310995b3c37...

There is one thing that not fits into pure, tabular-like code logic: more complicated conditionals and loops. But maybe, in future...
by smcin | 2025-04-21 20:17:11+00:00
That's really much more of a comment about who controls media narratives these days and how to get your message out undiluted directly to the intended audience, and not anything specific to Pope Francis.

Surprised noone here has mentioned yet that Pope Francis was only the second pope ever with a social-media strategy (Pope Benedict was the first, in 2012 [0][1], and didn't get as much traction as Pope Francis).

"The Most Followed World Leaders on Social Media 2022" [2] ranked Pope Francis 3rd in 2022 with 53m followers, which is/was still low compared to singers, sports stars, celebrities and tech figures. It would obviously be crass and reductive to try to estimate the Pope's impact this way (and not, say, country visits, appointments, encyclicals, other official statements, reaction/criticism by other religous/political figures, administrative and legal actions, measures of popularity by specific groups, by factions, by country, by politics or religion), but as traditional media channels become less relevant, the Vatican will presumably have to move with the times, as in many other ways.

Maybe the better question (as Dick Cheney would have put it) is which voices do/don't determine the media narrative on Pope Francis' papacy?

As to your take (that he was wasn't that far out of line with Catholic doctrine, but often portrayed as more liberal and constantly taken out of context), that's the debate we're largely about to see happen.

[0]: "Pope Joins Twitter: Benedict XVI's Screenname Will Be @Pontifex" https://news.ycombinator.com/item?id=4897631

[1]: https://x.com/Pontifex

[2]: https://medium.com/digital-diplomacy/the-most-followed-world...
by zdragnar | 2025-04-21 20:17:24+00:00
> There's never been an hour in recorded history where there's no sun or wind somewhere in the continental US.

But is that sufficient to handle the full load across the entire continental US? And how do you do that without the really expensive long distance high voltage transmission lines?

Where I live, bad winters can see us go for weeks of full cloud cover and little wind in January. If we really get away from fossil fuels and run heat pumps, that means electrical use in winter will rival that in summer.
by hylaride | 2025-04-21 20:17:40+00:00
Canada *can* export its oil and natural gas, but mostly doesn't because the economics haven't historically warranted it. Most Canadian Oil is relatively heavy, which the gulf refineries in the US are tailored to refine when mixed with Texan and Oklahoman oil (for historical reasons the heavy mix was Canadian and Venezuelan, but the latter is not a factor with the combination of mostly being sanctioned as well as lower output levels due to mismanagement).

The gulf refineries are designed to have a decent chunk of heavy oil, so the historical price discount that Canada gets is less compared to if it shipped it elsewhere. It's similar for natural gas - we just didn't extract enough of it to justify dedicated LNG terminals, not to mention the extra pipelines to ship it to them. The price delta didn't have an ROI compared to just piping it south.

However, with Trump the economics are all now shifting. It now may very well be worth it. There are recently completed pipelines from Alberta to the Pacific and there's now (very, very early) serious talk of more going east, along with terminals.
by ashishb | 2025-04-21 20:18:06+00:00
> The way it worked was that they stored new/existing notes in an SQLite table with UUIDs. This of course makes it very difficult to use bash tools, other IDEs, etc. to work with your notes after Joplin has ingested them.

This is the real deal breaker for me for evaluating any note-taking tool.

If the Obsidian app dies tomorrow, my notes will be fine.

If Joplin gets abandoned, then I will have to deal with all the imports/exports into a new tool.

Bash tools are really powerful.

One can even take a git (not just GitHub) backup of one's Obsidian notes easily.

With binary files like SQLite, the git backups work, but they don't provide a meaningful diff.
by tanelpoder | 2025-04-21 20:18:39+00:00
TIL about Kate editor, but after 30 years of just using vi in a terminal (Unix, Mac, even Windows in cmd.exe) I switched to Zed editor (https://zed.dev). I had tried other editors in the past, but quickly fell back to vi/vim after a few hours or days, for various reasons. Been using Zed for a couple of months now and no plans to go back. It also uses LSPs, but whenever I connect to some (Linux) dev host from Zed on my Mac, it autoinstalls clangd to a .local directory and so far I haven’t had to manually install any extra software. Just took a while to figure out the best Zed config for me. It’s very configurable, customizable, but the UI itself is snappy & clean (written in Rust, for those who care about it).
by Jcampuzano2 | 2025-04-21 20:18:39+00:00
With all the new news about Windsurf and it being thrown into the spotlight, the allure of the lower price than Cursor is definitely there. But does it actually work on par or better?

Anybody use Windsurf as their daily driver and have experience with other editors who can chime in, for those of us who are considering it as an alternative?
by FireBeyond | 2025-04-21 20:18:44+00:00
Very cool! I follow Bruce Ely (Trail Blazers photographer) and love some of his BTS work.

> If anyone is interested my photo of the San Antonio Spurs’s Sean Elliot was one of Sports Illustrated’s All Time Clutch Shots.

Still a good shot - and as noted, it's that context that is everything. And perfectly timed at the moment of release.
by Mountain_Skies | 2025-04-21 20:18:53+00:00
The basic premise of the show that an explosion at a nuclear waste dump could produce enough energy to push the Moon out of the Solar System to wander the galaxy is an interesting product of its time. Concerns over the power of nuclear explosions was high and casual access to knowledge about the plausibility of such a scenario was somewhat limited.

There's a fan driven update called Space: 2099 that improves some of the more dated aspects of the show, including showing the Moon enter some type of portal or wormhole to make suspension of disbelief easier. While the Special Edition releases of Star Wars often suffered from updating certain aspects, especially special effects, the Space: 2099 changes were generally good for the show. Too bad they're unable to fund raise enough and get permission to do the entire series.

https://www.youtube.com/watch?v=wPTZaSv9Bxk
by palata | 2025-04-21 20:19:33+00:00
> Microsoft's wrongdoing is meaningful at least to me because I will be more cautious if I'm ever being approached in a similar way.

That's the thing: Microsoft approaching the author has nothing to do with the wrong attribution. And I am not sure if the original author here is frustrated because of the wrong attribution or just because they would have hope money and fame from the fact that Microsoft reused their code.

Because it's not like Spegel lacks visibility (given the numbers they shared in the article), the link on Peerd's README is probably not bad for Spegel, and the attention here is publicity again. Probably infinitely more than if Microsoft had done the attribution correctly.
by FireBeyond | 2025-04-21 20:20:27+00:00
> The other interesting thing about rafter strobes is the recharge rate: I could sometimes get two shots in a row, but more than that and the flashes could keep up.

I'm somewhat surprised (although it's certainly a niche) that some of those larger flashes intended for commercial (sports, primarily) photography, don't have "dual capacitors", i.e. keep both charged and essentially recycle asynchronously.
by silexia | 2025-04-21 20:20:39+00:00
$151 million / 842 employees is $179,000 per employee. And have you visited many branches? They are mostly empty except for drug addicts and the mentally ill.

The books promoted by the King County Library system on its website are almost universally far left on the political spectrum. My tax dollars are being used to fund opinions I hate. This is forced speech of the worst kind.
by kergonath | 2025-04-21 20:20:43+00:00
> My (and my wife's) background is protestant.

Sorry I misinterpreted. Protestant denominations are convenient for politics, because there are so many of them and hey have so different positions.

> In this realm, there's no forgiveness unless you totally repent and accept the whole christian shebang. In extreme cases, it's not the the sin itself, but the rejection of god/jesus that's the worst you can do.

That’s fertile ground for extremism and reinforces the group dynamics, for sure.

> Taken to the extreme, you see this manifested very strangely, like Chick tracts where the secular lifetime do-gooder burns in hell, but the terrible multiple murdering rapist gets into heaven because they repent "in time".

I think Pascal wrote something about this behaviour. I won’t chase the source but IIRC the conclusion was that these people were hypocrites using religion to be terrible people and I tend to agree. Personally I find also weird to believe that God is so easily fooled, but that’s just me.

> But I've come to the conclusion that if said minister/church/religion gets involved in politics, there's a greater chance than not that it's being run by manipulative power-hungry people.

Definitely. It is too effective as a tool for control and coercion. At least the Catholic Church mostly retreated from this. They do some lobbying but nobody is asking for a Catholic theocracy anywhere that I know of.

> It's in some ways gotten worse, because they're now treating other people's refusals to follow (gay marriage, no prayer in schools, etc) as direct attacks on them.

Yes. It is the end of enlightenment and the end of liberal democracies if enough people behave that way. These people are functionally similar to the imams who keep babbling about the shariah, it’s time we see them that way.
by alganet | 2025-04-21 20:21:08+00:00
In that case, none.

It could work if the student is challenged and tested by the LLM itself and his performance overseen by a human evaluator. But I wouldn't know.

A learning scenario is very different from a work scenario or daily assistant scenario.

I think there are many ways in which LLMs can harm humans. Almost all of them are "use on others for psychological influence" ones. But hey, even that could be seen as training if you have the guts to handle the pressure.
by tux3 | 2025-04-21 20:21:36+00:00
This is the documentation for building a KDE app from source: https://develop.kde.org/docs/getting-started/building/kde-bu...

I had to install several dependencies through homebrew, ignore some default dependencies that don't make sense on mac (wayland, pipewire, etc), and then it worked.

The build command I used, for reference: kde-builder dolphin --ignore-projects wayland plasma-wayland-protocols wayland-protocols kglobalaccel kpipewire kwayland selenium-webdriver-at-spi baloo packagekit-qt baloo-widgets

Note also there's some mac weirdness with the Dock where some kioworker process might show up as a separate icon. I packaged it in dolphin.app MacOS bundle, gave kioworker a Info.plist with LSUIElement=true, and that got rid of the Dock glitch.

So, I wouldn't say it's entirely painless to install. But if you're sufficiently annoyed by Finder, building Dolphin can be worth the effort.
by pron | 2025-04-21 20:22:23+00:00
Maybe you can insist that these are two features (although I disagree), but calling one of them templates really misses the mark. That's because, at least in C++, templates have their own template-level language (of "metafunctions"), whereas that's not the case in Zig. E.g. that C++'s `std::enable_if` is just the regular `if` in Zig makes all the difference (and also shows why there may not really be two features here, only one).
by cmrdporcupine | 2025-04-21 20:22:40+00:00
Indeed, politicians in the employ of the (traditional) energy sector have gone from mocking renewable projects and decrying them for "requiring subsidies" to demanding their curtailment because they do not.

Alberta's government (whose premier is a former oil&gas industry lobbyist) enacted a "moritorium" on new renewables projects a couple years ago because it had the most active investment in that sector in the country (most sunny days, and very windy). After the moritorium was lifted draconian regulations were placed on potential new sites.

This was done under the cover of "protecting farmland", but this is in a province with a massive abandoned oil well contamination issue, which the private sector got away with and continues to get away with.

And then today/yesterday it came out that the government had hidden the results of public "consultations" on these matters because it was not favourable to them.

The problem with oil&gas is it is prone to the development of parasitical/highway-man type relationships, and all sorts of people get rich quick by inserting themselves in the flow and they will not give up this position without a dirty, dirty fight.
by noduerme | 2025-04-21 20:22:44+00:00
Your hypothetical is intentionally skewed.

Hamas is not a pro democracy group. It's a radical jihadist group. Its mission is not to free Gaza, but to destroy Israel and kill all Jews. The people it killed on 10/7 were not low level government officials, they were civilians, including children. The method of killing was extremely brutal.

Moreover, Hamas is not some tiny group within Gaza. It is the elected government of Gaza.

You set up this whole false narrative that has no relation to reality. But I will tell you this: I know a Russian who is pro-Putin. I find his politics despicable. But I still treat him with courtesy and am willing to discuss things with him. I don't believe in cutting off people you disagree with. It's bad form and it doesn't serve to change anything. How much more so, someone whose politics I don't even know. Why would I make an assumption based on someone's national origin or race?
by lelanthran | 2025-04-21 20:22:56+00:00
> That is not true by definition alone. It is only true if you add the corollary that the patterns which rustc prevents are sometimes bug-free code.

That corollary is only required in the cases that a pattern is unable to produce bug-free code.

In practice, there isn't a pattern that reliably, 100% of the time and deterministically produces a bug.
by bornfreddy | 2025-04-21 20:23:33+00:00
Wow, that's an app name I haven't heard in quite some time! Glad to hear it is still alive and kicking.

I see it has a proper multicursor support, so that's nice. There are a few plugins in vscod(e/ium) I regularly use and would miss a lot - like converting between camel/kebab/snake/sentence case, generating sequence numbers/digits, and especially calculations. I'd be surprised if these minor things are supported... Still, long time ago it was already a very capable IDE, so I'm curious where it is now. I'll give it a spin...
by namaria | 2025-04-21 20:23:37+00:00
Theoretical limitations of multi-layer Transformer https://arxiv.org/abs/2412.02975

On Limitations of the Transformer Architecture https://arxiv.org/abs/2402.08164

Limits of Deep Learning: Sequence Modeling through the Lens of Complexity Theory https://arxiv.org/abs/2405.16674

TL;DR transformers are inherently limited with tasks requiring composition of sequential steps
by Snuggly73 | 2025-04-21 20:23:40+00:00
Just to continue my train of thought, because I keep coming back to this.

I think I was expecting that it will turn me into a FE developer and it will feel as natural and smooth as usual when I am in my element.

It didn’t. And the results weren’t what you would get from a real FE dev. And it felt unsatisfactory, stressful and ultimately hollow.

I guess _for me_ it would be fine for a throw away MVP - something that I don’t want to put my heart into.
by JumpCrisscross | 2025-04-21 20:23:52+00:00
> what they are - the defacto government of Yemen

The Houthis are a belligerent in a civil war with multiple sides [1], none of which could stand without external backing. They're not a ragtag group of rebels. But they're also not the government of Yemen.

[1] https://en.wikipedia.org/wiki/Yemeni_civil_war_(2014%E2%80%9...
by bobajeff | 2025-04-21 20:23:54+00:00
Kate's a pretty good editor. I've made an attempt to replace vscode/vscodium with it once before.

The article is right about vscode turning into proprietary mush. I use vscodium and have run into issues with plugins that require cpptools, while cpptools complains whenever you, or an extension you're using, accesses it in an editor other than vscode.
by darkwizard42 | 2025-04-21 20:24:01+00:00
When you choose your payment method in the ride selection screen you should be automatically using credits (unless those credits are for something specific, like Eats, or something else).

I'm able to see this in my Uber app today (set a destination, then at the bottom of the screen is a row for payment options, clicking that will show you Uber balances (uber cash), payment methods, and vouchers) and am located in the US.

If you are not seeing this, I'm thinking you need to reach out to support via email and have a long (probably frustrating) conversation.