Elektrine lite

← Feed

Theo Honohan

theohonohan@graphics.social

<p>Interested in the roots of design</p>

Posts

  • Post #2557972

    This article answers some questions I had about actually programming the Connection Machines. Mostly I was curious about routing and contention. https://dash.harvard.edu/server/api/core/bitstreams/7312037d-d17c-6bd4-e053-0100007fdf3b/content

  • Post #2557971

    This feature (custom emojis on the Fediverse) was news to me: https://codeberg.org/fediverse/fep/src/branch/main/fep/9098/fep-9098.md

  • Post #2557970

    It turns out that the ugly convention of completing a command input with two Return characters (as found in AutoCAD, for example) is a TECO-ism. In TECO, you&amp;#39;re building a (possibly empty) command string (approximately, a list of commands). In Autocad this convention usually has the flavour of terminating a list of items with an empty item, so it&amp;#39;s a kind of in-band signalling.

  • Post #986224

    ChatGPT: &amp;quot;You have written code that relies on the identity (cos A + i sin A)^k = cos(kA) + i sin(kA), so I&amp;#39;m going to assume cos(kA) = cos(A)^k&amp;quot;

  • Post #986223

    I&amp;#39;ve recently started using jj to version the little coding experiments I work on. Whenever I come back to the code I try running it, and then, if it works, use &amp;quot;jj new&amp;quot; to &amp;#39;bank&amp;#39; that version. The risk that the working copy is in a broken state seems to be something that must be checked and that only good processes can avoid. Maybe I should be calling &amp;quot;jj new&amp;quot; as the last thing I do before walking away, but that seems counterintuitiv...

  • Post #986222

    NixOS radically simplifies configuration management using very old lessons from functional programming. Meanwhile. version control for programmers, which necessarily models mutable state, continues to absorb huge amounts of programmer attention – they&amp;#39;re usually focused on expressiveness and simplicity of tools, when the real problem to be solved is coordination of human processes, which is both easier (it doesn&amp;#39;t ramify into complexity) and less tractable (programmers may be i...

  • Post #986221

    RE: https://graphics.social/@theohonohan/111145501520535873 Another 1k employees gone, including at least one senior functional programming guy.

  • Post #986220

    What would be the closest analogue of Core War on the Harvard architecture? (https://en.wikipedia.org/wiki/Core_War)

  • Post #986219

    I like this taxonomy of side effects (intolerable, neutral, beneficent) from https://archive.org/details/principlesofprog00jack/page/124/mode/2up

  • Post #986218

    The statement &amp;quot;the model was wearing an expensive dress&amp;quot; has an opaque reading, where the speaker is assumed to know nothing more about the dress. It also has a transparent reading, where the speaker is assumed to have a particular dress in mind. There&amp;#39;s also a middle case where the speaker knows that the model tried on several expensive dresses, but doesn&amp;#39;t know which one they were wearing at that moment. It&amp;#39;s a restriction of the set of possibilities....

  • Post #986217

    &amp;quot;A more nuanced approach would differentiate between a function that just happens to be written in a different language, and one that actually performs an effect.&amp;quot; This is very suggestive to me. It reminds that you can have a procedure that uses mutable state, or even one in a really hairy imperative language, but have it provide a pure interface (as with Haskell&amp;#39;s ST). A quicksort function, for example. https://math.andrej.com/2019/10/28/runners-in-action/

  • Post #986216

    Deposit Return Schemes (for bottle recycling) are surprisingly tech-heavy. Instead of the RVM dispensing a physical token or charging up a card, it prints a simple paper voucher and informs a central database that it has done so. An EPOS then has to contact the same database when the voucher is redeemed. An alternative system, &amp;quot;Digital DRS&amp;quot;, puts unique codes on containers which are scanned by the consumer for instant credit (they must then recycle the container?) https://re...

  • Post #986215

    If someone follows nobody on Github I just assume they&amp;#39;re a raging egotist, same as I would if their social media profile looked like that.