Email or username:

Password:

Forgot your password?
Devine Lu Linvega's posts Post Back to profile
Top-level
Devine Lu Linvega

@a13cui Oh! Oberon is wonderful, I read the book for it as well. It's excellent :) I mention it in the Weathering Software Winter talk a bit, you might enjoy it.

Pascal is super pretty! I still write quite a bit of it still.

wiki.xxiivv.com/site/pascal.ht

Varvara is a devices specs, think of it like the Nintendo in relation to the 6502 chip that drives it.

wiki.xxiivv.com/site/varvara.h

If you're looking for a neat project to translate to pascal, I'd look at acme's source, it's readable and small.

3 Aug 2023 at 23:25 | Open on merveilles.town
5 comments
Nico Nico Belić

@neauoire I am interested in something like Version 6/7 Unix (and actually have it be a really interesting master's thesis). I'm curious to see if I can make it safe (and prove its execution through SPARK) in Ada. Everyone else rewrites in Rust, I rewrite in Ada and Pascal :)

3 Aug 2023 at 23:32 | Open on emacs.ch
Devine Lu Linvega

@a13cui that sounds like a ton of fun :) I'd read that thesis.

3 Aug 2023 at 23:38 | Open on merveilles.town
Nico Nico Belić

@neauoire would you believe I didn't make the connection between you and Uxn in general until now when I saw the footer? I feel so dumb. But you definitely got yourself a fan.

Your wiki is so... it strikes the right chords within me. Chef's kiss.

3 Aug 2023 at 23:39 | Open on emacs.ch
Devine Lu Linvega

@a13cui you're better off being a fan of the idea of making your own custom tools, and doing that, than being a fan of uxn ;) I'm glad you like the wiki! I try to add some things to it everyday! Do you have a website where you write about your pascal and ada experiments?

3 Aug 2023 at 23:44 | Open on merveilles.town
Nico Nico Belić

@neauoire yes, I am aware, I don't currently have the time to write my own tools, since I am doing an any% on writing my current thesis on implementing Tcl on the Raspberry Pi Pico. I have the domain set up for a couple of years, but I closed my VPS and I'm waiting for a static IP so I can self-host it (granted, I don't have 10Gbps internet, but for all my needs and at my scale 1Gbps is more than enough). I'll definitely share my experiments with you. In hindsight, I can definitely emulate Uxn on the Pico, let's see how that experiment plays out. :)

@neauoire yes, I am aware, I don't currently have the time to write my own tools, since I am doing an any% on writing my current thesis on implementing Tcl on the Raspberry Pi Pico. I have the domain set up for a couple of years, but I closed my VPS and I'm waiting for a static IP so I can self-host it (granted, I don't have 10Gbps internet, but for all my needs and at my scale 1Gbps is more than enough). I'll definitely share my experiments with you. In hindsight, I can definitely emulate Uxn on...

3 Aug 2023 at 23:53 | Open on emacs.ch
Go Up