MurphyA/hacker-news huggingface dataset:
by Joker_vD | 2025-07-10 15:46:55+00:00
On a language semantics note: the semantics of extending/restricting polymorphic records seem to follow Leijen's approach [0] with scoped labels. That is, if you have a record e.g. r1 = { color = "yellow" }, you can extend it with r2 = { +color = "red" | r1 }, and doing r2#color will evaluate to "red"... and if you then strip the field "color" away, r3 = { -color | r2 }, then you'll get back an original record, r3#color will evaluate to "yellow". Which IMO is the sanest approach, as opposed to earlier attempts of trying to outlaw such behaviour, preferably statically (yes, people developed astonishingly high-kinded type systems to track records' labels, just to make sure that two fields with the same label couldn't be re-added to a record).

[0] https://www.cs.ioc.ee/tfp-icfp-gpce05/tfp-proc/21num.pdf
by MangoToupe | 2025-07-10 15:47:21+00:00
The western scientific community has a pattern of not treating the bodies of the deceased with respect due, often for very questionable value. I used to be ok with this—one of my favorite museums is the Mütter museum—but as time goes on I grow increasingly uncomfortable with the display of human body parts or entire cadavers.

Perhaps we can excuse the use of bodies for collecting genetic samples and learning about the context in death. There are good reasons to even argue against that, but at the bare minimum we could preserve and store these outside the public eye in a modicum of respect for their gift to us.

Here in the US, our largest equivalent problems are the use of bodies of indigenous, enslaved, and convicted-as-criminals for merely museum display. This has no academic or scientific value; just the casual disrespect of the dead.

Even just here in Philadelphia, this problem isn't relegated to the Mütter museum. The Franklin institute regularly uses real bodies, not reproductions. It's not relegated to ancient history, either: the University of Pennsylvania managed to get their hands on the remains of victims of the 1985 police MOVE bombing. Why? How? To what end? Nobody can remember..... thankfully, the university has absolved itself as legally culpable.
by _alternator_ | 2025-07-10 15:47:34+00:00
The “choosing the program” part is vague, but in many practical cases the user gets to choose the program by choosing input data.

This goes back to the rather fuzzy distinction between “data” and “program” you may remember from your early CS days. More precisely, from a theoretical CS perspective, there is no solid difference between data and program.

Almost all practical ZK schemes require the user to choose some input (eg the root of the merkle tree representing the “current state” of the blockchain and secrets like keys and the amount of a transaction).

From some perspective, you get a different program for each different input; sometimes people call this “currying” or “partial evaluation”.

So yeah, it’s more serious than it seems at first blush.
by ksec | 2025-07-10 15:47:40+00:00
>* The Global Technical Potential (in TWh/year) is 1/10th of offshore wind

I assume the value is still massive? The UK is still aiming to 4x its Off Shore wind by 2030. That would be 60% of UK electricity. If the new Nuclear Power plant actually deliver double its current 15%, that would be total 90%. The rest could just be solar and underwater turbine.

I am just wondering if underwater turbine causes any issues with marine life. If not we could absolutely deploy them on massive scale and avoid the eye sore of Wind Turbine.
by ProllyInfamous | 2025-07-10 15:47:56+00:00
Similar age (a bit older) but I always remember our core group of friends' parents would pass around a key-collection plate — "this is a safe environment to have a little bit of fun in" — the only time I ever remember a drunk peer driving home... he was then banned from all future private party invites. Sadly/predictably, he would later perish in a DUI, early 20s...

Damn, I miss the late 90s/aughts. Damn, I'm old (and fat, too; I "made it", somehow!)
by toomuchtodo | 2025-07-10 15:48:08+00:00
No solution is needed. People are empowered to make the fertility choices they're making. Stop issuing debt that will never be paid back for tax cuts today. Stop building infrastructure that no one will be around to maintain. Stop stealing from the future today. The population decline is not the problem; the socioeconomic systems that exploited a global population boom are. They will be forced to change, they have no other option.
by mshockwave | 2025-07-10 15:48:18+00:00
> RVV is the hardest though (20k intrinsics)

