MurphyA/hacker-news huggingface dataset:
by Balgair | 2025-06-20 01:25:15+00:00
I'd say give it a whirl and see how you like it.

I'm not sure about YT, but my podcast app allows for me to map the left earbud's +/- buttons for volume and the right earbud's for playback speed. I can go slower or faster depending on how much I want to listen to a section. What I can't do is map a rewind button, which can be tough if I fast forward through something and miss and want to go back.
by taeric | 2025-06-20 01:25:16+00:00
I mean... somewhat yes to all of those? Emacs can even do most of what you are asking for. When I export an org buffer, it even has the syntax highlighting in the html that I was looking at. :D

Obviously, the type checking will be a bit more limited for code snippets you haven't finished. But especially for image based environments, it should have everything that you have in the image just fine.

CWEB, which is the one that Knuth prefers, even supports step debugging. Has supported it for decades, at this point.
by trod1234 | 2025-06-20 01:25:19+00:00
Unfortunately, the problem doesn't originate with banks, and in reality classical banking doesn't really exist anymore.

Fiat money printing has debased and saturated a number of things to the point where there is no real market anymore and what exists is actually just money-printing funded state apparatus which will fail just like Mises predicted of non-market socialism.

The issues originate with the Federal Reserve Act, and the corrupt politicians who used the Fed as a vehicle to nationalize the economy, silently and gradually over time, sieving wealth into the hands of the few while funneling off that stream silently to fund their own interests as well.
by gyomu | 2025-06-20 01:25:46+00:00
It's not just the hardware constraints - it's also the training constraints, and the legibility constraints.

Training constraints: you need lots, and lots of data to build complex neural network systems. There are plenty of situations where the data just isn't available to you (whether for legal reasons, technical reasons, or just because it doesn't exist).

Legibility constraints: it is extremely hard to precisely debug and fix those systems. Let's say you build a software system to fill out tax forms - one the "traditional" way, and one that's a neural network. Now your system exhibits a bug where line 58(b) gets sometimes improperly filled out for software engineers who are married, have children, and also declared a source of overseas income. In a traditionally implemented system, you can step through the code and pinpoint why those specific conditions lead to a bug. In a neural network system, not so much.

So totally agreed with you that those are extra tools in the toolbelt - but their applicability is much, much more constrained than that of traditional code.

In short, they excel at situations where we are trying to model an extremely complex system - one that is impossible to nail down as a list of formal requirements - and where we have lots of data available. Signal processing (like self driving, OCR, etc) and human language-related problems are great examples of such problems where traditional programming approaches have failed to yield the kind of results we wanted (ie, beyond human performance) in 70+ years of research and where the modern, neural network approach finally got us the kind of results we wanted.

But if you can define the problem you're trying to solve as formal requirements, then those tools are probably ill-suited.
by alephnerd | 2025-06-20 01:26:37+00:00
> I take it this is what you have in mind when you say that whenever you ask for an "attack path" you keep getting a deus ex machina. But it seems to me like a pretty weak basis for calling Yudkowsky's position on this a religion.

Agree to disagree.

> So far as I can tell this is completely untrue

I was under the impression EY attended Yeshivat Sha'alvim (the USC of Yeshivas - rigorous and well regarded, but a "warmer" student body), but that was his brother. That said, EY is absolutely from a Daatim or Chabad household given that his brother attended Yeshivat Sha'alvim - and they are not mainstream in the Orthodox Jewish community.

And the feel and zeitgeist around the rationalist community with it's veneration of a couple core people like EY or Scott Alexander does feel similar to the veneration a subset of people would do for Baba Sali or Alter Rebbe in those communities.
by kaicox | 2025-06-20 01:27:53+00:00
Yeah, the actual write is easy. The human part is the hard part.

Most people don’t want “tools” — they want a magic button with no guesswork, no fear of nuking the wrong drive, and no tutorial rabbit holes.

A win32 installer that bundles the ISO, sets up the USB, and gently walks you through the transition? That’s the move.

