MurphyA/hacker-news huggingface dataset:
by subpixel | 2025-05-21 14:44:54+00:00
I didn't get snared by Instagram until I began to use it deliberately, _searching_ for things. In my case when I moved to a new part of the country, I found it super useful to look up places and things on Instagram by name, location, or tag.

Instagram (and YouTube) have engineered their search experiences to be as distracting as possible and to provoke the user into abandoning their search and to follow suggested content.

I can't tell you how many times I set out to find something and literally forget what that intention was, after being induced to click on the tantalizing promise of some other image or video thumbnail.
by sampleuser58 | 2025-05-21 14:45:41+00:00
One modification I would suggest is to add a bit more to the initial prompt like:

"write as if you are a person from {{REGION}}. Modify your language to proficiency level {{PROFICIENCY_LEVEL}}"

that way I could for example, speak as if it's someone using Mexican Spanish vs Madrid Spanish vs Chilean Spanish, etc.

Secondly, you could include the user's speech transcribed as part of the conversation window
by chr15m | 2025-05-21 14:46:50+00:00
It was like that for 500 years:

> New regulations for the elections of the doge introduced in 1268 remained in force until the end of the republic in 1797. Their intention was to minimize the influence of individual great families, and this was effected by a complex electoral machinery. Thirty members of the Great Council, chosen by lot, were reduced by lot to nine; the nine chose forty and the forty were reduced by lot to twelve, who chose twenty-five. The twenty-five were reduced by lot to nine, and the nine elected forty-five. These forty-five were once more reduced by lot to eleven, and the eleven finally chose the forty-one who elected the doge.[31] > --wikipedia
by nottorp | 2025-05-21 14:46:54+00:00
It's unrelated to this article, but I suppose this motivation is why no one has a Gremlins-like feature any more.

It seems to be almost totally forgotten, since the only link I could find is an excerpt from a PalmOS programming book:

https://www.oreilly.com/library/view/palm-programming-the/15...
by breakds | 2025-05-21 14:47:14+00:00
Wow, what a fantastic write-up—thanks for sharing this! I’m a San Jose homeowner (and PG&E sufferer) with a homelab that pulls over 1 kW, and I’ve been down the DIY solar rabbit hole for the past two weeks. Based on my research, I’m planning a roughly 9 kW Signature Solar setup:

20× 455 W Canadian Solar panels (~$173 ea)

1× GridBoss MID V2 (~$2 400)

1× FlexBoss 21 (~$2 400)

4× Eco-Worthy 48 V 100 Ah LiFePO₄ batteries (~$1 500 ea)

18 U server rack (~$500) — total hardware ~$14 760

My big hang-up has been the rooftop work, permitting and inspections—almost no one I call will touch a true DIY system. If anyone here in the Bay Area has recommendations for installers or back-of-house permit-whisperers who’ll partner on a non-Tesla/Sunrun job, I’d love to hear how you made it happen. Thanks again for the inspiring guide!
by 0x3444ac53 | 2025-05-21 14:47:54+00:00
Hi! I work in manual QA at a financial institution. We have dedicated QA teams, and some of us also work towards automation. A lot of companies, where I work included, are often stuck in legacy systems that modern automation tools simply can't work with, and as a result require manual QA (or at least a dedicated team for automating).

I doubt you'll find anything at larger silicon valley-esque startups, but any company that creates tools for non-technical end users (either internal or external) typically needs QA.
by jccalhoun | 2025-05-21 14:48:29+00:00
Treating legislation like jury duty could be interesting. The question is who would be responsible for weeding out the legislator pool? Representatives from the political parties perhaps? Maybe a senate proposes laws and then a true representative body would be in charge of deciding if the proposal should pass? They serve a couple weeks passing laws and then are dismissed. It might be interesting to try on a state/local level.
by diggan | 2025-05-21 14:49:22+00:00
Ah, well, it's a dish, common name for it is "Huevos estrellados" in most places I think though. https://www.google.com/search?q=huevos+rotos&tbs=imgo:1&udm=...

Scrambled eggs would be "huevos revueltos"

