|
0
|
1 2008-05-09.txt:13:53:37: <ais523> I'm thinking of calling it Feather, because it's so lightweight compared to most Smalltalks
|
|
|
2 2008-05-09.txt:15:26:45: <ais523> hmm... I think Feather has to be lazy, to prevent it infinite-looping in loads of common cases
|
|
|
3 2008-05-12.txt:17:10:59: <ais523> In Feather, everything is a function
|
|
|
4 2008-05-12.txt:17:12:16: <ais523> whereas Feather truly has no pointers
|
|
|
5 2008-05-12.txt:17:13:38: <ais523> I don't know of a language that attempted to use time-travel to implement inheritance, though, before Feather
|
|
|
6 2008-05-12.txt:17:15:20: <ais523> in Feather, pass-by-value is pass-by-reference, there's no way to distinguish between them
|
|
|
7 2008-05-12.txt:17:16:10: <ais523> in Feather, there will be boxed types too
|
|
|
8 2008-05-12.txt:17:19:15: <ais523> at least from Feather's point of view
|
|
|
9 2008-05-12.txt:17:19:32: <ais523> the first thing a Feather program does when it starts up is to define its own primitives and syntax
|
|
|
10 2008-05-12.txt:17:20:12: <ais523> each iteration of the time loop happens simultaneously from Feather's point of view
|
|
|
11 2008-05-12.txt:17:21:35: <ais523> you just have to realise that Feather's timeline is not the same as the real-life timeline
|
|
|
12 2008-05-12.txt:17:22:05: <ais523> because Feather can be retroactively transformed into any other language
|
|
|
13 2008-05-12.txt:17:23:12: <ais523> but Feather itself is unaware that that's happened
|
|
|
14 2008-05-12.txt:17:24:08: <Deewiant> ais523: what part of this is different from "Feather is all programming languages, it just depends on the compiler/interp you use"
|
|
|
15 2008-05-12.txt:17:24:54: <Deewiant> ais523: so what rules does a Feather program have to obey to be able to be called that
|
|
|
16 2008-05-12.txt:17:25:27: <ais523> which is what makes it Feather rather than HQ9+, for instance
|
|
|
17 2008-05-12.txt:18:57:15: <ais523> it's only after thinking about Feather that I appreciate how it's even possible that a story can have someone go back in time, change a few details, then come back to the present and the world is much like it was when they left with only a few details changed
|
|
|
18 2008-05-12.txt:18:58:12: <ais523> both of those are common Feather scenarios, the second is something that you have to spend effort avoiding
|
|
|
19 2008-05-29.txt:20:26:25: <ais523> I've been thinking about writing a Feather bootstrap for a while now
|
|
|
20 2008-05-29.txt:20:26:54: <ais523> because I'm getting fed up of waiting for a feather interp to spontaneously come into existence
|
|
|
21 2008-05-29.txt:20:27:34: <AnMaster> ais523, feather?
|
|
|
22 2008-05-29.txt:20:35:59: <ais523> in Feather, assuming you're using a boxed number 2 (you would be normally but you need to deal with unboxed objects during bootstrapping)
|
|
|
23 2008-05-29.txt:20:36:32: <ais523> not everything is an object, unlike in Feather
|
|
|
24 2008-05-29.txt:20:55:58: <ehird> ais523: Feather, I hope.
|
|
|
25 2008-05-29.txt:20:56:47: <ais523> ehird: well, I have considered a feathernomic; its defining feature would probably be that all rulechanges were retroactive to the start of the nomic
|
|
|
26 2008-05-30.txt:20:55:52: <ais523> oh, Feather has no side effects either
|
|
|
27 2008-06-02.txt:18:44:59: <ais523> I have a question about what names I should use for things in Feather
|
|
|
28 2008-06-02.txt:18:53:30: <ais523> sorry, there aren't really in Feather either
|
|
|
29 2008-06-02.txt:18:54:54: <ais523> oh well, I'll have to think of something different in Feather
|
|
|
30 2008-06-02.txt:18:55:49: <ais523> (Feather's reminding me more and more of Smalltalk + Haskell + Scheme, by the way)
|
|
|
31 2008-06-02.txt:21:31:53: <ais523> Hiato: sounds like Feather in reverse
|
|
|
32 2008-06-02.txt:21:35:14: <ais523> but I've only got to documenting Basic Feather so far
|
|
|
33 2008-06-02.txt:21:50:04: <ais523> as for Feather, primitiveBe is the thing that really sets it apart from other languages, although you have to be careful using it to avoid an infinite loop
|
|
|
34 2008-06-03.txt:20:44:19: <ais523> anyway, I pasted a bit of what I'd done so far on Feather a while ago
|
|
|
35 2008-06-03.txt:20:45:45: <ais523> <ais523> anyway, I pasted a bit of what I'd done so far on Feather a while ago
|
|
|
36 2008-06-10.txt:17:33:46: <ais523> or like writing Feather in Feather?
|
|
|
37 2008-06-13.txt:19:20:08: <ais523> if there were, then maybe TRDS could be used to write Feather
|
|
|
38 2008-06-13.txt:19:21:38: <ais523> tusho: yes, that's the operation I want in Feather, really
|
|
|
39 2008-06-15.txt:17:18:22: <ais523> oh dear, this is starting to remind me of Feather again
|
|
|
40 2008-06-15.txt:18:01:33: <ais523> tusho: either that, or just wait for a Feather interp with the required features to spontaneously pop into existence
|
|
|
41 2008-06-15.txt:18:02:44: <ais523> whose only purpose was to optimise for the operations Feather did
|
|
|
42 2008-06-15.txt:18:03:17: <tusho> ais523: the good thing about feather in JS is that it'll be totally detached from traditional consoles
|
|
|
43 2008-06-15.txt:18:03:36: <ais523> the major unusual operation in Feather is giving an argument to a continuation which is almost identical to what the call/cc returned in the first place
|
|
|
44 2008-06-15.txt:18:06:20: <ais523> tusho: because say if you're writing a feather interp in JS
|
|
|
45 2008-06-15.txt:18:06:50: <ais523> anyway, a Feather interp in Feather is trivial
|
|
|
46 2008-06-15.txt:18:07:19: <ais523> Feather has eval so that you can modify it
|
|
|
47 2008-06-15.txt:18:08:40: <tusho> ais523: shall we just call feathejs ... feather?
|
|
|
48 2008-06-15.txt:18:09:03: <ais523> call it feathers
|
|
|
49 2008-06-15.txt:18:09:43: <tusho> ais523: feathers will just make people mix up feather and feathers
|
|
|
50 2008-06-15.txt:18:09:47: <ais523> I like the idea of multiple feather interps
|
|
|
51 2008-06-15.txt:18:10:11: <ais523> after all, feather images /are/ portable between interps
|
|
|
52 2008-06-15.txt:18:35:45: <ais523> but the class browser itself would be written in Feather
|
|
|
53 2008-06-15.txt:18:36:11: <ais523> tusho: you would make the jquery UI available as IO commands that Feather could use
|
|
|
54 2008-06-15.txt:18:37:16: <ais523> tusho: yes you can, you just reimplement it in Feather
|
|
|
55 2008-06-15.txt:18:37:30: <ais523> Feather is worse
|
|
|
56 2008-06-17.txt:22:05:06: <ais523> and things like Feather are just fun
|
|
|
57 2008-06-18.txt:15:36:31: <ais523> for instance, I'll definitely need a Feather interp before I figure out what the spec should be
|
|
|
58 2008-06-18.txt:15:42:01: <ais523> but the great thing about Feather is that it can be retrofitted onto the language
|
|
|
59 2008-06-18.txt:15:42:41: <ais523> Feather has eval so that you can modify it!
|
|
|
60 2008-06-18.txt:15:45:12: <ais523> oklofok: you can do that in Feather
|
|
|
61 2008-06-18.txt:15:45:37: <ais523> well, I'm trying to make the base of Feather as tarpitty as possible
|
|
|
62 2008-06-19.txt:16:09:01: <ais523> that retroactivity's so confused that it doesn't even make sense in Feather
|
|
|
63 2008-06-19.txt:16:13:28: <tusho> ais523: could you express it in feather, though?
|
|
|
64 2008-06-19.txt:16:13:48: <ais523> tusho: a retroactive Feather change has to be legal in the situation that was retroactively changed from
|
|
|
65 2008-06-19.txt:16:14:23: <ais523> tusho: nothing, it would be inexpressible, assuming that CANNOT in B Nomic == inexpressible in Feather
|
|
|
66 2008-06-19.txt:16:16:32: <ais523> oh, and a Feather compiler would have to bundle an interp
|
|
|
67 2008-06-19.txt:16:17:11: <ais523> e.g. you can get the source code for a Feather interp by first retroactively modifying the language to expose the source code of all functions, and then looking at it
|
|
|
68 2008-06-19.txt:16:31:12: <tusho> ais523: I think we need #feather, because js2cps is a pretty big thingy
|
|
|
69 2008-06-19.txt:16:31:28: <ais523> tusho: #feather already exists
|
|
|
70 2008-06-19.txt:16:32:51: <tusho> ais523: write an ircd in feather
|
|
|
71 2008-06-19.txt:16:33:09: <ais523> tusho: ugh, Feather hates IO
|
|
|
72 2008-06-19.txt:16:33:30: <tusho> ais523: it occurs to me that Feathejs is like the ideal implementation of feather
|
|
|
73 2008-06-19.txt:16:36:43: <ais523> #featherlang
|
|
|
74 2008-06-19.txt:16:36:48: <tusho> ais523: #feather-lang
|
|
|
75 2008-06-19.txt:16:43:16: <ais523> I'm also making a functional version, protoFeather
|
|
|
76 2008-06-19.txt:16:43:40: <ais523> and thus become Feather
|
|
|
77 2008-06-19.txt:16:43:51: <tusho> ais523: feathejs should implement protoFeather
|
|
|
78 2008-06-19.txt:16:50:38: <ais523> jix: finding ways to do that is one major part of my effort in Feather
|
|
|
79 2008-06-27.txt:18:07:05: <ais523> cherez: worth it, although Feather requires a whole new set of tenses
|
|
|
80 2008-06-27.txt:23:28:22: <ais523> psygnisfive: try implementing Feather, I'm struggling
|
|
|
81 2008-06-27.txt:23:29:47: <ais523> I have partial notes on a few feather-like objects
|
|
|
82 2008-06-27.txt:23:32:34: <ais523> AnMaster: Feather
|
|
|
83 2008-06-27.txt:23:38:46: <ais523> whereas in Feather you can take information from one possible path and use it to modify the next path that's tried
|
|
|
84 2008-06-27.txt:23:41:26: <ais523> also, feather's interesting due to consistent time travel rules
|
|
|
85 2008-06-27.txt:23:49:09: <ais523> oh, and the major problem with Feather programming is avoiding timeloops
|
|
|
86 2008-06-30.txt:23:32:44: <ais523> tusho: heh, you could do that in Feather
|
|
|
87 2008-07-03.txt:16:08:02: <ais523> olsner: TwoDucks (uncomputable), Feather (not properly specced and unimplemented)
|
|
|
88 2008-07-14.txt:20:45:47: <ais523> tusho: Feather has lambda too
|
|
|
89 2008-07-17.txt:21:15:49: <ais523> oklopol: I did, it reminded me a bit of Feather and a bit of TwoDucks
|
|
|
90 2008-07-17.txt:21:17:39: <ais523> oklopol: yes, I know, but that sort of lang is good for implementing Feather in
|
|
|
91 2008-08-06.txt:22:08:27: <ais523> in Feather, pass by reference and pass by value are indistinguishable
|
|
|
92 2008-08-06.txt:22:08:36: <SimonRC> ais523: where is Feather?
|
|
|
93 2008-08-06.txt:22:09:28: <ais523> Feather
|
|
|
94 2008-08-08.txt:20:44:18: <ais523> AnMaster: Feather is sufficiently general that after a while everything seems like "that sounds like Feather", it takes over your brain
|
|
|
95 2008-08-08.txt:20:44:48: <ais523> AnMaster: you absolutely need to bundle the source code with Feather, it's possible to prove it
|
|
|
96 2008-08-08.txt:20:45:18: <AnMaster> ais523, I don't know enough about feather really
|
|
|
97 2008-08-08.txt:20:45:47: <AnMaster> ais523, give us hello world in feather!
|
|
|
98 2008-08-08.txt:20:46:46: <ais523> AnMaster: no, although a Feathernomic would be awesome
|
|
|
99 2008-08-08.txt:20:47:21: <ais523> I really want to implement Feather
|
|
|
100 2008-08-08.txt:20:47:34: <tusho> ais523: let's implement feather starting tomorrow
|
|
|
101 2008-08-08.txt:20:47:34: <ais523> I'll start by implementing Protofeather, I think, which was a lang I invented to write a Feather interp in
|
|
|
102 2008-08-08.txt:20:50:00: <ais523> Feather's basic operation is reasonably easy to write in terms of call/cc
|
|
|
103 2008-08-08.txt:20:50:01: <AnMaster> ais523, well what is the basic syntax of non-modified feather?
|
|
|
104 2008-08-08.txt:20:50:43: <ais523> I invented Feather after thinking about Smalltalk for a while
|
|
|
105 2008-08-08.txt:21:59:48: <ais523> tusho: after Feather and Underload and Underlambda and all the other stuff we're going to do
|
|
|
106 2008-08-09.txt:16:25:42: <tusho> ais523: #feather-lang
|
|
|
107 2008-08-11.txt:19:49:45: <AnMaster> ais523, you never posted those specs and examples of feather btw
|
|
|
108 2008-08-23.txt:17:41:11: <AnMaster> ais523, feather?
|
|
|
109 2008-08-25.txt:17:17:58: <ais523> very Feather
|
|
|
110 2008-09-05.txt:20:06:30: <AnMaster> GreyKnight, like ais523's Feather?
|
|
|
111 2008-09-08.txt:20:05:33: <AnMaster> ais523, any news? feather maybe?
|
|
|
112 2008-09-12.txt:18:14:33: <AnMaster> ais523, how goes feather?
|
|
|
113 2008-09-16.txt:21:25:36: <AnMaster> ais523, how goes gcc-bf and Feather?
|
|
|
114 2008-09-20.txt:20:24:11: <ais523> "I am programming", in English, but "Feather is correct-to-program", in Latin literally translated to English
|
|
|
115 2008-09-23.txt:15:56:18: <AnMaster> ais523, Feather!
|
|
|
116 2008-09-23.txt:18:09:07: <AnMaster> ais523, and I would like Feather if you ever got it done ;P
|
|
|
117 2008-09-23.txt:18:12:35: <ais523> Feather would change everything
|
|
|
118 2008-09-23.txt:18:13:02: <AnMaster> ais523, could you even make any meaningful programs in Feather without changing the language?
|
|
|
119 2008-09-23.txt:18:15:34: <AnMaster> ais523, hello world program in feather please?
|
|
|
120 2008-09-23.txt:18:15:47: <ais523> AnMaster: I can't write anything in Feather yet, not even a NOP, really
|
|
|
121 2008-09-23.txt:18:16:20: <AnMaster> ais523, what language do you plan to implement feather in? or the boot strap feather in
|
|
|
122 2008-09-23.txt:18:18:28: <ais523> one of the main problems with Feather is I feel it needs an interp before it can be properly specced
|
|
|
123 2008-09-23.txt:18:30:00: <ais523> continuations are very very important to the way I plan to implement Feather
|
|
|
124 2008-09-23.txt:18:30:24: <ais523> in fact I was thinking about writing my own language in C, merely implemented to optimise continuations for the unusual use they'll see in a Feather program
|
|
|
125 2008-09-25.txt:22:18:16: <ais523> wow, oklofok invented Feather
|
|
|
126 2008-09-26.txt:21:20:59: <tusho> ais523: imagine an AnMaster written feather interp...
|
|
|
127 2008-09-29.txt:14:37:50: <ais523> unlike something like Feather which keeps running away when I think about it
|
|
|
128 2008-10-06.txt:09:49:47: <AnMaster> ais523, Feather?
|
|
|
129 2008-10-06.txt:09:54:56: <ais523> I plan to implement pretty much all of Feather with multireturning call/cc
|
|
|
130 2008-10-17.txt:12:39:47: <ais523> hmm... I've realised that all my 4 or so outstanding problems to solve before I can implement Feather are actually the same problem
|
|
|
131 2008-10-17.txt:12:40:56: <ais523> the outstanding problem in Feather is: to determine what in the program after a change corresponded to what before a change
|
|
|
132 2008-10-17.txt:14:56:22: <ais523> I think I might know how to get Feather to work...
|
|
|
133 2008-10-17.txt:15:00:05: <oklopol> ais523: sorry, i confused feather with your other unimplementable language
|
|
|
134 2008-10-17.txt:15:00:20: <ais523> Feather is at least in theory implementable, I think
|
|
|
135 2008-10-17.txt:15:14:45: <ais523> basically, the way I think Feather will do it is that input and output are tagged with their /purpose/
|
|
|
136 2008-10-17.txt:15:14:56: <AnMaster> ais523, could you make feather become befunge?
|
|
|
137 2008-10-17.txt:15:15:21: <ais523> as at some point the program would need to be a Feather/Befunge polyglot
|
|
|
138 2008-10-17.txt:15:26:04: <AnMaster> ais523, could feather become any other language?
|
|
|
139 2008-10-17.txt:15:26:41: <ais523> unless you wrote the program as a Feather/Befunge polyglot from the start, which could be fun
|
|
|
140 2008-10-17.txt:15:26:52: <ais523> AnMaster: you'd have to implement them in Feather
|
|
|
141 2008-10-17.txt:15:27:11: <ais523> I/O and standard library and such couldn't be in part of the becomed language unless they were in Feather's stdlib to start with
|
|
|
142 2008-10-17.txt:15:28:42: <AnMaster> ais523, if you could have that on the first line as first char, the befunge/feather polygot would be easy
|
|
|
143 2008-10-17.txt:15:29:05: <ais523> and that also would make Befunge/Feather an easy polyglot
|
|
|
144 2008-10-17.txt:15:29:41: <ais523> AnMaster: it wouldn't care, at the time the Befunge program ran the Feather code would no longer exist
|
|
|
145 2008-10-17.txt:15:30:08: <ais523> if Feather modified itself into Befunge itself, you couldn't modify it back as Befunge has no command to retroactively change itself into Feather
|
|
|
146 2008-10-17.txt:15:30:42: <ais523> however, modifying Feather into Befunge definitely qualifies as an insane change
|
|
|
147 2008-10-17.txt:15:31:35: <ais523> the rule for a sane Feather parser change is that in addition to the other requirements to be sane, it has to be backwards-compatible
|
|
|
148 2008-10-17.txt:15:41:54: <ais523> hmm... you could do a Feather quine by causing the parser to output its input rather than parsing it, retroactively
|
|
|
149 2008-10-17.txt:15:45:10: <ais523> in Feather, though, the executable can modify the source and it changes accordingly, whilst still running
|
|
|
150 2008-10-17.txt:15:45:41: <ais523> hmm... lazy parsing might be useful in Feather, not necessary, but nice
|
|
|
151 2008-10-17.txt:15:47:06: <AnMaster> ais523, you could add it from within feather anyway ;P
|
|
|
152 2008-10-17.txt:15:47:47: <ais523> the nature of any Feather interp is that it has to be written entirely in Feather
|
|
|
153 2008-10-17.txt:15:48:18: <ais523> so you start off with two versions of the same interp, one in Feather, one in some other lang, which both do exactly the same thing
|
|
|
154 2008-10-17.txt:15:49:02: <ais523> that seems like a better bet than hoping a Feather interp will spontaneously come into existence, great as that would be
|
|
|
155 2008-10-17.txt:15:49:15: <ais523> once Feather is running, it's under the impression that there are an infinite number of layers of Feather interps under it
|
|
|
156 2008-10-17.txt:17:56:39: <ais523> AnMaster: not even if you write featherfunge some day?
|
|
|
157 2008-10-17.txt:17:57:24: <ais523> that involves having a working Feather first
|
|
|
158 2008-10-19.txt:12:02:24: <ais523> hmm... figuring out how to hot-change parts of a Feather program while it's running is a major problem
|
|
|
159 2008-10-20.txt:10:13:52: <ais523> oklopol: hmm... Feather makes me feel the same way, or worse
|
|
|
160 2008-10-20.txt:15:17:24: <AnMaster> then that is purely hypothetical, at least until ais523 implements Feather
|
|
|
161 2008-10-21.txt:18:56:01: <ais523|busy> I wonder if it will be easier or harder to implement than Feather
|
|
|
162 2008-10-21.txt:18:56:35: <ais523|busy> anyway, I think I've figured out how to prevent Feather going into an infinite loop (as opposed to arbitrary loop) when it parses the parser with itself
|
|
|
163 2008-10-21.txt:18:57:04: <ais523|busy> Deewiant: it's a Feather thing
|
|
|
164 2008-10-21.txt:19:03:08: <ais523|busy> #feather-lang is the appropriate channel
|
|
|
165 2008-11-03.txt:17:42:02: <ais523> ehird: please don't randomly throw out Feather references to people who haven't seen it before, it took several weeks to explain the first time
|
|
|
166 2008-11-03.txt:17:47:11: <ais523> for what, Feather?
|
|
|
167 2008-11-03.txt:17:47:29: <ais523> so the parser, and indeed the entire interp, needs to be written from scratch in Feather
|
|
|
168 2008-11-03.txt:17:51:09: <ais523> which is about the only meaningful operation in Feather, and also the one that causes all the headaches
|
|
|
169 2008-11-03.txt:17:51:46: <ais523> a Feather codenomic would be entirely platonic, and you could retroactively change what the rules were in the past and have everything reinterpreted under those rules
|
|
|
170 2008-11-03.txt:17:52:46: <ais523> the main problem is that this is how Feather handles /everything/
|
|
|
171 2008-11-03.txt:17:53:26: <ais523> Feather defies comparison to anything, really
|
|
|
172 2008-11-03.txt:18:04:30: <ais523> I invented Feather originally because Smalltalk wasn't Smalltalky enough IMO, but it ended up as something moderately different
|
|
|
173 2008-11-03.txt:18:37:45: <ais523> unlike Feather, Cyclexa does have a spec
|
|
|
174 2008-11-03.txt:18:37:52: <ais523> but like Feather, it doesn't have an implementation
|
|
|
175 2008-11-05.txt:19:47:18: <ais523> the main problematicness in continuation-related thinking processes is the go-back-in-time thing (btw, I'm planning to use them for Feather, they're the perfect choice for it)
|
|
|
176 2008-11-10.txt:20:05:59: <AnMaster> ais523, how goes gcc-bf? ick? feather?
|
|
|
177 2008-11-14.txt:22:16:34: <AnMaster> ais523, how goes ick, gcc-bf, feather and so on?
|
|
|
178 2008-11-25.txt:15:51:12: <ais523> ehird: Feather
|
|
|
179 2008-12-22.txt:18:50:44: <ais523> ehird: stop inventing Feather
|
|
|
180 2009-01-14.txt:19:56:47: <AnMaster> <ais523> because then you could change the syntax at runtime <-- Feather!
|
|
|
181 2009-01-20.txt:18:02:51: <AnMaster> ais523, what about feather? It could be both :P
|
|
|
182 2009-01-20.txt:18:02:58: <ais523> AnMaster: ah, Feather
|
|
|
183 2009-01-20.txt:18:08:35: <ais523> incidentally, my guiding goal for Feather starting syntax is "looks vaguely like Smalltalk, but for different reasons"
|
|
|
184 2009-01-20.txt:18:09:00: <AnMaster> ais523, oh, interesting, I would never have ended up with feather by that
|
|
|
185 2009-01-22.txt:15:21:10: <ais523> my other big new esolang project, besides Feather
|
|
|
186 2009-02-13.txt:21:49:18: * ais523 feather-dusters oerjan ----<<<
|
|
|
187 2009-02-15.txt:17:13:13: <ais523> oerjan: there's the method Feather uses
|
|
|
188 2009-03-01.txt:18:34:53: <AnMaster> ais523, any progress on Feather?
|
|
|
189 2009-03-08.txt:18:52:30: <ais523> or Feather and get people shouting at me to make some progress
|
|
|
190 2009-04-01.txt:23:04:26: <AnMaster> ais523, could you write Proud be written in Feather?
|
|
|
191 2009-04-01.txt:23:04:38: <ais523> no, Proud's uncomputable, Feather is not super-TC
|
|
|
192 2009-04-01.txt:23:04:46: <ais523> although Feather hurts my head, and I don't want my brain to explode right now
|
|
|
193 2009-04-01.txt:23:06:05: <ais523> cpt_obvious: I suggest you ask in #feather-lang, I think it's empty atm so it'll be safe to ask
|
|
|
194 2009-04-01.txt:23:07:00: <ais523> which is another reason not to explain Feather right now
|
|
|
195 2009-04-01.txt:23:07:12: <ais523> explaining Feather to someone /who is drunk/ probably would cause a fatality
|
|
|
196 2009-04-01.txt:23:07:12: <ehird> ais523: I don't know; alcohol may well improve perception of Feather
|
|
|
197 2009-04-01.txt:23:09:05: <ais523> seeing as nothing in Feather can ever change
|
|
|
198 2009-04-05.txt:12:25:40: <AnMaster_ipv6> ais523, I guess you could do it in Feather though?
|
|
|
199 2009-04-05.txt:12:25:57: <ais523> Feather doesn't really define its I/O environment at all
|
|
|
200 2009-04-09.txt:22:31:58: <AnMaster> ais523, Feather is TC to parse right
|
|
|
201 2009-04-09.txt:22:39:26: <ais523> AnMaster: what I mean with Feather is that the first pass is always trivial, because it's just tokenising into letters
|
|
|
202 2009-04-09.txt:22:44:18: <AnMaster> ais523, write a first stage parser then. I mean do you ever plan to spec, or even implement feather?
|
|
|
203 2009-04-26.txt:19:08:14: <AnMaster> ais523, any progress on Feather
|
|
|
204 2009-05-28.txt:01:57:00: <coppro> ais523: what do the silver/gold medals and feathers on the level selection screen mean?
|
|
|
205 2009-05-28.txt:01:57:30: <ais523> coppro: feather = unsolved easy level, silver = solved easy level, gold = hard level
|
|
|
206 2009-05-28.txt:01:57:38: <ais523> you can click on the feather button to switch between easy and hard mode
|
|
|
207 2009-05-29.txt:01:06:04: <ais523> ehird: well, #feather-lang exists
|
|
|
208 2009-07-07.txt:22:03:10: <AnMaster> ais523, I invite you to #feather-lang btw :P
|
|
|
209 2009-07-10.txt:15:35:52: <AnMaster> ais523, any progress on feather?
|
|
|
210 2009-07-10.txt:15:35:59: <ais523> AnMaster: ducking a feather is easy
|
|
|
211 2009-07-10.txt:15:36:05: <ais523> or maybe it's a duck feather?
|
|
|
212 2009-08-14.txt:23:02:38: <ais523> heh, he's still in #feather-lang
|
|
|
213 2009-08-14.txt:23:04:55: <AnMaster> ais523, wow you missed lots of action in #feather-lang
|
|
|
214 2009-08-14.txt:23:05:57: <ais523> was it Feather-related?
|
|
|
215 2009-08-26.txt:18:09:16: * ais523 considers using a Feather-OS, and hotswapping init
|
|
|
216 2009-09-17.txt:20:43:24: <AnMaster> ais523, like Feather? XD
|
|
|
217 2009-09-29.txt:10:06:25: <ais523> start with a minimal interpreter that's enough to 'be Feather' in that it can be retroactively self-modified
|
|
|
218 2009-09-29.txt:10:09:03: <ais523> because it wouldn't need to be written in Feather
|
|
|
219 2009-09-29.txt:10:09:05: <ais523> that isn't an "of course" with Feather
|
|
|
220 2009-09-29.txt:10:10:14: <AnMaster> ais523, it was "of course the outermost _interpreter_ can't be in Feather itself"
|
|
|
221 2009-09-29.txt:10:10:14: <ais523> for a while I thought it had to be a Feather/something else polyglot
|
|
|
222 2009-09-29.txt:10:10:32: <ais523> but it turns out that you can see the source code of an interp even if it isn't written in Feather
|
|
|
223 2009-09-29.txt:10:24:04: <ais523_> and second, it should be easy to write a polyglot in that lang and Feather
|
|
|
224 2009-09-29.txt:16:20:38: <ais523> Feather is /actually/ driving me mad
|
|
|
225 2009-09-30.txt:17:03:28: <ais523> and if it's opaque, all Feather programs will need to be quines
|
|
|
226 2009-09-30.txt:18:46:50: <ais523> I mean, I was talking about Feather earlier
|
|
|
227 2009-09-30.txt:18:47:04: <ais523> partly because thinking about Feather drives everyone mad, I suppose
|
|
|
228 2009-09-30.txt:18:51:26: <AnMaster> ais523, is it possible to express paradoxes in feather?
|
|
|
229 2009-09-30.txt:18:56:14: <deschutron> ais523: your feather idea sounds interesting, though i don't know whether it provides any convenience at all
|
|
|
230 2009-09-30.txt:19:00:41: <ais523> deschutron: same thing, no paradox under Feather's rules
|
|
|
231 2009-09-30.txt:19:03:06: <ais523> everything is immutable in Feather
|
|
|
232 2009-09-30.txt:19:03:37: <ais523> ehird: I see what you're saying; I think that's the Feather equivalent of a trampoline, or something like taht
|
|
|
233 2009-09-30.txt:19:20:40: <ais523> worryingly, I think you probably /have/ to program in that sort of way, and that's what makes Feather an esolang
|
|
|
234 2009-09-30.txt:19:22:25: <ais523> it's not unlike Feather, in a way
|
|
|
235 2009-09-30.txt:19:23:09: <ais523> deschutron: I/O is a real pain in Feather, for this sort of reason
|
|
|
236 2009-09-30.txt:19:24:40: <ais523> deschutron: well, the language is called Feather because the language itself is bare-bones
|
|
|
237 2009-10-01.txt:14:28:24: <ais523> conclusion: I'm thinking too much about Feather
|
|
|
238 2009-10-03.txt:19:58:01: <ais523> deschutron: oh, I saw your quasi-Feather thing, it's rather unlike Feather, but ofc that doesn't mean it's a bad lang
|
|
|
239 2009-10-03.txt:19:58:12: <ais523> I think pretty much every entity in existence is rather unlike Feather
|
|
|
240 2009-10-03.txt:20:13:58: <deschutron> its a language I thought of after talking to ais523 about feather
|
|
|
241 2009-10-05.txt:17:49:00: <ais523> actually... I think the way it works is, that the interp isn't originally written in Feather
|
|
|
242 2009-10-05.txt:17:49:08: <ais523> such that the interp ends up mostly in Feather
|
|
|
243 2009-10-05.txt:18:03:08: <ais523> "Feather is a language with meany time travel paradoxes!"
|
|
|
244 2009-10-05.txt:18:05:00: <ais523> "(Cheat slightly; you know Feather so pick out the relevant facts)"
|
|
|
245 2009-10-05.txt:20:06:04: * ais523 wonders whether to monologue about Feather, ignoring what the rest of the channel says
|
|
|
246 2009-10-05.txt:20:09:03: <AnMaster> ais523, and I'm interested in garli^Wfeather
|
|
|
247 2009-10-07.txt:15:44:30: <AnMaster> ais523, started coding on the feather implementation?
|
|
|
248 2009-10-07.txt:15:50:42: <ais523> hmm... Feather's the only language I know in which you have to worry about portability within a program
|
|
|
249 2009-10-09.txt:15:05:54: <ais523> incidentally, I had a go at writing a Feather interpreter
|
|
|
250 2009-10-09.txt:15:06:54: <ais523> the issue is that causality loops are all very well in Feather, but tend not to work in Scheme
|
|
|
251 2009-10-09.txt:15:08:15: <ehird> ais523: wild speculation - the only way to run Feather programs acceptably will be via a custom-written C vm, because using retroactivity blows up supermegaexponentially when using scheme
|
|
|
252 2009-10-09.txt:15:09:11: <ais523> I have crazy ideas of optimising Feather interps which involve using diff-based call/cc
|
|
|
253 2009-10-09.txt:15:10:27: <ais523> in fact, I now have something like three stages of Feather interpretation
|
|
|
254 2009-10-09.txt:15:10:51: <ais523> a Feather seed (what I'm writing, it is something that doesn't obey all the rules of Feather, but /can/ be retroactively modified so it does)
|
|
|
255 2009-10-09.txt:15:11:02: <ais523> a Feather kernel (something that implements a subset of Feather sufficient to bootstrap to the whole thing)
|
|
|
256 2009-10-09.txt:15:11:11: <ais523> and a Feather interpreter (which implements the whole thing)
|
|
|
257 2009-10-19.txt:18:26:23: <AnMaster> ais523, feather progress?
|
|
|
258 2009-10-19.txt:18:27:45: <AnMaster> ais523, what from? feather?
|
|
|
259 2009-10-19.txt:18:33:21: <ais523> Feather has really messed-up causality, which is really frustrating my attempts to write an interp for it
|
|
|
260 2009-10-24.txt:22:34:45: <AnMaster> ais523, start thinking about feather please
|
|
|
261 2009-10-28.txt:22:31:56: <ais523> incidentally, this conversation is a good reflection on Feather
|
|
|
262 2009-10-28.txt:22:32:29: <AnMaster> ais523, how is it a good reflection on Feather?
|
|
|
263 2009-10-28.txt:22:32:48: <ais523> Feather manages to simulate that
|
|
|
264 2009-10-31.txt:19:54:20: <AnMaster> ais523, how goes Feather?
|
|
|
265 2009-11-16.txt:21:50:14: <ais523> anyway, I at least came up with snappy names for Feather's assignment and clone operators
|
|
|
266 2009-12-01.txt:20:55:55: <ais523> not finished, and unlikely to be for a while due to RL pressures, and not being top of my esolang priorities (Feather and Underlambda are higher)
|
|
|
267 2009-12-08.txt:10:23:46: <AnMaster> ais523, oh and I invented a feather-like language
|
|
|
268 2009-12-08.txt:10:24:37: <ais523> AnMaster: go on, although I doubt feather-like is very easy to achieve at all without being utterly different
|
|
|
269 2009-12-29.txt:15:25:17: <AnMaster> ais523, how goes stuff with feather?
|
|
|
270 2009-12-29.txt:15:26:14: <ais523> I'd /almost/ even forgotten Feather existed...
|
|
|
271 2009-12-30.txt:03:41:11: <ais523> pikhq: you can only imagine how hard it is in Feather
|
|
|
272 2009-12-30.txt:06:39:34: <ehirdiphone> ais523: maybe dependent types are the key to feather :P
|
|
|
273 2010-01-10.txt:17:17:30: <ais523> it's correct if used as "ais523, could you please go and implement Feather for me RIGHT NOW?"
|
|
|
274 2010-03-09.txt:12:30:40: <alise> ais523: about Feather.
|
|
|
275 2010-03-09.txt:12:31:12: <alise> ais523: What is Feather, in detail?
|
|
|
276 2010-03-09.txt:12:36:43: <ais523> alise: planned Feather syntax is [ x | f x ]
|
|
|
277 2010-03-09.txt:12:42:42: <ais523> anyway, anything remotely related to Feather is inherently weird
|
|
|
278 2010-03-09.txt:15:00:03: <AnMaster> <ais523> alise: planned Feather syntax is [ x | f x ] <-- yay Feather!
|
|
|
279 2010-03-09.txt:15:53:39: <alise__> ais523: Hey, it's for Feather.
|
|
|
280 2010-03-09.txt:16:22:28: <alise> ais523: so, do you know what the bootstrap progam will look like for feather?
|
|
|
281 2010-03-09.txt:16:24:34: <ais523> alise: the issue is making them forward-compatible with actual Feather atoms
|
|
|
282 2010-03-09.txt:16:32:29: <ais523> that's the start of an attempt to implement Feather
|
|
|
283 2010-03-09.txt:17:39:57: <cpressey> Thank you ais523, I am now exactly as confused about feather as I was before.
|
|
|
284 2010-03-09.txt:17:43:31: <ais523> cpressey: that's an interesting analogy; and about as close to the truth as anything else about Feather that I've managed to put into words
|
|
|
285 2010-03-22.txt:13:51:00: <ais523> (except in a few cases like Feather, which not even I understand and I thought up the idea...)
|
|
|
286 2010-03-31.txt:00:20:18: <ais523> (it wouldn't be in Perl6 or C++, it would be in Lua, JS and Feather)
|
|
|
287 2010-03-31.txt:00:21:17: <ais523> and there'll probably be some way to do that sort of thing in Feather, although single inheritance is easier there than multipl
|
|
|
288 2010-03-31.txt:00:28:26: <ais523> hmm, you can do that in Feather too
|
|
|
289 2010-04-16.txt:21:25:14: <ais523> Sgeo_: try imagining a cross between Prolog and Feather, then fail
|
|
|
290 2010-04-23.txt:19:43:19: <AnMaster> ais523, any progress at with feather btw? (It was weeks since I asked last time!)
|
|
|
291 2010-06-07.txt:17:59:20: <AnMaster> ais523, after you finish feather and gcc-bf that is ;P
|
|
|
292 2010-06-15.txt:17:00:01: <AnMaster> ais523, so do you think you will have any time for feather, gcc-bf and so on during the summer?
|
|
|
293 2010-06-20.txt:23:13:50: <ais523> must... not... mention... Feather....
|
|
|
294 2010-06-20.txt:23:18:45: <AnMaster> <ais523> must... not... mention... Feather.... <-- ooh feather!
|
|
|
295 2010-06-23.txt:16:02:44: <Phantom_Hoover> ais523, what's this feather thing I've heard about?
|
|
|
296 2010-06-23.txt:16:18:06: <ais523> anyway, Feather's going to get a worse reputation than MAGENTA at this rate
|
|
|
297 2010-06-23.txt:19:22:39: <ais523> cpressey: that happens with Feather too
|
|
|
298 2010-06-25.txt:13:57:20: <Phantom_Hoover> ais523, maybe you can if you invent Feather?
|
|
|
299 2010-06-25.txt:13:57:45: <ais523> Phantom_Hoover: Feather programs can't retroactively change events outside the program
|
|
|
300 2010-06-25.txt:14:06:57: <ais523> although if I ever get around to writing a Feather standard library, a memory of input is definitely one of the things that would be useful
|
|
|
301 [too many lines; stopping]
|
