Fork me on GitHub
#meander
<
2020-12-01
>
noprompt01:12:42

This is how I’m feeling at the moment. 🙂

noprompt01:12:30

The little song at the beginning. Not the whole video. 😂

dominicm09:12:10

Oh, is that Richard Ayoade

noprompt17:12:32

I’m not sure? But my kids and I love this show.

Jimmy Miller17:12:57

It is. That was the first thing I noticed as well.

noprompt17:12:59

I’m interested in model checking and how it can be leveraged in Clojure.

borkdude17:12:52

@pfeodrippe seems to be on Slack

noprompt17:12:13

BTW @borkdude thanks to the babashka pressure and the work on the epsilon interpreter, I made a breakthrough that will accelerate zeta to the point of having something tangible but not fully optimized in the near future.

👏 6
noprompt17:12:54

I’ve almost got the substitution half of the interpreter ready which I’ll be pushing soon.

borkdude17:12:05

bananadance Sounds great! If you're interested, I'm doing a babashka / sci internals presentation in about an hour here: https://www.meetup.com/London-Clojurians/events/274014078/

noprompt17:12:50

After that, I can pretty much take almost all of that code and fit it in to the zeta model I’ve been tinkering with.

noprompt17:12:33

@borkdude Are you in London ATM?

borkdude17:12:52

no, The Netherlands

noprompt17:12:54

Slack says it’s 18:40 where you are and I’m a lazy American.

borkdude17:12:08

The meetup happens from London originally though

borkdude17:12:27

I'm a visiting speaker. They have invited half the Clojure community to do talks there it seems ;)

noprompt17:12:45

That might be a little bit early for me but I could always tune in later if it’s on YouTube or something.

👍 3
noprompt17:12:06

Half the Clojure community, that’s like what, 20 people or something? 😛

noprompt17:12:43

Gah, sometimes I wish my family and I could pick up and move to Europe. I lived in Spain for 5 years in when I was teenager and loved everywhere I went. Never got a chance to visit the Netherlands though. 😞

pfeodrippe17:12:21

Thanks, @borkdude! Hi @noprompt o/ We can chat whenever you want :) I'm learning about it too

noprompt18:12:08

Sweet! Perhaps after your talk? I’m excited to learn about what you’re working on.

👍 3
pfeodrippe10:12:32

Yes, sure :D. We will also have a QA after the talk, but I'm not expert myself, I'm doing this for a more practical purposes. I would like to see what you have in mind for it o/

noprompt17:12:39

Practical purposes is where I’m coming from as well with Meander. I’m trying to bring some of the ideas from term rewriting that I think are useful in day to day programming. Where model checking is interesting to me is being able to take a rewrite system and ask it questions such as • what are your inputs? • what are your outputs (normal forms)? • what are the paths between and inputs and an outputs? With answers to these questions we can assert whether or not claims about those systems are true, etc.

pfeodrippe02:12:28

Got it! I am aiming to use it more to try to understand a system with little or no regard to the code implementation. More high level view of everything, but I see thay you want to use it on other ways, right? Tell me more if you can, I would like to learn, man :D

noprompt18:12:49

My knowledge of model checking is limited. I have a copy of “Principles of Model Checking” but I haven’t dedicated time to reading it.

noprompt18:12:19

My exposure to model checking has been primarily through Maude.

noprompt23:12:13

The interpreter namespace is coming together. I pushed up the new protocol based pattern match/substitution factory stuff. Just a bit more to do.

noprompt23:12:49

Probably a couple more days of work to go.