A bit late to this comment but most of these intrinsics are overloads of different LMUL and SEW on a single instruction. I'm pretty sure the actual number of RVV instructions is way less. So maybe you could consolidate overloads of the same instruction into the same page or something.
by kushalpandya | 2025-07-10 15:48:23+00:00
Smart playlists will be coming soon as I've done all the infra work to support it, in fact current default playlists that app has (Favourites, Top 25 Most Played, Top 25 Recently Played) use smart playlists behind the scenes, just that I don't have a UI to edit the rules yet.

Search should already be very fast (and filter through matches across any metadata field) as the app uses FTS5 on SQLite db to search tracks. But let me know if you still notice performance issues or bugs around it.

There might be iOS app in future but no plans for Windows app as that's a separate project of its own.

For cloud storage syncing, I did consider it at one point but then scope of this app would be very large, and there are plenty good apps to sync cloud storage data, like I personally use https://maestral.app/ for syncing Dropbox.
by hakunin | 2025-07-10 15:48:52+00:00
> Personally - if I really want to be fast and efficient I'm not picking Ruby anyways (or python for that matter - but at least python has the huge ecosystem for the LLM/AI space right now

"Fast and efficient" can mean almost anything. You can be fast and efficient in Ruby at handling thousands of concurrent llm chats (or other IO-bound work), as per the article. You can also be fast and efficient at CPU-bound work (it's possible to enjoy Ruby while keeping in mind how it will translate into C). You probably cannot be fast and efficient at micro-managing memory allocations in Ruby. If you're ok to brush ruby aside over a vague generalization, maybe you just don't see its appeal in the first place, which is fair, but that makes the other reasons you provide kind of moot.
by lupusreal | 2025-07-10 15:48:56+00:00
Reminds me of Return of the Living Dead:

Frank: International treaty, all skeletons come from India.

Freddy: No kidding, how come?

Frank: How the hell do I know how come? The important question is, where do they get all the skeletons with perfect teeth?

Apparently skeletons from India really was a big thing: https://www.nature.com/articles/s41467-024-45738-6
by jfengel | 2025-07-10 15:49:00+00:00
For the people in countries that still have a high birth rate, they usually are amazing opportunities. Wealthy countries are a lot richer than poor ones, and people will take jobs we scorn.

Unfortunately, we also scorn the people who would want to do them. We set very low immigration limits, and we pay the people who do those jobs (even native ones) very poorly.

So these jobs are simultaneously "amazing opportunities" and "abusive".
by sosborn | 2025-07-10 15:49:12+00:00
As a heavy user of Formsite, these would be the features I would prioritize:

- Logic branching (if question 1 answer is 'A', then hide question 2. etc) - Confirmation emails to the submitter - Widgets to insert design elements (static text, images, etc)

IMO, these are bare minimum for B2B business if you are interested in pursuing that.

Having said that, this is a great start.
by asveikau | 2025-07-10 15:49:18+00:00
As was probably covered in the thread yesterday, it's kind of an impossible position. Anything she did can and would be attributed to Elon. Anything she could have done to challenge Elon would have resulted in being pushed out. Nobody could have been in that position and done well. She wasn't in a good position to be a scapegoat, nor to do anything, really. The whole thing was pointless. Sounds like she made some good money.
by theozero | 2025-07-10 15:49:20+00:00
Whether you like them or not, using env vars is ubiquitous because it's easy. Anything else ends up tightly coupled within your application code or only within the environment. Often you have a set of config needed both for your application and your surrounding dev tools / scripts. This tries a provide a universal solution.

At the end of the day you could imagine varlock loading your config, and injecting it using a method that is not env vars - a file, sidecar process, etc.
by cogman10 | 2025-07-10 15:49:31+00:00
You don't need to replace the whole setup, just the batteries. All the power electronics and interconnects are already there and will last as long as they last.

You also don't technically need new batteries almost ever. Batteries (typically) don't really die, they just lose capacity. After a 15 year runtime instead of storing 10mWh they now store 7mWh. That's still 7mWh. After another 15 years it'll be down to around 5mWh.
by laszlograves | 2025-07-10 15:50:05+00:00
1991 millennial here offering some perspective.

Transferred to a California state college a little late (27) and wrapped up my computer science degree @ SFSU finished in 2019 so somewhat recent anecdotal experience.

I met a lot of people just like me while in college. Lot of people mid to late 20s. One of my best friends in college was in the international business club fb group and they’d always host events or pub crawls every Thursday night. I’d ping my gf (now wife) and she’d asynchronously invite all of her friends and then I’d be inviting all our college friends so by the time we arrived we’d have a merged friend group. We met so many cool folks this way and people from different majors with diverse backgrounds.

It helped to be in San Francisco of course.

Now as far as the housing discussion I’d say that the 7% rates that are historically normal feel oppressive after 15 years of low rates following the Great Recession. I bought a place in the edge of the Bay Area last year with 5% down at 7% because I didn’t have the income that I have now when rates were low. We were saving for the last 7 years delaying a bunch of major life milestones. The prices in our zip code already dropped ~15% before we bought so we saved about a 20% down payments worth off the up front cost. I barely qualified with 270k combined income and I’m not sure ppl understand how weird that feels until they experience it. The home wasn’t even a median priced SFH in fact it was well below at about 750k. I kept a bunch of vested stock and savings but yeah not sure how things will shake out. It’s a tough market for sure.
by orchestratoz | 2025-07-10 15:50:19+00:00
Yes, as long as it is accessible from the Rierino EC2, you can use your existing MongoDB server.

You'll have to:

1) Export application databases from your current AMI and import into your MongoDB (you can use the loader service as an alternative, but this would be easier)

