Bad Diode
LightNews LightNews
banner
badd10de.bsky.social
Bad Diode
@badd10de.bsky.social
58 followers 47 following 33 posts
Musician and tinkerer. Exploring the interactions of the old with the new. Making and playing with music toys and tools.

he/him/they/them

My website:
https://badd10de.dev

STEPPER: A 16 step sequencer for the GBA:
https://badd10de.itch.io/stepper-gba
Posts Replies Media Videos
badd10de.bsky.social
I wanna thank past me for making sure I could visualize nicely my compiler parse tree (and @katef.bsky.social for the inspiration).

Signed: Someone who is just picking back up development after 6 months.
A graph diagram showing the parse tree of some code where different variables are being declared: A simple Int, a function pointer and a reference to an Int.
November 7, 2025 at 4:43 PM
badd10de.bsky.social
For a few weeks I've started working on my compiler and building some fun stuff I'd like to share soon. In the meantime, with some small adjustments, now I can run #badlang on the Playdate, calling code from C, and viceversa. It's good to be back!
A terminal screen showing some code and a playdate simulator with the resulting output.
November 5, 2025 at 1:48 PM
badd10de.bsky.social
A week ago my friends from the studio 100 rabbits released their game Oquonie on the PlayDate.

It’s a little fun puzzle game and I’m happy I could helped a bit on this release by improving the UXN-VM performance on this device.

Get it here:
hundredrabbits.itch.io/oquonie
A PlayDate console on top of a desk, running the game Oquonie
February 10, 2025 at 12:06 PM
badd10de.bsky.social
Work continues on the self-hosted implementation. A good chunk of the typechecking is done and am currently working on compilation to a linear IR that uses different basic blocks per function but is not on an SSA form. Trying to keep things simple for now.

#PLDev #Badlang
Badlang code with some conditional expression and the linear IR it produces.
February 6, 2025 at 12:58 PM
badd10de.bsky.social
Typechecking is coming along so I added pretty-printing for symbol tables.
badlang code and the symbol table it generates
January 30, 2025 at 7:50 AM
badd10de.bsky.social
My self-hosted parser can now fully parse itself

#PLDev #badlang
AST of the self-hosted implementation of a parser and the code that generates it
January 27, 2025 at 6:46 PM
badd10de.bsky.social
Still lots to do, but the self-hosted parser is shaping up!

#pldev #badlang
badlang code and the equivalent AST representation, where multiple nodes are connected with nice looking arrows.
January 26, 2025 at 6:26 PM
badd10de.bsky.social
A while ago I saw some amazing threads by @katef.bsky.social on "The Bad Place" where they advocated for printing the internal state of your compiler with graphviz. I was very impressed and been ever since trying to incorporate it in my work. It's back now on the self-hosted compiler #badlang #PLDev
a couple of expressions on a badlang program alongside the AST it generates, visualized with graphviz
January 25, 2025 at 1:29 PM
badd10de.bsky.social
The lexer written in my programming language can now tokenize itself. Self-hosting on its way!
badlang code showing a lexer being initialized and attempting to lex itself. The resulting tokens are on the right.
January 24, 2025 at 1:31 PM
badd10de.bsky.social
fun times with cellular automata, on my own programming language, using raylib
#PLDev #badlang
January 13, 2025 at 9:48 AM
badd10de.bsky.social
Got far enough on my compiler today to be able to write the game of life using raylib. I'm so excited to be able to just link to libraylib.a and have this work without any other dependencies (the magic of compiling to C!). thanks @raysan5.bsky.social for making this amazing library!

#PLDev #badlang
January 12, 2025 at 6:43 PM
badd10de.bsky.social
We've have Turing completeness on the the C backend, exciting times!

#PLDev #Badlang
badlang code for rule110 along with its output
January 11, 2025 at 12:48 PM
badd10de.bsky.social
Polymorphic sum types? yes please! time to move on to codegen :)

#PLDev
choice Result :: T { Ok: T Err } match Result::(Str).Ok("hello") { Ok(x) = x Err = "error!" } match Result::(Int).Ok(123) { Ok(x) = x Err = 4 } choice Either :: (A B) { Left: A Right: B } match Either::(Int S8).Left(123) { Left(x) = x Right(y) = y }
January 10, 2025 at 11:57 AM
badd10de.bsky.social
I'm also working on my own programming language (badlang), today I did a first implementation of typechecking for polymorphic struct/union types

#PLDev
some badlang code and the resulting type table: struct Single :: T { x: T y: Int } ; let err: Single ; This should fail, polymorphic type is not qualified. let s0: Single::Int s0 s0.x ; set s0.x = "hi" ; fails set s0.x = 10 ; succeeds let s1: Single::F64 s1 s1.x set s1.x = 2.0 ; succeeds struct Tuple :: (L R) { left: L right: R } let t0: Tuple::(Int Str) t0 t0.left t0.right let t1: Tuple::(F32 S8) t1 t1.left t1.right
January 10, 2025 at 9:10 AM