We don’t need smarter users. We need smoother defaults.
by WillAdams | 2025-06-20 01:28:44+00:00
This is why I use LuaLaTeX for this:

https://github.com/WillAdams/gcodepreview/blob/main/literati...

which allows me to have an ordinary .tex file:

https://github.com/WillAdams/gcodepreview/blob/main/gcodepre...

which outputs multiple .py and .scad files and generates a .pdf with nice listings-based code blocks, ToC, index, hyperlinks, &c.:

https://github.com/WillAdams/gcodepreview/blob/main/gcodepre...

The notable downsides are that the .sty and .tex files have to be customized for the filenames which one can output, and I haven't been able to get auto-line numbering working between code blocks, so one has to manually manage the counters.
by mkw5053 | 2025-06-20 01:29:22+00:00
Fair point. I'm no expert in custom GPTs, I wonder what limitations there would be beyond the obvious branding and UI/UX control. Like, how far can someone customize a custom GPT (ha). I imagine any multi-step/agentic flows might be a challenge or impossible as it currently exists. It also seems like custom GPTs have been completely forgotten, but I very well could be wrong and OpenAI announced a big investment in them and new features tomorrow.
by taeric | 2025-06-20 01:29:50+00:00
Sorta? Noweb and org mode's support of it, at least, has a "detangle" and it worked surprisingly well last time I tried it. You can't edit the comments it puts in the source, for obvious reasons. And I'm sure it has trouble if you tried to get too fancy. But it did allow me to edit the generated source directly and pull those edits back into my literate source. I imagine if this was something people were more often doing, you could make it more reliable, even.
by antonfire | 2025-06-20 01:29:54+00:00
As a fun aside on language, I prefer "they", explicitly, e.g. I pick "they" in pronoun dropdowns, I often wear a "they" pronoun pin, and so on. But insofar as people think in terms of these different versions of "they", I prefer the "'unknown/unspecified' version" over the "'prefers they' version"! Turns out that's hard to communicate.

If being annoying by (not-)answering with "mu" to all gender/pronoun questions communicates it better, maybe it's a point in favor of being annoying!

IMO it points at some cracks in the perspective that there are different versions in the first place.
by lmm | 2025-06-20 01:29:58+00:00
Well when you hear a possible disaster is coming, what do you do? Implicitly you make some kind of estimate of the likelihood - ultimately you have to decide what you're going to do about it. Even if you refuse to put a number on it or talk about it publicly, you still made an estimate that you're living by. Talking about it at least gives you a chance to compare and sanity-check.
by fc417fc802 | 2025-06-20 01:30:10+00:00
> An artist can draw a picture of Mickey Mouse without any issue. But if you pay an artist to draw you the same picture, that would also be a violation.

I don't believe that's correct. The issue is not money changing hands but rather the reproduction itself. Even if I give it away for free I'm still violating IP law.

There's also a fundamental issue with your argument - LLMs aren't recognized as having legal agency. If I pay an artist to violate IP law then the artist, being a human, is presumably at fault in addition to myself. Same for a company (owned by people).

But tools are different. If I vandalize someone's car with a hammer the hardware store isn't at fault for selling it to me. I'm at fault for how I chose to use the tool that I purchased (or rented access to in the case of a hosted LLM).

> If someone built a machine that you put a quartner in

This is a flawed example because the machine was designed with the specific intention of reproducing a copyrighted work. That is different from a general purpose tool which can potentially be misused by the wielder.
by smallnamespace | 2025-06-20 01:32:29+00:00
> Being in contact with reality can be actively harmful to reproductive fitness if it leads you to, say, decide not to have kids because you are pessimistic about the future.

The fact that you can write this sentence, consider it to be true, and yet still hold in your head the idea that the future might be bad but it's still important to have children suggests that "contact with reality" is not a curse.
by refibrillator | 2025-06-20 01:33:07+00:00
Hi author(s), the on-GPU interpreter approach looks like a promising path forward, have you seen this strikingly similar concurrent work?

https://news.ycombinator.com/item?id=44111673

