zem

8 ms·

121.
by zem 3mo ago
> You know what software doesn't fill me with dread to update? FOSS. speak for your clearly non-pulseaudio-using self (:
122.
by zem 3mo ago
https://ats-lang.sourceforge.net/DOCUMENT/INT2PROGINATS/HTML... is the kind of thing I mean - ATS programs can include proofs that an array access will be safely within bounds, even if we don't have an exact
123.
by zem 3mo ago
ATS could probably do some of this by constructing proofs about the bounds and indices - not in the completely general case of course, but for at least some fraction of what a language without dependent types would have to defer to runtime
124.
by zem 3mo ago
the sad thing is that paxel sounds like it would be a pretty fun tool to run locally and see what my LLM assisted code gets classified as. instead, to borrow cory doctorow's framing, it is designed to do something to me rather than
125.
by zem 3mo ago
https://www.jofreeman.com/joreen/tyranny.htm is a good look at why taking themselves seriously enough to have a formal governance structure is a good thing for a healthy organisation of any sort.
126.
by zem 3mo ago
surprised no one else walked out when that happened
127.
by zem 3mo ago
the distinction is important though, because the OP throws in the point about how "if you think the Chinese models have political propaganda baked in, go ahead and remove it, it's open source!". it is not at all obvious to me
128.
by zem 3mo ago
it's more like you would call a xerox-brand photocopier a "xerox machine" and mean that it was a photocopier rather than that it was made by xerox.
129.
by zem 3mo ago
> The internet, in its early days felt like that. Of course, no longer. back in the reasonably early days of the web (I would guess ~2000) I stumbled across a webpage that said "I used to collect random interesting snippets in a sho
130.
by zem 3mo ago
possibly a bug - I searched for "writers like lewis thomas" and the top two results were by thomas himself.
131.
by zem 3mo ago
if nothing else, you could guess that a compilation error within a function body would still let other functions be compiled, and proceed on that basis.
132.
by zem 3mo ago
for me the distinction is that pre-"content" you created a website so you have a place to host your art; with "content" you produce art to have something to put on your website.
133.
by zem 3mo ago
would prove that robots were subject to nominative determinism too, if nothing else!
134.
by zem 3mo ago
> Counterexamples welcome. I mentioned "peas and honey" in another comment. zucchini and lube if you wanted to go for "haha weird sex practices", though just having condoms/lube in there doesn't make things
135.
by zem 3mo ago
yeah the idea of "funny" seemed pretty puerile to me
136.
by zem 3mo ago
search for peas and honey!
137.
by zem 3mo ago
at the very least you could follow some trusted entity's recommendation for a bunch of crates at once. e.g. if the author of some large rust project like bevy published a battery pack I would pay attention because they have had to solv
138.
by zem 3mo ago
apart from anything else it has a really beautiful object system. I feel like racket and ocaml are two languages where the object system doesn't get enough love.
139.
by zem 3mo ago
personal taste, for the most part. I like the thought of a single namespace, it fits my intuition from pretty much every other language out there, and I like how the code looks when I can pass functions around as though their names are regu
140.
by zem 3mo ago
this is definitely true for forth (:
141.
by zem 3mo ago
people don't usually think of C as a host platform, but the python community has a similarly symbiotic relationship with C extensions.
142.
by zem 3mo ago
i'm not sure i understand your objection. here's a concrete example of what i'm talking about:say i want to add a new feature to my code analyser, exception-aware code analysis. it ends up being 2000 lines worth of diffs, tou
143.
by zem 3mo ago
not if you break your work into a stack of PRs, which is the standard practice for my team at work. you just keep adding PRs to the top of the stack while the reviewer proceeds from the bottom. if something changes you propagate the change
144.
by zem 3mo ago
unlike the op, I've been having a wonderful time using claude, both at work and for my own personal projects, so I will share what has worked for me, just in case it resonates with anyone else. my anecdotal advice is to avoid the entir
145.
by zem 3mo ago
asimov's "profession" is a very relevant SF short: https://www.inf.ufpr.br/renato/profession.html
146.
by zem 3mo ago
the exoskeleton metaphor is way older than the current wave of LLMs
147.
by zem 3mo ago
"All happy families are alike; each unhappy family is unhappy in its own way" -- Leo Tolstoy, "Anna Karenina"
148.
by zem 3mo ago
I spent two days last week trying to figure out why a docx file I was generating with python-docx looked fine in libreoffice but would not open in word. it was just some text with a circle overlaid on it, but word is a lot fussier about the
149.
by zem 3mo ago
I ran into a pretty funny instance just yesterday - I was upgrading my windows partition to windows 11 and I asked claude if there was any chance it could corrupt my linux partition in the process. claude confidently said that yes there was
150.
by zem 3mo ago
I fear that it's more insidious than that - that the questions the OP is asking are already things that the other person has decided (consciously or otherwise) that they no longer bother thinking about themselves and just outsource the

More ›