VMG

6 ms·

1.
by VMG 15d ago
> If you haven't tried jj yet, take it for a spin and see how you like it. And if your muscle memory doesn't allow an immediate transition, give yourself 2 weeks. That's how long it took for me at least. Invest in custom t
2.
by VMG 17d ago
fair, but we are approaching the point where it gets difficult to tell where the human still is involved for all intents an purposes, the paper as well as the lean repo could be full LLM output with zero human involvement
3.
by VMG 17d ago
`solution.lean` is a 12mb file I looks like we are breezing past the point where unassisted humans can understand any of this
4.
by VMG 2mo ago
> in their solar system I hope it's not too close to my solar system!
5.
by VMG 2mo ago
rare instance where the German name Taubenschwänzchen ('little dove-tail') is nicer than the English name
6.
by VMG 2mo ago
Geübergegenbeispielt
7.
by VMG 2mo ago
Isn't this just an effect of what the LLMs are RL'ed for? Solving short-horizon tasks. I assume one can't benchmaxx multi-year long efforts, clean architecture, taste etc as easily as these "make tests pass" tasks
8.
by VMG 2mo ago
Here’s my dystopian sci-fi scenario: As prediction markets already show, forecasts can influence the outcomes they are trying to predict. What happens when these models become extremely accurate and widely trusted? A forecast like “Will the
9.
by VMG 3mo ago
well obviously N=1
10.
by VMG 3mo ago
Crank blog, very skeptical
11.
by VMG 3mo ago
but just as useless
12.
by VMG 3mo ago
Empty strings are usually an artifact of lazy developers paying a minimal "empty" value for a type (just as 0 for numbers). A type like NonEmptyString is a weak defense against that, as a lazy dev can just pass a single space char
13.
by VMG 3mo ago
Is it possible to tell slop from non slop if you were not there when the tokens get emitted? Somebody can just lie and pretend that they were not generated
14.
by VMG 3mo ago
I must admit I don't really understand what the point of the post-install script concern is. Usually, you run the actual packaged dependency code at some point anyway, and usually with the same permissions as the install process. So al
15.
by VMG 4mo ago
I don't know, maybe something about backwards compatibility, maybe nobody can agree on how to do it correctly. It hasn't happened for decades, so I'm not going to hold my breath.
16.
by VMG 4mo ago
most crypto mining has moved to specialists, even where there were deliberate attempts to make it ASIC-resistant SETI@Home is a very niche use case and web browsing still happens by connecting to data centers and server farms, not by connec
17.
by VMG 4mo ago
Unfortunately, real apps and native tech stacks can not only write data to your SSD, they can usually write data to the user directory however they want and they can read it as well! Browsers are at least somewhat sandboxed
18.
by VMG 4mo ago
> if there end up being useful workflows where you keep stuff running in the background or overnight that's one advantage That is not how LLMs are typically used though in my experience > Think of it like having a graphics card a
19.
by VMG 4mo ago
Convince me 1. in order to run LLMs, especially the best ones, you need complicated devices which are expensive 2. if you buy one for your personal use, you are probably not going to utilize it all the time and it will be idle a lot It seem
20.
by VMG 4mo ago
The problem is that often the program runs into some edge case that requires interpretation, at which point one is tempted to let the LLM deal with the edge case, at which point one is tempted to let the LLM deal with the whole loop and let
21.
by VMG 5mo ago
... unless you actually want to edit a change!
22.
by VMG 5mo ago
I've had mixed results. Most models don't have a 100% correct CLI usage and either hallucinate or use some deprecated patterns. However `jj undo` and the jj architecture generally make it difficult for agents to screw something up
23.
by VMG 6mo ago
blast from the past - peak of UX! https://de.wikipedia.org/wiki/Norton_Partition_Magic#/media/...
24.
by VMG 6mo ago
503
25.
by VMG 7mo ago
Skeptics Guide to the Universe
26.
by VMG 7mo ago
developers with good taste like Andreas Kling will be able to design entire OSes with coding agents
27.
by VMG 7mo ago
Not at all if you consider the internet pre-LLM. That is the standard expectation when you load a website. The slow word-by-word typing was what we started to get used to with LLMs. If these techniques get widespread, we may grow accustomed
28.
by VMG 7mo ago
> Base64-encoded secret in URL Prevented Detected (entropy scan) Logged Ok so how does this "Entropy scan" work? Apparently by defining "bits per character" https://github.com/luckyPipewrench/pipe
29.
by VMG 7mo ago
> Because if it’s worth your time to lie, it’s worth my time to correct it. https://www.astralcodexten.com/p/if-its-worth-your-time-to-l...
30.
by VMG 7mo ago
> and I expect within the next ~2 years AI tools will produce a better compiler than gcc and the "anti" crowd will point to some exotic architecture where it is worse

More ›