Show newer

Linux running on RISC-V on MNT RKX7! A completely* open computer down to the CPU gateware.

* the only wart is that it needs Vivado's synthesize/place+route tools to build the gateware source for Kintex-7

@bensturmfels @civodul You may be shocked how not like VCS source snapshots many release tarballs are.

Take a look at the difference between dungeon crawl stone soup's git and its release tarball, for instance.

But even most autotool based packages... configure scripts and etc don't tend to be checked into VCS, but are generated for user convenience pre release-tarball. And that's just to start... it can be surprising how much gunk tends to be added in the tarball generation stage.

Update: I did my best to work through and update the branch to the latest code... but now I'm stuck. I wrote about the current state here: lists.gnu.org/archive/html/gui

I suspect at this point @wingo is the only one who knows what's best, so I'm stepping back!

Show thread

Update: I did my best to work through and update the branch to the latest code... but now I'm stuck. I wrote about the current state here: lists.gnu.org/archive/html/gui

I suspect at this point @wingo is the only one who knows what's best, so I'm stepping back!

Show thread

@dasyatidprime Oh yeah, this was originally an org-mode file, but nobody else understood org-mode that I was working with, so I exported it to markdown, heh

It looks like I have it most of the way, except something changed in the CPS-soup representation / code that no longer works and I'm not sure what.

In order to fix it, I am learning a lot more about Guile's compiler system, which is kinda fun tbh.

Show thread

A few years ago I mentored I J. Price on a Guile-to-javascript compiler, and he finished it.

Foolishly, I did not push hard enough to get it merged ASAP, and it's bitrotten.

I hope on my next train ride to finish porting Goblins to Guile, then merge the Scheme->JS compiler.

@joeyh we're paying you by the line, so now you're in debt, sorry

@ArneBab GNU DNS in theory is implementing petnames but I seem to remember thinking they got a few things wrong and awkward when I reviewed it

Zooko, famously of Zooko's Triangle says "This is a great upgrade to the original Pet Names paper!! Everyone who works on decentralized systems and/or social networks should read this! ❤️"

twitter.com/zooko/status/14475
github.com/cwebber/rebooting-t

Can't get better praise than someone famous for analyzing naming properties talking about your paper about naming things!

@civodul @bensturmfels In many ways, taking from PyPi is closer to what Guix more commonly does: take from release tarballs. *Wheels* are closer to the older Debian "trust the uploader" stage, there's less compilation going on.

But both pypi source and release tarballs are also a bit less than ideal; relying on someone else having run autoconf and sometimes several other "release steps" is inferior from a Guix'y mindset than doing so yourself. But it's close to reasonable. Binary-only isn't.

blew a bunch of time going down the "compiling scheme to wasm" rabbit hole again this afternoon...

BEWARE: As Halloween gets closer, police are warning parents to LOOK at your child’s candy before they eat it. Some houses are reportedly handing out Amber bear amulets of neolithic hunters, 1700-650 BCE, found in Slupsk, Poland

I'm not able to make it this time (I have a meeting!) but @mlemweb will be running another wonderful Hack & Craft in just a few minutes! fossandcrafts.org/hack-and-cra

Show older
Octodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!