chriswarbo

5 ms·

31.
by chriswarbo 3mo ago
They're not tied to anything physical; but they are a mathematical sweet spot. 24ths and 60ths are useful fractions because 24 and 60 are highly composite numbers, i.e. they have many divisors. 60 is a particularly good choice, since i
32.
by chriswarbo 4mo ago
I tend to run all my terminals in Emacs, which TUIs tend to interfere with (e.g. providing their own keybindings which clash with those of Emacs; providing their own panes/scrollbars/etc. which don't have any of the functiona
33.
Ask HN: How to avoid LLMs struggling with Lisp parens?
4 points by chriswarbo 4mo ago|2 comments
34.
by chriswarbo 4mo ago
> I think the slider would be recognized as a toggle in its usual context of a settings screen by most people who have seen a settings screen before, but not that specific design for a toggle. I've been using computers since the ear
35.
by chriswarbo 4mo ago
> In Windows 95, those toolbar icons were still actual buttons. In Windows 2000, they are recognizable as a button when activated, but in their default state they're not and you have to hover over them: This is something I've s
36.
by chriswarbo 4mo ago
I've switched my git projects to push their objects into IPFS and their refs to pkkarr. That feels more distributed than the sorts of HTTP servers mentioned in TFA. Anybody who cares about my repos potentially disappearing can contribu
37.
by chriswarbo 4mo ago
> the same principles apply to US dollars Currencies are a little different, since they are required to pay taxes; and payment of taxes is enforced (to varying degrees) by state violence. Hence if you believe you will be taxed ("dea
38.
by chriswarbo 4mo ago
> Isn't Not Just Bikes some US expat/biking maximalist? According to their videos, they prefer trams within cities; generally take trains between cities; and acknowledge that cars are very useful for places which aren't so
39.
by chriswarbo 4mo ago
> I didn't want to read a whole ton of text and C code details There's no C in there? It seems to be Python and shell scripts.
40.
by chriswarbo 4mo ago
I don't have any answers or strong opinions yet, but I feel like the legal/societal conversation should focus on "actions taken via XYZ" rather than "technology underlying XYZ". Similar to how GDPR, etc. cover
41.
by chriswarbo 4mo ago
> btw, Git also supports the HTTP protocol ... In fact, Git supports any protocol! If you add a git remote like git remote add my-remote my-super-duper-protocol::some-sort-of-address-thingy Then pushing/pulling `my-remote
42.
by chriswarbo 6mo ago
Whenever I try something else, I always seem to keep going back to E16. Back in the day, it worked well in Gnome 2.x; these days I tend to use it in XFCE, but it feels a bit less integrated.
43.
by chriswarbo 6mo ago
Exactly the same thing happened when git showed up (alongside the same things for bzr, darcs, hg, etc. too!)
44.
by chriswarbo 6mo ago
https://git-scm.com/docs/git-worktree
45.
by chriswarbo 6mo ago
I suppose it depends what you mean by "horribly break things". The only thing I've noticed is that `jj` will leave the git repo with either a detached HEAD, or with a funny `@` ref checked out. I don't think that would t
46.
by chriswarbo 6mo ago
> It wants me to start with the new and describe command jj doesn't "want" anything. I always end a piece of work with `new`: it puts an empty, description-less commit as the checked-out HEAD, and is my way of saying &qu
47.
by chriswarbo 6mo ago
> I often find that in the process of making one change, I have also made several other changes, and only recognize that they are distinct after following the ideas to their natural conclusion. I do that all the time. With git, everythin
48.
by chriswarbo 6mo ago
Tooling can support both (e.g. don't assume all hashes have the length of a SHA1, etc.); but they can't be used together in one repo .
49.
by chriswarbo 7mo ago
Haskell has a package to make testing this sort of thing easier https://hackage.haskell.org/package/inspection-testing
50.
by chriswarbo 7mo ago
Pipelines are usually built up step by step: we run some vague, general thing (e.g. a `find` command); the output looks sort of right, but needs to be narrowed down or processed further, so we press Up to get the previous command back, and
51.
by chriswarbo 7mo ago
I'm confused; how is writing a shell command (using shortcuts like those in the article!) "wasting time", but describing what you want to an LLM, having it make a plan, reading the plan, editing it, and running it is somehow
52.
by chriswarbo 7mo ago
Theirs "turns off" one element of a pipeline; yours turns off everything after a certain point. This will output the stdout of mycmd1: mycmd1 #| mycmd2 | mycmd3 This will output the stdout of mycmd3: mycmd1 | \# myc
53.
by chriswarbo 7mo ago
I love that Amiga emulators (FS/E/Win)UAE have an option to emulate the floppy drive sound. Very nostalgic, but also useful as an indication that something's happening!
54.
by chriswarbo 7mo ago
> thanks to Curry-Howard isomorphism, the full-fidelity mathematical model of a database or web browser are their binaries themselves. Maybe I'm misunderstanding you, but Curry-Howard is a mapping between mathematical jargon and pro
55.
by chriswarbo 7mo ago
> But it's still a "blind" fuzzer and it would be nice to write one that gets feedback from code coverage somehow There have been simplistic attempts at this, e.g. instead of performing 100 tests, just keep going as long a
56.
by chriswarbo 7mo ago
> The moment you let the LLM write the tests without understanding them, you may as well just let it write the code directly. I disagree. Having tests (even if the LLM wrote them itself!) gives the model some grounding, and exposes so
57.
by chriswarbo 7mo ago
> The scientific approach starts with a theory that does it's best to explain some phenomenon At the risk of stretching the analogy, the LLM's internal representation is that theory: gradient-descent has tried to "explain&
58.
by chriswarbo 7mo ago
Tests (and type-checkers, linters, formal specs, etc.) ground the model in reality: they show it that it got something wrong (without needing a human in the loop). It's empiricism, "nullius in verba"; the scientific approach,
59.
by chriswarbo 7mo ago
Yeah, it took me a while to discover that it was removed from KWin. (I eventually ended up reading the sources). It didn't help that KWin also does 3D effects, so all of my Web searches for "shading" were returning results fo
60.
by chriswarbo 7mo ago
I'm considering using subagents, as a way to manage context and delegate "simple" tasks to cheaper models (if you want to see tokens burn, watch Opus try fixing a misplaced ')' in a Lisp file!). I see what you mean

More ›