2) Update rierino.system.mongodb.*.uri entries in your admin_runner/globalconfig.properties file with your MongoDB details

3) Restart the admin_runner service

As a side note, you can also use other database systems like relational DB (also cache & search systems) with the platform. Please feel free to reach out to our team or visit https://docs.rierino.com/devops/microservices/elements/state... for more details.
by jcgl | 2025-07-10 15:50:23+00:00
Two things:

1. Relying on just ICANN instead of ICANN+CA Forum would be an improvement. I assume, at least? Thinking about it though, the CA Forum setup with transparency logs and such does provide some safeguards against CA operator abuse. Those are safeguards that wouldn't be available in a DANE-only world where nameserver operators could surreptitiously inject malicious TLSA records at their whim. That could be safeguarded by DNSSEC where the domain owner does their own signing and then the nameserver operator simply serves those pre-signed records. However, that's a lot of complication. Gonna have to think about this...

2. Tbh I am not convinced of the virtues of decentralized DNS. If people use different roots in practice, then we lose the utility of a single view of names. At its most extreme, you then would not be able to reliably do things like publish a URL. However, maybe you're suggesting that DNS shouldn't be centralized with the root, but rather have a constellation of TLDs as roots? Obviously that would require shipping resolvers with hardcoded roots and wouldn't be robust when new TLDs are brought online. But maybe there'd be value in that...I'm not convinced yet though.
by naikrovek | 2025-07-10 15:50:57+00:00
blockchains and bitcoin are good for two things only: money laundering, and collecting ransomware payments.

blockchains as an immutable ledger should be the dumbest thing anyone has ever heard of. but somehow people saw dollar signs and put aside all their reservations and are using it to try to get rich quick.

as if a set of banks are going to secretly conspire to remove your money from you specifically, without a paper trail, or something. it's a nonsense premise to begin with.
by PaulHoule | 2025-07-10 15:50:59+00:00
People are crazy now. This supposedly reputable source

https://www.allsides.com/media-bias/media-bias-chart

puts The New York Times opinion page in the same box as Jacobin which (1) I think is highly offensive to Jacobin and (2) doesn't seem consistent with a paper that (a) said it would never make endorsements in NYC politics and (b) reversed itself to make an anti-endorsement of Zohran Mandami (because it's just too cringe to endorse Cuomo or Adams)

For that matter I'd put The Guardian and Mother Jones solidly left of The Atlantic. The New Yorker strikes me as being interested in "wokeist" issues but being not quite strident enough to be really "woke".

