MurphyA/hacker-news huggingface dataset:
by AnimalMuppet | 2025-06-18 15:30:57+00:00
No, I know they'll throw me under the bus at the drop of a hat. I'll leave them, too, for something better (which can also happen if they become worse). It's just that, while I'm there, I'll try to do what's good for the people around me, even if what they're doing isn't good for me. I'm still aware of what's going on, and I won't take it forever. But if I can fix the boss (or help his manager fix him, or help him fix himself), then sure, I'll try. I'll even try at some risk of my own job (because if it doesn't work, I was going to be out the door anyway).

The rest of what you said I agree with. That's about how I'd handle it.
Show HN: Reeroll – Lovable for Video
by alonzuman7 | 2025-06-18 15:31:02+00:00
Reeroll lets you create short videos for your business by chatting with AI - no timeline editors, just a simple chat interface.

Creating a video is as simple as picking a template from the homepage and prompting it with “make this video about mybusiness.com”, Reeroll will fetch content from your site and customize the video for you. You can also manually upload your own images, logos, and videos to give it more context - or create a video entirely from scratch.

I built Reeroll after watching my parents struggle to create consistent content for their business instagram page, and like a true SWE, instead of helping manually, I automated the whole thing.

Would love your feedback!
by sirgallo | 2025-06-18 15:31:10+00:00
Hi, thank you for the in depth response. I really needed to hear these things. I have gone ahead and addressed almost all of the issues that you pointed out. I updated the root to be the only point for compare and swap and on mutations I do a clone instead of mutating the shared pointer. I updated set bit from xor to set and have an explicit clearbit fn for deletions. I also updated k/v aliasing to copy slices on write so that old copies do not share ref to same slice. The node pool has been removed completely for the time being as well. I added in additional tests to test for these cases and added in more concurrent tests as well. this was huge feedback and I really appreciate it.
by atomicnumber3 | 2025-06-18 15:31:21+00:00
Aren't data engineers programmers? That is to say, a data engineer is-a software engineer?

I share your sentiment though - I'm a data engineer (8 years) turned product engineer (3 years) and it astounds me how little SQL "normal" programmers know. It honestly changed my opinion on ORMs - it's not like the SQL people would write exceeds the basic select/filter/count patterns that is the most that non-data people know.
Show HN: ht-mcp – a Rust MCP server of headless terminal for agents
by alphag33k | 2025-06-18 15:32:04+00:00
We built a Rust MCP server, which wraps the excellent headless terminal (HT)[1] to makes it available for agentic coding tools.

Most agentic coding tools struggle with blocking, interactive terminal tools (all the boilerplate generator, infra CLI tools etc). This is because many existing CLI dev tools are built for humans and require interactive input. We built this so agentic coding tools (Claude Code, Cursor, Memex, etc) can “see” and “interact” with terminals exactly like humans do.

In our demo video [2], you'll see it operating vim/emacs just as a human would - selecting options, navigating menus, and modifying text in real-time. This is crucial for AI coding assistants that need to work with tools designed for human interaction. We originally built an MCP server in TypeScript wrapping the HT (Rust) binary as a proof of concept. It worked so well that we decided to streamline it and make it more compact and easy to install.

In the process, we found that using Rust and the MCP Rust SDK makes it really compelling to build MCP servers, with significant performance improvements: - 40x faster startup time (~50ms vs ~2s) - 70% less memory usage (~15MB vs ~50MB) - Single 3MB binary vs ~200MB Node.js dependencies - No subprocess overhead or external dependencies

As Andy put it [4]: "Terminals are one of the oldest and most prolific UI frameworks in all of computing. And they are stateful." Without HT, an agent struggles to manage this state directly; with HT-MCP, an agent can observe and interact with the terminal just like a human does.

This is an early first release and we'd love to hear if you find it useful.

Here is a demo using it from Claude Code[2] and Memex[3] (our own desktop agent coding tool).

Install it via Homebrew: `brew tap memextech/tap && brew install ht-mcp`

