Readit News logoReadit News
laksjhdlka commented on Segagaga Has Been Translated into English   thedreamcastjunkyard.co.u... · Posted by u/nanna
jsheard · 4 days ago
> MTPE (Machine translation, post-editing). This works just like it sounds. The initial translation is done with machine translation, then human translators review and edit the resulting translation to try to correct any mistakes.

And the consensus among professional translators is that MTPE only saves time if you're willing to accept a half-assed result. For them to edit MT up to the standard of manual translation takes just as much expertise and effort as translating it manually in the first place.

laksjhdlka · 4 days ago
> And the consensus among professional translators is that MTPE only saves time if you're willing to accept a half-assed result.

I have no particular interest in translation, but clearly when the person saying X is bad depends financially on you not buying X, you must take their word with a grain of salt.

laksjhdlka commented on Relicensing with AI-Assisted Rewrite   tuananh.net/2026/03/05/re... · Posted by u/tuananh
samrus · 8 days ago
> The ownership void: If the code is truly a “new” work created by a machine, it might technically be in the public domain the moment it’s generated, rendering the MIT license moot.

Im struggling to see where this conclusion came from. To me it sounds like the AI-written work can not be coppywritten, and so its kind of like a copy pasting the original code. Copy pasting the original code doesnt make it public domain. Ai gen code cant be copywritten, or entered into the public domain, or used for purposes outside of the original code's license. Whats the paradox here?

laksjhdlka · 8 days ago
They say "if" it's a new work, then it might not be copyrightable, I guess. You suppose that it's still the original work, and hence it's still got that copyright.

I think they are rhetorically asking if your position is correct.

laksjhdlka commented on Intent-Based Commits   github.com/adamveld12/gho... · Posted by u/adamveld12
fc417fc802 · 10 days ago
You could also feed it back to the next AI agent.
laksjhdlka · 9 days ago
Definitely, in this kind of a scenario the agent is probably best positioned to slog through all that nonsense.
laksjhdlka commented on Intent-Based Commits   github.com/adamveld12/gho... · Posted by u/adamveld12
laksjhdlka · 10 days ago
It is not clear to me that keeping prompts/conversations at something like this level of granularity is a _bad_ idea, nor that it's a good one. My initial response is that, while it seems cute, I can't really imagine myself reading it in most cases. Perhaps though you'd end up using it exactly when you're struggling to understand some code, the blame is unclear, the commit message is garbage, and no one remembers which ticket spawned it.
laksjhdlka commented on λProlog: Logic programming in higher-order logic   lix.polytechnique.fr/Labo... · Posted by u/ux266478
TheRoque · 17 days ago
I remember learning it in univerisity. It's a really weird language to reason with IMO. But really fun. However I've heard the performances are not that good if you wanna make e.g. game AIs with it.
laksjhdlka · 17 days ago
With λProlog in particular I think it probably finds most of its use in specifying and reasoning about systems/languages/logics, e.g. with Abella. I don't think many people are running it in production as an implementation language.
laksjhdlka commented on Across the US, people are dismantling and destroying Flock surveillance cameras   bloodinthemachine.com/p/a... · Posted by u/latexr
bpodgursky · 20 days ago
This is literally true and you think you are being snarky but just look ignorant.
laksjhdlka · 20 days ago
I can't tell which element(s) of the previous post you are criticizing.
laksjhdlka commented on How to choose between Hindley-Milner and bidirectional typing   thunderseethe.dev/posts/h... · Posted by u/thunderseethe
piinbinary · 22 days ago
> friends don’t just bring up type inference in casual conversation

I wonder if this is a reference to "I need you to understand that people don't have conversations where they randomly recommend operating systems to one another"

But to the actual point of the article: my understanding is that there are areas where you can use bidirectional typing (e.g. languages that have subclasses) where HM style type inference might become undecidable.

laksjhdlka · 22 days ago
I once studied proof theory for a summer at a school in Paris and we talked about type inference and theorem proving all the time in casual conversation, over beers, in the park. It was glorious.

Being a student is so much fun, and we often waste it, or at least don't value it as much as we ought. 20 years later I'd love to go back.

laksjhdlka commented on Anthropic officially bans using subscription auth for third party use   code.claude.com/docs/en/l... · Posted by u/theahura
MillionOClock · 22 days ago
I really hope someone from any of those companies (if possible all of them) would publish a very clear statement regarding the following question: If I build a commercial app that allows my users to connect using their OAuth token coming from their ChatGPT/Claude etc. account, do they allow me (and their users) to do this or not?

I totally understand that I should not reuse my own account to provide services to others, as direct API usage is the obvious choice here, but this is a different case.

I am currently developing something that would be the perfect fit for this OAuth based flow and I find it quite frustrating that in most cases I cannot find a clear answer to this question. I don't even know who I would be supposed to contact to get an answer or discuss this as an independent dev.

EDIT: Some answers to my comment have pointed out that the ToS of Anthropic were clear, I'm not saying they aren't if taken in a vacuum, yet in practice even after this being published some confusion remained online, in particular regarding wether OAuth token usage was still ok with the Agent SDK for personal usage. If it happens to be, that would lead to other questions I personally cannot find a clear answer to, hence my original statement. Also, I am very interested about the stance of other companies on this subject.

Maybe I am being overly cautious here but I want to be clear that this is just my personal opinion and me trying to understand what exactly is allowed or not. This is not some business or legal advice.

laksjhdlka · 22 days ago
Anthropic has published a very clear statement. It's "no".
laksjhdlka commented on Sizing chaos   pudding.cool/2026/02/wome... · Posted by u/zdw
slopinthebag · 22 days ago
and then you buy two different brands of pants of the same w/l and they fit completely differently /)_-)
laksjhdlka · 22 days ago
And you buy the same brand and model of pants from the same retailer and they still fit completely differently due to variation in the product. Pretty annoying, I just want to buy my Levi's 510s every couple years and get the same thing each time.
laksjhdlka commented on Show HN: Echo, an iOS SSH+mosh client built on Ghostty   replay.software/updates/i... · Posted by u/sgottit
laksjhdlka · 23 days ago
How do I add other keys to the little virtual keyboard? Inability to easily type ` is pretty tough. Looks beautiful though.

u/laksjhdlka

KarmaCake day46February 3, 2026View Original