I find it curious that fundamentals of the CUDA programming model (eg kernel launches) are being subverted in favor of fine grained task based parallelism that ends up using the hardware more effectively. Makes me wonder if CUDA has been holding us back in some ways.

What are the chances we see your work land in PyTorch as an experimental backend?

Awesome stuff thanks for sharing.

P.S. minor typo, your first two paragraphs under part 1 are nearly identical.
by fc417fc802 | 2025-06-20 01:33:59+00:00
It's an interesting conundrum. If I take an extremely large panoramic photograph and then fail to censor out small copyrighted sections of it, am I violating copyright law?

It's not a perfect analogy by any means but it does serve to illustrate the difference in intent between distributing a particular work versus creating something that happens to incorporate copyrighted material verbatim but doesn't have any inherent need to or purpose in doing so.
by mdaniel | 2025-06-20 01:34:14+00:00
In addition to what the sibling comment pointed out about that being an EKS-ism, yes, I know for 100% certainty VPC-CNI will allocate Pod IP addresses from the Subnet's definition, which includes public IP addresses. We used that to circumvent the NAT GW tax since all the Pods had Internet access without themselves being Internet accessible. Last I heard, one cannot run Fargate workloads in a public subnet for who-knows-why reasons, but that's the only mandate that I'm aware of for the public/privet delineation

And, if it wasn't obvious: VPC-CNI isn't the only CNI, nor even the best CNI, since the number of ENIs that one can attach to a Node vary based on its instance type, which is just stunningly dumb IMHO. Using an overlay network allows all Pods that can fit upon a Node to run there
by gsf_emergency_2 | 2025-06-20 01:34:29+00:00
(3) "Controversial" is a weasel word AFAIC :)

The difficulty is in deriving any useful utility function from prices (even via preferences :), and as you know, econs can't rid themselves of that particular intrusive thought

https://mitsloan.mit.edu/sites/default/files/inline-files/So...

E: know any econs taking Habermas seriously ? Not a rhetorical q:

http://ecoport.org/storedReference/558800.pdf
by ai_legal_sus | 2025-06-20 01:34:50+00:00
I feel like role-playing as a lawyer, I'm curious how would you defend against this in court?

I don't think anyone denies that frontier models were trained on copyrighted material - it's well documented and public knowledge. (and a separate legal question regarding fair-use and acquisition)

I also don't think anyone denies that a model that strongly fits the training data approximates the copy-paste function. (Or at the very least, if A then B, consistently)

In practice, training resembles lossy compression of the data. Technically one could frame an LLM as a database of compressed training inputs.

This paper argues and demonstrates that "extraction is evidence of memorization" which affirms the above.

In terms of LLM output (the valuable product customers are paying for) this is familiar, albeit grey, legal territory.

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

When a customer pays for an AI service, they're paying for access to a database of compressed training data - the additional layers of indirection sometimes produce novel output, and many times do not.

Unless you advocate for discarding the whole regime of intellectual property or you can argue for a better model of IP laws, the question stands: why shouldn't LLM services trained on copyrighted material be held responsible when their product violates "substantial similarity" of said copyrighted works? Why should failure to do so be immune from legal action?
by jcranmer | 2025-06-20 01:35:30+00:00
Ask people how many different vowels there are in this set of words: trap, bath, palm, lot, cloth, thought. Most English speakers will make out two-four vowels from those 6 words. But they won't agree on which words share the same vowels.

There are other phonological differences between English dialects, but for the most part you can notate them as sounds that merely some dialects don't distinguish (e.g., nonrhotic dialects dropping the `r' sound).
Show HN: A Pokémon CLI/TUI Tool Written in Go
by dghost-dev | 2025-06-20 01:38:14+00:00
Hello, all!

I've been learning Go for around a year (off and on) and the best way for me to learn is to create a project. So, I've been building a Pokémon CLI/TUI tool where you can view data about different Pokémon details such as a Pokémon's base stats, typing, abilities, learnable moves; details about a specific ability, typing, or move; and a search feature to help you find a Pokémon, ability or move.

