chriswarbo

6 ms·

61.
by chriswarbo 7mo ago
> investing energy in formulating a syntactically nice sentence This seem to be completely subjective; I write syntactically/grammatically "nice" sentences to LLMs, because that's how I write. I would have to "in
62.
by chriswarbo 7mo ago
I do that with my Pinephone (a powered USB-C hub with ethernet, HDMI, keyboard and mouse; I also plug a proper set of speakers+subwoofer into headphone jack). Both Phosh and PlasmaMobile turn into a "proper" desktop when "doc
63.
by chriswarbo 7mo ago
Comparing actual outputs against expected ones is the ideal situation, IMHO. My own preference is for property-checking; but hard-coding a few well-chosen values is also fine. That's made easier when writing (mostly) pure code, since t
64.
by chriswarbo 7mo ago
> a pass where there wasn't coverage I always feel obliged to point out that we can have 100% coverage without making a single assertion (beware Goodhart's law)
65.
by chriswarbo 7mo ago
I agree. The same can be said for testing too: their main purpose is to find mistakes (with secondary benefits of documenting, etc.). Whenever I see my tests fail, I'm happy that they caught a problem in my understanding (manifested
66.
by chriswarbo 7mo ago
> I believe, that if your definition of a choice stop working if we assume a deterministic Universe, then you need a better definition of a choice. In a deterministic Universe becomes glaringly obvious that all the framework of free will
67.
by chriswarbo 7mo ago
Norman Wildberger takes this to the extreme with Rational Trigonometry https://en.wikipedia.org/wiki/Divine_Proportions:_Rational_T... It eschews angles entirely, sticking to ratios. It avoids square roots by sticking
68.
by chriswarbo 7mo ago
I'm still learning jj, so I'm not sure about jj things that majutsu might be missing, or what git/magit things seem "missing" but are just done differently in jj. A couple of things I tend to notice: - In magit, I c
69.
by chriswarbo 7mo ago
> I think having a globally shared buffer state, etc. is an antifeature. As someone who mostly lives in Emacs, I like it. If I'm away from a machine, I can SSH into it and carry on with whatever I was in the middle of. It's als
70.
by chriswarbo 7mo ago
Emacs can certainly be sluggish, but I'm not sure how much that's e.g. inherent to ELisp, or due to synchronous/single-threaded code, or choosing slow algorithms for certain tasks, etc. For me, the best performance improvemen
71.
by chriswarbo 7mo ago
I've been using magit for years, and it's the reason I avoided giving the jujutsu VCS a try: the `jj` workflow/UI is supposedly much nicer than the `git` workflow/UI; but since I use magit more than bare `git` commands,
72.
by chriswarbo 7mo ago
I think XML fit well into the turn-of-the-millenium zeitgeist: GUIs would hide the verbosity; the proliferation of bespoke tags would map cleanly to OOP representations; middleware could manipulate and transform data generically, allowing a
73.
by chriswarbo 8mo ago
> I am always kind of surprised when I go to a landing page for a language and there isn't any actual code. So, you're not surprised that this Om page has an extensive section called "Examples", right? https:/
74.
by chriswarbo 8mo ago
Doesn't need a terminal: run it in RPC mode to send/receive JSON over stdio. That's how the pi-coding-agent Emacs package works, which is the only way I've ever used Pi. It seems pretty well done: when I added permission
75.
by chriswarbo 8mo ago
> I still don't get why would you want to use a terminal app to code when you can do all of this through IDE extension which does the same except it is better integrated. I agree. I tried Gemini CLI for a while, and didn't like
76.
by chriswarbo 8mo ago
They explicitly state that using `-execdir` to change the working directory avoids issues with PATH_MAX; though I didn't see any mention of the working directory itself having a limit (which I assume it does, for Linux processes?)
77.
by chriswarbo 8mo ago
Turing's "On Computable Numbers" paper is credited with inventing the Universal Turing Machine; but really it lays out many remarkable things: - Undecidability: that there are mathematical/logical questions whose answe
78.
by chriswarbo 8mo ago
I've pushed the extension to GitHub at https://github.com/Warbo/pi-extensions/tree/master/extension... The implementation is pretty terrible: a giant string of vibe-coded Emacs Lisp is sent to emacs
79.
by chriswarbo 8mo ago
I've been using pi via the pi-coding-agent Emacs package, which uses its RPC mode to populate a pair of Markdown buffers (one for input, one for chat), which I find much nicer than the awful TUIs used by harnesses like gemini-cli (Emac
80.
by chriswarbo 8mo ago
> Why is it insecure, well, Pi tells you >No permission popups. Pi supports permission popups, but doesn't use them by default. Their example extensions show how to do it (add an event listener for `tool_call` events; to block
81.
by chriswarbo 8mo ago
pi has an RPC mode which just sends/receives JSON lines over stdio (including progress updates, and "UI" things like asking for confirmation, if it's configured for that). That's how the pi-coding-agent Emacs packag
82.
by chriswarbo 8mo ago
I've never used kubectl, but I just came across https://github.com/andykuszyk/noman.el which is an Emacs interface for browsing the `--help` output of commands: > I primarily wrote this package to navigate the
83.
by chriswarbo 8mo ago
I tend to read man pages in Emacs, which comes with a 'man' command (invoking that executable) and a 'woman' command (an alternative implemented entirely within Emacs), which both implement a basic amount of hyperlinking
84.
by chriswarbo 8mo ago
I disagree. The task asks for an SVG; which is a vector format associated with line drawings, clipart and cartoons. I think it's good that models are picking up on that context. In contrast, the only "realistic" SVGs I'v
85.
by chriswarbo 8mo ago
> You'd naturally gravitate towards parsing/transforming raw data into typed data structures that have guaranteed properties instead to avoid writing defensive code everywhere e.g. a Date object that would throw an exception in
86.
by chriswarbo 9mo ago
> Funny enough the only time I used rss was when I had that cool outlook integration that made them seem like emails. I convert feeds to maildir, and read them in email clients (Thunderbird, KMail, Emacs+Gnus, Emacs+mu4e, etc.). That let
87.
by chriswarbo 9mo ago
I think those concerns are straw men. The real concern is that the invariants we rely on should hold when the codebase changes in the future . Having the compiler check that automatically, quickly, and definitively every time is very usefu
88.
by chriswarbo 10mo ago
Indeed, I had a Freerunner back then (the N900 came out after, and I couldn't get its predecessors since they weren't phones, as the parent points out). It served me well for about a decade, and I've now upgraded to a Pinepho
89.
by chriswarbo 10mo ago
A bigger mistake was to not give the N770, N800, etc. phone capabilities. I was buying a new phone around that time, and thought those devices looked cool; but I couldn't even consider them, because they couldn't do basic calls
90.
by chriswarbo 10mo ago
> Doesn't matter what you want it to mean. What matters is what those in power want it to mean. I was replying to a discussion between two HN users, who were using conflicting definitions of the term. AFAIK they are not "those

More ›