Fork me on GitHub
#off-topic
<
2019-05-13
>
dpsutton14:05:13

I can't tell if i love or hate this racket feature:

🤯 16
😅 4
4
respatialized14:05:29

Getting closer to Scott Kim's ideal, seems like. "The point of Viewpoint is not text, graphics, editing, or even visibility. Viewpoint challenges a deep belief in computer science, that the pixels on the screen are mere shadows of real data structures. Only by treating the screen itself as a first-class citizen will we be able to build computers that are truly for visual thinkers." https://www.youtube.com/watch?v=9G0r7jL3xl8

Drew Verlee19:05:20

I love it. its defiantly more clear then the code and is clearly self contained, as where reading the code you might be left with the impression of potential undefined states your having trouble following

prnc19:05:51

how do you draw it tho? 🙂 emacs artist mode 😜

Drew Verlee01:05:48

Well for clojure i would start with a general library. Then build editor extensions off it. No need to over think it, probably something that just created tables like that for well regnoized cond conditions. In emacs, evaling said form could produce that table as a pdf for example.

Drew Verlee01:05:36

I think ways to visual your system like that are great, assuming their lightweight and your heart doesn't get broken if it doesn't work for some one of situation.

Daniel Hines02:05:11

This further convinces me that a system bootstrapping itself is one of the first interesting things it can do.

lilactown14:05:30

it’s like when my topology professor said he accepted pictures as proofs

dpsutton14:05:39

that's different 🙂

dpsutton14:05:02

convincing a human and dictating a computer and vastly different. and topology is awesome

benoit14:05:42

That's the thing. Code should be to convince a human, not dictating a computer 🙂

💯 4
lilactown14:05:28

similar reaction: “…yay?!?! I suck at drawing

dpsutton14:05:30

although now i'm struggling to see what you can prove with pictures in topology. since its all set based

lilactown14:05:55

lots of things

dpsutton14:05:11

I grabbed my copy of Munkres' Topology and I'm not seeing obvious stuff

lilactown14:05:14

an easy way was to show how a particular space is related to e.g. a circle, by drawing it’s flat projection alongside that of the circle and showing how they are different / similar

lilactown14:05:47

I’ve evicted most of topology out of my brain except that we did draw pictures 😛

lilactown14:05:09

that 2dcond thing is also pretty awesome

lilactown14:05:21

maybe we need a clojure macro for that? 😄

respatialized14:05:40

here's some prior art on the topic of visual manipulation of clojure source code: https://books.google.com/books?id=88RADgAAQBAJ

respatialized14:05:29

Getting closer to Scott Kim's ideal, seems like. "The point of Viewpoint is not text, graphics, editing, or even visibility. Viewpoint challenges a deep belief in computer science, that the pixels on the screen are mere shadows of real data structures. Only by treating the screen itself as a first-class citizen will we be able to build computers that are truly for visual thinkers." https://www.youtube.com/watch?v=9G0r7jL3xl8

dpsutton14:05:43

https://www.mail-archive.com/[email protected]/msg41003.html minikanren style languages (including core.logic) conference in germany chaired by Will Byrd

benoit14:05:42

That's the thing. Code should be to convince a human, not dictating a computer 🙂

💯 4