I'm sure some of this code is not great but it works for now and with every minor version, I take steps to look through the code and see where optimizations can be made. There may be crappy code pieces that I just can't see due to lack of experience.

I decided against using a CLI library like Cobra/Kong because I wanted to stick to the std lib as much as possible to not bloat the application. Using the flag package as been just fine. Although, I have been debating on using the spf13/pflag library to enforce POSIX/GNU style flags.

Thanks for letting me share!
by AdieuToLogic | 2025-06-20 01:40:21+00:00
>> There is no value for logging "function entry/exit, with param values" when all collaborations succeed and the system operates as intended.

> Well, I agree completely, but those conditions are a tall order.

Every successful service invocation satisfies "all collaborations succeed and the system operates as intended." Another way to state this is every HTTP `1xx`, `2xx`, and `3xx` response code produced by an HTTP service qualifies as such.

> The whole point of debugging (by whatever means you prefer) is for those situations in which things don't succeed or operate as intended.

Providing sufficient context in the presence of errors, or "situations in which things don't succeed or operate as intended", was addressed thusly:

If detailed method invocation history is a requirement, consider using the Writer Monad and only emitting log entries when either an error is detected or in an "unconditionally emit trace logs" environment (such as local unit/integration tests).

> If I have a failure, and suspect a major subsystem, I sure do want to see all calls and param values leading up to a failure.

See above.

> In addition to this point, you have constructed a strawman in which logging is on all the time.

No, I addressed your original premise in the context of a production web application, where logging is configured during deployment.

See also your own contradiction by previously asserting, "I sure do want to see all calls and param values leading up to a failure."

So which is it?

Did I construct a strawman "in which logging is on all the time"?

Or do you "want to see all calls and param values leading up to a failure", which requires "logging is on all the time"?

> Have you ever looked at syslog?

This is a strawman. Syslog is a component for logging and has nothing to do with the programs which use it.

> The large distributed system I worked on would produce a few GB per day, and the logs were rotated. A complete non-issue.

If this is the same system you described in a different comment also in this thread, I identified a standard industry practice of log entries produced by application nodes in a production environment being unconditionally sent to a log aggregator and not stored in a local file system. The reasons for this are well documented.
by NoPicklez | 2025-06-20 01:40:55+00:00
I have a limited understanding of this but I have read both articles. Playing devils advocate, it's easy to say we have a problem and reference where the problems have occurred but its harder to present a solution.

If we do think they need to stop Banks investing our savings deposits, a couple of questions come to mind, how would the Bank realistically have enough capital to then provide loans if it can't use the funds deposited to balance risk?

It could be either they need to stop investing the money being deposited, or banking regulations need to increase the capital that Banks hold outside of their investments.

If they're unable to invest the deposits, how would they provide an interest payment for having your funds if everyone's funds are sitting there not making any money through their investments? If we all deposited our money and they couldn't use it to invest or provide loans with interest, how will they afford to pay back interest on your savings deposits? You would have to forgo those.

My point being, what does the bank get out of holding our savings if they can't do anything with it?

Ultimately I could have a poor understanding and I'm just testing my thoughts.
by Full_Clark | 2025-06-20 01:41:52+00:00
I've been using the Viture XR Pro glasses and they're fine for occasional PC use but I don't like them enough to use a daily driver for work.

It's great for gaming and movies as you say, and also for adopting a better posture when using a laptop in a cramped space like a train or airline seat. But even with the individual focus wheels for each eye, it doesn't feel sharp enough at 1080p to replace a 24" or 27" screen on a standard desk layout.

If I had the option of one 24" 1080p monitor on my desk or XR glasses to use for 8-10 hours of thoughtful work, I would choose the monitor.

Regarding eye strain or fatigue, I don't notice any. The fact that the projected display appears to be 3-4m away probably helps a lot with that.
by zzo38computer | 2025-06-20 01:42:27+00:00
I think there are many problems with LED general purpose lighting. They are too bright, wrong colours, and others. I prefer to have the windows that we can have the light from the sun outside, and when that won't do, to use incandescent lights which are not too bright. However, not everyone will do that, and they put too much light outside at night too.

