HNHacker News
TopNewBestAskShowJobs

dvt

19,483 karma · joined October 14, 2012

UCLA alum (philosophy, mathematical logic), startup guy, data engineer, CTO, immigrant, amateur kayaker. Find me at https://dvt.name or @davvv on Twitter.
submissionscomments
dvt··on Survival LLM: AI assistant and emergency library that runs on your own computer
Or just.. download the books, and slap a search engine on top of them. It'll be like 10x smaller than the model. "Survival LLM" is absolutely a non-relevant use case.
dvt··on Show HN: Swurf – Swipe through the real web
Tried going through some random stuff on jumpstick, got like three 404s in a row, and I know Neocities, but it's just kind of meme-y, not really that interesting to scroll through.

There's some genuinely awesome stuff out there, but it's (paradoxically) much rarer imo than it was a decade ago. HN and Twitter is a place where it occasionally bubbles up.

dvt··on Show HN: Swurf – Swipe through the real web
> not one seems to have really stuck or set a new standard for web discovery

It's because most content worth seeing these days is behind a walled garden: Twitter, reddit, TikTok, Instagram, Snapchat, YouTube, and even news articles these days are often paywalled. It's just a fundamentally different internet than it was in 2009. The corporations have definitively won.

One reason I personally like AI is that it at least puts the end-user on the same level (at least automation-, scraping-, and compute-wise) as big companies.

dvt··on LLMs are making formal software verification feasible at a much larger scale
It's why unit tests are worthless when humans write them, and less than worthless when AI writes them. Same concept: you're testing yourself, of course you're going to pass with flying colors.
dvt··on Every AI model has the same "controversial" take on humans
We still have criminal negligence laws, so apart from the capital punishment (which, at least in the US, requires intent), it's actually pretty forward-thinking. Of course professionals being criminally negligent should be charged. Are you seriously saying that you don't think the crew of the Key Bridge collapse[1] incident ship shouldn't be held criminally responsible?

[1] https://www.npr.org/2026/05/13/nx-s1-5819609/federal-governm...

dvt··on Every AI model has the same "controversial" take on humans
Can't say I agree with this, considering lex talionis[1] is still the primary directive of most legal systems when it comes to criminal law, as well as basically all military operations (jus in bello, jus ad bellum, etc.). The principle of proportionality ("an eye for an eye") also is relevant to self-defense, capital punishment, etc.

In fact, I would counter and say that Hammurabi's Code is a quintessential example.

[1] https://academic.oup.com/jla/article/18/1/19/8471491

dvt··on Every AI model has the same "controversial" take on humans
> What is today a moral imperative is not the same as what was moral 50/100 years ago

