functional.cafe is one of the many independent Mastodon servers you can use to participate in the fediverse.
functional.cafe is an instance for people interested in functional programming and languages.

Server stats:

220
active users

I’ve had this Pine A64 board sitting around forever and, despite meaning to, I’ve never done anything with it. It’s an activation potential problem. I always assumed it would take a lot of dedicated time to get it working. I stopped procrastinating today and… it took me longer to find an HDMI adapter than to boot the installer:
1. Copy Tow-Boot to an SD card.
2. Copy the installer to a USB drive.
3. There is no step 3, it just works.

Quiet public

Having “solved” that problem, I face a greater task: I don’t know what to name it.

Public

I’m trying to install on this old Pine A64 and it keeps overheating. Time to improvise a heatsink!

Quiet public
@ttuegel george.
Quiet public

@samueldr well it’s not going to be named anything if i can’t get nix to evaluate the config on this puny pine-a64 512MB, lmao 😅

Quiet public

@ttuegel @samueldr Yep, had the same problem on a Pi Zero 2 W. No chance of `nixos-rebuild switch` finishing. In the end, it is much faster anyway to build and deploy from your laptop/desktop via ssh.

Public

@nobodyinperson @samueldr That is, without a doubt, the practical choice, but I think my way is more fun. 😄

Public

@ttuegel @samueldr Oh wow a coin as heatsink what the heck 😂

Public
@nobodyinperson @ttuegel it doesn't have as much dissipation as something with fins would, but still has a bit more surface area with the air, compared to the package's interface with air.

🤔 I wonder if anyone's done "real research" (faffing about and finding out, while taking notes) on quick and dirty heatsink alternatives.
Public
@ttuegel nice to hear how Tow-Boot helped! *Before* it was a thing, you *would* have had to deal with a bit more fuss :)