I think this chart is defensible

https://app.adfontesmedia.com/chart/interactive

unlike that other one.

So far as The Economist goes they really should be Center-Right in the sense that they were founded in 1843 to oppose

https://en.wikipedia.org/wiki/Corn_Laws

and have supported free trade consistently ever since and loved Maggie Thatcher but never got behind the Tory clown car of the last 20 years. They're also consistently trans-skeptical.

The weirdest story now has to be The Bulwark which was founded by the people who brought you the Iraq war and torpedoed Clinton's health care plans but has to attract a left-leaning audience because there's no place for a principled conservative in 2025.
by bloak | 2025-07-10 15:51:14+00:00
I've thought about it a bit in the meantime .... In the UK only about 30 children per 100,000 die before age 18 so that would be much less significant than the fact that only about 49% of children are female. Taken together, those facts would imply that you need about 2.0414 children per woman, so 2.05 would be more than enough. So how do we get to 2.1? Perhaps the 2.1 is for other countries with higher infant mortality?
by cogman10 | 2025-07-10 15:51:30+00:00
I mean, it is a literal pipe dream :)

Batteries can be deployed nearly instantly. My power company is planning on building a new battery plant next year, it announced it the year prior.

I know a pumped hydro plan that has literally been in the works for the last 20 years and shows no sign of actually being started (still being planned).
by JohnFen | 2025-07-10 15:52:08+00:00
Here's my opinion from decades of hiring. First, I think cover letters are extremely helpful and should always be included. They should also be relatively short. Certainly less than a page, ideally just a couple of paragraphs.

The cover letter is, basically, the sales pitch. Your CV tells your work history and skillset, but doesn't tell anything about why you're applying for this specific position at this specific company.

The cover letter bridges that gap. Ideally, the applicant explains why the company and position are interesting to them, clarifies how they expect to use their experience in the position, and provides a way to explain strengths the applicant may have that are both specially relevant to the position and not obvious from the CV.

Also very important is that the cover letter demonstrates that you know at least something about the company you're applying to. You don't want your application to look like it was just randomly shotgunned out.
by miloignis | 2025-07-10 15:52:18+00:00
Maybe, I do think it really depends on the type of software/situation.

