MurphyA/hacker-news huggingface dataset:
by ImPostingOnHN | 2025-05-19 17:45:57+00:00
that is unfortunately also a thing that abusers often say

it is not for you to decide, though

also, I'm not really interested in being the subject of discussion, but if you're going to tell me what I'm doing, at least be right about it: I haven't followed any public statements from either party in the matter; I've only read court documents and rulings; and I have never patronized either company and have no plans or interest to do so. I think that makes me more impartial here.
by Chris2048 | 2025-05-19 17:46:17+00:00
> we have no idea what a general intelligence algorithm looks like

What's the goalpost here though? modern "AI" stuff we previously thought not possible, Proper full human-brain simulation; or General form of higher AI that could come from either place?

> The amount of parallelism in the human brain is enormous.

That only demonstrates the possibilities yet to be explored. biology has millions-of-years head start; what's possible today could be balked out a few centuries ago by the same argument as yours. You say "We are just now getting multimodal LLMs" like it's somehow late.

At a fundemental level, what holds back biology is all the other things it does (ala staying alive) and the limits imposed (e.g. heat etc) that a purpose-made device can optimise on. Any physical, thermodynamical of communication-theoric argument over what's possible would hold back both biological and mechanical devices. Only there are fewer material constraints for machines - they can even explicity exploit quantum mechanics.

> Sorry, but the notion that we are close to AGI

Seems we are arguing different things. I went back through the thread, and believe the proposition is: "us, humanity, being able to build AI or something being very close to that", which I translate as a comment on our literal species. I took your statement "From the energy efficiency perspective human brain is very, very effective computational machine" as being in that scope, and not just a reference to the current era (or Decade!).
by remram | 2025-05-19 17:46:36+00:00
SyncThing has some gotchas when it comes to sync, for example I've had files reappear when I edit them on one device and move them on another. It also seems to create "sync-conflict" files when there is no conflict at all (no modification on one side). I'd also quite like to be able to see the history of my notes sometimes...

I also had this nice surprise literally today, all my synced folders stopped working and had to be re-added: https://github.com/Catfriend1/syncthing-android/issues/1430

But overall it has worked well, I am using it between 4 devices.
by swyx | 2025-05-19 17:47:01+00:00
> If AIs are all they’re cracked up to be by their most fervent believers, this seems like a possible model for where humans might end up: not just subsisting, but thriving, on byproducts produced and discarded in microscopic quantities as part of the routine operations of infinitely smarter and more powerful AIs.

i think this kind of future is closer to 500 years out than 50 years. the eye mites are self sufficient. ai's right now rely on immense amounts of human effort to keep them "alive" and they wont be "self sufficient" in energy and hardware until we not just allow it, but basically work very hard to make it happen.
by lblume | 2025-05-19 17:47:06+00:00
I can see why people don't like to write Rust. It is more tedious, harder because of the ownership model, and has a very steep learning curve.

What I don't get is what people have against programs written in Rust from the bottom up. They are safer to use, introduce far fewer vulnerabilities, and you can even locally reason about the code much better than in typical 'unsafe' languages like C++.
by Y-bar | 2025-05-19 17:47:09+00:00
Sierra Club wanted NG as a "bridge" fuel for a few years while other sources took it's place, as a replacement for oil and coal, not nuclear. They have since grown more hostile to NG.

Example sources: https://www.energyindepth.org/sierra-clubs-latest-attack-on-...

https://science.time.com/2012/02/02/exclusive-how-the-sierra...

Can you give a specific example where Green Peace activities have resulted in NG being used instead of nuclear power? In all historical records I can find they seem pretty consistent on actively protesting gas power plants. The most "gas-positive" quote I can find is here https://www.greenpeace.de/sites/default/files/publications/e... where they say

> "A shift from coal and oil to natural gas in the remaining conventional applications will lead to a further reduction of CO 2 emissions"

Which seems pretty consistent with their actions, no?
by xitang | 2025-05-19 17:47:28+00:00
Thanks for you kind words!

Some remote companies such as Atlassian, Affirm, Dropbox have different pay zones to offset the cost of living in various places.

