@Taneb@hacksrus.xyz avatar

Taneb

@Taneb@hacksrus.xyz

I write Haskell for a living, Agda for fun, Nix for self-improvement, OpenSCAD to make pretty shapes. I sometimes post about maths. I sometimes think about genealogy. I might even post about other things, too.

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

Taneb, to random
@Taneb@hacksrus.xyz avatar

Look at this dinosaur I drew

Taneb, to random
@Taneb@hacksrus.xyz avatar

Let's see if I can get my NAS up and running today

Taneb,
@Taneb@hacksrus.xyz avatar

My partner has told me that if I don't get this working by the 11th, they're getting a Disney+ account. I despise giving the Mouse any money. This is my main motivation right now.

Taneb,
@Taneb@hacksrus.xyz avatar

I've made something that I think should boot. Before I test it, I'm going to get breakfast.

Taneb,
@Taneb@hacksrus.xyz avatar

OK, back to it. Let's see if this turns on.

Taneb,
@Taneb@hacksrus.xyz avatar

It gets as far as U-boot and no further. I've gotten this far before, and I'm not sure what I'm doing wrong. Time to think.

Taneb,
@Taneb@hacksrus.xyz avatar

I must be putting the wrong thing on the SD card. What I did was build nix build .#nixosConfigurations.chopper.config.system.build.toplevel and copy over the files to some partition. I... don't actually know what that should do, let alone whether it's what I wanted it to do.

Taneb,
@Taneb@hacksrus.xyz avatar

@mangoiv yeah, it's a RockPro64

Taneb,
@Taneb@hacksrus.xyz avatar

@mangoiv yeah, I've seen it, and I've tried to use it in the past. Something didn't work, but I can't remember what. I was probably trying to be too clever too fast.

6d03, to haskell
@6d03@mathstodon.xyz avatar

fighting the urge to rewrite #nix in #Haskell

Taneb,
@Taneb@hacksrus.xyz avatar

@6d03 have you seen https://github.com/haskell-nix/hnix ?

Taneb, to random
@Taneb@hacksrus.xyz avatar

Blacksmithing is the most ironic career

rafa_font, to random
@rafa_font@mastodon.online avatar

Good morning from the train!

I'm off to Madrid, from Parma. Just boarded the to Milan, 1st of the 4 trains of today

Due to a promotion (Freccia Days), I'm travelling in high-speed business at a price similar to the regional (12โ‚ฌ Parma-Milan)

Next on today:

  • Milan - Ventimiglia (intercity FS)
  • Ventimiglia - Nice (regional SNCF)
  • Nice - Marseille (regional SNFC)

And tomorrow

  • Marseille - Madrid (high speed AVE)

Enough time for connections, low risk I hope!

Taneb,
@Taneb@hacksrus.xyz avatar

@rafa_font I don't have a good grasp of the distances involved... How long would such a train take?

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