LED does have uses, such as many indicator lights (although they should not make them blue (unless you already used the other colours); but blue indicator lights are too common), and for some kind of displays. I think LED is not very good for general lighting, Christmas light, etc.
by alephnerd | 2025-06-20 01:43:17+00:00
> Kids until they are 18 can be dual citizen of China and American, they just have to decide at 18 which one to renounce

True! But kids under 18 aren't voters not supposed to be a part of the political process, so any opinions they may have is moot.

> Also, attractive female snow boarders are also allowed dual citizenship but those are exceptions.

Yep! Plenty of exceptions all around if you are important enough or related to someone important enough.
by gnabgib | 2025-06-20 01:43:56+00:00
Lots of Therac-25 discussion in the past

5 months ago (106 points, 57 comments) https://news.ycombinator.com/item?id=42797798

4 years ago (235 points, 77 comments) https://news.ycombinator.com/item?id=26142432

7 years ago (301 points, 110 comments) https://news.ycombinator.com/item?id=17740292

9 years ago (89 points, 40 comments) https://news.ycombinator.com/item?id=12201147

11 years ago (84 points, 77 comments) https://news.ycombinator.com/item?id=7257005
by ryandrake | 2025-06-20 01:45:27+00:00
I’ve got outdoor LED lights that fail constantly. So often that I keep dozens of them in storage to replace them as they die. Much less reliable than the incandescents they replaced. I’m fact, I have a string of about 50 sockets, about half are still incandescents that have survived for 10+ years, and the other half are LEDs that I have to keep replacing. Sadly, whenever an incandescent light goes, I have to replace it with the crappy LED version, so eventually it will be 100% crap.
by ehnto | 2025-06-20 01:47:35+00:00
I have tried Unreal, Unity and Godot. Released a commercial game in Unity, and now use godot.

Initially the move to godot was because I wanted sovereignty over the future of my projects.

But Godot is genuinely a delight to work in. If you're not making AAA games in a massive enterprise, Godot is the right blend of tools provided and getting out of the way.
by zzo38computer | 2025-06-20 01:48:42+00:00
Incandescent has other advantages. For example, in winter time if it is cold and it is also dark in winter time, then the heat can be beneficial. In summer time you should not need the light so much since there is already the light. Either way you should not need to use the light too often, and if you do not use the light too often then you can save energy by that too, and does not need to be replace as often.
by mdaniel | 2025-06-20 01:51:21+00:00
I'll bite: what is the systemd primitive for secret injection? for declaring which EBS volume it needs mounted where? (I don't mean Mount= I mean a conceptual MountVolumeByTag[Name=my-pgdata-0]=/var/lib/postgres/data ) Oh, that's another great question: what is the systemd primitive for making 3 copies of a service if you find that one copy isn't getting it done?

Maybe all of those "implementation details" are what you meant by "config files redone" and then perhaps by the follow-on "simple matter of programming" to teach C how to have new behaviors that implement those redone config files
by zinekeller | 2025-06-20 01:51:23+00:00
The TLS verifier workaround that you've constructed is reasonably sound (based on how TLS validation works in browsers), but the boring answer to workaround certificate problems is to do what Firefox actually does: skip AIA and only rely on known intermediates. You can import Mozilla's intermediate list as roots (https://wiki.mozilla.org/CA/Intermediate_Certificates, requires additional processing to convert to usable certs) to emulate this.

Chrome on the other hand... just read this article (https://blog.benjojo.co.uk/post/browsers-biggest-tls-mistake), it's very hard to emulate and is really, really bonkers.
by lechatonnoir | 2025-06-20 01:51:30+00:00
Well, sure, but mathematics is the domain for which this holds maybe the most true out of any. It's less true for fields which are not as old.

I'm not sure if this counterpoint generalizes entirely to the original critique, since certainly LessWrongers aren't usually posting about or discussing math as if they've discovered it-- usually substantially more niche topics.