In an argument about how much someone is able to use something, I think you could argue that a copyleft license turns more people away than it would force to participate, so the overall amount of work that is freely available is less than it would have been with a permissive license. (That is, if 10% using a permissive license don't contribute back and 90% do, you end up with more contributions than if 100% of users contribute back to copyleft but you only have 50% as many users.)

I do think it's very situational though - clearly Linux being GPL has been a huge boon in forcing contributions, and I think the killer bit here is that forcing those contributions means that people are able to use their hardware that might otherwise only run proprietary operating systems. That is, it's the forcing open of something that hardware companies would otherwise keep closed.

On the other hand, I don't see any huge reason why a good regex library, for instance, shouldn't be permissive - making a regex library copyleft isn't going to force open some proprietary software, they'll just use some other (maybe worse, maybe equivalent) regex library, and you might get fewer overall contributions and end up with a worse overall available library.
by mdaniel | 2025-07-10 15:52:20+00:00
> it forces Google to scramble energy and resources into defending their turf

what turf, Chromium is already open, powering Edge, and there have been rumblings that the DoJ could force Google to divest of Chromium anyway

Manifest V3 nonsense aside, I don't see at all how Google has a moat just because of the C++ one uses to parse html
by fkyoureadthedoc | 2025-07-10 15:52:27+00:00
Most people aren't interested in just talking past each other or responding to people saying something to get a rise.

What you're trying to say here is that you disagree with having a distinction between sex and gender identity, but you're doing it in a purposefully obtuse and inflammatory way. That indicates to me that you're not really interested in having a conversation. You're likely seeking downvotes and bans to justify your own bias.
by leoedin | 2025-07-10 15:52:31+00:00
Did you just post a wind-turbine criticism?

These turbines have a diameter of 18m and a speed of 8 to 20 rpm. So a tip speed of 7.5 to 19 m/s - about 27 kph to 68 kph. I guess that's enough to hurt a whale. Although interestingly the water speed due to the tide in this channel is up to 5 m/s - so maybe it's too turbulent for whales anyway. Do whales like fast flowing water?
by GTP | 2025-07-10 15:52:58+00:00
I understand that this is the claim being made, but I think I'm still missing what is the attack's heart. From the article, it seems to boil down to "if you use a malicious program, then Fiat-Shamir is broken". But to me it seems more like that Fiat-Shamir would still give a correct proof of the program's output, it's just that the output itself was wrong from the start (I'm referring to the point in the article where they say such a malicious program behaves differently than intended when it detects its own hash being used). Is this attack actually letting you generate a valid proof for an output that the program doesn't generate under the given input?
by throwaway173738 | 2025-07-10 15:53:17+00:00
You might want to pause and think about why policing another person’s behavior like this is so fervently important to you. Most of the parents I’ve met wouldn’t push something like this on their kids but would rather treat it like a collaboration. Kids even at age 5 are capable of explaining that they don’t want to do something and nothing in the parent implied use of fiat. We all need to assume more good faith on the part of parents and of our neighbors if we want to have a social fabric and reasonable discussions.
by jgalt212 | 2025-07-10 15:53:40+00:00
We used this application in a middle school English class I had. It was very fun even if not the most powerful application. IIRC, each page was broken up into six segments. If your article was longer than one segment you had to save two files. If changes made in segment 1 spilled over into segment 2, you had to redraft two files. fun times!
by PretzelPirate | 2025-07-10 15:53:55+00:00
That's confusing to me because back in 2020 when they were looking into GKR inside of a Snark, they were worried about these attacks. Following up in 2022, Ethereum researchers were talking about attacking GKR by forging proofs and not having sufficient randomness/collision resistant.

It's hard to align what's being researched on Ethresar.ch and this statement.
by keoneflick | 2025-07-10 15:54:46+00:00
Be sure to also check out how francophone Quebecois have been very effective at revenge - driving out anglophones and allophones from Quebec through vindictive attacks against their language, culture, schooling and employment. It's sad, but I am ultimately glad I will be the last generation of my family born in Quebec. Au revoir and good riddance.
by Merovius | 2025-07-10 15:55:24+00:00
As I said in the other comment, I'm not a C++ user, so I'm relying on cargo-culting and copy-paste. But I think gcc disagrees - otherwise this would not compile, as line 14 is provably invalid: https://godbolt.org/z/P8sWKbEGP

Or am I grossly holding this wrong?
by jillesvangurp | 2025-07-10 15:55:40+00:00
It helps to have stable bi-lateral relationships between countries that choose to connect their grids and economies. This kind of stability is a good thing. The current instability with long relationships being questioned and falling apart is a bad thing. And where you say cost, I say investment. Because energy is a valuable commodity and being able to buy/sell energy via cables has value.

Most renewable energy investments have decent, easy to calculate returns on investment. That's why this stuff is so popular with investors. And that's also why I don't think current policy changes in the US matter long term. It just slightly increases the time to a return on investment. But you still get a return. So, companies will continue to look at batteries, solar, and indeed cables with or without government support. And even a little bit of tariffs (aka. taxes) won't stop that.
by nick238 | 2025-07-10 15:55:42+00:00
Lifecycle analysis is a common and increasingly detailed field which includes impacts to manufacture, transport, install, run, and clean-up installations, either cradle-to-grave, or cradle-to-cradle (includes the cost of recycling). I assume for installations like this, those studies have been done.

There's a whole tirade in "Landman" about wind turbines not being green because of this or that thing[0], ending with the statement: "in its 20-year lifespan, it won't offset the carbon footprint of making it". These are just feelings (of the fictional character, but unfortunately ones adopted by real people) that are unconcerned with the facts that, no, the lifecycle analysis shows that wind turbines break even in 1.8 to 22.5 months, with an average of 5.3 months[1].

[0]: https://www.youtube.com/watch?v=wBC_bug5DIQ

[1]: https://pubs.acs.org/doi/full/10.1021/acs.est.9b01030