kannanvijayan

8 ms·

61.
by kannanvijayan 11mo ago
I tend to agree with this sentiment, but my takeaway is slightly different. People who would describe themselves as supporters of "capitalism", as well as supporters of "communism" or "socialism", are not able
62.
by kannanvijayan 1y ago
One thing that's worthwhile to understand, but very difficult to mentally reconcile, is the way in which Americans have the ability to redefine words to meet the need of branding. In a very real and genuine sense, to most Americans &qu
63.
by kannanvijayan 1y ago
I strongly doubt that the person you were responding to was asserting that "no person, at any time, in any circumstance, can ever gamble online without it being an irresponsible act". But chances are that the original commenter wa
64.
by kannanvijayan 1y ago
> exploitation of female captives and booty distribution Oh dear! That's quite concerning. It certainly would be a pretty terrible thing if someone capable of exploiting female captives and "distributing booty" acquired a
65.
by kannanvijayan 1y ago
> The same is true of a piece of code that writes through the reference or returns it. That's how sub-typing works. But it is not true that it is correctly typed with respect to a a supertype of A (it is not valid to call the code w
66.
by kannanvijayan 1y ago
One of my hobby projects is an esoteric game engine oriented towards expressing simulation mechanics. I simply do not use agentic tools when editing the core code for this project (mostly rust and wgsl). It always stumbles, and leaves cod
67.
by kannanvijayan 1y ago
I've wondered about exposing this "asking clarifying questions" as a tool the AI could use. I'm not building AI tooling so I haven't done this - but what if you added an MCP endpoint whose description was "tre
68.
by kannanvijayan 1y ago
Even in your own description, it is clear that with regards to _correctness_, the variance model bifurcates between the read and the write method. The discussion about the type sizes is a red herring. If the type system in question makes t
69.
by kannanvijayan 1y ago
I suppose you could have added root two as a fundamental as well. I suppose that's another problem with the irrationals: two irrationals that aren't linearly related by a rational are effectively two fundamentals from each others
70.
by kannanvijayan 1y ago
The difficulty is that even trivial generic types aren't cleanly one or the other. A mutable reference type is covariant on read, and contra on write. Scala was the first language in my exposure to try to simplify that away by lifting
71.
by kannanvijayan 1y ago
Hah, nice find :)
72.
by kannanvijayan 1y ago
I don't have an answer to your questions, but I think these thoughts are not uncommon for people who get into these topics. The relationship between the reals, including Pi, and the countables such as the naturals/integers/r
73.
by kannanvijayan 1y ago
Discussing this in terms of anecdotes of whether people will use these tools to learn, or as mental crutches.. seems to be the wrong framing. Stepping back - the way fundamental technology gets adopted by populations always has a distributi
74.
by kannanvijayan 1y ago
Another point to keep in mind is that a lot of mathematics that's not considered abstract _now_ was definitely considered "hopelessly" abstract at the time of its conception. The complex number system started being explored b
75.
by kannanvijayan 1y ago
Not sure how seasoned I am, but I reject any comparison to a cooking utensil! I do find myself running into lifetime and borrow-checker issues much less these days when writing larger programs in rust. And while your comment is a bit cheek
76.
by kannanvijayan 1y ago
There's a risk of misaligned perspectives here. What you've called out is meaningful, but it includes an implied requirement that you're not spelling out: the time and effort and attention to detail, along with the history of
77.
by kannanvijayan 1y ago
Hi Alon! It's been a while. Can't bounds checks be avoided in the vast majority of cases? See my reply to nagisa above ( https://news.ycombinator.com/item?id=45283102 ). It feels like by using trailing unmapped ba
78.
by kannanvijayan 1y ago
I don't feel this is going to be as big of a problem as one might think in practice. The biggest contributor to pointer arithmetic is offset reads into pointers: what gets generated for struct field accesses. The other class of cases a
79.
by kannanvijayan 1y ago
No, I don't think it will. Pointers to managed objects are opaque, and aren't actually backed by the wasm memory buffer. The managed heap is offloaded. Shrinking the memory object shouldn't require any special support from
80.
by kannanvijayan 1y ago
Pure speculation - but I'm wondering if one or a few of the black hat players has figured out a good way to leverage AI to phish more effectively at scale, and are taking a stab at all the venues that host code that's within a lot
81.
by kannanvijayan 1y ago
I'd been struggling to find good use cases for agentic things like Claude for this reason. My project is not a good fit for it as there's enough novelty to throw off the ML pattern systems. I was benefitting greatly from autocom
82.
by kannanvijayan 1y ago
Varint encoding is something I've peeked at in various contexts. My personal bias is towards the prefix-style, as it feels faster to decode and the segregation of the meta-data from the payload data is nice. But, the thing that tends
83.
by kannanvijayan 1y ago
Status quo megafaunas when they're watching the robots farm berries while they starve.
84.
by kannanvijayan 1y ago
My thoughts on these ideologies lately have shifted to viewing them as "secular religions". There are many characteristics that line up with that perspective. Both communist and capitalist purists tend to be enriched for atheists
85.
by kannanvijayan 1y ago
I'd argue against the entire perspective of evaluating every policy idea along one-dimensional modernist polemics put forwards as "the least worst solution to all of human economy for all time". Right now the communists in Ch
86.
by kannanvijayan 1y ago
Tangentially, I wonder if logins and click-throughs can help address this on the legal front. If you set up a login flow with a click through that explicitly sets the terms of access, specifying no cost for access by a person, and some larg
87.
by kannanvijayan 1y ago
The benefit of these AI-generated simulation models as a training mechanism is that it helps add robustness without requiring a large training set. The recombinations can generate wider areas of the space to explore and learn with but usin
88.
by kannanvijayan 1y ago
I've been paranoid about my kid around water when he was younger, mostly because this was advice given by my father to me when I was an adolescent, in some context where I was going to be partially responsible for children: Little kids
89.
by kannanvijayan 1y ago
Hmm. You'd be able to trade off time for that space by using more general configurations that you can dynamically map instruction-sequences onto, no? The mapping wouldn't be as efficient as a bespoke compilation, but it should be
90.
by kannanvijayan 1y ago
> You may feel less Indian and more something else, but others disagree. Oh I'm absolutely aware of this. The collectives around you trying to force an identity on you is one of the core tensions everyone faces. That tension manif

More ›