For example, in Atlassian https://www.atlassian.com/company/careers/resources/intervie..., the 3 pay zones are - Zone A: SF - Zone B: Boston, LA, NYC, Sacramento, San Diego, Seattle, Washington D.C. - Zone C: all others Zone B is 90% of Zone A's pay and Zone C is ~82% of Zone A's pay.

Agree that company willing to accept remote work has a broader talent supply and can be an advantage in hiring talents not in the big tech cities. I am not sure if it necessarily lead to lower labor cost due to competitions with other remote companies also hiring in those regions. Competitions would help keep the labor cost up.
by thaumasiotes | 2025-05-19 17:47:34+00:00
Dictionary lookup is done first by radical and second by stroke count. Collation is not. Stroke count is first.

For example, I have a book of 成语 stories that gives its table of contents in non-alphabetical order. (Since nobody understands the traditional ordering, I also have several such books that put their table of contents in alphabetical order.)

Here is the collation order in the book:

一 七 八 入 九 人 口 千 小 三 亡 大 不 专 天 井 见 毛 月 文 风 为 心 水 四 ...

Note that 三's radical is 一, the first Kangxi radical, and that 一 is listed first. Your theory is wrong. 三 isn't even first among the 3-stroke characters, which start (among these) with 口.

Why did you make up a false answer to this question?
by zpeti | 2025-05-19 17:47:56+00:00
In this case, it's not hard to make the argument that you can't have one without the other.

If you're always going to lean into risk aversion and safety nets, you will lose to the player who is willing to make more risks. This involves the losers losing bigger, but the winners winning bigger.

That's what the US is compared to Europe. The winners are better off, but the losers are worse off.

Everything is a trade off. But it's highly unlikely you can have best of both worlds in the long run.
by smolder | 2025-05-19 17:47:57+00:00
Maybe. I suspect it has more to do with baseline activity level and type of workout, but I could be wrong. I only have 1 body. IME, If I do nothing all day, I'll feel sluggish all day. If I take a 30 minute walk or do some squats, pullups or overhead presses, it will get my heart rate up and I'll feel more awake afterwards. I generally don't push myself to the point of exhaustion with exercise.
by nightski | 2025-05-19 17:48:11+00:00
I'm not saying it's a perfect solution, but with Windows 11 Pro and group policy I was able to disable all of the annoying stuff, and because it is group policy it has persisted through several years of updates. It is annoying you have to do this, and it does take some time to get set up right. But it's a solution.

That said I'd pay for a dev edition as you described it, that would be fantastic.
by raggi | 2025-05-19 17:48:16+00:00
Openssh should have been a game changer but they made a classic openssh porting bug (not reading all bytes from the channel on close) and have now been sat on the fix in “prerelease” for years. I prodded the VP over the group about the issue and they repeatedly made excuses about how the team is too small and getting updates over to the windows team is too hard. That was multiple windows releases ago. Over on GitHub if you look up git receive pack errors being frequent clone problems for windows users you’ll find constant reports ever since the git distribution stopped using its own ssh. I know a bunch of good people at Microsoft, but this leadership is incapable of operating in a user centric manner and shouldn’t be trusted with embedded OSS forks.
by fivestones | 2025-05-19 17:48:21+00:00
@jaredklewis I’d love to know if you have a way to fix the pain points amluto described. I’ve had some of the same struggles with this, in particular when making a deck that I wanted my kids to each be able to use individually, but also be able to keep updating. It seemed like a lot of work every time I wanted to make any change to the deck. This was a few years ago and I don’t remember the details, but it’d be great to know if there’s some streamlined way to keep editing a deck and have the updates show up for multiple users, kind of like they are subscribed to it. I bet there is a way to do this, and I just didn’t figure it out.
by abeppu | 2025-05-19 17:48:35+00:00
> It hasn’t always been a cakewalk, but we’ve been able to establish a stable position in the ecosystem despite sharing it with all of these different kinds of intelligences.

To me, the things that he avoids mentioning in this understatement are pretty important:

- "stable position" seems to sweep a lot under the rug when one considers the scope of ecosystem destruction and species/biodiversity loss