This is absolutely not true, and I would strongly suggest taking an ethics course. One of the most fascinating realities of the human condition is that it does seem that moral imperatives tend to be constant, the most obvious of which is the Golden Rule (which is at least 3000 years old), but there are many (the Ten Commandments or Hammurabi's Code are good jumping off points).

dvt··on There's never been a better time to go into math (by: 3blue1brown) [video]
Non-mathematicians talking about this (especially in a cultural battleground like Wikipedia, yuck) will never be productive. Citing it here on HN does everyone a disservice. For those uninitiated, OpenAI used a fundamentally different method (without forcing in the Euler case) and the idea that the proof was plagiarized (other than the completely kosher strategy of using prior art, of course) is a complete fabrication.

In fact, the proof is such a mess, nobody really understands how it works. Which is becoming commomplace with these permutation machines where we can come up with something that passes some tests (e.g., a proof checker), but we have no idea wtf we did to get there, which doesn't really seem to do much to push human understanding forward.

It seems like such a dumb hill to die on, too. OpenAI literally stole the entire Internet (including copyrighted works), and we're arguing about a silly math puzzle.

dvt··on Show HN: WhatsApp MCP running free on Cloudflare
This ship has sailed about two decades ago. At least let's get some cool products out of it.
dvt··on LFM2.5-24B-A2B: Built for fast on-device agents
Training a mid-size model like this can take anywhere between $500k to like $5m. Liquid is spending money on GPU-hours (not sure if you'd call that "energy"). The amortization question is harder to answer without knowing their financials.

The license doesn't really make much sense to me, because if you're already at $10m revenue, you can probably train your own (better, more tailor-suited) model, or at the very least raise money to do so.

dvt··on Show HN: Petal, open-source CoScreen/ScreenHero finally free
This is super cool and thanks for open sourcing. I remember seeing CoScreen & Screen Hero here on HN years ago and thinking it was absolutely the cat's pajamas. Unfortunately, I think it was one of those cases of being blinded by the tech being super cool.

Of the ~decade since I've seen these types of apps, I've never used one and, frankly, I never ever craved for "just sharing one window" or "playing in multiplayer" as @jsherwani put it. Which is kind of odd, because COVID came and went (peak remote/screen sharing days), and I had totally forgotten these kinds of products even existed. While this is (still) super neat technically, I just don't really see a concrete use case other than "lemme show you something super cool."

Has anyone actually used it? Where would this kind of tool be better than just screen sharing over Google Meet or Discord or Slack or whatever?

dvt··on Suicide rates highest ever among middle-aged men
> There’s nothing causational about the denomination.

You're right, I'm sure the people that are publishing these studies have never heard of "correlation is not causation."

dvt··on Suicide rates highest ever among middle-aged men
It's ironic that the "acktually.." atheist/anti-theist crowd don't do a modicum of research when it comes to this kind of stuff. It's pretty well-established in the literature that folks plugged into a religious community live better, happier, and healthier lives[1].

Millenial cynicism is so boring.

[1] https://pmc.ncbi.nlm.nih.gov/articles/PMC5127763/

dvt··on LittleJS is 2D and 3D now
> This shows people are using AI to make games that they know hardly anyone will play.

People have always done this tbh, I've probably built like a dozen+ games at game jams that even I barely remember.

dvt··on AI models may be capable of self-replicating without access to a datacenter
Anthropic/OpenAI are literally the meme[1] at this point. Like, what the fuck does this even mean:

> It appears that GLM-5.2 is able to propagate Llama3.1-8B well, which suggests that future small models of the same capability level could also complete the network enumeration, payload delivery, and inference standup steps of the replication process.

"Able to propagate" is (the paragraph above): "accessing them via a reverse shell, sending over the viral payload (weights and harness), and setting up inference." The thing isn't able to do anything, it's running shell commands it was told to run. "Oh my God..." indeed. What are we even doing here? This blog post is embarassing: "Look, you can run stuff on compromised non-firewalled recklessly open systems!"

[1] https://knowyourmeme.com/memes/say-i-am-alive/photos

dvt··on Thinking will become a hobby
I think it’s just part of the zeitgeist. Like, I’m actually pretty AI-forward, but my post is getting downvoted. Not that I care, it’s just an interesting sign of the times.
dvt··on Thinking will become a hobby
Calculators don’t do any creative work, building products is creative. Apples and oranges.
dvt··on Thinking will become a hobby
Such a wild take to argue that current tier LLMs do any “thinking” at all. Was chatting with a friend last week and I was saying that sure AI writes much of my code these days but my cognitive load is HIGHER, as I have to constantly make sure it’s not doing something dumb.

I have to constantly make sure it’s building things in a way that will fit neatly together, in a way doesn’t over (or under) -generalize. In a way that doesn’t waste time and energy on idiotic tests that aren’t really testing anything at all.

LLMs are powerful autocomplete with vast and broad memory, they do not think. And thinking is just a part of the human condition.

dvt··on Typesafe AI raises $870M at $7.5B
Cool, yeah my spidey sense was definitely going off. It’s a half-decent idea, but it does appear that marketing is all you need.

Kind of sad seeing so many “tech people” (including here on HN) falling for it hook, line, and sinker.

dvt··on Typesafe AI raises $870M at $7.5B
Because Jev is basically a "generalized classifier" which.. doesn't quite make much sense. Training a classifier is pretty easy and has been done routinely for like two decades now. Classifiers also tend to be very localized; for example, I've worked on classifiers that would bucket web traffic into "potential buyer" or "potential seller"—but this was very specific to the use case (vehicles, in our case).

If I seriously needed a classifier, I would just train my own and it would run on an iPhone. Any CTO worth their salt would suggest the same, because it's not even remotely comparable to training a large language model (w.r.t. compute or training data required).

dvt··on Typesafe AI raises $870M at $7.5B
Is Jev being astroturfed on HN? It certainly feels like it. It's a middling product with virtually no moat (but great marketing).
dvt··on I gave Opus 5.5 one prompt and six hours to visualize Invisible Cities
Apologies for the long post in advance (maybe I should turn this into a blog post).

Invisible Cities is one of my favorite books, and I've re-read it several times. It's a great "travel" read and always puts me in the mood to explore. It's also a very romantic book, obviously the cities have all named after women, so it evokes conquest in the sexual sense as well. It's also a piece of surrealist/allegorical literature in the same vein as Daumal's Mount Analogue (which also tops my list).

Back to the website. While this is an impressive tech demo (as they all are), it's clear that AI misses the forest for the trees, and here's a tangible example. I randomly clicked on Theodora. Honestly, I didn't even remember which city this was until I re-read the Calvino passage:

> Recurrent invasions racked the city of Theodora in the centuries of its history; no sooner was one enemy routed than another gained strength and threatened the survival of the inhabitants. When the sky was cleared of condors, they had to face the propagation of serpents; the spiders' extermination allowed the flies to multiply into a black swarm; the victory over the termites left the city at the mercy of the woodworms. One by one the species incompatible to the city had to succumb and were extinguished. By dint of ripping away scales and carapaces, tearing off elytra and feathers, the people gave Theodora the exclusive image of human city that still distinguishes it.

So, what do we know about this city? We can make a short sensible list:

    1. It's an imperialistic (or at least millitaristic) reflection of man's will to power (as Nietzsche might put it)
    2. It's decidedly anti-nature, the natural flora and fauna being its primary antagonist
    3. It's been destroyed and rebuilt many times
    4. The city is built by literally ripping away bugs and birds; tearing their wings from their bodies like a cruel child might
    5. Nature is slowly winning (and maybe it already has)
This[1] is what AI saw. Now, this isn't bad, really. But it's so embarassingly pedestrian, it hardly counts as a visualisation. It just heard "city with animals and stuff" and made a 3D model. But it's all, in that uncanny-valley kind of feeling, wrong. Why is the city itself a grid? Why is there a library in the center?

Calvino, again, on Theodora:

> But first, for many long years, it was uncertain whether or not the final victory would not go to the last species left to fight man's posession of the city: the rats.

The vibe here is an overrun rat's nest of a city. A disgusting bloated corpse; more:

> The city, great cemetery of the animal kingdom, was closed, aseptic, over the final buried corpses with their last fleas and their last germs.

I see an overrun New York. I see a city built on a decaying graveyard. AI sees animals and humans living in a kumbaya harmony, but that is not what Theodora is: it's an eternal conflict between man and nature (and nature won a long time ago). For the record, this isn't even that particularly deep. Many authors and poets write about this eternal human struggle: the taming of the wilds. But Claude just doesn't get it. I hope readers of the book do.

Anyway, I leave you with this. I found an artist, Rian Hotton[2], who put brush to canvas to show us what he thought Theodora looks like[3]. And this... this is more like it.

[1] https://imgur.com/a/hXrKVg3

[2] https://www.facebook.com/rianhottonartist

[3] https://imgur.com/a/tR0qTYx

dvt··on Show HN: TerrainSR – fast, realistic heightmap upscaling model
On my phone but very interested in this (hence leaving a comment so I can find it later). What’s the variation, can we generate different maps from the same low res seed?

I’m interested in this because “macro maps” can be hand built in a way that may want to preserve gameplay balance while individual games can still feel broadly unique.

dvt··on Decisions API is in public beta
Yeah and OAI is twice as expensive as Jev, which is kind of my point. And more expensive than open models, which you don't necessarily have to host yourself. Pure bandwaggoning.
dvt··on Decisions API is in public beta
I genuinely do not understand why anyone would pay OpenAI for this. Running something comparable to Jev is pretty trivial. The whole point of paying for ChatGPT is because OpenAI has a bunch of warehouses that can run a zillion-parameter model.

Running a decision model is way easier and much cheaper. Are they really just trying to capitalize on the hype here? It feels like they really have absolutely zero moat.

dvt··on How accurately calibrated is Jev?
> So Jev does actually know which distributions are correct, it just fails to produce them

Claims like this needs to be deeply analyized. Models do have some emergent capabilities[1], and I think there's a lot of evidence to show that semantics is actually learned (Word2Vec), and some math seems like it also might be learned (e.g. modular arithmetic). But it's hard to exactly say where there's some internal mechanism generating a true answer and where we're just getting lucky with some distribution so the answer just seems right.

[1] https://arxiv.org/pdf/2502.00873

dvt··on Meta's Muse is fantastic for web scraping
Here's my agentic Chromium browser browsing Aliexpress[1]. Usually I'd run it in headless mode, but wanted to test and make sure I'm getting the website proper.

It searched for "Aliexpress" on Google and clicked the link, hence the Google UTM params.

[1] https://imgur.com/a/eNulg11

dvt··on Meta's Muse is fantastic for web scraping
I built the POC by hand (just had like 3 things it could do: scroll, click, type), and then Codex used my established patterns to make it slightly more general and cleaned it up.
dvt··on Meta's Muse is fantastic for web scraping
I think it's the latter, and that's why I think using a "normal" non-debug browser is the best idea because it's essentially undetectable. And for the record, you can technically control Chromium using IPC if you feel like adding that feature & fully rebuilding it from scratch.
dvt··on Meta's Muse is fantastic for web scraping
Are you saying they're blocking the `User-Agent`? Because that's trivial to bypass. I'm not exactly sure what you mean by "Chromium" because that's a whole class of browsers (Edge, Brave, Chrome, etc. are all forked "Chromium" browsers).
Page 1 of 34Next →