Email or username:

Password:

Forgot your password?
2,452 posts total
Devine Lu Linvega

I spend 2 hours at the gym, 6 days a week, and so end up burning through podcasts pretty quickly. I've recently completed the FoC, Array Cast and Type Theory Forall catalogues.

- futureofcoding.org/episodes
- arraycast.com
- typetheoryforall.com

Any suggestions for other nerdy fun podcasts of the same style?

Show previous comments
Joe Germuska

@neauoire thanks for these! Future of Coding looks right up my alley.

I don't listen to that many coding podcasts but something else I've really been enjoying is the Many Minds podcast, about all kinds of thinking: human, animal, computer... disi.org/manyminds/

Alexander Cobleigh

@neauoire muse's podcast has some really good interviews in their backlog :)

museapp.com/podcast/

Devine Lu Linvega

I'm writing a sort-of type checker for Uxntal, where arity definitions must match the displacement of the instructions in the function's body.

This exploration is revealing various types of functions, and forcing me to explicitly define these differences for the code to validate.

My tests is a collection of different organizations of functions that people have discovered: git.sr.ht/~rabbits/uxnbal/tree

The source: git.sr.ht/~rabbits/uxnbal/tree

I'm writing a sort-of type checker for Uxntal, where arity definitions must match the displacement of the instructions in the function's body.

This exploration is revealing various types of functions, and forcing me to explicitly define these differences for the code to validate.

My tests is a collection of different organizations of functions that people have discovered: git.sr.ht/~rabbits/uxnbal/tree

Show previous comments
charlie

@neauoire holy fuck???? how

is the distinction between `--` and `-~` here to catch the case when you forget the JMP2r, or when you add an extra JMP2r but you actually mean to fall-thru? Same thing with `-:` but when you in fact mean to carry the return address to the next subroutine?

This is already fucking genius and would take care of like 99% of my debugging time in Uxntal, not even kidding

max22-

@neauoire i've seen that yesterday, maybe it could be interesting for you :
"The Blissful Elegance of Typing Joy"
joypy.osdn.io/notebooks/Types.

Devine Lu Linvega

Looking at the trajectory of the weather in Canada and it is very similar to what preceeded the heat dome of two years ago, if it keeps pointing that way, this summer is going to be brutal. Hopefully we'll be able to escape it by sailing north before it gets here.

Devine Lu Linvega

@klardotsh lemme know when you're ready for some solar panel installation fun, and I'll head right over.

Devine Lu Linvega

Baked break in the sun. 🌻

Yes, we're both a bit incredulous that this worked?!

A small baguette in a solar oven tray.
Show previous comments
Nina Kalinina

@neauoire good job! Is it tasty? Not too soggy?

What do you use for cooking when there's no sun?

Cat - One Creative Cat

@neauoire
I made a solar oven out of a pizza box one summer. We baked some cookies with the kids, it was fun!
(We live in the UK)

Devine Lu Linvega

We have a baguette cooking in the solar oven, it's hard to concentrate with that baking bread smell.

Devine Lu Linvega

I've been bouncing back and forth between two designs for something now, where I can either:

a) Explicitly declare a function to be a fall-through type, where it simply uses the next function's arity.
b) Try to guess what the routine is trying to do, and figure why it's not returning.

Turns out the b) plan is a whack-a-mole of a problem where in some weird cases the next routine's arity is non-standard and breaks things in unexpected ways.

PL design fun.

I've been bouncing back and forth between two designs for something now, where I can either:

a) Explicitly declare a function to be a fall-through type, where it simply uses the next function's arity.
b) Try to guess what the routine is trying to do, and figure why it's not returning.

Turns out the b) plan is a whack-a-mole of a problem where in some weird cases the next routine's arity is non-standard and breaks things in unexpected ways.

Code screenshot of the arity checking with a special case for fall-through type routine.
Devine Lu Linvega

For the past few weeks I've been working on an arity checker(a gizmo that makes sure that functions behaves somewhat correctly.)

My wiki passed all tests for the first time today. It's been a pretty interesting process. The factor and concat languages wiki are the only resources around that I found on the topic, well worth a dive:

docs.factorcode.org/content/ar

Desktop of workflow when updating my wiki.
Devine Lu Linvega

My experience using Matrix:

*Join a few utterly quiet generic channels a-la "#type_theory"*
- One member, messages me, like "psst, come to #my_project"

*Join a somewhat active project centric room.*
- One member, messages me, like "psst, come to "#fqqu3-ktr2"

