HN user

lukev

9,265 karma
Posts21
Comments1,470
View on HN
www.dolthub.com 3mo ago

Vibe Code vs. Trad Code

lukev
6pts5
roost.tools 8mo ago

gpt-oss-safeguard: A new milestone for open source safety infrastructure

lukev
4pts1
news.ycombinator.com 1y ago

Ask HN: How do you organize work as a solo developer?

lukev
61pts42
news.ycombinator.com 2y ago

DALL-E 3 censors mild leftist prompts

lukev
4pts6
davekarpf.substack.com 2y ago

Why can't our tech billionaires learn anything new?

lukev
23pts1
news.ycombinator.com 3y ago

Ask HN: What's going on with Amazon Prime shipping times?

lukev
55pts44
www.theverge.com 6y ago

Contrary to Trump’s claim, Google is not building a Covid-19 website

lukev
2pts4
www.chronicle.com 7y ago

An Elaborate Academic-Journal Hoax

lukev
119pts159
qz.com 7y ago

Everything bad about Facebook is bad for the same reason

lukev
3pts0
arachne-framework.org 10y ago

Frameworks, Libraries and Templates in Arachne

lukev
17pts0
www.kickstarter.com 10y ago

Arachne Web Framework for Clojure

lukev
8pts0
news.ycombinator.com 10y ago

My data was hacked. Are credit monitoring services at all worthwhile?

lukev
1pts0
blog.datomic.com 11y ago

More Power for Datomic Datalog: Negation, Disjunction, and Range Optimizations

lukev
29pts0
www.youtube.com 12y ago

Insomnium (a successful metal band) wrote their last album via email

lukev
1pts0
news.ycombinator.com 14y ago

What is a good high level language that is also highly efficient?

lukev
5pts4
news.ycombinator.com 15y ago

Ask HN: How important is it for a project to be a legal entity, early on?

lukev
7pts5
first.clojure-conj.org 15y ago

First Clojure conference

lukev
77pts21
news.ycombinator.com 15y ago

Ask HN: How much would it cost to create a new development stack?

lukev
3pts8
news.ycombinator.com 16y ago

Ask HN: Any good books on graphing/charting/visualization?

lukev
47pts38
news.ycombinator.com 16y ago

Ask HN: Which technology should I use for client-side web encryption?

lukev
5pts10
news.ycombinator.com 16y ago

Would you use a cryptographically secure social network?

lukev
4pts13

Well, it’s mentioned as a limitation of the analysis, very much not ruled out (or in.)

That simonw is causing labs to do extra fine-tuning runs for this seems highly probable :)

What if they’re not pelicanmaxxing, but svgmaxxxing in general?

Because otherwise using a LLM to generate complex svgs is pretty niche and what I thought made this a good benchmark when it was new - generalized programming and spatial knowledge.

Obviously image gen in svg format is not a particularly hard problem if tackled directly on its own.

Counterpoint: the standardized surface area of a browser is already enormous, and while these components seem simple, there are a billion different options, variables or alternative implementations to consider.

At some point, functionality needs to exist in user space, even if it's common.

"intelligence" is not well defined. LLMs are throwing this into high relief with how "spiky" their capability curve is. Yes, they can solve some crazy hard problems with enough compute and thinking tokens. Yes, they also fall down in the dumbest ways without an ability to self-correct... despite how "smart" they are, human supervision remains absolutely critical for any system of importance.

But I don't think the takeaway is "humans are intelligent and LLMs are not", it's that our vocabulary for talking about the intersection of language, cognition and compute is not up for the task.

Claude Design 3 months ago

I would bet that Canva's bet is that companies will always want a "last mile" of manual control, even if only for the Queen's Duck effect. If Canva is the default, zero friction path for that, great for them.

The alternative is to not hop on the AI bandwagon, or run an "also ran" AI story, and both those scenarios (I expect) game out worse given the current zeitgeist.

This is a must-read series of articles, and I think Kyle is very much correct.

The comparison to the adoption of automobiles is apt, and something I've thought about before as well. Just because a technology can be useful doesn't mean it will have positive effects on society.

That said, I'm more open to using LLMs in constrained scenarios, in cases where they're an appropriate tool for the job and the downsides can be reasonably mitigated. The equivalent position in 1920 would not be telling individuals "don't ever drive a car," but rather extrapolating critically about the negative social and environmental effects (many of which were predictable) and preventing the worst outcomes via policy.

But this requires understanding the actual limits and possibilities of the technology. In my opinion, it's important for technologists who actually see the downsides to stay aware and involved, and even be experts and leaders in the field. I want to be in a position to say "no" to the worst excesses of AI, from a position of credible authority.

To be clear: most people who are keen on making such an argument, or who are identifying racial genetic differences as the primary takeaway of studies like this, are doing so to justify racism, either implicitly or explicitly.

