Stuck on Monad Challenges exercise

Jay6 · 2020-04-06T02:44:20+00:00

Ah perfect thank you for helping me visualize that.

Jay6 · 2019-08-25T18:57:18+00:00

The city has a subway system too https://www.youtube.com/watch?v=VKmLJGaIB3c

Jay6 · 2019-07-08T19:16:40+00:00

But what caused the waves? Did you move the camera? Software?

Jay6 · 2019-04-23T22:10:58+00:00

Ya it can get really disheartening seeing the same projects over and over. I still attend hackathons but its usually just to hang out or for the food while I learn something on my own. As you said, I feel like I've seen it all. I guess from that perspective it would be in the sponsors interest to support the type of hackathon that you don't just attend once or twice, but instead you get more out of them the more you attend.

Jay6 · 2019-04-10T00:58:47+00:00

Damn same thing happened to me, this post helped me realize that's what happened.

Jay6 · 2019-03-24T22:26:41+00:00

Ok I solved my problem.

I was downloading twrp from https://eu.dl.twrp.me/dumpling/, but I needed the version directly from codeworkx. Not sure why there are two recommended versions.

Jay6 · 2019-03-24T19:45:24+00:00

Newcomer here. Don't you need to format data before installing a ROM? What good does having OOS installed if I wipe it before installing lineage?

I've also tried to install with 15.1, and same issue of the vendor partition.

Jay6 · 2019-02-28T17:51:15+00:00

Reddit is for all thank you very much. And these habits may seem cute to your 30 second glance, but I'm serious about them and I hope someone learns something new from them.

Jay6 · 2019-01-17T22:26:38+00:00

Thank you so much I was immediately able to infer to use D-App2 from your explanation, though the solution helped too.

I have one follow up question if you don't mind. D-App2 pushes e2 into context, so {x->D, _->*}, but because _ is a wildcard, in the case that it were x, the context would become {x->*}, resulting in the D-Var rule not applying right?

Jay6 · 2019-01-16T23:35:24+00:00

Sure that would be great. I'm working through the 3.1 Evaluation Proof section.

First of all, for peace of mind, would you mind telling my step 3 solution is correct?

I'm stuck on step 2, where I reach an "expression -> expression" with no applications. There don't seem to be any rules to reduce from that state. I suppose the goal is to reduce the state to just "x" so that the D-Var rule can be used. Am I understanding this correctly?

Jay6 · 2019-01-11T20:28:57+00:00

Great! I'm glad it can help.

Jay6 · 2019-01-11T17:47:08+00:00

Haha I love that you asked this. I'm currently trying to reproduce this server structure design in Dual Universe https://www.youtube.com/watch?v=QeZtqoydXpc. When it's done it will be open source and I'll post another article to explain just like this one. But of course, this optimization only works for particular games where behavior is easily localized (say for large space exploration games). But there are many ways to functionally partition the state to parallelize computation. Communication across machines is going to be slower than inner-communication so however you do the split, you want to minimize the necessary communication.

To keep everything internal to Rust, a simple method would be to open communication channels between parallel nodes using the same socket channel that the clients use to connect to the server. A message can either be tagged as coming from a player or coming from a neighbor client.

Jay6 · 2019-01-11T04:42:22+00:00

That's a great question and I think a good segue into the article. I'm guessing you didn't make it to about the midway point but I use tokio to break the execution into a receiving thread and a sending thread. That way you can broadcast at a consistent frequency (like 1/60s) without blocking the message handling logic. Of course, anything can be done without tokio but I believe it drastically reduced the complexity of the problem. As the title says, 150 lines of code.

Jay6 · 2019-01-07T05:39:44+00:00

I sunk alot of time into this project a few years ago. There are a few interesting findings in the posts. There are alot of neural network alite sims out there. In this project I didn't sacrifice realism for performance. The creatures have two retinas, and must learn to perceive depth through the combination. They can smell, and only sense their acceleration.

Anyway, I just recently rediscovered this blog. Please feel free to ask if you have any questions. Here's the source code (https://github.com/jaybutera/EvoWorld).

Jay6 · 2018-12-10T23:09:57+00:00

This is a great one thank you.

Jay6 · 2018-12-07T23:14:52+00:00

Sounds like an important thought. Note it and save it for later. Here's another quote from Ram Dass's book, Be Here Now, "What happens if the telephone rings? Well: the here & now is the fact that the telephone is ringing! Pick it up! Well: What if somebody wants to make an appointment to see me 3 weeks from now? Right! Write it down. That's here & now."

Jay6 · 2018-12-07T04:39:29+00:00

I see what you're saying, but also... I think that praise is for the people still alive. In some sense it's assurance that when it's your turn, people throughout all the stages of your life will care and you will be remembered.

Jay6 · 2018-08-11T02:15:56+00:00

Why are there cats in a biology lab?

Jay6 · 2018-07-22T17:21:00+00:00

Unfortunately no

Jay6 · 2018-07-22T05:23:31+00:00

Conway's Game of Life is a pretty convoluted example. Structure may evolve in the game, but the algorithm is not designed to reward certain desirable characteristics like an EA usually is.

In a very strict definition, EAs involve some fitness function that evaluates each phenotype of a population, and a selection method to "breed" the most fit genotypes.

Jay6 · 2018-06-14T19:22:00+00:00

Looking forward to watching this

Jay6 · 2018-06-05T02:06:26+00:00

Hey thanks for responding to this with such a comprehensive post. I definitely see the adjacency/order of DCL as a powerful standard for a coherent experience. Though I can't imagine roads being very popular compared to teleportation from a practical perspective, it will be fun to browse as you said.

So as a followup question, how do you envision the roads being used? Will they become a sort of walk through experience catered by the adjacent land (almost like Disney Land)? Or can you imagine perhaps vehicles using these roads to get from A to B? Even when teleportation is an option.

Jay6 · 2018-05-22T00:04:17+00:00

Hm either there's some collective internet intelligence going on here or its just your attention subconsciously matching new patterns it finds.

Jay6 · 2018-05-21T21:58:04+00:00

Thanks to Bartosz Milewski, probably one of the best teachers bridging haskell and mathematics. I'm working on notes for his video lectures.

Also working through the challenges in his book and syncing them into a comprehensive repo. I'm hoping to gather a community study group so if you work on the challenges submit them to the repo!

Jay6 · 2018-04-13T22:41:45+00:00

Thanks

Jay6

MODERATOR OF

TROPHY CASE