Peter Stuifzand liked a post on gwillem.gitlab.io

Apparently I'm the third person in the world to download this software, according to the public stats 😰

If you're interested in making computers automatically generate correct compilers, the GPLv3-licensed source code and git history that accompanies the paper "Synthesizing an Instruction Selection Rule Library from Semantic Specifications" is indeed buried in the Docker image provided with the paper:

pp.ipd.kit.edu/firm/selgen

#

Peter Stuifzand liked a post on toot.cat

I just unpacked a bzip'd tarball which contained a tarball which contained a bunch more tarballs, one of which contained the git history and a working copy of the thing I actually wanted.

This is one of the best experiences I've ever had with research-grade academic software

#

Peter Stuifzand liked a post on toot.cat

Peter Stuifzand liked a post on www.kickscondor.com

Peter Stuifzand liked a post on snarfed.org

You are underestimating the compounding awesomeness of continually fixing small broken things.

#

Peter Stuifzand liked a post on mastodon.social

Theory is when you know something, but it doesn’t work. Practice is when something works, but you don’t know why. Programmers combine theory and practice: Nothing works and they don’t know why.

#

Peter Stuifzand liked a post on mastodon.social

javascript, +
#

Peter Stuifzand liked a post on friend.camp

Been playing with VuePress and so far it is pretty nice. I haven't ran into any weirdness other than README.md is somehow index.html ('cause fuck you 30 years of WWW).
#

Peter Stuifzand liked a tweet by @zedshaw

Just made two bots for @xoxo! They are only followable from Mastodon/etc right now.

ShuttleBot will post a stream of updates about where the two shuttles are during the festival: ShuttleBot@shuttle.xoxofest.com

XOXO_toots will boost toots from attendees that mention "xoxo", just like https://twitter.com/xoxofest_tweets does on Twitter!

This has been quite an experiment in diving into ActivityPub the last couple days.

Peter Stuifzand liked a post on aaronparecki.com

Load more