Hacker News: laksjhdlka

New comment by laksjhdlka in "Eliza a Play by Tom Holloway"

laksjhdlka — Mon, 20 Apr 2026 05:27:24 +0000

It _is_ performative (not sure it's nonsense) because it doesn't actually do or intend to do anything. It's cheap.

(I personally think it's also _disingenous_, because you can't undo things done 100+ years ago -- not because they are no longer "bad" but because you can't figure out how or who to undo it to, and you should instead focus on "who needs help today", because they are alive).

New comment by laksjhdlka in "Pro Max 5x quota exhausted in 1.5 hours despite moderate usage"

laksjhdlka — Sun, 12 Apr 2026 13:36:04 +0000

> Also, optimizing your setup for working with agents can easily make a 5x difference.

Any highlights you can share here? I'm always looking to improve me setup.

New comment by laksjhdlka in "1M context is now generally available for Opus 4.6 and Sonnet 4.6"

laksjhdlka — Sat, 14 Mar 2026 18:12:31 +0000

Where do you live? I'm in the midwest, US, and theoretical savings between 2x and 5x amounts to a single full bag of groceries. Literally.

How can this possibly be a concern?

New comment by laksjhdlka in "Games with loot boxes to get minimum 16 age rating across Europe"

laksjhdlka — Sat, 14 Mar 2026 14:34:09 +0000

Exactly. Somehow the internet has lead to the death of nuance, too many loud voices?

New comment by laksjhdlka in "Segagaga Has Been Translated into English"

laksjhdlka — Mon, 09 Mar 2026 18:28:55 +0000

> 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.

New comment by laksjhdlka in "Relicensing with AI-Assisted Rewrite"

laksjhdlka — Thu, 05 Mar 2026 06:42:57 +0000

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.

New comment by laksjhdlka in "Intent-Based Commits"

laksjhdlka — Wed, 04 Mar 2026 17:21:31 +0000

Definitely, in this kind of a scenario the agent is probably best positioned to slog through all that nonsense.

New comment by laksjhdlka in "Intent-Based Commits"

laksjhdlka — Tue, 03 Mar 2026 05:17:08 +0000

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.

New comment by laksjhdlka in "λProlog: Logic programming in higher-order logic"

laksjhdlka — Tue, 24 Feb 2026 13:25:02 +0000

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.

New comment by laksjhdlka in "Across the US, people are dismantling and destroying Flock surveillance cameras"

laksjhdlka — Sat, 21 Feb 2026 03:54:15 +0000

I can't tell which element(s) of the previous post you are criticizing.

New comment by laksjhdlka in "How to choose between Hindley-Milner and bidirectional typing"

laksjhdlka — Thu, 19 Feb 2026 03:33:11 +0000

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.

New comment by laksjhdlka in "Anthropic officially bans using subscription auth for third party use"

laksjhdlka — Thu, 19 Feb 2026 03:29:48 +0000

Anthropic has published a very clear statement. It's "no".

New comment by laksjhdlka in "Sizing chaos"

laksjhdlka — Thu, 19 Feb 2026 03:14:27 +0000

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.

New comment by laksjhdlka in "Show HN: Echo, an iOS SSH+mosh client built on Ghostty"

laksjhdlka — Wed, 18 Feb 2026 19:32:06 +0000

How do I add other keys to the little virtual keyboard? Inability to easily type ` is pretty tough. Looks beautiful though.

New comment by laksjhdlka in "Building a model that visualizes strategic golf"

laksjhdlka — Tue, 17 Feb 2026 14:15:18 +0000

https://golfcourse.wiki/ is down / degraded FYI (frequent 500/503). What is the best way to contact you? I have a related project you might enjoy.

New comment by laksjhdlka in "Anthropic raises $30B in Series G funding at $380B post-money valuation"

laksjhdlka — Thu, 12 Feb 2026 20:24:49 +0000

To be fair, Facebook was at the time viewed by many as crazily overvalued.

New comment by laksjhdlka in "Europe's $24T Breakup with Visa and Mastercard Has Begun"

laksjhdlka — Tue, 10 Feb 2026 16:22:12 +0000

Exactly, now that the internet is ubiquitous, none of the problems with replacing credit card companies like VISA are really technical. They are regulatory, they are political, they are social.

New comment by laksjhdlka in "LiftKit – UI where "everything derives from the golden ratio""

laksjhdlka — Tue, 10 Feb 2026 14:12:51 +0000

This line alone made me want to read the rest of the page, so good work! Hilarious and self-deprecating is how I took it.

New comment by laksjhdlka in "Xcode 26.3 – Developers can leverage coding agents directly in Xcode"

laksjhdlka — Wed, 04 Feb 2026 05:01:09 +0000

I'm sitting here wondering why you'd run anything not full-screened, save for some rare situation where you are comparing multiple windows line by line (and don't have a short term memory).

New comment by laksjhdlka in "Show HN: NanoClaw – “Clawdbot” in 500 lines of TS with Apple container isolation"

laksjhdlka — Tue, 03 Feb 2026 02:32:13 +0000

The README is for your agent to read. Shrug.