But that's a strawman. Racism is wrong, even if there are minor genetic variances across populations (which... seems obvious?) Variance within a population strongly dominates the weak cross-population effects, and personal history (nutrition, education, etc) strongly dominates that.

And that's setting aside the moral implications of judging someone or changing your behavior towards them even if you have somehow measured them to be "less intelligent," as if that was a single axis of worth.

Because, apparently, this needs to be said.

This is a really interesting point though -- it's really scaffold-dependent.

Because for the same price, you could point the small model at each function, one by one, N times each, across N prompts instructing it to look for a specific class of issue.

It's not that there's no difference between models, but it's hard to judge exactly how much difference there is when so much depends on the scaffold used. For a properly scientific test, you'd need to use exactly the same one.

Which isn't possible when Anthropic won't release the model.

Disagree, I don't particularly want to up the level at which I'm building the core. Core is where I want to prioritize quality over speed, and (at least with today's models) what I build by hand is much, much higher quality.

I like this framing, but it does seem to imply that a whole dev shop, or a whole product, can or should be built at the same level.

The fact is, I think the art of building well with AI (and I'm not saying it's easy) is to have a heterogenously vibe-coded app.

For example, in the app I'm working on now, certain algorithmically novel parts are level 0 (I started at level 1, but this was a tremendously difficult problem and the AI actually introduced more confusion than it provided ideas.)

And other parts of the app (mostly the UI in this case) are level 7. And most of the middleware (state management, data model) is somewhere in between.

Identifying the appropriate level for a given part of the codebase is IMO the whole game.

That's not what I mean.

If I use a calculator to find a logarithm, and I know what a logarithm is, then the answer the calculator gives me is perfectly useful and 100% substitutable for what I would have found if I'd calculated the logarithm myself.

If I use Claude to "build a login page", it will definitely build me a login page. But there's a very real chance that what it generated contains a security issue. If I'm an experienced engineer I can take a quick look and validate whether it does or whether it doesn't, but if I'm not, I've introduced real risk to my application.

I think that's too easy an analogy, though.

Calculators are deterministically correct given the right input. It does not require expert judgement on whether an answer they gave is reasonable or not.

As someone who uses LLMs all day for coding, and who regularly bumps against the boundaries of what they're capable of, that's very much not the case. The only reason I can use them effectively is because I know what good software looks like and when to drop down to more explicit instructions.

So, isn't this a rather longwinded way to say that a signature only extends to the scope of the message it contains?

It doesn't matter if I sign the word "yes", if you don't know what question is being asked. The signature needs to included the necessary context for the signature to be meaningful.

Lots of ways of doing that, and you definitely need to be thoughtful about redundant data and storage overhead, but the concept isn't tricky.

Also, the defining feature of capitalism is that it encloses what was previously common.

Land used not to be owned (feudal lordship was functionally different than private ownership.) Then, society shifted, land became private, and that was the beginning of rent. This is enclosure.

The whole concept of IP is to explicitly extend this process to ideas -- they are not free, they are owned, and I have to pay you to use them. This is also enclosure, precisely.

ARC-AGI-3 4 months ago

I'm not sure how this relates to AGI.

This measures the ability of a LLM to succeed in a certain class of games. Sure, that could be a valuable metric on how powerful (or even generally powerful) a LLM is.

Humans may or may not be good at the same class of games.

We know there exists a class of games (including most human games like checkers/chess/go) that computers (not LLMs!) already vastly outpace humans.

So the argument for whether a LLM is "AGI" or not should not be whether a LLM does well on any given class of games, but whether that class of games is representative of "AGI" (however you define that.)

Seems unlikely that this set of games is a definition meaningful for any practical, philosophical or business application?

This is bad in tech. But at least we are (relatively) well equipped to deal with it.

My partner teaches at a small college. These people are absolutely lost, with administration totally sold on the idea that "AI is the future" while lacking any kind of coherent theory about how to apply it to pedagogy.

Administrators are typically uncritically buying into the hype, professors are a mix of compliant and (understandably) completely belligerent to the idea.

Students are being told conflicting information -- in one class that "ChatGPT is cheating" and in the very next class that using AI is mandatory for a good grade.

Its an absolute disaster.

I'd got a step further and say that in business software, named parameters are preferable for all but the smallest functions.

Using curried OR tuple arg lists requires remembering the name of an argument by its position. This saves room on the screen but is mental overhead.

The fact is that arguments do always have names anyway and you always have to know what they are.

I agree, but absence of evidence is not evidence of absence, and we currently have a lot of developers who feel very productive right now.

We are very much in need of an actual way to measure real economic impact of AI-assisted coding, over both shorter and longer time horizons.

There's been an absolute rash of vibecoded startups. Are we seeing better success rates or sales across the industry?