Viewing profile — snickell

Can somebody help me understand how they use these, I feel like I'm missing something or I'm bad at something? I only spent 10 minutes with Handy, and a similar amount of time with…

I would pay extra to get an iPhone mini, they could sell it as a “pro” feature. Still holding on to my mini too.

I sometimes think in terms of "would you trust this company to raise god?" Personally, I'd really like god to have a nice childhood. I kind of don't trust any of the companies to r…

I would much rather use Vue than React too. That said, from a bird's eye view, I would say they're siblings. In a way I would say that Vue inherits the "react approach", and does i…

Swift is available for Linux, license is Apache 2.0. There's even swift bindings for some linux ecosystem libraries, e.g. adwaita-swift for writing gnome apps and qt bindings for w…

I… wow, I actually really like this idea. As you may have seen in my other comments, I’m not blind to the advantages of toll money being used to improve roads etc. This preserves t…

Highways are almost always publicly owned monopolies. We, the public, choose to build them because they enrich all of us. If you want to raise the money to buy land and build a pri…

This is allocating public property, not personal. The money raised by auctioning access is of some public benefit, but is it enough to offset the deep unfairness of the public gran…

Any efforts to consolidate around a community fork yet?

Parrot? Sure, but a parrot operating in a high dimensional manifold. This breaks naive human assumptions.

I really like "agent assisted coding". I think the word "vibe" is gonna always swing in a yolo direction, so having different words is helpful for differentiating fundamentally dif…

This is a brilliant idea, I really hope somebody on the iPhone 18 design team reads it. I think there’s a huge pent up demand for a mini model, many of us would pay more for it tha…

On an iPhone 12 mini, wishing I hadn’t upgraded to iOS 26 because now my phone is notably laggy. Word to the wise. I use swiping for input and would consider it now unusable due to…

The distance between earth and mars varies between 150 and 2000 light seconds.

I think many open source projects already experience two buckets of contributors which maps nicely to the two class distinction inherent in this model: 1) a bunch of people who con…

Universal is a demo of a universal application ("OS") where all computation is done by the LLM. This is very similar to the idea sketched by Karpathy in his recent YC AI SUS talk. …

If you want to try what Karpathy is describing live today, here's a demo I wrote a few months ago: https://universal.oroborus.org/ It takes mouse clicks, sends them to the LLM, and…

What scares me is that the obvious pool of money to fund the deficit in the cost of operating of LLMs comes from the most subtle native advertising imaginable. Can you resist ads w…

I use AI heavily in my own programming, so I’m not against, but I suspect this “as much as” is mostly copilot doing “tab completion” style autocompletions, not AI writing and modif…

This is a really interesting project, and a great read. I learned a lot. I'm falling down the rabbit hole pretty hard reading about the "Leap" algorithm ( https://www.usenix.org/sy…

It definitely knows what GTK4 is, when it freaked out on me and lost the code, it was using all gtkmm-4.0 headers, and had the compiler error count down to 10 (most likely with ton…

Yes, very much agree, an interesting benchmark. Particularly because it’s in a “tier 2” framework (gtkmm) in terms of amount of code available to train an LLM on. That tests the LL…

This is the smoothest tom sawyer move I've ever seen IRL, I wonder how many people are now grinding out your GTK4 port with our favorite LLM/system to see if it can. It'll be inter…

> How do you even read code without types? We're not going to settle the preference for dynamic vs static types here. Its probably older than both of us, with many fine programmers…

Even in early 2025, LLMs are already the most powerful type inference algorithm. Why would they need a static type system in 2030? My guess is it'll be the opposite: I suspect comp…