MurphyA/hacker-news huggingface dataset:
by reuben364 | 2025-05-20 15:46:25+00:00
Thinking out aloud here.

One pattern that I have frequently used in EMACS elisp is that redefining a top-level value overwrites that value rather than shadowing it. Basically hot reloading. This doesn't work in a dependently typed context as the type of subsequent definitions can depend on values of earlier definitions.

def t := string def x: t := "asdf" redef t := int

redefining t here would cause x to fail to type check. So the only options are to either shadow the variable t, or have redefinitions type-check all terms whose types depend on the value being redefined.

Excluding the type-level debugging they mention, I think a lean style language-server is a better approach. Otherwise you are basically using an append-only ed to edit your environment rather than a vi.
by mpweiher | 2025-05-20 15:46:26+00:00
Except that the Ceci/Williams study is (a) more recent (b) has a much larger sample size and (c) shows a larger effect. It is also arguably a much better designed study. Yet, Moss-Racusin gets cited a lot more.

Because it fits the dominant narrative, whereas the better Ceci/Williams study contradicts the dominant narrative.

More here:

Scientific Bias in Favor of Studies Finding Gender Bias -- Studies that find bias against women often get disproportionate attention.

https://www.psychologytoday.com/us/blog/rabble-rouser/201906...
by madcaptenor | 2025-05-20 15:46:27+00:00
In college once I took a course that was being offered for the first time. They gave a midterm survey (usually we only had final surveys). I filled it out honestly, saying that my partner for our group projects was not pulling his weight. I had forgotten that I was in the only group of two (all the other groups were of three). The professor actually pulled me aside to let me know that he was aware our group wasn't working out - unfortunately there wasn't anything he could do.
by em-bee | 2025-05-20 15:47:01+00:00
in this thread someone commented

1. People love correcting other people. If you want to get an answer, don’t ask for the solution — instead, post a (possibly) wrong answer under a different pseudonym. People will then want to prove you wrong. 2. Even more so if you’re a woman.

that comment was flagged, and while on the face of it, without further context, that may be reasonable, the video in the above linked thread reveals that engaging people to post an answer was in fact the motivation for creating the cleo account, essentially supporting the statement made in the flagged comment.
Show HN: Ghostwriter – Structured thinking tool for teams using mind maps and AI
by mitch_said | 2025-05-20 15:47:18+00:00
Hi HN,

Longtime lurker, first time Show-er here.

We built Ghostwriter to solve a problem we kept hitting: turning inconsistent, fragmented thoughts into something structured and useful, whether that’s a presentation, a project plan, or a meeting agenda.

We’re 3 co-founders with backgrounds in consulting, engineering and design. Over the past two years, we’ve been working with clients: running workshops, giving status updates and solving complex problems together. Again and again, we wished for a tool that married collaborative thinking with smooth facilitation features and the ability to create polished outputs.

What Ghostwriter does:

- You can start from scratch or bring in content like notes, documents, presentations, transcripts, links

- It structures your inputs into a top-down, question-led mind map, with succinct answers supported by a clear rationale

- AI helps you generate, refine, and reorganize ideas, all while staying grounded in your inputs using RAG

- Export the result to PowerPoint, PDF, or keep working inside the tool

- Use it for team problem-solving, meeting facilitation, planning, or creating presentations

Ghostwriter has changed our own workflow: instead of collating multiple sources of info and ping-ponging deliverables back and forth with formatting and content changes, we now focus on pure thinking, collaborating in a shared space that maintains structure and clarity from initial ideation to final output.

We’re in open beta and would love your feedback on what’s working, what’s unclear, and what you’d want it to do better. Sign up free at https://gwriter.io.

Thanks!
by polishdude20 | 2025-05-20 15:47:19+00:00
That's not how we communicate in person. Humans sit together in groups, constantly judging one another. Constantly being judged and adjusting our thoughts on life. Other people are our safety net where we can get corrected about stupid or outright harmful ideas. Saying it's not your job to convince people of things is the antithesis to being a human.
by pjc50 | 2025-05-20 15:47:52+00:00
> getting sucked into