- whatever "sharing" exists is entirely on our terms, and most of the remaining wild places on the planet are just not suitable for agriculture or industry

- so the range of things can could be considered "stable" and "sharing" must be quite broad, and includes many arrangements which sound pretty bad for many kinds of intelligences, even if they aren't the kind of intelligence that can understand the problems they face.
by jimt1234 | 2025-05-19 17:48:38+00:00
100% agree ^^^ He went full Elon Musk, before Elon Musk. But yeah, back in the 90s/2000s, when my career in Corporate America started to settle in, his Dilbert comics brought my loads of comic relief. My favorite character was Wally; he always seemed to "fail up". I recall Wally meeting with the pointy-haired boss to tell him he'd returned from his 3-week vacation. The boss said, "You were out on a 3-week vacation?" Wally, the master, replied, "Sorry, I misspoke. I'm leaving now for my 3-week vacation." LOL
by AStonesThrow | 2025-05-19 17:49:29+00:00
It is not often that a photo is required of me for some ID, so I believe the MVD here in Arizona has got two photos from me in 26 years. If I recall correctly, the instructions were "smile if you prefer to." My expression is cheerful but not overly smiling; I'm wearing a full beard, and the photo has been converted to monochrome - why, I have no idea.

However, the camera used at MVD is clearly more sophisticated than it appears, because if you install the Mobile ID app, your photo goes full "Harry Potter mode" and animates in a 3D rotation!

I don't recall any directions about my expression for the US Passport photo at the USPS station. However, they did attempt to reject the photo for strange technical reasons. I could not fathom the rejection because the photo had been entirely handled by the professional USPS clerk and I wasn't involved in generating it. I insisted on submitting exactly the same way a second time around and it was approved. It must've been a procedural glitch of some kind. Or the government knew I shouldn't be traveling to an ill-fated vacation, and was trying to gently dissuade me?
by ThinkBeat | 2025-05-19 17:50:09+00:00
Your comment that you can do Linux things on Linux missed the point entirely.

Where is the reverse WSL on Linux, where Windows is deeply embedded and you have all the Windows features in your hands?

You can use Wine/Crosseover, which is cool, but even now the number of software products it supports is tiny. Steam has a lot of games.

You can run a virtual machine with Windows on it. That is identical to what you can do on Windows with Linux.

WSL2-> is a virtual machine with unique tooling around it that makes it easier to use and integrates well with Windows.
by bgnn | 2025-05-19 17:50:53+00:00
I don't think VC system is good, but I'm tired of going in to EU calls to only see there's actually no money for start-ups but it's often earmarked to keep big EU companies afloat and competitive. This is in itself not a bad thing, pretty much everyone does it (US military industrial complex for example). So I accepted these as money injection to big business rather than expecting it to tickle down to small businesses or start-ups.

On start-up funding we have a systematic issue of European wealth going to US for investment and EU start-ups going to US to find investment. These EU money injections doesn't solve it imho.
by lxgr | 2025-05-19 17:51:18+00:00
Neither Discover nor Capital One are exempt by asset size: https://www.federalreserve.gov/paymentsystems/regii-intercha...

However, Discover is (largely; I believe at least Pulse is available to issuing banks other than Discover) also a three-party network, which is inherently exempt from the Durbin amendment: https://www.congress.gov/crs-product/R41913
by zhynn | 2025-05-19 17:51:33+00:00
Aren't the solvents pretty nasty chemicals? I wonder how they deal with the sodium hydroxide + sodium sulfate saturated with lignin and hemicellulose... maybe it can be turned into a soap or glue? That sounds like a rough biproduct to have to deal with.

I guess those aren't as nasty as I thought, lye and sodium sulfate are pretty innocuous.

It's probably much less difficult to deal with than plastic byproducts.
by the_sleaze_ | 2025-05-19 17:51:36+00:00
My thoughts as well. I was holding a board the other day and it just seemed, forgive me, aerosol-ized. Like those Aero chocolates that are essentially full of bubbles. "This new wood doesn't feel like wood used to" and shook my fist at the passing cloud.

