michaelz - Network

#AI generated "reverse reference" image for my latest #lego build: #warhammer40k...

#AI generated "reverse reference" image for my latest #lego build: #warhammer40k https://rebrickable.com/mocs/MOC-218657/RedNifre/31124-battle-sister/#details

New #lego instructions for another alt build of the 31124 Super Robot set. This time, it's a Sister of Battle from #warhammer40k...

New #lego instructions for another alt build of the 31124 Super Robot set. This time, it's a Sister of Battle from #warhammer40k #AdeptaSororitas https://rebrickable.com/mocs/MOC-218657/RedNifre/31124-battle-sister/#details

Consider making #AI videos without AI.https://www.youtube.com/shorts/fgj5dgSKbUE

Consider making #AI videos without AI.
https://www.youtube.com/shorts/fgj5dgSKbUE

I accidentally left #Youtube running over night and woke up to a video with this top comment:

I accidentally left #Youtube running over night and woke up to a video with this top comment:

I went to the nether in #AI generated #minecraft .

I went to the nether in #AI generated #minecraft .

Play #AI generated #minecraft in Chrome: https://oasis.decart.ai/overview

Play #AI generated #minecraft in Chrome: https://oasis.decart.ai/overview

Getting the last element of a vector, dependently typed style in #pie #pielang (The Little Typer) vs "trust me" style in...

Getting the last element of a vector, dependently typed style in #pie #pielang (The Little Typer) vs "trust me" style in #kotlin.

The pie variant uses complete induction anchored at getting the last element of a single element vector, whereas the Kotlin version cheats by using get and size, which is not really proven to be correct, but it's obviously correct.

#programming #DependentTypes

I made another #lego #warhammer40k Dreadnought as an alt build of lego set 31124 Super Robot.Instructions:...

I made another #lego #warhammer40k Dreadnought as an alt build of lego set 31124 Super Robot.

Instructions: https://rebrickable.com/mocs/MOC-159586/RedNifre/31124-dreadnought-blood-angels/#details

I implemented some List functions in #pie #pielang. What's special about this is that this language does not allow recursion or loops...

I implemented some List functions in #pie #pielang. What's special about this is that this language does not allow recursion or loops and every function is total (no halting etc.).

Repository: https://github.com/Michael-Zinn/pie

#programming #DependentTypes

I made some Booleans and an if in #pie #pielang #programming

I made some Booleans and an if in #pie #pielang #programming

@lritter Check it out, I think I accidentally wrote a paniq post ;)

@lritter Check it out, I think I accidentally wrote a paniq post ;)

Took a bath in pie's Turing Tarpit and figured out how to implement subtraction: It involved defining decrementing, which required Maybe...

Took a bath in pie's Turing Tarpit and figured out how to implement subtraction: It involved defining decrementing, which required Maybe (because there are only positive numbers) and a flatMap for Maybes, which I could define in terms of Either. I'm not sure if I'm learning anything useful here, but at least I'm having a lot of fun. #pie #pielang #thelittletyper

Currently working through The Little Typer: It's pretty mind bending stuff, though I'm not sure what I'll get out of it. Well,...

Currently working through The Little Typer: It's pretty mind bending stuff, though I'm not sure what I'll get out of it. Well, at least it's a good brain exercise!

@d_christiansen Hi there, thanks for the great "The Little Typer" book! Is there an online community somewhere where people could...

@d_christiansen Hi there, thanks for the great "The Little Typer" book! Is there an online community somewhere where people could ask Pie questions? E.g. a discord server, or IRC channel?

Bought my first #lego set in decades, learned about Bricklink Studio (CAD) and all of a sudden I have multiple instructions published on...

Bought my first #lego set in decades, learned about Bricklink Studio (CAD) and all of a sudden I have multiple instructions published on Rebrickable, including one for a #warhammer40k dreadnought.

https://rebrickable.com/mocs/MOC-156015/RedNifre/31124-dreadnought-imperial-fists/#details

Totally worth it!

Just un-installed the Corona Warn App. I never got a warning, but I also didn't get CoVID, so I guess it worked?

Just un-installed the Corona Warn App. I never got a warning, but I also didn't get CoVID, so I guess it worked?

Currently using #ChatGPT to solve the "Which time piece has the most pieces?" puzzle in jonathangreen's "Alice's...

Currently using #ChatGPT to solve the "Which time piece has the most pieces?" puzzle in jonathangreen's "Alice's Nightmare in Wonderland". After "Tourbillon clock", suspecting a trick question did the trick. I also asked it for a #ruby script to calculate the answer code. Neat!

Currently working on some bank CSV import thingy.It's basically finished, I just need to figure out a good way to release it.

Currently working on some bank CSV import thingy.

It's basically finished, I just need to figure out a good way to release it.