I've come to believe that infohazards are real.

Consider alcoholism: some people never drink anyway, plenty of people can have one drink or a few drinks and then stop. But some people can't stop and destroy their lives. Consider gambling: similar distribution applies. Many people never gamble, many people have a little scratchcard or sport bet now and then, and some people get out of control and sink all the money they have into it.

Gambling is an idea that's a trap. Some people get like this with ideas on the internet. In fact there's an XKCD about it: "can't sleep, someone's wrong on the internet".

Usually there's a single atrocity or injustice that triggers it. Maybe it's real, maybe it's been subject to distorted reporting. But it becomes a monomania. You can't counter them with statistics or variations on "most people aren't like that".
by maxwellg | 2025-05-20 15:48:21+00:00
Being able to make quick changes across a ton of repos sounds awesome. I help maintain a ton of example apps, and doing things like updating a README to conform to a new format, or changing a link, gets pretty tedious when there are 20 different places to do it. If I could delegate all that busywork to Codex and smash the merge button later I would be happy.
by qwertycodepl | 2025-05-20 15:48:22+00:00
Thanks for the feedback! You're right - Astra is technically a bundler-to-executable tool, not a source-level compiler like Babel or TypeScript.

I called it a “compiler” in the sense that it transforms a JS project into a standalone .exe, similar to how tools like pkg or nexe are often described. That said, I’ll consider clarifying that in the description to avoid confusion. Appreciate the comment!
by steveklabnik | 2025-05-20 15:48:25+00:00
Thank you!

> I know it's silly,

Nah, what's silly is LinkedList.

> I think it may be worth optimizing `Vec::splice`.

If this is upstream-able, you should try! Generally upstream is interested in optimizations. sort and float parsing are two things I remember changing significantly over the years. I didn't check to see what the differences are and how easy that actually would be...
by sublinear | 2025-05-20 15:48:28+00:00
As someone who is reasonably skeptical about a lot of this stuff, I have a few takeaways.

Docs will always have things missing regardless if a human or an AI writes them. A fuzzer might overshoot and document a ton of "unintended features" (bugs). Bugs are inevitable for similar reasons. And lastly, is this how the rest of the world finally realizes how hard this stuff really is? Can we please get rid of pointy haired bosses and iron fisted management that refuse to cut some slack for lower level problems like this?

I'm all for living in this century including the AI, but that also includes new ways of running a business and the people we hire.
by slg | 2025-05-20 15:48:57+00:00
> I didn’t see a single unsympathetic comment.

Literally from the president[1], his son[2], and his VP[3]. Do these conspiracy theories about Biden hiding his diagnosis sound sympathetic to you?

>Teslas stock decline

So you want us to be empathetic to the guy who has directly said that "The fundamental weakness of western civilization is empathy"?[4]

[1] - https://www.youtube.com/watch?v=2DrhLWbWiPU&t=147s

[2] - https://www.yahoo.com/news/donald-trump-jr-escalates-disgust...

[3] - https://www.13abc.com/2025/05/20/vance-questions-whether-bid...

[4] - https://www.youtube.com/watch?v=CTV_FBiHiag&t=7s
by ausbah | 2025-05-20 15:48:59+00:00
> After a few weeks of failure, I messaged a friend at a different university, who told me that he too had tried using PINNs, but hadn’t been able to get good results.

not really related to AI but this reflects a lesson I learned too late during some research in college: constant collaboration is important because it helps you avoid retreading over areas where others have already failed
by HideousKojima | 2025-05-20 15:49:03+00:00
>but every time I've tried to figure out how to install it I get lost in the morass of nearly-identical names for totally different platforms and forget which one I'm supposed to be installing on Linux these days.

I realize Microsoft is terrible at naming things, but for .NET/C# it's really not that hard these days. If you want to use the new, cross platform .NET on Linux then just install .NET 8 or 9.

New versions come out every year, with the version number increasing by one each year. Even numbered versions are LTS, odd numbered releases are only supported for about a year. This naming scheme for the cross-platform version of .NET has been used since .NET 5, almost 5 years ago, it's really not too complicated.
by williamscales | 2025-05-20 15:49:07+00:00
> you can ship the device to your customers when it’s ready and meets your quality bar, and you can theoretically do it for free, because they are already paying a subscription