1. https://github.com/andyk/ht by Andy Konwinski 2. https://github.com/user-attachments/assets/e70a3240-77f5-4ef... 3. https://github.com/user-attachments/assets/6a1b6e76-5d5c-4ba... 4. https://news.ycombinator.com/item?id=40552257
by anonymars | 2025-06-18 15:32:17+00:00
I don't see it as an us/them, he even says:

> note: grug once think big brained but learn hard way

It's basically a lot of K.I.S.S. advice. Of course you should use the best tool for the job, but complexity often sneaks up on you.

> Factoring? Just something you do with your gut. Know it when ya see it. Grug isn't going to offer up the why or how, because that's something a reader could disagree with.

I would dispute this characterization. Grug says it's difficult, and it is, but gives specific advice, to the extent one can:

- grug try not to factor in early part of project and then, at some point, good cut-points emerge from code base

- good cut point has narrow interface with rest of system: small number of functions or abstractions

- grug try watch patiently as cut points emerge from code and slowly refactor

- working demo especially good trick: force big brain make something to actually work to talk about and code to look at that do thing, will help big brain see reality on ground more quickly
by 9rx | 2025-06-18 15:32:37+00:00
Quite simply: A relation is a set of tuples, while a table is a list/multiset of tuples.

The Alpha/QUEL linage chose relations, while SQL went with tables. Notably, a set has no ordering or duplicates — which I suggest is in contrast to how the layman tends to think about the world, and thus finds it to be an impediment when choosing between technology options. There are strong benefits to choosing relations over tables, as Codd wrote about at length, but they tend to not show up until you get into a bit more complexity. By the time your work reaches that point, the choice of technology is apt to already be made.

With care, SQL enables mimicking relations to a reasonable degree when needed, which arguably offers the best of all worlds. That said, virtually all of the SQL bugs I see in the real world come as a result of someone not putting in enough care in that area. When complexity grows, it becomes easy to overlook the fine details. Relational algebra and calculus would help by enforcing it. But, tradeoffs, as always.
by sfn42 | 2025-06-18 15:32:41+00:00
Just like a person would. If you want it done right you have to do it yourself. Or you have to tell the LLM exactly how to do it.

Often I find it easier to just do it myself rather than list out a bunch of changes. I'll give the LLM a vague task, it does it and then I go through it. If it's completely off I give it new instructions, if it's almost right I just fix the details myself.
by neuronexmachina | 2025-06-18 15:32:51+00:00
> You are discussing with a llm? Never happened to me and I use llms all the time. Why would you need to discuss if you know best? Just tell it what to do and course correct it. It's not rocket science.

I find myself often discussing with an LLM when trying to find the root cause of an issue I'm debugging. For example, when trying to track down a race condition I'll give it a bunch of relevant logs and source code, and the investigation tends to be pretty interactive. For example, it'll pose a number of possible explanations/causes, and I'll tell it which one to investigate further, or recommendations for what new logging would help.
by actinium226 | 2025-06-18 15:34:28+00:00
Indeed, I've managed to find one cross-platform compatibility issue in that uv can't autoinstall python for musl for arm64, which I discovered when I tried to use it to install python in an alpine docker image on my M2 air. I didn't particularly need musl, I just wanted to save 50MB or so in my docker image so I went back to the slim version of the image I needed. But they're tracking this issue and there's so much effort going into making this tool better so I'm sure they'll get to it eventually.
by mjg59 | 2025-06-18 15:34:29+00:00
I have one public IP address. I have three machines behind it that I want to SSH into. How does the machine with the public address know where to route an incoming port 22 packet? For HTTPS this is easy - browsers send the desired site in the SNI field of the TLS handshake, so the frontend can look at that and route appropriately. For SSH there's no indication of which host the packet is intended for.
Show HN: My file search app is now 8× faster than before
by Drimiteros | 2025-06-18 15:34:32+00:00
- Features: [x] Added a dynamic caching system for significantly faster and more efficient search operations --about 86% faster than the version 4.2_3 and approximately 99.43% faster than the windows search! Particularly beneficial for large or slower drives, with a trade-off of higher RAM usage. Delivers performance comparable to tools like Everything, while retaining wide file system compatibility.