Edit: in Spain at least. YMMV for other Spanish-speaking countries.
by spudlyo | 2025-05-21 14:49:27+00:00
I think "pointless as a means of exercise" perhaps overstates it a bit. I agree you're not going to see much benefits in terms of cardiovascular fitness, but every bit of activity figures into one's energy balance. You often hear that even small little movements throughout the day (non exercise activity thermogenesis) can be the difference between maintaining weight homeostasis or having a few pounds a year creep into your life. Prioritizing walking seems like a good hedge against this if you're not blessed with NEAT.
by atoav | 2025-05-21 14:49:39+00:00
That guitar: <https://www.thomann.de/de/harley_benton_hbt1952.htm>

And that amplifier: <https://www.thomann.de/de/harley_benton_tube15_celestion.htm>

The amp is based on the Monoprice Stage Right 15W which is a clone of the Laney Cub 12R which is losely inspired by the Vox AC15. So you get a decent 15W tube amp with a real spring reverb for 260 Euros. There is not a lot with that amount of bang for the buck out there.

If you're playing in a loud band it might be a little underpowered, but it is perfect for playing at home, and if you want it to be any wilder than it is, just use pedals in front of it.
by FollowingTheDao | 2025-05-21 14:49:44+00:00
> Costs lowered a lot or the benefits outweighed all associated costs.

How is this even quantifiable?

How about this. Before using AI to make fake images and help kids cheat on their homework, we take it offline and use it to solve it's own problem of energy use.

You know what this does not happen? Because the goal is profit and the profit comes not from solving real important problem, but by making people think it is helping them solve made up problems.
by Flamentono2 | 2025-05-21 14:49:57+00:00
How is that dismantling my argument or relating to the point i made?

Just because some people on reddit 'laugh' at these discussions, in one of the PRs a contributor/maintainer actually said that they enabled it on purpose, are not forced and are happy to test it out.

And someone somewhere has and want to test stuff. Whats the issue? Test it out, play around with it, keep it or disable it.

And i think .net as a repository is a very good example. The people on github copilot side are probably very happy about this experiement. For me its also great, it seems like github copilot is still struggling a bit.

And copilot is called copilot because they do not advertice it as replacement.
by recroad | 2025-05-21 14:50:36+00:00
> The majority of errors you find with testing are either issues with an entire "partition" of inputs or "boundary" inputs, like INT_MIN.

I don't find this to be true at all. Most bugs I find are business scenarios that I didn't consider or mismatches in API expectations etc. Rarely is a bug for me coming from not considering edge cases of min and maximum values for integers, floats etc.
by bee_rider | 2025-05-21 14:50:36+00:00
What about it do you think doesn’t work in English? I think it works perfectly (although it is possible I’m reading too much into it given the context)—he’s saying he’ll be dead, but he’s focusing on the life he lived instead. I think there’s an element of resistance to it as well; they can kill him but they can’t take away the fact that he has lived.
by throwawayffffas | 2025-05-21 14:50:50+00:00
> Is it totally useless or is it the greatest thing ever? If neither, where in the middle do you put it?

For code completion, I think it's close to useless in my experience, traditional code completion feels much more useful.

> How often does it provide plausible but incorrect completions? Is it every few minutes or is it a couple times a day?

It varies with the workload but closer to every few minutes than a couple times a day. For example while writing rust the majority (like 95%) of the code completion suggestions are incorrect. When writing a python website it gets better but you still get bad suggestions that look good, several times a day.

The killer feature is generating code, not as completion but after an explicit prompt. Most models are okayish on that task. But still you have to pay attention.

That's all in my experience across like a year, your mileage may vary.
by vorpalhex | 2025-05-21 14:50:53+00:00
The primary form of corruption we see is an indirect tit-for-tat. "You buy our x,y and z and we'll hire you for a cushy gig many years from now."

And when we look at amateur politicians (smaller elections, smaller electoral pools, first time candidates) then we see this happen.. more. Much, much more.

Government by lotto would dramatically increase corruption.
by whack | 2025-05-21 14:51:26+00:00
Most modern incarnations of this idea revolve around Citizen Assemblies. Ireland, as an example, convened a citizen assembly in order to discuss and propose reforms on topics like abortion, climate change, and political reform.