Which is exactly what Whoop _didn't_ do. It seems that the subscription model did not actually work for them.

> you can be confident that they are aligned with your interests

Not at all, as this demonstrates.

> If instead they are required to repeatedly earn your business

The trick is that Whoop dropped this requirement for themselves after they got folks to sign up and before they shipped a hardware update. Presumably they think they can keep running that back---lose all their customers, get new ones who don't know, rinse, and repeat. We'll see how that works out for them.

So, I mean, I think you have some great points but it just doesn't seem to work out that way in the real world.
by sanderjd | 2025-05-20 15:49:29+00:00
I honestly think it's still way too early to say this either way. If your hypothesis that there are no breakthroughs left is right, then it's still a very big deal, but I'd agree with you that it's not steam engine level.

But I don't think "the transformer paper was eight years ago" is strong evidence for that argument at all. First of all, the incremental improvement and commercialization and scaling that has happened in that period of time is already incredibly fast. Faraday had most of the pieces in place for electricity in the 1830s and it took half a century to scale it, including periods where the state of the art began to stagnate before hitting a new breakthrough.

I see no reason to believe it's impossible that we'll see further step-change progressions in AI. Indeed, "Attention is All You Need" itself makes me think it's more likely than not. Out of the infinite space of things to try, they found a fairly simple tweak to apply to existing techniques, and it happened to work extremely well. Certainly a lot more of the solution space has been explored now, but there's still a huge space of things that haven't been tried yet.
by doawoo | 2025-05-20 15:49:30+00:00
I always saw it like this:

- If you're building an engine without a game in mind, you're just going to end up with tools you don't use.

- If you have a game you want to see to the end, and make an engine for it, you're going to build exactly what you need and nothing else. With the bonus of having lots of code you can reuse for the next project.

All that said I'm sticking with Godot since I have limited time, and if I want to bang out a quick gameplay idea to see if it even works, I don't want to start from nothing. (I say all this after building a 2.5D-ish engine with c# and monogame)
by jayd16 | 2025-05-20 15:49:44+00:00
I think you'd probably want a different render layer with different post effect settings so your weapons can have post-processing as well. I think you can do this in the editor with gui configs instead of changing code.

I'm pretty sure all of SRP is in C# and is "open source" as in source available and editable.

https://github.com/Unity-Technologies/Graphics/tree/master/P...
Show HN: Claude Code Editor (VS Code Extension)
by ananddtyagi | 2025-05-20 15:49:47+00:00
I built a VS Code Extension that allows you to more easily edit your prompts before sending them to Claude Code and search for files to add to the context. I made it open source project to help build it out quickly and allow people to add features they think make sense. Top things I'm planning to add soon are: 1) Capturing the output from Claude Code 2) Displaying which files were updated since the last message

And in the future I want to add: 1) Diff view within the file (like in Cursor) 2) Undo ability

I'm sure Anthropic will add some of these features at some point, but I can't wait!

Let me know what you think or suggestions for features. Feel free to submit PRs too!
by danielmarkbruce | 2025-05-20 15:49:56+00:00
Who is proud? What you are seeing in some cases is eye rolling. And it's fair eye rolling.

There is an enormous amount of theory used in the various parts of building models, there just isn't an overarching theory at the very most convenient level of abstraction.

It almost has to be this way. If there was some neat theory, people would use it and build even more complex things on top of it in an experimental way and then so on.
by charlimangy | 2025-05-20 15:50:31+00:00
Often API errors are intentionally vague to discourage hacking attacks. Especially public APIs that create accounts or control access like the example given in the article.

In fact, I suspect that endpoints that create users and upgrade permissions will probably have to have special attention to protect against AI agent attacks.

"Claude -- sign me up for a new account so I can get free shipping on my first purchase!"
by ch4s3 | 2025-05-20 15:50:39+00:00
Nonsense. Yusuf Islam is a Sunni Muslim and the fatwa wass issued by Ayatollah Khomeini, a Shia cleric. So there was no reason for him to recognize the fatwa as legitimate, and he literally said "He must be killed. The Qur'an makes it clear – if someone defames the prophet, then he must die."

