Post B6AZ17noy3EFfe7wkC by nico@mastodon.puffer.fish
(DIR) More posts by nico@mastodon.puffer.fish
(DIR) Post #B6AXj7OTeHoLEi7fcW by neauoire@merveilles.town
1 likes, 1 repeats
Psst! Hey, you, yes you,here's another zine about some obscure computing paradigm.https://wiki.xxiivv.com/site/pocket_nets
(DIR) Post #B6AZ17noy3EFfe7wkC by nico@mastodon.puffer.fish
0 likes, 0 repeats
@neauoire Beautiful! Do you mind me asking for the typeface's name? It looks good
(DIR) Post #B6AZ17xkN9AWAQlsDQ by neauoire@merveilles.town
0 likes, 0 repeats
@nico For sure, it's called C059 Roman
(DIR) Post #B6AaxBlkTgfKisPP04 by pry@raru.re
0 likes, 0 repeats
@neauoire This looks incredible! -- I first learned about interaction nets through https://github.com/HigherOrderCO/HVM2I really want to learn more about them and so this might be the motivation I needed to actually dive in. Amazing design and aesthetics as always :)
(DIR) Post #B6Ab5VuRTsDZVGRdBo by neauoire@merveilles.town
0 likes, 0 repeats
@pry The literature around INs makes them look like this super complex thing, but really, there's just nothing more than the 3 cells and 4 rules :) Have fun! Let me know if something's unclear or if you find anything cool!
(DIR) Post #B6AbUIRsfFd6zlu1Ym by lanodan@queer.hacktivis.me
0 likes, 0 repeats
@neauoire Sounds like something pretty close to conway's game of life
(DIR) Post #B6AmZlrTpmwpA4goW8 by pry@raru.re
0 likes, 0 repeats
@neauoire Absolutely, will do!
(DIR) Post #B6CaN1ug28Iw2vGM5Y by maxime_andre@mastodon.xyz
0 likes, 0 repeats
@neauoire c'est pas très bon pour la santé mentale je crois bien 😂 j'ai passé la journée a me demander comment faire de l'arithmétique avec des nombres entiers (int64)
(DIR) Post #B6CaN2MgM0hpRmMijw by neauoire@merveilles.town
0 likes, 0 repeats
@maxime_andre Haha, je travaille justement sur un section sur la page sur l arithmetic
(DIR) Post #B6Crnjo1A9a8vVT9CC by neauoire@merveilles.town
0 likes, 0 repeats
@gimmechocolate lemme know if you have any questions :) Here's a little playground if you want to test some nets:https://inets.t6.dev/#0PYVwLgUGBOIKYAIC8CAUqCGCBGBKNWeuEEcAHjBgMZjJrqIBU+ADvqom8eZTXajHgJQYYkA
(DIR) Post #B6EI0lPzGrlJes3pqK by neauoire@merveilles.town
0 likes, 0 repeats
@gimmechocolate it does! but being linear, you'll see pretty fast how it falls short, especially if you need multiple bindings or copies of things. There's very little exploration in IN-native, not necessarily LC-brained, nets in the current literature. I'm curious to see what you find going down the homotopy road.
(DIR) Post #B6Gi6IGtXKvK7i1cw4 by maxime_andre@mastodon.xyz
0 likes, 0 repeats
@neauoire t'as fait des trucs récursifs déjà avec les interaction nets ? c'est balaise... factorial j'arrive, du coup je pensais que fibonacci ce serait facile, mais non... 😅
(DIR) Post #B6Gi6IoDXRZvn3cEsK by neauoire@merveilles.town
0 likes, 0 repeats
@maxime_andre jai essayez un peu mais oof, trop dur pour moi