I have high hopes for this product as a leg of sustainability.
by AnimalMuppet | 2025-05-19 17:51:40+00:00
1. Dynamic typing says "anything I can do these operations on, I accept as input". This lets you accept input from code that doesn't have something that fits the strict definition of what input you were expecting.

2. Dynamic typing lets you change what shape your data is without having to change type annotations everywhere.

Problem is, I think both of these are deeply flawed:

1. If you're writing something nontrivial, you probably have several layers of nested function calls, some of which may be calls to libraries that are not yours. If you're saying "anything I can do these operations on, I accept", it becomes very difficult to say what the full extent of "these operations" are. Thus it becomes hard to say whether the caller is passing in valid input. You can "just try it", but that becomes hard if you care about it working in all cases.

2. Refactoring IDEs are a thing these days. You want to change the type signature? Press the button. Even better, it will tell you everything you broke by making the change - everywhere where you're doing something that the new type can't do. Without types, sure, you can just change it without pressing the button. Now try to find all the places that you broke.

It may be possible to construct a better steelman than I have done. For myself, even trying to steelman the position, I find it incredibly unconvincing.
by tgma | 2025-05-19 17:51:52+00:00
You believe what you want to believe. That’s the lie of the century. Every single layoff is performance based to some degree. Sure you want to consolidate a couple orgs or shut down a project or an office and you lump that together with your performance based stuff.

(Also I was responding to a more generic comment saying doing layoff is bad and makes org more political.)
by credit_guy | 2025-05-19 17:51:54+00:00
Test-driven development is not about tests. It's about writing code. The tests are there just in order to keep the bugs away.

Mathematics is just proof-driven development. For an spectator it might look like mathematics is about writing proofs, but that's not different than seeing a software developer write a lot of tests. The proofs are the best tools against insidious logic bugs that the society of mathematics has come up with in the last few hundred years. Mathematicians would welcome automating all the proofs, just like software engineers are happy for code assistants to take over the task of writing tests.
by bananalychee | 2025-05-19 17:52:05+00:00
I paid for a service that gave me useful insights into my ancestry and health profile, and it cost me less than 30 minutes with a teledoc and a basic blood test. I opted out of keeping my sample in storage and using the data for research at the time, and deleted my account and data a few months ago as a matter of general digital hygiene, but even if they didn't honor any of that, I don't see why I should be concerned about it being out there. The privacy concerns were quite obvious and oft-discussed several years ago when I sent my sample in, so I certainly didn't get "bamboozled". I'm sure there are many people who didn't consider that their data may not be private, but how many actually care about that?
by fsloth | 2025-05-19 17:52:17+00:00
This is very much YMMV thing. There is no objectively best platform. There are different users and requirements.

I’ve been a software developer for 20 years and in _my_ opinion Windows is the best platform for professional software development. I only drop of to linux when need some of the excellent posix tools but my whole work ergonomy is based on Windows shortcuts and Visual Studio.

I’ve been forced to use Mac for the past 1.5y but would prefer not to.

Why would Windows be superior for me? Because that’s where the users are (for the work stuff I did before this latest gig). I started in real time graphics and then spent over a decade in CAD for AEC (developing components for various offerings including SketchUp). The most critical thing for the stuff I did was the need to develop on the same platform as users run the software - C++ is only theoretically platform independent.

Windows API:s are shit for sure for the most part.

But still, from this pov, WSL was and will be the best Linux for me as well.

YMMV.
by geodel | 2025-05-19 17:52:17+00:00
I mean the level of conveniences in developed world are already much much higher even for middle class that we don't even think of them as luxury it would be for > 90% of world population.

My very typical American suburban home on a 0.2 acre lot is better built, has better views, parking, heating, cooling and so on than a 3 generation rich (from my standards) cousins' home in India. However they do have half a dozen servants at home and I have obviously none here.

So it does sound weird that people seek even further from developed world middle class point of view.
by conartist6 | 2025-05-19 17:52:23+00:00
The article proved it was his gun (beyond my personal sense of reasonable doubt) by showing that he had practiced firing that specific weapon and was used to unique quirks that only that specific weapon would have (needing to tap the slide between shots)

