|
2813
|
1 2003-09-08.txt:13:17:45: <Doppelganger> The Resin Feathered is by for the largesse country of the world in are by spinning 11 tone zoans in but Erebia and As. Rise swoors brother what they flummoxed country (starting in to north and in contrescene order: Near, Finlandia, Extend, Latvia, Bowler's, Letdown (via Killmaimthem Obligation, Plenty (idem), Ukraine, Grace, Acorpolous, Kissykissy, Come, Monosyllables and Nerthe Krow.
|
|
|
2 2003-09-08.txt:13:27:41: <Doppelganger> Be the lied 1980s, Spit leader Michael Gravys invalid reverend such as gilligan's and proceding, but though messrs were unbluffingly the propennies the collapsed of to Spat Unium after a flat mielodorous cup i'm 1991. Two Rossum Soft Federals' Repopulate declared its independent on Acquiester 24 of that your as to Reign Feathered. Reach, as the Soft Unionist's primewer successor stood, his snack sazd the mountunmighty it's globelet
|
|
|
3 2005-08-24.txt:08:17:11: <puzzlet> bird of feather
|
|
|
4 2006-09-02.txt:21:21:11: * GreyKnight pulls a feather off EagleBot
|
|
|
5 2006-09-21.txt:02:04:52: * ihope tcls pikhq with a feather
|
|
|
6 2006-10-10.txt:23:12:22: <lament> let's tar and feather him
|
|
|
7 2007-08-08.txt:03:30:57: <ihope> And how many people have created single-file compression algorithms called "feather" so far?
|
|
|
8 2007-11-03.txt:00:33:37: <GregorR> I JUST WANT TO TAR AND FEATHER YOU
|
|
|
9 2007-11-11.txt:22:52:45: <ihope_> Do you want a pound of feathers or a pound of lead?
|
|
|
10 2007-11-11.txt:22:53:42: <pikhq> (although I'll take either a pound of feathers or lead if it's signed by the Queen of England, so that it's legal tender)
|
|
|
11 2008-01-24.txt:21:39:18: <Slereah> I've got some "Feather trimming" program in project somewhere, to try to do some minimal length formula
|
|
|
12 2008-01-25.txt:21:33:28: <slereah_> Well, combinators are more like feathery.
|
|
|
13 2008-05-09.txt:13:53:37: <ais523> I'm thinking of calling it Feather, because it's so lightweight compared to most Smalltalks
|
|
|
14 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
|
|
|
15 2008-05-09.txt:15:27:28: <Slereah_> Feather?
|
|
|
16 2008-05-12.txt:17:10:59: <ais523> In Feather, everything is a function
|
|
|
17 2008-05-12.txt:17:12:16: <ais523> whereas Feather truly has no pointers
|
|
|
18 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
|
|
|
19 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
|
|
|
20 2008-05-12.txt:17:16:10: <ais523> in Feather, there will be boxed types too
|
|
|
21 2008-05-12.txt:17:18:05: <ehird> RodgerTheGreat: Feather has no primitives.
|
|
|
22 2008-05-12.txt:17:19:15: <ais523> at least from Feather's point of view
|
|
|
23 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
|
|
|
24 2008-05-12.txt:17:20:12: <ais523> each iteration of the time loop happens simultaneously from Feather's point of view
|
|
|
25 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
|
|
|
26 2008-05-12.txt:17:22:05: <ais523> because Feather can be retroactively transformed into any other language
|
|
|
27 2008-05-12.txt:17:23:12: <ais523> but Feather itself is unaware that that's happened
|
|
|
28 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"
|
|
|
29 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
|
|
|
30 2008-05-12.txt:17:25:27: <ais523> which is what makes it Feather rather than HQ9+, for instance
|
|
|
31 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
|
|
|
32 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
|
|
|
33 2008-05-12.txt:19:00:40: <ehird> make that possible in feather
|
|
|
34 2008-05-29.txt:20:26:25: <ais523> I've been thinking about writing a Feather bootstrap for a while now
|
|
|
35 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
|
|
|
36 2008-05-29.txt:20:27:34: <AnMaster> ais523, feather?
|
|
|
37 2008-05-29.txt:20:28:00: <ehird> AnMaster: feather is his infinitely-bootstrapped time-loop language
|
|
|
38 2008-05-29.txt:20:30:15: <oerjan> so this is a grand feather paradox?
|
|
|
39 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)
|
|
|
40 2008-05-29.txt:20:36:29: <ehird> FeatherOS
|
|
|
41 2008-05-29.txt:20:36:32: <ais523> not everything is an object, unlike in Feather
|
|
|
42 2008-05-29.txt:20:55:58: <ehird> ais523: Feather, I hope.
|
|
|
43 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
|
|
|
44 2008-05-30.txt:20:55:52: <ais523> oh, Feather has no side effects either
|
|
|
45 2008-06-02.txt:18:44:59: <ais523> I have a question about what names I should use for things in Feather
|
|
|
46 2008-06-02.txt:18:53:30: <ais523> sorry, there aren't really in Feather either
|
|
|
47 2008-06-02.txt:18:54:54: <ais523> oh well, I'll have to think of something different in Feather
|
|
|
48 2008-06-02.txt:18:55:49: <ais523> (Feather's reminding me more and more of Smalltalk + Haskell + Scheme, by the way)
|
|
|
49 2008-06-02.txt:21:31:53: <ais523> Hiato: sounds like Feather in reverse
|
|
|
50 2008-06-02.txt:21:32:23: <Hiato> Feather? I will reference the wiki
|
|
|
51 2008-06-02.txt:21:35:14: <ais523> but I've only got to documenting Basic Feather so far
|
|
|
52 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
|
|
|
53 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
|
|
|
54 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
|
|
|
55 2008-06-10.txt:17:33:46: <ais523> or like writing Feather in Feather?
|
|
|
56 2008-06-13.txt:19:20:08: <ais523> if there were, then maybe TRDS could be used to write Feather
|
|
|
57 2008-06-13.txt:19:21:38: <ais523> tusho: yes, that's the operation I want in Feather, really
|
|
|
58 2008-06-15.txt:17:18:22: <ais523> oh dear, this is starting to remind me of Feather again
|
|
|
59 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
|
|
|
60 2008-06-15.txt:18:01:48: <tusho> Feather in JS
|
|
|
61 2008-06-15.txt:18:02:43: <tusho> (Feathers? Feathejs? Get it?)
|
|
|
62 2008-06-15.txt:18:02:44: <ais523> whose only purpose was to optimise for the operations Feather did
|
|
|
63 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
|
|
|
64 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
|
|
|
65 2008-06-15.txt:18:05:50: <tusho> it will have a server-side for sharing feather images, though
|
|
|
66 2008-06-15.txt:18:06:00: <tusho> so is Feather
|
|
|
67 2008-06-15.txt:18:06:20: <ais523> tusho: because say if you're writing a feather interp in JS
|
|
|
68 2008-06-15.txt:18:06:22: <tusho> but the actual thing that saves it will be writteni n feather
|
|
|
69 2008-06-15.txt:18:06:50: <ais523> anyway, a Feather interp in Feather is trivial
|
|
|
70 2008-06-15.txt:18:07:19: <ais523> Feather has eval so that you can modify it
|
|
|
71 2008-06-15.txt:18:08:40: <tusho> ais523: shall we just call feathejs ... feather?
|
|
|
72 2008-06-15.txt:18:09:03: <ais523> call it feathers
|
|
|
73 2008-06-15.txt:18:09:43: <tusho> ais523: feathers will just make people mix up feather and feathers
|
|
|
74 2008-06-15.txt:18:09:47: <ais523> I like the idea of multiple feather interps
|
|
|
75 2008-06-15.txt:18:10:11: <ais523> after all, feather images /are/ portable between interps
|
|
|
76 2008-06-15.txt:18:34:58: <tusho> which will be useful for feather apps
|
|
|
77 2008-06-15.txt:18:35:45: <ais523> but the class browser itself would be written in Feather
|
|
|
78 2008-06-15.txt:18:35:55: <tusho> I mean we would interface jquery ui into feather
|
|
|
79 2008-06-15.txt:18:36:11: <ais523> tusho: you would make the jquery UI available as IO commands that Feather could use
|
|
|
80 2008-06-15.txt:18:37:16: <ais523> tusho: yes you can, you just reimplement it in Feather
|
|
|
81 2008-06-15.txt:18:37:30: <ais523> Feather is worse
|
|
|
82 2008-06-15.txt:18:43:14: <tusho> just because of the nature of feather
|
|
|
83 2008-06-16.txt:00:14:12: <tusho> Feather, which lets you retroactively change time
|
|
|
84 2008-06-17.txt:20:49:49: * tusho watches RodgerTheGreat come and say "THAT'S IMPOSSIBLE! JUST LIKE FEATHER!"
|
|
|
85 2008-06-17.txt:20:52:30: <tusho> unless it's feather
|
|
|
86 2008-06-17.txt:22:05:06: <ais523> and things like Feather are just fun
|
|
|
87 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
|
|
|
88 2008-06-18.txt:15:37:47: <oklofok> when you first talked about feather, i had no idea what the use was for the retroactivity, then later half-invented it myself, when trying to solve the same problem :P
|
|
|
89 2008-06-18.txt:15:38:01: <oklofok> half-invented, because i realized what i was doing was what feather was doing
|
|
|
90 2008-06-18.txt:15:42:01: <ais523> but the great thing about Feather is that it can be retrofitted onto the language
|
|
|
91 2008-06-18.txt:15:42:41: <ais523> Feather has eval so that you can modify it!
|
|
|
92 2008-06-18.txt:15:45:12: <ais523> oklofok: you can do that in Feather
|
|
|
93 2008-06-18.txt:15:45:37: <ais523> well, I'm trying to make the base of Feather as tarpitty as possible
|
|
|
94 2008-06-19.txt:16:09:01: <ais523> that retroactivity's so confused that it doesn't even make sense in Feather
|
|
|
95 2008-06-19.txt:16:13:28: <tusho> ais523: could you express it in feather, though?
|
|
|
96 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
|
|
|
97 2008-06-19.txt:16:14:23: <ais523> tusho: nothing, it would be inexpressible, assuming that CANNOT in B Nomic == inexpressible in Feather
|
|
|
98 2008-06-19.txt:16:15:39: <tusho> oh, and is a feather compiler possible? :P
|
|
|
99 2008-06-19.txt:16:16:32: <ais523> oh, and a Feather compiler would have to bundle an interp
|
|
|
100 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
|
|
|
101 2008-06-19.txt:16:31:12: <tusho> ais523: I think we need #feather, because js2cps is a pretty big thingy
|
|
|
102 2008-06-19.txt:16:31:28: <ais523> tusho: #feather already exists
|
|
|
103 2008-06-19.txt:16:32:51: <tusho> ais523: write an ircd in feather
|
|
|
104 2008-06-19.txt:16:33:09: <ais523> tusho: ugh, Feather hates IO
|
|
|
105 2008-06-19.txt:16:33:30: <tusho> ais523: it occurs to me that Feathejs is like the ideal implementation of feather
|
|
|
106 2008-06-19.txt:16:35:44: * tusho tries to come up with a channel name that illustrates feather's retroactivity
|
|
|
107 2008-06-19.txt:16:36:37: <tusho> #featherlanguage
|
|
|
108 2008-06-19.txt:16:36:43: <ais523> #featherlang
|
|
|
109 2008-06-19.txt:16:36:48: <tusho> ais523: #feather-lang
|
|
|
110 2008-06-19.txt:16:41:31: <jix> what's feather?
|
|
|
111 2008-06-19.txt:16:43:16: <ais523> I'm also making a functional version, protoFeather
|
|
|
112 2008-06-19.txt:16:43:40: <ais523> and thus become Feather
|
|
|
113 2008-06-19.txt:16:43:51: <tusho> ais523: feathejs should implement protoFeather
|
|
|
114 2008-06-19.txt:16:43:54: <tusho> but by default load a Feather image
|
|
|
115 2008-06-19.txt:16:50:38: <ais523> jix: finding ways to do that is one major part of my effort in Feather
|
|
|
116 2008-06-19.txt:20:20:52: <tusho> GregorR: Rule 1 of #esoteric: Your language does not need a channel, unless it's Feather.
|
|
|
117 2008-06-27.txt:18:07:05: <ais523> cherez: worth it, although Feather requires a whole new set of tenses
|
|
|
118 2008-06-27.txt:23:28:22: <ais523> psygnisfive: try implementing Feather, I'm struggling
|
|
|
119 2008-06-27.txt:23:28:46: <psygnisfive> whats feather.
|
|
|
120 2008-06-27.txt:23:29:47: <ais523> I have partial notes on a few feather-like objects
|
|
|
121 2008-06-27.txt:23:32:34: <ais523> AnMaster: Feather
|
|
|
122 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
|
|
|
123 2008-06-27.txt:23:41:26: <ais523> also, feather's interesting due to consistent time travel rules
|
|
|
124 2008-06-27.txt:23:49:09: <ais523> oh, and the major problem with Feather programming is avoiding timeloops
|
|
|
125 2008-06-30.txt:23:32:44: <ais523> tusho: heh, you could do that in Feather
|
|
|
126 2008-07-03.txt:16:08:02: <ais523> olsner: TwoDucks (uncomputable), Feather (not properly specced and unimplemented)
|
|
|
127 2008-07-14.txt:19:46:28: <tusho> and feather
|
|
|
128 2008-07-14.txt:20:45:36: <tusho> ihope: Feather. :P
|
|
|
129 2008-07-14.txt:20:45:47: <ais523> tusho: Feather has lambda too
|
|
|
130 2008-07-14.txt:20:46:25: <ihope> What is Feather?
|
|
|
131 2008-07-17.txt:21:15:49: <ais523> oklopol: I did, it reminded me a bit of Feather and a bit of TwoDucks
|
|
|
132 2008-07-17.txt:21:17:39: <ais523> oklopol: yes, I know, but that sort of lang is good for implementing Feather in
|
|
|
133 2008-08-06.txt:22:08:27: <ais523> in Feather, pass by reference and pass by value are indistinguishable
|
|
|
134 2008-08-06.txt:22:08:36: <SimonRC> ais523: where is Feather?
|
|
|
135 2008-08-06.txt:22:09:09: <SimonRC> what, Haskell or Feather?
|
|
|
136 2008-08-06.txt:22:09:28: <ais523> Feather
|
|
|
137 2008-08-08.txt:20:43:53: <tusho> feather
|
|
|
138 2008-08-08.txt:20:44:04: <AnMaster> I want to see a feather interpreter
|
|
|
139 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
|
|
|
140 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
|
|
|
141 2008-08-08.txt:20:45:18: <AnMaster> ais523, I don't know enough about feather really
|
|
|
142 2008-08-08.txt:20:45:47: <AnMaster> ais523, give us hello world in feather!
|
|
|
143 2008-08-08.txt:20:45:54: <tusho> feather is everything
|
|
|
144 2008-08-08.txt:20:46:01: <tusho> you can make it the opposite of feather
|
|
|
145 2008-08-08.txt:20:46:05: <tusho> you can make it so that it never was feather
|
|
|
146 2008-08-08.txt:20:46:46: <ais523> AnMaster: no, although a Feathernomic would be awesome
|
|
|
147 2008-08-08.txt:20:47:21: <ais523> I really want to implement Feather
|
|
|
148 2008-08-08.txt:20:47:34: <tusho> ais523: let's implement feather starting tomorrow
|
|
|
149 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
|
|
|
150 2008-08-08.txt:20:49:32: <tusho> feather confuses us enough, it'd be nice to have some base cases
|
|
|
151 2008-08-08.txt:20:50:00: <ais523> Feather's basic operation is reasonably easy to write in terms of call/cc
|
|
|
152 2008-08-08.txt:20:50:01: <AnMaster> ais523, well what is the basic syntax of non-modified feather?
|
|
|
153 2008-08-08.txt:20:50:43: <ais523> I invented Feather after thinking about Smalltalk for a while
|
|
|
154 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
|
|
|
155 2008-08-09.txt:16:25:42: <tusho> ais523: #feather-lang
|
|
|
156 2008-08-09.txt:19:59:45: <AnMaster> ColourFeather
|
|
|
157 2008-08-09.txt:20:00:16: <tusho> AnMaster: Just use feather to overwrite its eval with a modified interpreter
|
|
|
158 2008-08-11.txt:19:49:45: <AnMaster> ais523, you never posted those specs and examples of feather btw
|
|
|
159 2008-08-12.txt:19:07:17: <tusho> optbot: feather
|
|
|
160 2008-08-12.txt:19:07:21: <tusho> optbot: feather has that? cool
|
|
|
161 2008-08-23.txt:17:41:11: <AnMaster> ais523, feather?
|
|
|
162 2008-08-23.txt:18:11:51: <AnMaster> oklopol, implement feather after ais523 write some specs for it? ;D
|
|
|
163 2008-08-25.txt:17:17:58: <ais523> very Feather
|
|
|
164 2008-08-26.txt:18:39:06: <dogface> Rar and feather.
|
|
|
165 2008-08-26.txt:18:40:14: <GregorR> Heh, somebody should invent tags for .tar files called "feathers", so you can tar and feather your files.
|
|
|
166 2008-09-05.txt:20:06:30: <AnMaster> GreyKnight, like ais523's Feather?
|
|
|
167 2008-09-07.txt:20:36:00: <AnMaster> I mean, Feather makes me go "wow"
|
|
|
168 2008-09-07.txt:20:36:19: <tusho> feather is one of those, but...
|
|
|
169 2008-09-08.txt:20:05:33: <AnMaster> ais523, any news? feather maybe?
|
|
|
170 2008-09-11.txt:13:12:26: <tusho> his universe runs on feather
|
|
|
171 2008-09-12.txt:18:14:33: <AnMaster> ais523, how goes feather?
|
|
|
172 2008-09-12.txt:23:57:09: <tusho> Today, Niklas raped a bird. The bird then raped a Elliott's butt which proceeded to eat fish. be a rapist. and hump feathers. Suddenly, the website for Later that day, a rapist raped himself. Then a bird, who was a rapist, raped Niklas. It was rapelicious. One day, Niklas was not raped he raped a bird and it was still rapelicious. Speaking of rapelicious, I have heard of a rapist beard. 5+5=10 Rape is fun. Yiff!
|
|
|
173 2008-09-16.txt:21:25:36: <AnMaster> ais523, how goes gcc-bf and Feather?
|
|
|
174 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
|
|
|
175 2008-09-23.txt:15:56:18: <AnMaster> ais523, Feather!
|
|
|
176 2008-09-23.txt:18:09:07: <AnMaster> ais523, and I would like Feather if you ever got it done ;P
|
|
|
177 2008-09-23.txt:18:09:32: <tusho> yeah AnMaster thinks he likes feather
|
|
|
178 2008-09-23.txt:18:12:21: <AnMaster> and well Feather would change the language
|
|
|
179 2008-09-23.txt:18:12:35: <ais523> Feather would change everything
|
|
|
180 2008-09-23.txt:18:13:02: <AnMaster> ais523, could you even make any meaningful programs in Feather without changing the language?
|
|
|
181 2008-09-23.txt:18:15:19: <AnMaster> but I may be wrong since you failed to explain how feather actually works ;P
|
|
|
182 2008-09-23.txt:18:15:34: <AnMaster> ais523, hello world program in feather please?
|
|
|
183 2008-09-23.txt:18:15:47: <ais523> AnMaster: I can't write anything in Feather yet, not even a NOP, really
|
|
|
184 2008-09-23.txt:18:16:20: <AnMaster> ais523, what language do you plan to implement feather in? or the boot strap feather in
|
|
|
185 2008-09-23.txt:18:18:06: * tusho notes down: Fork Feather at nearest oppertunity
|
|
|
186 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
|
|
|
187 2008-09-23.txt:18:23:23: <oerjan> feather should clearly be written in Coq or Agda
|
|
|
188 2008-09-23.txt:18:30:00: <ais523> continuations are very very important to the way I plan to implement Feather
|
|
|
189 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
|
|
|
190 2008-09-25.txt:22:18:16: <ais523> wow, oklofok invented Feather
|
|
|
191 2008-09-26.txt:21:20:59: <tusho> ais523: imagine an AnMaster written feather interp...
|
|
|
192 2008-09-28.txt:16:01:34: <AnMaster> tusho, the language itself self modifies? Somewhat like Feather then?
|
|
|
193 2008-09-29.txt:14:37:50: <ais523> unlike something like Feather which keeps running away when I think about it
|
|
|
194 2008-10-06.txt:09:49:47: <AnMaster> ais523, Feather?
|
|
|
195 2008-10-06.txt:09:54:56: <ais523> I plan to implement pretty much all of Feather with multireturning call/cc
|
|
|
196 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
|
|
|
197 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
|
|
|
198 2008-10-17.txt:14:56:22: <ais523> I think I might know how to get Feather to work...
|
|
|
199 2008-10-17.txt:15:00:05: <oklopol> ais523: sorry, i confused feather with your other unimplementable language
|
|
|
200 2008-10-17.txt:15:00:16: <AnMaster> oklopol, feather is implementable isn't it?
|
|
|
201 2008-10-17.txt:15:00:20: <ais523> Feather is at least in theory implementable, I think
|
|
|
202 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/
|
|
|
203 2008-10-17.txt:15:14:56: <AnMaster> ais523, could you make feather become befunge?
|
|
|
204 2008-10-17.txt:15:15:21: <ais523> as at some point the program would need to be a Feather/Befunge polyglot
|
|
|
205 2008-10-17.txt:15:15:36: <AnMaster> for original feather
|
|
|
206 2008-10-17.txt:15:26:04: <AnMaster> ais523, could feather become any other language?
|
|
|
207 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
|
|
|
208 2008-10-17.txt:15:26:52: <ais523> AnMaster: you'd have to implement them in Feather
|
|
|
209 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
|
|
|
210 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
|
|
|
211 2008-10-17.txt:15:29:05: <ais523> and that also would make Befunge/Feather an easy polyglot
|
|
|
212 2008-10-17.txt:15:29:26: <AnMaster> how would it handle the befunge program overwriting parts of the feather code?
|
|
|
213 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
|
|
|
214 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
|
|
|
215 2008-10-17.txt:15:30:42: <ais523> however, modifying Feather into Befunge definitely qualifies as an insane change
|
|
|
216 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
|
|
|
217 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
|
|
|
218 2008-10-17.txt:15:45:10: <ais523> in Feather, though, the executable can modify the source and it changes accordingly, whilst still running
|
|
|
219 2008-10-17.txt:15:45:41: <ais523> hmm... lazy parsing might be useful in Feather, not necessary, but nice
|
|
|
220 2008-10-17.txt:15:47:06: <AnMaster> ais523, you could add it from within feather anyway ;P
|
|
|
221 2008-10-17.txt:15:47:47: <ais523> the nature of any Feather interp is that it has to be written entirely in Feather
|
|
|
222 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
|
|
|
223 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
|
|
|
224 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
|
|
|
225 2008-10-17.txt:17:56:39: <ais523> AnMaster: not even if you write featherfunge some day?
|
|
|
226 2008-10-17.txt:17:57:21: <AnMaster> 1) There is no working Feather yet
|
|
|
227 2008-10-17.txt:17:57:24: <ais523> that involves having a working Feather first
|
|
|
228 2008-10-17.txt:17:57:38: <AnMaster> 2) I never said I would write a feather funge indeed
|
|
|
229 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
|
|
|
230 2008-10-20.txt:10:13:52: <ais523> oklopol: hmm... Feather makes me feel the same way, or worse
|
|
|
231 2008-10-20.txt:15:17:24: <AnMaster> then that is purely hypothetical, at least until ais523 implements Feather
|
|
|
232 2008-10-20.txt:19:38:12: <AnMaster> psygnisfive, ever heard of Feather?
|
|
|
233 2008-10-21.txt:18:56:01: <ais523|busy> I wonder if it will be easier or harder to implement than Feather
|
|
|
234 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
|
|
|
235 2008-10-21.txt:18:57:04: <ais523|busy> Deewiant: it's a Feather thing
|
|
|
236 2008-10-21.txt:19:02:39: <oklopol> #feather is taken, i see
|
|
|
237 2008-10-21.txt:19:03:08: <ais523|busy> #feather-lang is the appropriate channel
|
|
|
238 2008-10-29.txt:16:01:00: <ehird> is a persistent, permanent URI that doesn't depend on anything changing (you can't retroactively not have that email at that time unless you're in featherworld)
|
|
|
239 2008-11-03.txt:17:41:34: <ehird> jayCampbell: feather!
|
|
|
240 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
|
|
|
241 2008-11-03.txt:17:44:20: <jayCampbell> what is feather?
|
|
|
242 2008-11-03.txt:17:47:11: <ais523> for what, Feather?
|
|
|
243 2008-11-03.txt:17:47:29: <ais523> so the parser, and indeed the entire interp, needs to be written from scratch in Feather
|
|
|
244 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
|
|
|
245 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
|
|
|
246 2008-11-03.txt:17:52:46: <ais523> the main problem is that this is how Feather handles /everything/
|
|
|
247 2008-11-03.txt:17:53:26: <ais523> Feather defies comparison to anything, really
|
|
|
248 2008-11-03.txt:17:55:08: <jayCampbell> the "problem" being creating a code-based nomic, not feather's implementation
|
|
|
249 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
|
|
|
250 2008-11-03.txt:18:05:06: <psygnisfive> ais show me feather again
|
|
|
251 2008-11-03.txt:18:37:45: <ais523> unlike Feather, Cyclexa does have a spec
|
|
|
252 2008-11-03.txt:18:37:52: <ais523> but like Feather, it doesn't have an implementation
|
|
|
253 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)
|
|
|
254 2008-11-10.txt:20:05:59: <AnMaster> ais523, how goes gcc-bf? ick? feather?
|
|
|
255 2008-11-10.txt:20:06:09: <AnMaster> I got a good name for a feather interpreter btw.
|
|
|
256 2008-11-10.txt:20:07:04: <AnMaster> 2) pens have traditionally been made from feathers
|
|
|
257 2008-11-10.txt:20:07:31: <oklopol> feather could be the name of a pen interpreter
|
|
|
258 2008-11-14.txt:22:16:34: <AnMaster> ais523, how goes ick, gcc-bf, feather and so on?
|
|
|
259 2008-11-25.txt:15:21:57: <ehird> do you have a beard? feather will take the world by storm
|
|
|
260 2008-11-25.txt:15:51:12: <ais523> ehird: Feather
|
|
|
261 2008-12-22.txt:18:50:44: <ais523> ehird: stop inventing Feather
|
|
|
262 2008-12-26.txt:21:03:03: <oklopol> but i think feather is the coolest self-parser sofar
|
|
|
263 2008-12-26.txt:21:03:46: * oerjan invents Banana Feather, it sort of fits in here
|
|
|
264 2009-01-14.txt:19:56:47: <AnMaster> <ais523> because then you could change the syntax at runtime <-- Feather!
|
|
|
265 2009-01-20.txt:18:02:51: <AnMaster> ais523, what about feather? It could be both :P
|
|
|
266 2009-01-20.txt:18:02:58: <ais523> AnMaster: ah, Feather
|
|
|
267 2009-01-20.txt:18:08:17: <AnMaster> ehird, you mean like Feather? ;P
|
|
|
268 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"
|
|
|
269 2009-01-20.txt:18:09:00: <AnMaster> ais523, oh, interesting, I would never have ended up with feather by that
|
|
|
270 2009-01-22.txt:15:21:10: <ais523> my other big new esolang project, besides Feather
|
|
|
271 2009-01-30.txt:15:14:56: <ehird> it's sort of like feather but not rly
|
|
|
272 2009-02-13.txt:21:49:18: * ais523 feather-dusters oerjan ----<<<
|
|
|
273 2009-02-15.txt:17:13:13: <ais523> oerjan: there's the method Feather uses
|
|
|
274 2009-03-01.txt:18:34:53: <AnMaster> ais523, any progress on Feather?
|
|
|
275 2009-03-08.txt:18:52:30: <ais523> or Feather and get people shouting at me to make some progress
|
|
|
276 2009-03-16.txt:18:47:45: <fizzie> Quetzalcoatl is the feathered snake. And couatl is a D&D monster that refers to that, and has the A symbol. So it's probably that.
|
|
|
277 2009-04-01.txt:23:04:26: <AnMaster> ais523, could you write Proud be written in Feather?
|
|
|
278 2009-04-01.txt:23:04:38: <ais523> no, Proud's uncomputable, Feather is not super-TC
|
|
|
279 2009-04-01.txt:23:04:46: <ais523> although Feather hurts my head, and I don't want my brain to explode right now
|
|
|
280 2009-04-01.txt:23:05:09: <cpt_obvious> wut's Feather?
|
|
|
281 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
|
|
|
282 2009-04-01.txt:23:07:00: <ais523> which is another reason not to explain Feather right now
|
|
|
283 2009-04-01.txt:23:07:12: <ais523> explaining Feather to someone /who is drunk/ probably would cause a fatality
|
|
|
284 2009-04-01.txt:23:07:12: <ehird> ais523: I don't know; alcohol may well improve perception of Feather
|
|
|
285 2009-04-01.txt:23:07:55: <cpt_obvious> WTF is Feather
|
|
|
286 2009-04-01.txt:23:08:08: <ehird> cpt_obvious: feather is like, like, like, a trip, except the drug is time, man
|
|
|
287 2009-04-01.txt:23:09:05: <ais523> seeing as nothing in Feather can ever change
|
|
|
288 2009-04-05.txt:12:25:40: <AnMaster_ipv6> ais523, I guess you could do it in Feather though?
|
|
|
289 2009-04-05.txt:12:25:57: <ais523> Feather doesn't really define its I/O environment at all
|
|
|
290 2009-04-09.txt:22:29:14: <AnMaster> ehird, I much prefer the feather way of making true always have been false, all the time along
|
|
|
291 2009-04-09.txt:22:31:58: <AnMaster> ais523, Feather is TC to parse right
|
|
|
292 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
|
|
|
293 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?
|
|
|
294 2009-04-09.txt:22:44:24: <AnMaster> btw why the name feather for it
|
|
|
295 2009-04-19.txt:17:45:13: <AnMaster> it's like feather then in that no one described it precisely enough for me to get a feeling of what it is like. Languages like that are like an itch (if you see what I mean).
|
|
|
296 2009-04-26.txt:19:08:14: <AnMaster> ais523, any progress on Feather
|
|
|
297 2009-04-29.txt:18:20:25: <fungot> AnMaster: ' that wouldn't be very nice, i'm fnord this is always done however fnord fnord: fnord those that have feathers, and bite, and those that have feathers, and bite, and those that have whiskers, and scratch.
|
|
|
298 2009-04-30.txt:00:59:07: <AnMaster> psygnisfive, what about Feather?
|
|
|
299 2009-04-30.txt:01:00:22: <AnMaster> psygnisfive, neither Feather or oklotalk are on the wiki. Trust me.
|
|
|
300 2009-05-28.txt:01:57:00: <coppro> ais523: what do the silver/gold medals and feathers on the level selection screen mean?
|
|
|
301 [too many lines; stopping]
|