There is no ambiguity here, Yusuf Islam called for Salman Rushdie's killing over a book that a Shia cleric claimed insulted the prophet. A book I might add that neither of them ever read. Later that year he again said Rushdie should be killed in a different context.
by losvedir | 2025-05-20 15:51:16+00:00
> Why would you not if you don't incur in external debt doing so?

Don't you, though? If you're in a trade deficit with another country that means they end up holding a bunch of your currency. That's basically a debt, right? They have the ability to get goods from you whenever they want, without having to give you any in return (just giving the currency back).
by AtlasBarfed | 2025-05-20 15:51:17+00:00
"There is no untapped source of demand anywhere in the world."

I understand what you mean, as in the current structure of governments/economies, there isn't a magic wellspring of demand.

Centralization of wealth starves demand, whether it is in authoritarian governments or an oligarchy/kleptocracy. The US certainly has been doing that for the last 50 years. I think there is a lot of demand and growth that is suppressed by the, uh, overindulgence of the "elite".

The elite care about the gap between them and the plebs. The rich love slaves, and that is their ultimate goal.
Ask HN: Yard Noise Cancellation Speakers/Systems?
by EwanG | 2025-05-20 15:52:01+00:00
As summer is approaching, our neighbors on all sides are spending more time in their yards. That's generally a good thing, but it can make for a cacophony of children's voices and various music selections. I don't want to just crank up some music to try and overpower theirs, nor do I want to keep them from enjoying their own yards.

So I'm wondering if there is some kind of speaker or system I could put that would give us an area of the yard we can sit in and use "noise cancelling" for everything coming in without messing with their own enjoyment?
by K0balt | 2025-05-20 15:52:25+00:00
In a case like this it seems like batteries for homeowners would be economically viable and ultimately would actually result in more financial stress for the utilities, as their usefulness would drop to third tier usage.

Right now, a 50kw LiTo pack will run about $10kusd (FOB China). LiFeO2 more like 5$K for LiFeO2.

With batteries such as LiTo, cycle life goes to around 20k so batteries would be a 20year+ cost, potentially 40 years… so I expect we will see stationary batteries becoming much more cost effective. 50KW will handle most household needs, so that would work out to about $25-$50 a month for battery costs.

I’m not sure how utilities are going to survive long term, as their expensive distribution infrastructure is hard to justify for household use where solar is viable.

I guess 2x -5x rates is probably going to be the answer, which is only going to accelerate solar / battery adoption?
by adityaathalye | 2025-05-20 15:52:32+00:00
Thank you for the kind appreciation. Made my day :)

Yes; next to the sheer stability of parts, their fungibility is a business-critical feature of the Clojure ecosystem. Of course said fungibility does not magically manifest. However the effort to get there is "not much", I'd say. The use of "system" libraries, with some well-reasoned module design brings it pretty close to magic.

As in the post, a fungible, production-grade part can be just a multimethod (e.g. the router in the post). Why? Because "production" comes in all sizes. A small SaaS with a few hundred customers may chug along happily with a bunch of functions.
by dayjah | 2025-05-20 15:53:09+00:00
Came here to say this, and to recommend: https://github.com/appleboy/ssh-action

It’s slow and arduous work to inject at the right point and find out what went wrong. But it’s miles better than act. act is a noble idea, and I hope it can meet its target, but it falls short currently.

ssh-action gets you on the host, and lets you quickly establish what is happening and implement fixes. It’s top notch!

(I’m unaffiliated, just a big fan of ssh-action).
by aenis | 2025-05-20 15:53:10+00:00
Staffing/HR is considered high-risk under the AI act, which - by current interpretations - means fully automated decision making, e.g., matching, is not permitted. If the study is not flawed, though, its a big deal. There are lots and lots of startups in the HR tech space that want to replace every single aspect of recruitment with LLM-based chatbots.
by diggan | 2025-05-20 15:53:17+00:00
> Do you really think it makes sense for your basic assumption to be that your user is dumber than a token generator?