I guess this only proves that the weapon is real, but thankfully my opinion isn't worth shit in a court of law.
by wormlord | 2025-05-19 17:53:06+00:00
The desire to be "centrist" on HN is perplexing to me.

The fact that Elon, a white south african, made his AI go crazy by adding some text about "white genocide", is factual and should be taken into consideration if you want to have an honest discussion about ethics in tech. Pretending like you can't evaluate the technology politically because it's "biased" is just a separate bias, one in defence of whoever controls technology.
by punkpeye | 2025-05-19 17:53:32+00:00
Shocked by the negativity around this.

I tested early versions of zod v4 and liked the new API, but was very concerned about what will be the migration path. I was even going to suggest to publish under a new package name.

But the author's approach is ingenious. It allows for someone like me to start adopting v4 immediately without waiting for every dependency to update.

Well done!
by SimianSci | 2025-05-19 17:53:33+00:00
As someone developing agents using LLMs on various platform, im very reluctant to use anything associated with xAI. Grok's training data is increasingly pulled from an increasingly toxic source. Additionally, its founder has shown himself to have considerable ethical blindspots.

Ive got enough second-order effects to be wary of. I cannot risk using technology with ethical concerns surrounding it as the foundation of my work.
by cessor | 2025-05-19 17:53:34+00:00
It's easy to make Django react to "Accept-Language" headers, I love how the LocaleMiddleware supports it out of the box [1]. I implemented automatic language detection to show either German or English content and was surprised how many users hated it. We're located in Germany but a lot of people have their browser set to English for some reason, yet they still expect to see pages in German. Of course I had provided an explicit language switch but many users did not like the site guessing their language.

[1] https://docs.djangoproject.com/en/5.1/topics/i18n/translatio...
by skydhash | 2025-05-19 17:53:42+00:00
If it's part of your core domain, I'd say that one of the reasons you want the feature set and the API to be as stable as possible. And your core domain should probably be isolated from the things that depends on it in such way that only business logic ripples out.

One of the strange things from the NPM/JS culture is the focus to write everything in one language leading to everyone forgetting about modularization and principles like SOLID. We link everything together with strange mechanisms for "DX", which really means "make it easy to write the first version, maintenance be damned".
by randunel | 2025-05-19 17:54:43+00:00
Windows supports Linux because the latter is open source, it's a lot easier than the reverse.

Linux, on the other hand, barely supports Windows because the latter is closed, and not just closed, windows issues component updates which specifically check if they run in wine and stop running, being actively hostile to a potential Linux host.

The two are not equivalent, nobody in the Linux kernel team is actively sabotaging WSL, whereas Microsoft is actively sabotaging wine.
by timrogers | 2025-05-19 17:54:44+00:00
We've been using Copilot coding agent internally at GitHub, and more widely across Microsoft, for nearly three months. That dogfooding has been hugely valuable, with tonnes of valuable feedback (and bug bashing!) that has helped us get the agent ready to launch today.

So far, the agent has been used by about 400 GitHub employees in more than 300 our our repositories, and we've merged almost 1,000 pull requests contributed by Copilot.

In the repo where we're building the agent, the agent itself is actually the #5 contributor - so we really are using Copilot coding agent to build Copilot coding agent ;)

(Source: I'm the product lead at GitHub for Copilot coding agent.)
by lukehoban | 2025-05-19 17:54:58+00:00
As peer commenters have noted, coding agent can be really good at improving test coverage when needed.

But also as a slightly deeper observation - agentic coding tools really do benefit significantly from good test coverage. Tests are a way to “box in” the agent and allow it to check its work regularly. While they aren’t necessary for these tools to work, they can enable coding agents to accomplish a lot more on your behalf.

(I work on Copilot coding agent)
by sharpshadow | 2025-05-19 17:55:07+00:00
As with Germany’s 1€ trillion new credit, of which half goes to the military, so will the EIB ‘inject’ more than half of it into the military. Large established tech companies will get a big part and quantum startups will see their expected cash flow. Good timing for those quantum start ups which have been popping up through the whole EU recently.