https://en.wikipedia.org/wiki/Citizens%27_Assembly_(Ireland)

The idea behind Citizens Assembly isn't very controversial. Randomly select a large pool of citizens, have them discuss a topic in great detail with plenty of testimony from experts, and then vote on their recommendations.

In concept, this is very similar to how courtroom juries operate. We don't just let millions of people vote on whether a defendant is innocent or guilty. We instead pick a smaller pool of jurors, force them to sit through weeks of expert testimony and arguments from both sides, after which they cast their votes. Hence why there is a movement to similarly have courtroom juries elect our political representatives as well

https://www.electionbyjury.org/
by outrunner | 2025-05-21 14:52:28+00:00
I'm off Twitter now, but I love the idea behind this, and would love if there was something like this but expanded.

One of the things about being on Twitter for a decade+ is that people change! There were more than a few occasions towards the end of Twitter where I had to stop and think, hang on, why did I follow this person again...? And then you realize, oh, they were a notable (person) in (field) six years ago but they've gone fully personal on this account. Or the opposite: they used to tweet really fun, offbeat jokes but now it's a professional account for something I would never have followed. I kept wishing for some sort of notes field to remind myself why I was following these people!
by tmaly | 2025-05-21 14:52:44+00:00
I pay for both ChatGPT and Grok at the moment. I often find myself not using them as much as I had hoped for the $50 a month it is costing me. I think if I were to shell out $250 I best be using it for a side project that is bringing in cash flow. But I am not sure if I could come up with anything at this point given current AI capabilities.
by empath75 | 2025-05-21 14:52:51+00:00
> Domestic saving is in no way equivalent to productive investment in the US economy. Are people keeping money in their mattress considered accounting discrepancies? Companies hoard cash like dragons. What investment in USA? Have you seen much new equipment or new factories? What investment means here is pumping up USA asset prices, it stretches the definition of the word investment to the absolute limit. Domestic saving just ends up as unused savings in an account somewhere, we don't have a good mechanism to put it to actual productive use.

This is completely nonsensical. Banks (eliding a lot of important details about money and loan creation) use money in those accounts to make loans, and a large percentage of those loans are used for investing in businesses and real estate. "Pumping up USA asset prices", I assume means "buying stocks", which also leads to investment by the companies who sold those stocks. Companies that "hoard cash" don't literally have piles of dollar bills somewhere. Apple, for example has billions of dollars of "cash on hand", but a large percentage of that is actually in bonds and other liquid assets that are investments, and not actually just a useless hoard. They keep pure "cash equivalents" on hand mostly for operations purposes.

> Funds from abroad don't finance business investment in USA. They are foreign funds snapping up American real estate and other hard assets.

This is literally what investing is. Where do you think that money goes? To the people who built those buildings and other assets. Do you think they just light the money on fire? No, they build more buildings and other assets to sell to foreign investors. And they are still productive assets in the US, with different ownership.
by throwup238 | 2025-05-21 14:52:54+00:00
> Interesting that every comment has "Help improve Copilot by leaving feedback using the or buttons" suffix, yet none of the comments received any feedback, either positive or negative.

The feedback buttons open a feedback form modal, they don’t reflect the number of feedback given like the emoji button. If you leave feedback, it will reflect your thumbs up/down (hiding the other button), it doesn’t say anything about whether anyone else has left feedback (I’ve tried it on my own repos).
by terts | 2025-05-21 14:53:10+00:00
Hi! Author here. Mun is super cool, but works slightly differently as far as I know. You compile Mun scripts outside of your application to a dynamic library, which can then be (re)loaded by your application. The advantage of that approach is that you can ship the compiled script with your application.

The downside is that it's not really possible to share types between the host application and the script as far as I know. They have something called called `StructRef` which does this a bit, but it's all runtime checks if I understand correctly.