- Bug fixes: [x] Resolved an issue where the application could crash or glitch when the Recents tab attempted to display a file that had been deleted. [x] Resolved a bug that caused the app to search for files in all the drives when the user had selected a specific drive to search in.

________________________________________________________________________________________________________________

Since you had a lot of questions and complains in the previous post, I will be answering them here:

Αnswer to website related questions or complains: Some of you may experience bad scaling in the website. Some might be mac, ios or browser related issues, but keep in mind that i am only one person and try to optimize the website to work for the majority. If you are experiencing scaling issues make sure your browser scale is at 100% and your monitor scale is at 100%. As for the website appearing badly on mobile devices, don't worry, I am aware. I am pausing the website dev to focus on the app. Thank you!

Αnswer το admin privileges related questions: Many want to know why the app requires admin privileges by the time it is advertising that it does not since it's a portable software. The reason is that if you don't install it like that it may be flagged as malware and I don't have money to pay for a code signing certificate. Besides it requires them only once for the installation, not every time it runs! There is also a .zip version of the app that does not require anything.

P.S. I am working tirelessly to update the app, the website and respond to questions and criticism, because I really believe in it and it's actually very fun to work on, I am learning a lot of new stuff along the way. Thank you for taking your time to visit the website and test the app. It got 1000+ visits in just a day!
by throwaway2037 | 2025-06-18 15:34:39+00:00
> Machine translation is a great example. It's also where I expect AI coding assistants to land. A useful tool, but not some magical thing that is going to completely replace actual professionals.

I can say from experience that machine translation is light years ahead of 15 years ago. When I started studying Japanese 15 years ago, Google Translate (and any other free translator) was absolutely awful. It was so bad, that it struggled to translate basic sentences into reasonable native-level Japanese. Fast forward to today, it is stunning how good is Google Translate. From time to time, I even learn about newspeak (slang) from Google Translate. If I am writing a letter, I regularly use it to "fine-tune" my Japanese. To be clear: My Japanese is far from native-level, but I can put full, complex sentences into Google Translate (I recommend to view "both directions"), and I get a reasonable, native-sounding translation. I have tested the outputs with multiple native speakers and they agree: "It is imperfect, but excellent; the meaning is clear."

In the last few years, using only my primitive knowledge of Japanese (and Chinese -- which helps a lot with reading/writing), I have been able to fill out complex legal and tax documents using my knowledge of Japanese and the help of Google Translate. When I walk into a gov't office as the only non-Asian person, I still get a double take, but then they review my slightly-less-than-perfect submission, and proceed without issue. (Hat tip to all of the Japanese civil servants who have diligently served me over the years.)

Hot take: Except for contracts and other legal documents, "actual professionals" (translators) is a dead career at this point.
by lazide | 2025-06-18 15:34:53+00:00
Yup, and don’t forget DEA getting into full on shoot outs while dressed even worse.

It’s a real problem, just like no knock warrants, asset seizure, lack of body cams, milsurplus equipment grants to police departments, overly aggressive training, parallel construction, arrest quotas, etc.

IMO, in this case the tactics are being done intentionally (and at the leadership level) to terrorize people and stir the pot to incite ‘bad behavior’ that can be spun to justify crackdowns. Individual officers may be true believers, but many are also ‘along for the ride’ and trying to not get too much blowback. Either way, just following orders is no excuse.

Troll in Chief.
by WillAdams | 2025-06-18 15:35:14+00:00
This looks _very_ cool --- does it align with:

https://www.goodreads.com/book/show/192405005-hypermedia-sys...

(and if not, are you aware of a book which touches on/explains your technique?)

Do you think a visual tool for this could be created? (something like Lazarus or Interface Builder or QT Designer...)
by PaulHoule | 2025-06-18 15:35:22+00:00
My take is:

(1) Animals have more mental capability, particularly social capability, than science gives them credit for. All the time there is some paper that announces that common animal like dogs, cats or horses have just been proven to be able to do something that anyone familiar with those animals always believed they can do -- but doing the experiment is hard. If somebody did an experiment that "proved" that lions can't pass the mirror test it might be as much about the experiment or the motivation of the animal as the capability of the animal.

(2) "Rigid social hierarchies" come out of reductivism, the closer you look at animals the more complicated the story turns out to be. For instance see

https://phys.org/news/2021-04-wolf-dont-alpha-males-females....

(3) You might like https://en.wikipedia.org/wiki/The_Origin_of_Consciousness_in...
by bluGill | 2025-06-18 15:37:17+00:00
Organ pedalboards require sitting down and so are not really what I want.

The number of keys is the real problem - I don't want to be playing a single note in one octave, I want to play my chord progression and that means I need separate buttons for the major, minor, 7th (which 7th...) for the chords that go with the song.
by oytis | 2025-06-18 15:37:59+00:00
But that's essentially the bright future drawn by American AI companies.

As on copyright vs no copyright, I agree with the view of Bunny Huang. Chinese laxity with copyright doesn't destroy the advantage of the first mover - it just puts a limit to it. Basically if you want to be on top, you need to keep innovating non-stop, you can't rest on your laurels.

