Toots for tevo@bsd.cafe account

Written by Tevo on 2024-12-29 at 18:09

I was slightly disappointed I couldn't represent GPSET/GPCLR using Ada's bit-level data modelling facilities, but it seems the BCM8235 gets really upset when you read from it's write-only registers, and I couldn't find any way to tell GNAT to avoid reading from a given memory region :(

=> More informations about this toot | View the thread

Written by Tevo on 2024-12-29 at 18:06

Copious levels of yak-shaving have led me into writing a pure Ada library for interfacing with the Raspberry Pi's GPIO. It implements Ada_Driver_Library's HAL.GPIO interfaces, so you can easily offload your project to a cheap microcontroller when the time comes.

You can get it here: https://git.sr.ht/~tevo/rpio

It is not yet on Alire, I'll look into submitting it after a few more days of dogfooding.

Now, back to implementing ADB, so I can...

=> More informations about this toot | View the thread

Written by Tevo on 2024-11-19 at 00:04

XSLT is actually a rather nice language for when you want to transform XML things into other XML things. Now, if only XML itself were nicer to write in the first place...

=> More informations about this toot | View the thread

Written by Tevo on 2024-11-15 at 22:59

Hope Pike's mouse buttons are feeling better.

=> View attached media

=> More informations about this toot | View the thread

Written by Tevo on 2024-11-11 at 03:28

https://git.sr.ht/~tevo/simh-vec-osc

Scope courtesy of @lhc

Implementation is very silly, it uses PortAudio's synchronous interface and effectively limits the speed of the emulated machine. I've tried an async implementation on a ring buffer overwriting samples regardless of whether they've been drawn, but that just looks jittery. There's only so much you can push though an audio interface. Maybe there's a way to make that nicer somehow?

I've heard of some people using VGA as an analog out, setting a modeline with a tiny VSYNC/HSYNC and drawing according to how you want your signal to come out; then we'd get a few MHz rather that 48 or 96kHz, I guess.

=> More informations about this toot | View the thread

Written by Tevo on 2024-11-11 at 03:22

Spacewar!

=> View attached media | View attached media

=> More informations about this toot | View the thread

Written by Tevo on 2024-09-29 at 02:19

When I was younger I was sometimes told digging a hole straight through the planet from where we were would have me out somewhere in Japan, which had been something I just quietly accepted until now.

That turns out to be a lie. Brazil seems to miss most of Japan except for the Okinawa and Amami islands, the closest of which still not an insignificant amount away from our home city.

Figure being an adult means finding out your childhood is all an intricate sequence of lies, of ever decreasing proportions.

:(

=> View attached media

=> More informations about this toot | View the thread

Written by Tevo on 2024-08-26 at 00:39

Playing around with the classic Macintosh

=> View attached media

=> More informations about this toot | View the thread

Written by Tevo on 2024-08-12 at 01:07

Hello, fediverse o/

=> More informations about this toot | View the thread

=> This profile with reblog | Go to tevo@bsd.cafe account