If somebody here knows more about Mun, I'd be happy to be corrected. This is just my understanding from their documentation.
Show HN: P.D.M.P. – Free Tier Audio Player with Crypto Payments
by sjblair | 2025-05-21 14:53:14+00:00
P.D.M.P. is a lightweight, scrappy indie-focused music/audio player with a free tier: [https://transcendent-frangipane-98cd9d.netlify.app/] and crypto payment work around.

Built with React, it’s fast, responsive, and open-source. Feedback on the UI and Crytpo integration welcome!

I am building this music/audio player and other webapps as I need them for my own use. This is for all indies! You are more than welcome to play around with it and see if you can't use it to build an audience and generate some revenue!

Please send me feedback if you do! Cheers!

GitHub Repo: [https://github.com/Steven-J-Blair/pimp-daddy-music-player]

More about me? Here's my custom Link Tree: [https://steven-j-blair.github.io/pimp-daddy-link-tree/]
by diggan | 2025-05-21 14:53:18+00:00
> These expensive toys will inevitably introduce catastrophic level bugs and security vulnerabilities into critical infrastructure software. Right now, most of Microsoft's product offerings, like GitHub and Office, are critical infrastructure software.

So nothing new? Just this/last month, it seems like the multi-select "open/close" button in the GitHub PR UI was just straight up broken. No one seemed to have noticed until I opened a bug report, and it continued being broken for weeks before they finally fixed it. Not the first time I encounter this on Microsoft properties, they seem to constantly push out broken shit, and no one seem to even notice until some sad user (like me) happens to stumble across it.
by jodrellblank | 2025-05-21 14:53:46+00:00
> "Whatever the term meant when it was launched is now forgotten"

Language INtegrated Query. The SQL query isn't written inside a string, opaque and uncheckable, it's part of the C# language which means the tooling can autosuggest and sanity check database table names and field names against the live database connection, it means the compiler is aware of the SQL data types without manually building a separate ORM/layer.

That people who don't use C# think it's just a Microsoft way to write a lambda filter on an in-memory list is sad.
by codingbot3000 | 2025-05-21 14:54:12+00:00
Exactly, and as a consequence of the automatic load shedding, the fission reactors shut down for safety reasons, and had to be cooled using their Diesel generators, which wasn't nice to watch: https://www.lavanguardia.com/vida/20250428/10625069/nucleare...

Which unfortunately meant they were unable to support the "reboot" of the network. That was started in the evening to avoid working hours (we were lucky and hat our electricity back at 18:30, while some people had to wait quite a bit longer). The reboot used mostly hydro, gas, and as much electricity as possible from France and Marocco. (well summed up in https://en.wikipedia.org/wiki/2025_Iberian_Peninsula_blackou...)

I wonder whether there could be a safe mode during load shedding that would not require a complete reactor shutdown. If that were the case, nuclear could have a stabilizing effect same as gas or hydro.

I am quite eager to learn about what really went wrong. We enjoy really cheap consumer prices for electricity (we use it to heat and cool, like in the US), thanks to solar and wind. I hope investing in batteries and network reliability will be enough to mitigate the problems.
by zelos | 2025-05-21 14:54:24+00:00
I remember using something similar a long time ago - basically fuzz testing, I suppose you could call it property based testing where the property is "whatever edits the user does, we should be able to save and reopen the document without crashing".

It found so many bugs: file corruption, crashes, memory leaks, pathological performance issues. The kind of issues that standard unit testing doesn't find.
by nodesocket | 2025-05-21 14:54:25+00:00
We’ve recently had some crazy storms and power outages and my Ecoflow units kicked in and worked perfectly. I have a River 2 which I use as a UPS for my Mac Mini + Monitor at my desk and a River 2 Pro as a UPS for all my Ubiquiti networking, Protect cameras, and severs in my racks. Then I have a Delta 2 I can hookup to the two Rivers to add additional charge. Just pulled the trigger on a 3600watt gas generator off Amazon as well incase of extended outages. While not whole home backup by any means it’s a solid setup for electronics and server gear.
by ajross | 2025-05-21 14:54:26+00:00
> Uninitialized bytes are not just some garbage random values, they're a safety risk.

Only when read. Writing to "uninitialized" memory[1] and reading it back is provably secure[2], but doesn't work in safe Rust as it stands. The linked article is a proposal to address that via some extra complexity that I guess sounds worth it.

[1] e.g. using it as the target of a read() syscall

[2] Because it's obviously isomorphic to "initialization"
by aaronbaugher | 2025-05-21 14:54:47+00:00
I remember playing a Commodore 64 game back then, maybe Pool of Radiance, and seeing a long list of play-testers in the credits. (And thinking what a cool job that would be.) They really had to put a piece of software through its paces back then before shipping it. And bugs still made it into the final copy, but if they did the job right, they were annoying or amusing bugs, not anything game-breaking.
by ratrocket | 2025-05-21 14:54:54+00:00
I'd describe myself the same as you did in your first paragraph here, and wanted to say that with LSP, your "rename function call" example in vim (well, I switched to neovim some years ago) is (mostly) `<Leader>rn` (default in my LSP setup, I'll paste the relevant line below) when the cursor is on the symbol. That will change the name in all open buffers. Annoying thing is that it doesn't (ofc) change the name in "log lines", so it's helpful to pre-`*` on the symbol name so you can go back and `n.n.n.`. (I've always wanted to "wire up" something to also detect those log lines and change them at the same time, but... ya know.)

The line in my nvim config that sets up the LSP "rename" is:

vim.api.nvim_buf_set_keymap(0, 'n', '<Leader>rn', '<cmd>lua vim.lsp.buf.rename()<CR>', opts)

I mention this because in spite of using vim/neovim for over 20 years, I still learn new things (from HN comments and elsewhere) -- which is part of why I love it.

(To your larger point -- I concur... btw)
by dlisboa | 2025-05-21 14:56:02+00:00
Yeah, I did an amateur short once as part of a college assignment and doing the storyboard was the most difficult part for me as I'm not a good drawer at all. Getting the idea for a certain shot from my head to the paper was a struggle.

Being able to express visual ideas with words is one of the most powerful things of this AI craze. Text/code is whatever.
by bluGill | 2025-05-21 14:56:07+00:00
Multiple problems.

Proving code is only as good as the requirements which are often garbage - the customer often doesn't know what they even want. Even if you put in effort, requirements as the proof needs are often very abstract from the customer requirements and so your program can be proved but still be wrong because it doesn't do what the customer really wanted. In any complex program is a reasonable to state that several requirements are wrong and thus even if your prove your code correct it will be wrong. Often the problem itself cannot even be formally defined - a spell checker cannot be proved correct because human languages are not formally defined, not that you can't prove one, just that whatever you prove will be wrong.

Many systems are very complex. You can (should!) prove simple algorithms, but put everything together and a proof is not something we can do at all. There are too many halting problems like things in large programs.

Tests solve some of the above problems: They can (do not confuse with what they do!) be a simple example of "yes when inputs are exactly x,y,z then I expect that result". A bunch of simple examples that make sense can often be close enough.

We do a lot more theorem proving than most people realize. Types which many languages have are a form of formal proof. They don't cover everything, but even in C++ they cover a lot of issues.

I think the best answer is a combination: prove the things we know how to prove, and test the rest and hope that between the two we have covered enough to prevent bugs.
by WorldMaker | 2025-05-21 14:56:27+00:00
Most consumer networks are IPv6 by default. Most cellular networks are IPv6-only/IPv6-native today with big DNS64/NAT64 gateways to the IPv4 web. Most consumers don't know or care, they just use IPv6, daily.

A lot of the holdouts on IPv4-only traffic are corporate traffic. A lot of corporate traffic acts like it wants a separate internet anyway, and a lot of companies hoarded IPv4 spaces for long enough that they don't see the increasing costs of IPv4 addresses hit their bottom lines yet enough to care. It's a fascinating dynamic. Maybe corporations will just buy the remaining IPv4 internet entirely and keep it as their own separate but not equal network.
by aswerty | 2025-05-21 14:56:32+00:00
Just as an anecdotal experience. It doesn't necessarily go without saying.

The most memorable discussion I had around PBT was with a colleague (a skip report) who saw "true" randomness as a net benefit and that reproducibility was not a critical characteristic of the test suite (I guess the reasoning was then it could catch things at a later date?). To be honest, it scared the hell out of me and I pushed back pretty hard on them and the broader team.

I have no issue with a psuedo-random set of test cases that are declaratively generated. That makes sense if that is what is meant by PBT. Since it is just a more efficient way of testing (and you would assume this would allow you to cast a wider net).