zem

12 ms·

271.
by zem 6mo ago
pure [ https://agraef.github.io/pure-lang/ ] is probably the most "practical" term rewriting language, though mathematica is the most used one by far.
272.
by zem 6mo ago
no real dog in the fight, and I don't even know if the OP's analysis is correct, but "they had a proprietary file format and got left behind because of it" always gives me a nice bit of schadenfreude.
273.
by zem 6mo ago
fair point about native english speakers, but there's also no reason this scheme can't be localised
274.
by zem 6mo ago
have that be the invisible bottom layer. come up with a list of 256 common words, one per byte, and have that be the human visible IP address. mentally reading a string of words, however nonsensical, is way easier than a soup of undifferent
275.
by zem 6mo ago
the penultimate line of "the nine billion names of god" has always stayed with me: "there is always a last time for everything". sounds a bit trite just by itself, but it was an incredibly powerful line when I encountere
276.
by zem 6mo ago
this story has arguably aged worse in that respect than asimov's similarly titled "the last answer". that one still evokes a "whoa" when I think about it. https://www.highexistence.com/the-last-answe
277.
by zem 6mo ago
hadn't read that one before! thanks for sharing it
278.
by zem 6mo ago
yes, but that didn't prevent the passage from being funny :) it's a rant, being literal about stuff like that is part of its schtick. (also I could happily relax anywhere for a few hours, but ideally not on a beach because that&#x
279.
by zem 6mo ago
I love the ocean , but I have to confess I don't care much for beaches. sand gets everywhere.
280.
by zem 6mo ago
> those who thought it was unethical for me to place wealth building ahead of career building. that might well be the first time I've seen "career" and "ethical" conflated in that way. I've definitely seen t
281.
by zem 6mo ago
this is unquestionably the best thing I've read on hackernews this week, perhaps all this month. should be required reading in high school, for the mental lens it provides.
282.
by zem 6mo ago
my favourite bit was 8<------------ Free to do what? Sit on a beach, apparently. Every single one of these people wanted to sit on a beach. I've never understood this. Have they been to a beach? There's sand. It gets everywhere
283.
by zem 6mo ago
this is the log post that put lean on my radar, though I haven't played with it yet: https://kirancodes.me/posts/log-ocaml-to-lean.html
284.
by zem 6mo ago
malka older's "infomocracy" is another interesting science fiction look at universal access to information
285.
by zem 6mo ago
awesome! will definitely check back regularly.
286.
by zem 6mo ago
"a programming language".
287.
by zem 7mo ago
the fact that you can't name the UK equivalent offhand should tell you how obscure these regional agency names and acronyms are in general.
288.
by zem 7mo ago
they're inspired by repeating elm's good features and fixing the bad ones!
289.
by zem 7mo ago
I've found claude startlingly good at debugging race conditions and other multithreading issues though.
290.
by zem 7mo ago
recalcitrant companies with a presence within the court's jurisdiction, which in the OP's case doesn't sound likely.
291.
by zem 7mo ago
ocaml has a complex type system but it's also very pragmatic in that it doesn't force you into any one paradigm, you can do whatever works best in a given situation. (scala arguably goes further in the "do whatever you want&q
292.
by zem 7mo ago
at first glance this looks amazing! basically provides everything I have ever wanted in a full stack language. looking forward to experimenting with it. edit: looking through the docs/examples some more, it looks like javascript intero
293.
by zem 7mo ago
often the blocked features are specifically blocked on the mobile web (i.e. on your desktop they won't make you get your phone out to use the app instead), so forcing the webpage to desktop mode helps.
294.
by zem 7mo ago
I wonder if this also applies to tools that interact with the claude code tui through tmux's capabilities.
295.
by zem 7mo ago
wow, that would be my cue to uninstall the app and write zeros repeatedly over the place it used to be!
296.
by zem 7mo ago
> I think the author just intends to signal political affiliation through the soft-shibboleth of Being the Type of Guy to Say Cuck A Lot agreed, I got strong edgelord vibes off that. completely distracted from any message the poster want
297.
by zem 7mo ago
> This requires the ability to write well (or well enough to get what you want from the agent) and clearly communicate intent (in your language of choice, not code; very different IMO). I do not see why you can't write your spec in
298.
by zem 7mo ago
interesting, I still see "coauthored by..." messages put into my git commits (or was a couple of weeks ago at least)
299.
by zem 7mo ago
that's really awesome. how did you go about building the component library?
300.
by zem 7mo ago
I think it's not just puzzle solving - for me it's the idea of creating something from raw materials where that something is itself a standard building block. it appeals to the same part of me that programming does.

More ›