MurphyA/hacker-news huggingface dataset:
by Imustaskforhelp | 2025-06-03 18:28:59+00:00
Great job.

I have a lot of suggestions and I would love to get into touch with ya on some suggestions as I have unplugged my computer for quite some time now and am solely on mobile at the moment.

Maybe on signal perhaps?

Now there are a lot of suggestions I can give.

Firstly, there is piping server through which I sent my brother some link using hello and he curled it and it felt so cool. I love piping server.

Secondly, wormhole protocol as I mentioned in other post.

There is also iroh.computer which is coming to wasm as well.

Theoretically, if one had to ask me the most private way though. My truest bet would be tor and onion routes though its a shame that additional software has to be configured for it. But if you don't mind a computer hosting texts "live" ie no middleman store the text (I am of course assuming webrtc works the same way)

Of course, there are a lot of fancy stuff but a big problem with them is that they have a huge link for better privacy I suppose.

One can use a link shortener. Wouldve recommended dub.sh earlier but I am seeing quite some limitations in it and the free tier to me personally the last time I checked if I remember correctly, was very slow but its still nice and can be used.

I reckon if one wanted collaboration of text, one could also use proton docs + dub.sh to a similar experience to your website except its more collaborative given proton can now support accountless edits in some sense(of course, I forgot its real name but it was in their blog post, I wish to create a github issues like stuff but using it but like in the web but maybe after some time, wish proton had better dev support.

Great idea. If I may ask Btw whats the tech stack and what services are you using to host it and do you intend to make money(unlikely I presume), what's your take on it

Cheers man. I have seen the world ignore people when they build something. I don't know but I want to say from the bottom of my heart that I think you made a meaningful change to world I suppose in its own manner. Of course, i watched the princess bride so I feel quite poetic at the moment but one must imagine you happy.
by hn_throwaway_99 | 2025-06-03 18:29:12+00:00
Thank you so much for your detailed, honest, and insightful response! I've done a bunch of AI-assisted coding to varying degrees of success, but your comment here helped me think about it in new ways so that I can take the most advantage of it.

Again, I think your posting of this is probably the best actual, real world evidence that shows both the pros and cons of AI-assisted coding, dispassionately. Awesome work!
by scottlamb | 2025-06-03 18:29:49+00:00
Related: did the idea of rseq `RSEQ_SCHED_STATE_FLAG_ON_CPU` for adaptive userspace mutexes [1] ever come to anything? I think there are a lot of userspace lock implementations using adaptive mutexes (including say `absl::Mutex` in C++ and `parking_lot::Mutex` in Rust). This seemed promising as a better way to decide when to switch from spinning to blocking.

[1] https://lwn.net/Articles/944895/
by Trixter | 2025-06-03 18:29:55+00:00
It is my guess that everyone in the thread with "Hey, I don't type normally either and my speed is just fine" comments are likely staring at the keyboard when they type. All two-finger typists I've personally witnessed, even the extremely prolific Roger Ebert, couldn't effectively transcribe a printed document with their learned typing style.

If you never have to type something you're reading, I'm sure unique typing styles are just fine.
by mvdtnz | 2025-06-03 18:30:09+00:00
It's so funny to me how you Australians have no idea how fortunate you are. You've been born into one of the luckiest places on earth and never stop moaning about it. When I lived there all anyone ever did was bitch and moan while pulling in huge salaries, soaking in some of the best weather on earth and knowing their country's immense mineral wealth and isolated status would always be a security blanket.

Truly some of the most fortunate, least deserving people on the planet. I am thankful I can get my special category visa and when my parents eventually pass away I will set my roots down in Australia. Despite all of the Australians.

I'm interested where in SE Asia you think you can can just barge in, buy a property and live. It might pay to actually look into what it takes to do that legally, it might not be as simple as you think.
by grll | 2025-06-03 18:30:21+00:00
When Anthropic released "@claude" github action it seems they forgot about their Claude Max subscribers who are already paying $100 to $200 a month to use Claude Code.

I forked anthropic "@claude" github action to make it work with a Claude Max subscription.

Here is how to set it up: https://grll.bearblog.dev/use-claude-github-actions-with-cla...

Please for everyone's sake, do not abuse this to share your subscription with colleagues or others. Use it on your own repo or set the action to be usable only by you. Your subscription should remain personal.
by AdamiRod | 2025-06-03 18:30:34+00:00
SEEKING WORK | Seattle, WA | Remote OK

I’m Adam, a freelance financial analyst with 7+ years of experience helping startups get clarity on their numbers. I specialize in cleaning up messy financial models, building forecasts, and setting up reporting tools that help growing teams make confident decisions.

What I do: •Clean, rebuild, or validate your financial models (Excel/Sheets) •Forecast revenue, burn, and cash runway •Analyze and explain product margins and marketing ROI •Build dashboards (PowerBI, Sheets, SQL) •Handle sales tax complexity (multi-state, Shopify, Amazon, etc.)

Background: •FP&A Lead at a biotech startup ($40M rev) •Experience in biotech, manufacturing, recycling, and ecommerce •Skilled in Excel, SQL, PowerBI, Python •Comfortable talking to founders, marketers, and ops folks—not just finance people

Let me know what you’re working on. I love jumping into messy models and making them useful again.

helloadamrodriguez@gmail.com
by fazkan | 2025-06-03 18:30:50+00:00
This is so weird, its not that hard to actually build an app builder. There are multiple open-source repos (bolt etc), they could have just paid their "AI engineer" to actually build an AI engineer.

Shameless plug, but we built (https://v1.slashml.com), in roughly 2 weeks. Granted its not as mature, but we don't have billions :)
by Mond_ | 2025-06-03 18:31:05+00:00
I really don't like how this article claims that the primary issue with Go's error handling is that the syntax is too verbose. I don't really care about that.

How about:

- Errors can be dropped silently or accidentally ignored

- function call results cannot be stored or passed around easily due to not being values

- errors.Is being necessary and the whole thing with 'nested' errors being a strange runtime thing that interacts poorly with the type system

- switching on errors being hard

- usage of sentinel values in the standard library

- poor interactions with generics making packages such as errgroup necessary

Did I miss anything?
by zzo38computer | 2025-06-03 18:31:10+00:00
I think Unicode is messy and is not the best way to do i18n and m17n and l10n and a11y and many other things (although there are also problems with existing implementations that do not have to do with the character set, the character set is one of the problems), and I also think that it is not good to insist on using one character set for everything (especially if that character set is Unicode).

UTF-8, UTF-16, UTF-32, UTF-EBCDIC, etc are encodings of Unicode. EUC-JP is not an encoding of a subset of Unicode; it is an encoding of JIS, which is a different character set. The PC character set is not a subset of Unicode; it is the PC character set. Being able to be mapped to Unicode in some cases does not make it Unicode (nor does it mean that these mappings are necessarily "clean", but even if they are, that still wouldn't make non-Unicode character sets to be (subsets of, or even supersets of) Unicode).
by 827a | 2025-06-03 18:31:11+00:00
I never said Go is dying. I said go must adapt, or it will die. That's future-tense.

Sure, you can end up with C++ (which is still by some measures the most popular programming language in the world, so that's not a bad place to be). You can also end up with Rust, or Kotlin, or any one of the literally every other programming languages in any ranking's Top 30, all of which have more ergonomic error handling.

A better example in the opposite direction is Java: Its a language that spent years refusing to adapt to the ever-changing needs of software engineers. Its legacy now. That is not Go's present, but it is Go's future at its current pace. Still powering a ton of projects, but never talked about except in disdain like "ugh that Go service is such tech debt, can we get time modernize it next sprint". I don't want that for the language.
by hermanradtke | 2025-06-03 18:31:13+00:00
Trove | Staff+ Engineer - Warehouse Management System | Remote (US) | $190-234K + Equity

Trove powers recommerce for Patagonia, REI, Canada Goose and many other retailers. We're looking for a Staff+ Engineer to architect our Warehouse Management System that enables circular retail at scale. Note: The JD says "Principal Engineer", but please apply if are qualified for any staff+ engineer position.

Tech challenges: ReWMS, a custom WMS written in TypeScript, is optimized for condition grading pre-owned goods during receiving. ReWMS integrates with e-commerce platforms and 3PLs.

Requirements: Strong experience with logistics/supply chain tech, database optimization, asynchronous processing. Bonus: WMS platform experience (Manhattan, HighJump), TypeScript.

Apply: [https://job-boards.greenhouse.io/trove/jobs/7987271002](https://job-boards.greenhouse.io/trove/jobs/7987271002)
by GoatInGrey | 2025-06-03 18:31:22+00:00
> complete perfect

This is entirely subjective and paints the Go community as being paradoxical, simultaneously obstinate and wanting change.

The disappointing reality is that Go's error handling is the least terrible option in satisfying the language design ethos and developers writing Go. I have a penchant for implementing V's style of error handling, though I understand why actually implementing it wouldn't be all sunshine and rainbows.
by hmry | 2025-06-03 18:31:41+00:00
> Rust's result type is just syntactic sugar around the multiple return value approach

That's really not true. Multiple return values means you always need to return some return value and some error value, even if they are dummy values (like nil). While a result type / sum type genuinely only contains one branch, not the other.

If you had a language that didn't have nil, it would genuinely be impossible to emulate sum type like behavior on top of multiple return values. It serves as an escape hatch, to create a value of some type when you don't actually have a meaningful value to give.

std::variant / std::expected / std::optional aren't syntactic sugar for std::pair either.
by adrianwastaken | 2025-06-03 18:31:51+00:00
SEEKING WORK | CHICAGO | REMOTE

I'm a Full Stack Software Engineer who will be the easiest person to get along with on your team. I love learning new things and applying those to new challenges. I have experience in content creation and community building which helps me see things from the user's perspective.

Reach out if you have something cool you're working on and want a reliable addition to your team!

Technologies: JavaScript, TypeScript, Vue, React, Python, Django

Résumé/CV: https://drive.google.com/file/d/1vOwobbk2KqQyzqWHaWz6FSLyBCQ...

Email: adrian.rodriguez.dev@gmail.com

LinkedIn: https://www.linkedin.com/in/adrian-rodriguez-dev/

GitHub: https://github.com/adrianistaken

Website: https://adrianistaken.netlify.app/
by Imustaskforhelp | 2025-06-03 18:32:06+00:00
Yea, don't get me wrong but bruteforcing is real and I am not sure if its quite secure even with alphanumerical. Again I can be wrong but I'd personally wager a little bit more focus on privacy while still keeping The convenience but of course there are trade offs and its hard to do it quite right.

Hope you figure it out though!
by gamerDude | 2025-06-03 18:32:21+00:00
Hypothetically, could this be fixed by changing the input method. For instance, I just quickly looked up how humans process imagery.

"the primary visual cortex, located at the back of the brain, receives the visual signals and processes basic visual features like edges, lines, and orientations."

So, potentially if we did a pre-processing step to get more features out beforehand we would see different results in the output.
by Cyphase | 2025-06-03 18:33:22+00:00
I've had multiple occasions to link to this video recently, and here's another.

https://www.youtube.com/watch?v=tsSDvflzJbc

It's Leslie Lamport giving the closing keynote at SCaLE a few months ago. It's title was "Coding Isn't Programming".

I really enjoyed it. And as someone mentioned in another comment, he's got a fun sense of humor. I was there in person and got to meet him and exchange a few words after, which was cool.

Watch the first 2m10s and see if it hooks you.
by godelski | 2025-06-03 18:33:55+00:00
> Current paradigms are shifting towards RLVR, which absolutely can optimize good programs

I think you've misunderstood. RL is great. Hell, RLHF has done a lot of good. I'm not saying LLM are useless.

But no, it's much more complex than you claim. RLVM can optimize for correct answers in the narrow domains where there are correct answers but it can't optimize good programs. There's a big difference.

You're right that Lean, Coq, and other ATPs can prove mathematical statements, but they also don't ensure that a program is good. There's frequently an infinite number of proofs that are correct, but most of those are terrible proofs.

This is the same problem all the coding benchmarks face. Even if the LLM isn't cheating, testing isn't enough. If it was we'd never do code review lol. I can pass a test with an algorithm that's O(n^3) despite there being an O(1) solution.

You're right that it makes it better, but it doesn't fix the underlying problem I'm discussing.

Not everything is verifiable.

Verifiability isn't enough.

If you'd like to prove me wrong in the former you're going to need to demonstrate that there are provably true statements to lots of things. I'm not expecting you to defy my namesake, nor will I ask you prove correctness and solve the related halting problem.

You can't prove an image is high fidelity. You can't prove a song sounds good. You can't prove a poem is a poem. You can't prove this sentence is English. The world is messy as fuck and most things are highly subjective.

But the problem isn't binary, it is continuous. I said we're using Justice Potter optimization, you can't even define what porn is. These definitions change over time, often rapidly!

You're forgetting about the tyrannical of metrics. Metrics are great, powerful tools that are incredibly useful. But if you think they're perfectly aligned with what you intend to measure then they become tools that work against you. Goodhart's Law. Metrics only work as guides. They're no different than any other powerful tool, if you use it wrong you get hurt.

If you really want to understand this I really encourage you to deep dive into this stuff. You need to get into the math. Into the weeds. You'll find a lot of help with metamathematics (i.e. my namesake), metaphysics (Ian Hacking is a good start), and such. It isn't enough to know the math, you need to know what the math means.
by michaeld123 | 2025-06-03 18:33:59+00:00
Longest paths: The tail maxes out at 15 hops. These extreme paths are disappointingly mechanical—not the poetic distances you'd hope for:

* Technical jargon → unrelated obscurities: gryllacridid (cricket family) → microclots * Proper nouns → common words: Trish Stratus (wrestler) → federating Numbers → anything: 9451 → shoulds

Mostly hyper-specific terms with few inbound connections, obscure conjugations, or rare idioms.

Superconnectors: We systematically removed generic hubs, but your question prompted us to analyze which words still act as natural bridges. Added it to the article with an interactive explorer! Top survivors:

* polish (0.18% of paths) - verb/nationality homograph * symbiosis (0.14%) - biology → cooperation bridge * treaty (0.13%) - conflict → resolution bridge

Thanks for the curiosity—it led to an interesting addition. Age correlation: No hard data, but I suspect you're right. Older words have had centuries to accumulate meanings and develop polysemous bridges.
by NoMoreNicksLeft | 2025-06-03 18:34:06+00:00
>How do you even defend against this in a terrorist use case? When a small drone with a grenade or homemade explosive is so accessible?

I can see this from the other perspective. I've read stories for the past 30 years now about police forces and swat teams abusing people, murdering people because someone filled out the address wrong on a warrant, etc. And I wonder, in the coming years, if those sorts of scenarios will be quite as one-sided as they are today. What will that world look like?

>Answering my own question I guess you can already throw one manually without a drone.

Sure, but can you throw one from 2 miles away, can you throw 30 simultaneously? Can you then instantly escape without much of any evidence of who you are being left behind, not even a blurry traffic cam picture? The scale of the mayhem is a quality all of its own.
by adrianwastaken | 2025-06-03 18:34:12+00:00
Location: Chicago, IL

Remote: Yes (preferred)

Willing to relocate: No

I'm a Full Stack Software Engineer who will be the easiest person to get along with on your team. I love learning new things and applying those to new challenges. I have experience in content creation and community building which helps me see things from the user's perspective.

Reach out if you have something cool you're working on and want a reliable addition to your team!

Technologies: JavaScript, TypeScript, Vue, React, Python, Django, HTML/CSS, Tailwind, MySQL, GCP, Docker

Résumé/CV: https://drive.google.com/file/d/1vOwobbk2KqQyzqWHaWz6FSLyBCQ...

Email: adrian.rodriguez.dev@gmail.com

LinkedIn: https://www.linkedin.com/in/adrian-rodriguez-dev/

GitHub: https://github.com/adrianistaken

Website: https://adrianistaken.netlify.app/
by ccorcos | 2025-06-03 18:34:26+00:00
No, I'm saying that we all have our opinions and we need to be careful about who gets the power to tell others what to do.

You might think that we are collectively responsible for solving climate change, and someone else might think that we are collectively responsible for ending the murder of unborn children via abortion or any number of other things.

So who gets to be the dictator of whom? If we are all going to live together in harmony, we have to be tolerant of diversity.

That doesn't take away any freedom from you to take responsibility. And it preserves other's freedom as well.
by mentalpiracy | 2025-06-03 18:34:31+00:00
public transit benefits the community/region more so than any individual benefit, so I don't think cost per passenger is appropriate either.

Sometimes basic science research funding is framed in terms of "this program generated $10 of economic activity for every dollar spent." Social programs sometimes measured this way too. The term for this escapes me at the moment, but I think it would be more useful?
by mvdtnz | 2025-06-03 18:34:52+00:00
> It's not. The current NZ government is working through the "Starve the Beast" strategy; intentionally underfunding ministries and services so they can be punished or sold off later for "underperforming".

In case HN readers see this and take it too seriously, this is a left wing conspiracy theory. The government is making cutbacks because the previous government spent money like it was going out of style and put our country in a very precarious position.
by rurp | 2025-06-03 18:35:29+00:00
Not much. Autonomous targeting and control are quite new and currently take a fair bit of knowledge and skill to get right, but I expect those barriers to lower dramatically in the coming years. There might be power issues with such a long delay, but I'm not sure. I think the main drawback once this tech gets slightly more widespread is that most people who want to terrorize cities don't want to wait a year or two to do it.

For long running conflicts (Israel vs Iran for example) I expect we'll see some fascinating and horrifying attacks in the near to medium term. Of course anti-drone tech is also evolving quickly and I expect that to continue so the shelf life of any specific attack will probably continue to be rather short.
by citizenpaul | 2025-06-03 18:35:30+00:00
I get what your saying.

However we seem to live in a time where integrity is basically valued at zero or more commonly as something to "bank" so you can cash in for an enormous payoff when the time comes. I agree he seems authentic, therefore valuable. Which means an AI company can come and offer him 7-8 figures to build hype. I think its hard for people to truly grasp just how much money is flying around in hype cycles. Those numbers are not unrealistic. That's set for life money, not many are in a position to refuse that kind of wealth. (he lives in van, just saying)

I hope he is one of the few authentic people left but the world has left me jaded.
by acidx | 2025-06-03 18:35:51+00:00
I recently implemented a Forth, compatible with the Forth Haiku dialect used by https://forthsalon.appspot.com/ -- it uses a tail call/continuation-passing dispatching method, and performs some rudimentary optimizations. At some point it also spit out some C but I decided to give this feature the axe until it has a better infrastructure for optimizations and codegen.

The idea is to use it to drive an LED matrix and have a simple web UI to develop "fragment shaders" in Forth. It's developed as part of the Lwan project, although currently it generates GIF files on the fly rather than drive a LED matrix.

The source code is here for those that want to play with it: https://github.com/lpereira/lwan/tree/master/src/samples/for...
by DonHopkins | 2025-06-03 18:36:04+00:00
You'll need a SparcStation emulator to run it, if not a real SparcStation. I've resisted the temptation because there's so much new code to write that I don't have much time to run old code. ;) Although it would be fun to run it in an emulator 1000 times faster than it ever ran on real hardware!

Here are some links I've found:

Unix & Linux: How to emulate the NeWS window system?

https://www.youtube.com/watch?v=9ZhZqfC8sC4

Sun OpenWindows 3.0 (NeWS!)

https://www.youtube.com/watch?v=Kl08TvO0Bgw

Looks like this is running on a real Sun workstation, not an emulator. He shows RasterRap and The NeWS Toolkit demos, but not PizzaTool.

Good luck! Let me know if you get something working.