*Join a pretty active niche room.*
- One member, messages me, like "psst, come to "#_____0039"

*Join a super active ultra chaotic room with bizarre rules and members I've never come across before.*

Thinking about Maggie's blogpost.

My experience using Matrix:

*Join a few utterly quiet generic channels a-la "#type_theory"*
- One member, messages me, like "psst, come to #my_project"

*Join a somewhat active project centric room.*
- One member, messages me, like "psst, come to "#fqqu3-ktr2"

*Join a pretty active niche room.*
- One member, messages me, like "psst, come to "#_____0039"

Show previous comments
spooky blip 👻

@neauoire I use matrix to talk to one friend only. I moved the only project room I hosted over to Zulip, and left almost all rooms I was in. Too noisy, and hosting a home server is a pain in the ass that seems to never get much better

vacuumbeef

@neauoire
My experience of joing matrix rooms:

*trying to join, loading... loading, loading... maybe it'll join*

Devine Lu Linvega

James L. Peterson's book on petri nets is adorned by a pretty solver for the Dining Philosophers Problem.

A flow chart representation of the async steps to solve Dijkstra's problem.
Show previous comments
Raphael Hemme

@neauoire
I see Patrick Star performing as a blue, socialist break dancer, I upvote!

Stupid jokes aside, it looks really interesting even though I’m also not able to read the text on the cover or in the book. But I guess it is way over my head anyway at the moment. Still enjoying it.

AlgoCompSynth by znmeb

@neauoire I love that book! It resulted in me going down a rather deep Petri net rabbit hole.

Karsten Schmidt

@neauoire Not Petri nets, but related if you're into that kind of graph based computation approach... I was (still am) very fond of the Signal/Collect programming model (which also can drastically simplify the implementation and parallelization of various types of algorithms):

cs.cmu.edu/~wcohen/postscript/
semantic-web-journal.net/syste

FWIW (as more concrete reference with more examples/diagrams) my own #LiterateProgramming #Clojure implementation & interpretation of some of these ideas is here:

thi.ng/fabric

@neauoire Not Petri nets, but related if you're into that kind of graph based computation approach... I was (still am) very fond of the Signal/Collect programming model (which also can drastically simplify the implementation and parallelization of various types of algorithms):

cs.cmu.edu/~wcohen/postscript/
semantic-web-journal.net/syste

Devine Lu Linvega

Will skate to the ocean-side to catch @klardotsh sailing into Canada 👋

spooky blip 👻

@neauoire I am fully cleared through customs by phone and explicitly was told I do not have to stop anywhere. Hi, Canada, I've missed you while I was gone

Devine Lu Linvega

@alderwick Happy birthday! 🥳 anything special planned today?

Andy Alderwick

@neauoire Thanks to you and @jbauer! :flan_hurrah: As for what I had planned, things went a bit off-piste, see merveilles.town/@alderwick/110 for the full detail :cooldog:

Devine Lu Linvega

It was an absolute pleasure to watch this collaboration come together to build a tetris implementation for #uxn.

Well done @nf, @d6 & @rek.

github.com/nf/fourtette

Show previous comments
no more sans serifs

@neauoire @nf @d6 @rek the sounds really nail the feel of playing tetris. Super satisfying.

mcc

@neauoire @nf @d6 @rek This was fun!! Topped out at level 10 score 237.

Some feedback, it seems a little weird with z/s pieces, rotating it twice does not necessarily return you to the same position. I assume there's a good reason for this but I don't think I've seen it in another Tetris. I had some problems running it on Windows unless I used newest uxn git head. Also difficulty in early levels might be *too* low (which combined w/requirement to start at level 0 hurts replayability a little).

Tendigits

@neauoire @nf @d6 @rek amazing work! Assembled perfectly. This looks so great and runs smoothly.
I used
Home = start/pause
Arrow keys = left/right move
Ctrl/option = left/right rotate
Shift = swap hold
Is that just my setup? or would it make sense to add to readme control section?

screenshot of fourtette game starting out
Devine Lu Linvega

Spent my morning watching @TodePond's excellent videos, and felt inspired to try parallel(only using 4 threads) processing in uxn to evaluate a sandworld type automata.

Show previous comments
DHeadshot's Alt

@neauoire
Is this the current uxn implementation or have you had to extend the VM to implement this?
@TodePond

DELETED

@neauoire @TodePond How does that work, multiple VM instances in parallel?

Go Up