kevinwang

3 ms·

1.
by kevinwang 8d ago
My god, that proof map has so many parts O.O
2.
by kevinwang 8d ago
"it's 11% as large" avoids fractions but is much more clear (IMO) than "9x smaller" which my brain doesn't understand.
3.
by kevinwang 9d ago
In python: I've always thought it's funny that of the list functions (map, filter, reduce?), reduce is the one that was removed, but is the only one that I occasionally reach for. (When I remember it doesn't exist, I'm u
4.
by kevinwang 23d ago
obviously and definitely true in their current form. But it's maybe worth clarifying that before this last year or two, when Kalshi became an obvious regulatory dodge (including adding sports and really leaning into the gambling demogr
5.
by kevinwang 1mo ago
Right. I wish they had more details about this in the blog post. The blog post mentions that their apparent willingness to work together was the result of generalization from multi-agent training. So maybe that's something like: the sa
6.
by kevinwang 2mo ago
> If you mean that Rosalina looks slightly higher on the graph, I believe that's just a visual effect to allow multiple characters to occupy the same square - the stats are all integers. Ah, yeah. That is what I meant. Thanks!
7.
by kevinwang 2mo ago
Can anyone explain why Rosalina is not Pareto optimal here? It kind of looks like she should be.
8.
by kevinwang 2mo ago
Thanks!
9.
by kevinwang 2mo ago
So was the injunction successful?
10.
by kevinwang 2mo ago
> It is not semantics. For decades, logic and CS researchers have known what reasoning is. Curious what this is!
11.
by kevinwang 2mo ago
It would still provide better context to see the numbers that the parent proposes, though.
12.
by kevinwang 2mo ago
What is yc software?
13.
by kevinwang 2mo ago
Very, very well written and enjoyable to read!
14.
by kevinwang 2mo ago
Another example is this Steam game which I play occasionally: https://store.steampowered.com/app/3083300/Proverbs/
15.
by kevinwang 2mo ago
Yeah but the Collatz probably has one of the highest man-hours of actual waste. Ergo: > “This is a really dangerous problem. People become obsessed with it and it really is impossible,” said Jeffrey Lagarias, a mathematician at the Unive
16.
by kevinwang 2mo ago
Great article. > Could a syndrome so stealthy have lurked among us all along? Commins and van Nunen don’t think so. The surge in alpha-gal patients was too sudden and too great. Van Nunen has worked on Sydney’s North Shore for forty year
17.
Texas man sentenced to 30 years for transporting pamphlets(freedom.press)
96 points by kevinwang 3mo ago|60 comments
18.
Keep the News in the Wayback Machine(blog.archive.org)
44 points by kevinwang 3mo ago|5 comments
19.
by kevinwang 4mo ago
Nice! Also reminds me of https://minigolfle.com/
20.
by kevinwang 4mo ago
I use them because I know what I want to say out loud, but transcribing the pause with commas is incorrect because it's a comma splice, and I find that the semicolon often looks glaringly overly formal. So I've settled on the em-d
21.
Tell HN: np.reddit.com now redirects to www.reddit.com
5 points by kevinwang 4mo ago|2 comments
22.
702 Ultimatum: Warrant Requirement or Bust(eff.org)
6 points by kevinwang 4mo ago|0 comments
23.
by kevinwang 4mo ago
Good/bad news: you will definitely see more work by them -- this style of website is clearly the output of a coding agent, maybe Claude Code.
24.
by kevinwang 4mo ago
I hope that means it will improve now. There's such a rich space of features that they could do. Had some hope with their experimental Labs but I remember being underwhelmed and not seeing anything about it recently.
25.
by kevinwang 4mo ago
Just reread this comment and it's not easy to understand, but the edit window is passed. What I meant is that they describe loglogn the same way you could describe O(n) or O(n^2) -- it "tends to infinity with n", even though
26.
by kevinwang 4mo ago
Nitpicky/not important, but they say: Since loglog(n) tends to infinity with n, the additional term in the exponent tends to 0, meaning these constructions achieve growth only slightly faster than linear. Would anyone else describe the
27.
by kevinwang 4mo ago
Well, I agree with you that the parent comment is wrong inasmuch as it suggests we can't tell from context that mitchellh is using the term to mean "a value judgment" instead of "a form of psychosis". We can tell.
28.
by kevinwang 4mo ago
Yeah, but AI psychosis can also be used to mean the stronger thing that the parent comment refers to -- something like AI-induced psychosis, which was how I originally understood the term: https://en.wikipedia.org/wiki/
29.
by kevinwang 5mo ago
Learn by doing? Certainly helpful. But I feel like the real secret is to work with others who are good at software architecture. You can learn very efficiently that way.
30.
by kevinwang 5mo ago
Where's chapter 3?

More ›