dthompson

@dthompson@toot.cat

Massachusetts trash. I mostly post about gardening, permaculture, music, and free software development (not a techbro I swear please you gotta believe me)

he/him

This profile is from a federated server and may be incomplete. Browse more on the original instance.

dthompson, to random

Compilation by Computer Defenestration (can't fuckin figure it out)

dthompson, to random

haven't built a desktop computer since 2009. maybe it's time.

dthompson,

@daviwil building them is the fun part!

dthompson,

@katco @daviwil is there something that I don't know about that has made computers harder to cool?

dthompson, to random

The dog was out in the yard barking nonstop because this painted turtle was passing through.

dthompson, to random

whoa whoa oh amber is the color of your waves of grain

dthompson, to random

wake up babe new rust logo dropped

dthompson, to random

I'm currently seeking VC funding for an Instagram-like app for punks. The timeline looks like a local music venue bathroom stall and you can only post band stickers onto it that cover up the older posts.

dthompson,

yeah there used to be a cool Screaming Charlies sticker by the wall but it was covered up by a Commiserators one. they fucking suck and they never bring their own amps to shows.

dthompson,

(I made these names up without checking to see if they are real bands)

dthompson, to random

gitlab down?

dthompson, to random

shouts out to skopeo (https://github.com/containers/skopeo) as a way to deal with container registries without having to use the docker daemon. guix to create the images + skopeo to upload them = a very efficient system for working with GitLab CI.

dthompson, to random

One of my favorite activities is eating stuff directly out of the garden with the dog.

dthompson, to random

I suspect Threads is bad news for blue sky and twitter maybe but I wonder how it will affect everything else.

dthompson,

@init6 it they federated with only mastodon.social then they would be more decentralized than blue sky is right now.

dthompson, to random

I'm on Threads lol. Just immediately blasted with influencer spam from accounts I don't follow and I don't see any clear way to follow a Mastodon account soooo I'm confused about the fediverse aspect.

dthompson,

@kai the mention "the fediverse" on a screen when you are signing up so we'll see but I wouldn't be surprised if they just... don't do it.

dthompson, to random

I've only peeked at this but "The Design Principles of the Elixir Type System" looks quite interesting.

"The system is a polymorphic type system with local type inference, that is, functions are explicitly annotated with types that may contain type variables, but their applications do not require explicit instantiations: the system deduces the right instantiations of every type variable."

https://arxiv.org/pdf/2306.06391.pdf

dthompson,

I'm only interested in static type systems insofar as you could selectively use them for portions of a program where sacrificing flexibility is a fair trade so maybe what the Elixir people have come up with is a good way to do that.

dthompson, to random

OpenGOAL is cool but what would be even better is implementing GOAL on top of something like Guile's compiler tower instead of writing a bunch of C++ code.

dthompson,

Apparently it was thanks to GOAL's architecture that they were able to stream in level data resulting in no level loading screens on the dang PS2! Code is data is code and if you can modify it at runtime...

dthompson,

The only official artifact I can find on GOAL is this on Andy Gavin's blog: https://all-things-andy-gavin.com/goal-test/

The syntax is derived from R5RS but implemented in Common Lisp. XEmacs was the editor of choice. I read elsewhere that Sony was hoping to use a lot of Naughty Dog's tech after they acquired the company, only to be surprised that nearly everything was written in a custom language and a Lisp, no less. They didn't realize they were acquiring the Lisp curse.

dthompson,

OpenGOAL has some pretty good documentation of how the language actually works, to the best of their ability. I find the 'rlet' form particularly interesting, as it allows for inserting inline assembly instructions in a way that is composable with the rest of the lisp code. registers are assigned using the same graph coloring algorithm that the lisp code uses. https://opengoal.dev/docs/reference/lib#rlet

dthompson,

It looks like the original devs did use lonely paren style. Saw a link to this old mailing list thread on HN which includes a small sample of GOAL code. https://web.archive.org/web/20070127022728/http://lists.midnightryder.com/pipermail/sweng-gamedev-midnightryder.com/2005-August/003804.html

dthompson, to random

It's very possible that I'll find a new flaw but I seem to finally have type inference with overloaded primitive functions working. The solution involved rewriting the algorithm completely using continuation passing style and backtracking to rewind when an assumption about an overloaded function is proven invalid.

dthompson,

@aeva I should have marked this clearly as an "in memoriam" post. was going through old posts to find ones where Ian replied to me with some advice as a way of acknowledging nice things they had done for me.

dthompson,

@aeva it's my bad. should've cw'd with context.

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • JUstTest
  • mdbf
  • ngwrru68w68
  • tester
  • magazineikmin
  • thenastyranch
  • rosin
  • khanakhh
  • InstantRegret
  • Youngstown
  • slotface
  • Durango
  • kavyap
  • DreamBathrooms
  • megavids
  • tacticalgear
  • osvaldo12
  • normalnudes
  • cubers
  • cisconetworking
  • everett
  • GTA5RPClips
  • ethstaker
  • Leos
  • provamag3
  • anitta
  • modclub
  • lostlight
  • All magazines
    •