winwang

3 ms·

1.
by winwang 7d ago
Hah, yeah that's definitely interesting, though maybe a general platform for this stuff would be even more interesting. Although, maybe benchmarking an agent on "how well can you command a swarm to annihilate the Terrans" is
2.
by winwang 7d ago
Would be interesting if you could team a fast and slow agent together -- slow model can either act directly or maybe just communicate to the fast model.
3.
by winwang 8d ago
Another commenter appreciated the move towards a sane/nice standard. I am definitely on that side of the table. I'd rather feel good about the move -- good enough to ignore the other implied issues, lol. I also think your point ha
4.
by winwang 8d ago
Gotta say, it is hilarious that this is the current top HN post. I feel like it's gotta say something about our current AI zeitgeist, that there is such vigorous attention on a seemingly-minor change. Feels like something is on the tip
5.
by winwang 10d ago
Having also played with Metal and WebGPU (at least years ago), I would say that CUDA is, amazingly, the best GPGPU API we have. Do I wish we had an open source parallel programming language as good or better than it? Yes. But asymmetrically
6.
by winwang 10d ago
Really exciting but it reads like Claude instead of what Nvidia posts have generally been like in the past. I don't need nor want my tech blogs to sound like a young adult novel.
7.
by winwang 14d ago
(Without profiling or looking into this at all) I'd guess this has to with thread creation, inter-core communication/latency, and possibly having to merge results or otherwise interleave operations. SMT is another likely candidate
8.
by winwang 19d ago
imo, partially because it's still not easy (in terms of code -> formal proof). With AI, I've been Lean-ifying a simpler (but non-trivial) algo. Pointing (current) AI at it only goes so far and in fact might go "too far&quo
9.
by winwang 25d ago
"maybe even psychologists" -- unironically true, but maybe I am talking about something different from you. The basis of (higher-level) math seem to mostly be "am I psychologically (emotionally...?) comfortable with accepting
10.
by winwang 1mo ago
Every day, we stray closer to Haskell. Dare I say it: good!
11.
by winwang 2mo ago
(not the above poster but) I set up a local workspace for it to read/write from, so that edit is effectively just VSCode/vim. Unfortunately, it seems more verbose when writing out to file.
12.
by winwang 2mo ago
I decided to ask chatgpt for a fermi estimate of cores/datacenter, which you can check for yourself: 1~10 million physical cores. The surprising part of this for me was the "low" power usage (it used 20MW/"datacente
13.
by winwang 2mo ago
Back of the envelope math, if anyone wants to correct my mental model: 2.1B (min core)/week ~ 300M (min core)/day. Assuming ~300k cores (~3k physical server CPUs, seems fine), that's 1k min/day. Seems about right, though
14.
by winwang 2mo ago
I don't GR but I'm fairly certain dipole does not work for gravitational waves (i.e. two objects accelerating straight at each other). Supposedly, there's a specific definition of "gravitational wave" here. You ca
15.
by winwang 2mo ago
Wouldn't discretion "just" be a really good rules engine?
16.
by winwang 2mo ago
I used Claude to generate technical SVGs (which are verifiable correct) because I wasn't going to take the time to draw the grid/arrows/etc.
17.
by winwang 2mo ago
... I don't think the original commenter said anything about mice being a non-model organism. But mice are far from humans, and I, at least, find the distinction rather important.
18.
by winwang 2mo ago
This is a big part of why I am in love in Posthog's design (though personally I have little belief in my own current ability to replicate it)
19.
by winwang 2mo ago
Almost completely disagree. Slightly more expensive, but significant better on a per-prompt basis? For non-trivial projects, the former is a small linear increase, the latter is a (somewhat-)exponential(-ish) cost/time/sanity savi
20.
by winwang 2mo ago
I found 4.6 more amenable than 4.8 to style directions, we'll see how 5.0 does. Super-small-sample-size: I think part of its "Claude-ism" style comes from its propensity to try and "proactively" move the conversatio
21.
by winwang 2mo ago
Several other commenters have disparaging the design seemingly mostly due to its AI-generated nature, or maybe they actually do dislike cyberpunk. Personally, I think being able to have these design languages be easily prototypable is fucki
22.
by winwang 2mo ago
> This isn't a real product. The most disappointing part q_q
23.
by winwang 3mo ago
How bad is it for you? Are you on ultra or xhigh/max? I typically ask it (5.5, now 5.6-sol) to use subagents for specific things anyway. On the Pro 20x plan, I'm seeing like ~1% usage per 20-30 min per session (on max effort), whi
24.
by winwang 3mo ago
I find it interesting that no one here has mentioned the increased (usable) context window 258k -> 353k. That's huge, but I wonder if it means we pay long context (2x) for the ones past 272k still.
25.
by winwang 3mo ago
I would pay $200/mo for Opus 4.8 already. Fable 5 is just a cherry on top (although, without it, Codex 5.5 is the better buy imo).
26.
by winwang 3mo ago
Honestly quite excited to see what can happen here, I think biology has generally had a lack of data science expertise.
27.
by winwang 3mo ago
(Yes, not yet, but...) As a Scala afficionado, "free"/freer runtime performance is very welcome :) Fun read.
28.
by winwang 3mo ago
(Based off 2-3 month-old recollection, take with a grain of salt) I had wanted to use it for my agent "network". A2A didn't fit the use case of "trusted agent, and was bloated due to "what if rogue actor". Of c
29.
by winwang 3mo ago
Not saying you're doing this specifically, but I'd be careful with thinking that "company" in China means the same as "company" in America (or in the West more generally).
30.
by winwang 3mo ago
Love this. I've shifted in the past few months to using highly expressive types in Scala 3 to have types carry more and more compile-time proofs (without macros, though a couple are warranted). Not only does it help with agentic test &

More ›