Systems relying on copyright allow companies to alienate engineers' work, that's how Oracle ended up with more lawyers than engineers (even if that's just a meme). Systems where knowledge is distributed freely (including the open source community) gives power to engineers.
by bawolff | 2025-06-18 15:38:02+00:00
Fog of war is thick right now. There is plenty of reason for iran to overstate this (to e.g. try and get a rally around the flag affect to increase regime stability). [Otoh, plenty of reason for Israel to understate. Truth is the first casualty of war]

We'll probably have to wait for the dust to settle before we have a good idea what was or wasn't bombed.
by austin-cheney | 2025-06-18 15:38:14+00:00
I know AGI is more than LLMs, but the result will be the same. LLMs just prove what I already observed through my software career. Software people fall into 3 camps:

* People that can actually program. These are people who can write software.

* People that can do a little bit more than copy/paste. This is most people in software. These people cannot measure things or write software, but they can follow instructions and reproduce patterns provided to them. These are your React developers who perform a lot of mental arithmetic about stupid shit like state management and yet struggle to put text on screen.

* People that cannot write software.

LLMs clearly widen the gaps between those three camps. People that can write software will continue writing software. People that pretend to write software will become more reliant on LLMs. People that cannot write software will continue to make bullshit assumptions that don't apply to anything. AGI will just be LLMs + 1.
by speakfreely | 2025-06-18 15:38:58+00:00
My understanding is that they're doing this under the "expedited removal" provision of the 1996 IIRIRA law. If you've been in the US less than 2 years, arrived without inspection or at a port of entry with invalid documents, or don't have lawful resident status, you're subject to expedited removal. If not, you are entitled to an administrative immigration hearing.

For some context, under Obama in 2013, there were roughly 197,000 expedited removals (45% of ~432,000 total deportations). So this was widely used by DHS during the Obama administration. Nothing has changed except ICE policies about where people are permitted to be detained and where they are targeting people. Unless I'm missing something?

I'll be the first to admit they look like masked goons and entirely unprofessional grabbing people off the street in hoodies. It's horrible optics and is absurdly unprofessional. I completely disagree with the mechanics of how this is being carried out. But it's not unconstitutional or unlawful as far I can tell.
by somenameforme | 2025-06-18 15:39:20+00:00
People aren't paid by value brought to companies, they're paid by the scarcity of their skill. Your analog is actually perfect for this. There's a reason saying you want to be a professional singer is generally something only a child would say. It's about as reliable a career as winning the lottery, simply because everybody can sing, lots of them quite decently. And so singer, as a career, mostly isn't a thing - it's a hobby with some distant hope of going Oliver Anthony at some point.

Software development has a huge barrier to entry which keeps the labor pool relatively small, which keeps wages relatively high. There's going to be a way larger pool of people capable of 'prompt engineering' which is going to send wages proportionally way down.
by trod1234 | 2025-06-18 15:40:04+00:00
> Why do we assume that Prompt Engineering is going to pay less money.

I supposed because every new job title that has come out in the last 20+ years has followed the same approach of initially the same or slightly more money, followed by significant reductions in workforce activities shortly thereafter, followed by coordinated mass layoffs and no work after that.

When 70% of the economy is taken over by a machine that can work without needing food, where can anyone go to find jobs to feed themselves let alone their children.

The underlying issues have been purposefully ignored by the people who are pushing these changes because these are problems for next quarter, and money printing through non-fraction reserve banking decouples the need to act.

Its all a problem for next quarter, which just gets kicked repeatedly until food security becomes a national security issue.

Politician's already don't listen to what people have to say, what makes you think they'll be able to do anything once organized violence starts happening because food is no longer available, because jobs are no longer available.

The idiots and political violence we see right now is nothing compared to what comes when people can't get food, when their mindset changes from we can work within the system to there is no out only through. When existential survival depends on removing the people responsible by any means, these things happen, and when the environment is ripe for it; they have friends everywhere.

UBI doesn't work because non-market socialism fails. You basically have a raging fire that will eventually reach every single person and burn them all alive, and it was started by evil blind idiots that wanted to replace human agency.
by suthakamal | 2025-06-18 15:40:12+00:00
As a teen in the '90s, I dismissed Marvin Minsky’s 1986 classic, The Society of Mind, as outdated. But decades later, as monolithic large language models reach their limits, Minsky’s vision—intelligence emerging from modular "agents"—seems strikingly prescient. Today’s Mixture-of-Experts models, multi-agent architectures, and internal oversight mechanisms are effectively operationalizing his insights, reshaping how we think about building robust, scalable, and aligned AI systems.
by tel | 2025-06-18 15:40:26+00:00
I’m not a huge fan of these, but this time I noticed that the best ones feel a lot like naturality arguments. As in, moving structural bits in a way that makes it clear that we’re not touching anything that ought to be universally quantifiable.

I still don’t love this sort of thing being presented as “proof”, but I thought that idea is interesting. Is there a way to formalize naturality into technical diagrams? Probably!
by ben_w | 2025-06-18 15:40:32+00:00
Here you say:

> with or without

But in the other reply, you're asking for:

> something truly novel, not related to anything it's ever seen before

So, assuming the former was a typo, you only believe in a priori knowledge, e.g. maths and logic?

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

I mean, LLMs can and do help with this even though it's not their strength; that's more of a Lean-type-problem: https://en.wikipedia.org/wiki/Lean_(proof_assistant)
by wat10000 | 2025-06-18 15:42:36+00:00
Yeah, I don’t get how you distinguish between a correct visual proof and a visual proof that looks right but doesn’t actually prove what it’s trying to prove. You could probably make a pretty convincing-looking visual proof that the limit of the sum of the harmonic series is below some finite number, that 0.9 repeating is less than 1, that there are more rationals than integers, that there are the same number of reals and rationals, and that sort of thing.

On the linked page, a lot of the proofs are essentially proofs by induction that stop at some (pretty small) n. Maybe there’s a way to make it rigorous by visually showing the induction step that proves n+1 given n, but if there is, it’s not shown.

This can be great for building intuition for a statement known to be true by other means, but I wouldn’t consider them to be proofs.
by theospeak | 2025-06-18 15:43:00+00:00
You can't serious believe that this is an America only phenomenon. People have been "fighting for what they believe in" in all countries. A lot of them with higher stakes. This is not "exceptional".

This article is looking in all the wrong places,whereas the truth is much simpler and was always screaming from the outside, but America was deafened by it's "specialness".

Both parties veered right - one just more obvious then the other. That is what the people wanted. That is what the people chose. And that is what the people will pay for.

It doesn't help that Americans are trying left, right and center to find excuses for their rapid decline. Talking about how it was 30% who brought this on everyone else.

If that ws the case then Kamala would be president.

Own it.