Have you seen the average user in action? I'm fairly sure that's true at least on average. Even putting huge red warnings like "This action is irreversible" for some things will lead to user reaching out to you saying they didn't see it.
by dragonwriter | 2025-05-20 15:53:19+00:00
A lot of people seem to have constructed a history of Adams where he suddenly got sucked into the Twitter alt-right sometime around the rise of MAGA, forgetting that his whole cartoonist origin story is white male resentment stemming from his belief that his progress in management was being hampered by women and minorities and that his decline from that low starting point was being remarked on long before the MAGA era, to the point that it was treated as a long-established fact around the time the term “alt-right” was coined.
by xeromal | 2025-05-20 15:54:06+00:00
When we die off I guess lol.

I've been using windows since I was 6 or 7. I currently work in a Mac environment and hate it. I worked in a linux one for 5 years. Nothing feels like the first language you learned I guess?

My home computer is windows and it'll be that way until windows stops existing.

Edit: when I say we I mean the people still on windows.
by itsdevdaniel | 2025-05-20 15:54:15+00:00
Its not hard to look it up yourself.

https://www.csoonline.com/article/3953927/ai-programming-cop...

"GitGuardian’s State of Secrets Sprawl 2025 report revealed a 25% increase in leaked secrets year-over-year, with 23.8 million new credentials detected on public GitHub in 2024 alone."

"“These tools often lack contextual awareness of security practices and, without proper oversight, can generate insecure code and persistent vulnerabilities,” Smith said. “This becomes a systematic issue as LLM-generated code spreads and creates flaws throughout the supply chain, with over 70% of critical security debt now stemming from third-party code,”
by mkbehbehani | 2025-05-20 15:54:47+00:00
Random thing worth I ran into once, you may have already handled this but sharing just in case:

May want to confirm the map renderer is making its requests using the URL with both the session and API key instead of only the API key. If your API requests are base key only, every refresh client-side might be unexpectedly consuming one of your root quota units, rather than each user getting a session of unlimited tile loads for 3 hours. If you're seeing network traffic in the console from your renderer out to the API without the session token in the query string along with the API token, or if you see the session token is totally different after refreshing, that might be a sign of something wonky causing quota depletion.

Example URL for a tile fetch with both params:

https://tile.googleapis.com/v1/3dtiles/datasets/CgA/files/UlRPVEYuYnVs.json?session=SESSION_TOKEN&key=YOUR_API_KEY

Examples:

https://developers.google.com/maps/documentation/tile/create-renderer#requests-and-responses

A quick check would be to see how far apart your google analytics for unique users are vs. your API console usage data. If way less than 10,000 unique users depleted the 10,000 unit quota it may be another indicator of something in token/session setup.
by Arubis | 2025-05-20 15:54:48+00:00
Yeah, the ROI calculator's target audience is the folks with the checkbook, so it needs to be a dollar figure. My _actual_ hope is that this lets engineers focus on feature work (which is typically more rewarding anyway) without constantly bashing their heads against the tech debt and maintenance work they're effectively barred from performing until it becomes emergent and actively blocking.
by swyx | 2025-05-20 15:55:06+00:00
i shared my review inside of the pod with the team (https://latent.space/p/codex) but basically:

- it's a GREAT oneshot coding model (in the pod we find out that they specifically finetuned for oneshotting OAI SWE tasks, eg prioritized over being multiturn)

- however comparatively let down by poorer integrations (eg no built in browser, not great github integration - as TFA notes "The current workflow wants to open a fresh pull request for every iteration, which means pushing follow-up commits to an existing branch is awkward at best." - yeah this sucks ass)

fortunately the integrations will only improve over time. i think the finding that you can do 60 concurrent Codex instances per hour is qualitatively different than Devin (5 concurrent) and Cursor (1 before the new "background agents").

btw

> I haven't yet noticed a marked difference in the performance of the Codex model, which OpenAI explains is a descendant of GPT-3 and is proficient in more than 12 programming languages.

incorrect, its an o3 finetune.