|
2489
|
1 2006-10-26.txt:22:32:57: <oerjan> not by dropping grouping of >< entirely i hope
|
|
|
2 2006-10-26.txt:23:43:14: <Razor-X> <oerjan> not by dropping grouping of >< entirely i hope
|
|
|
3 2006-10-26.txt:23:43:17: <Razor-X> <oerjan> not by dropping grouping of >< entirely i hope
|
|
|
4 2007-01-02.txt:02:15:46: <oerjan> One thing I suspect is that the booleans are entirely useless for computation - you cannot do anything with them other than comparing, giving you just a new boolean.
|
|
|
5 2007-01-12.txt:02:54:15: <oerjan> There's a library for it? Not entirely surprising.
|
|
|
6 2007-02-11.txt:22:28:31: <oerjan> but you need to take the number:string parsing entirely in lex
|
|
|
7 2007-02-17.txt:02:09:13: <oerjan> although not entirely.
|
|
|
8 2007-03-16.txt:23:42:03: <oerjan> i.e. the number is greater than Ackermann(1000,1000), which is itself an entirely computable number but still of massively "unphysical" size.
|
|
|
9 2007-03-29.txt:19:27:35: <oerjan> make ** into ^ and haskell can calculate it entirely
|
|
|
10 2007-05-30.txt:21:52:27: <oerjan> my body _belongs_ to me, but whether it _is_ me is something else entirely.
|
|
|
11 2007-06-05.txt:05:45:15: <oerjan> ok that has its uses, but at least a command should be entirely parsed before executed
|
|
|
12 2007-06-05.txt:05:52:09: <oerjan> so you cannot avoid ? ... ! entirely.
|
|
|
13 2007-07-19.txt:22:55:13: <oerjan> liber: i don't think your interpreter skips the loop entirely if the cell is 0 at the start
|
|
|
14 2007-07-21.txt:23:54:06: <oerjan> ihope: with monads, you can make it entirely incomprehensible! :D
|
|
|
15 2007-08-19.txt:17:55:11: <oerjan> almost, but not entirely unlike oklotalk?
|
|
|
16 2007-09-03.txt:03:31:48: <oerjan> almost, but not entirely unlike SUPER SEXY
|
|
|
17 2007-11-14.txt:21:13:58: <oerjan> it's not entirely gone anyhow...
|
|
|
18 2007-11-19.txt:16:21:31: <oerjan> although i don't think the original memory was _entirely_ lost
|
|
|
19 2007-11-20.txt:23:25:03: <oerjan> Sgeo_: irssi tries to summarize netsplits and netjoins, but sometimes it fails entirely and dumps a page of noise
|
|
|
20 2007-11-30.txt:07:10:31: <oerjan> it may not be entirely consistent, hm
|
|
|
21 2008-01-07.txt:14:01:51: <oerjan> isn't / entirely in the client...
|
|
|
22 2008-08-15.txt:21:51:24: <oerjan> you should understand that within the context of that comic, the cheese is entirely unsurprising
|
|
|
23 2008-09-06.txt:11:46:41: <oerjan> well it is pretty scientifically established that senses are not entirely reliable
|
|
|
24 2008-10-05.txt:23:38:37: <oerjan> "first function classes" is not entirely devoid of google hits
|
|
|
25 2008-10-16.txt:21:22:59: <oerjan> AnMaster: that's Nokian. _entirely_ different.
|
|
|
26 2008-10-20.txt:15:38:06: <oerjan> ais523: well the first one was apparently not entirely wrong, i guess?
|
|
|
27 2008-10-20.txt:20:12:56: <oerjan> (ok maybe TMI wasn't _entirely_ a joke)
|
|
|
28 2008-10-24.txt:02:47:56: <oerjan> i would assume fungot's implementation is entirely different
|
|
|
29 2008-11-13.txt:00:04:49: <oerjan> bsmntbombdood: well i have norwegian language setting but i don't really see why that should make you lose it entirely
|
|
|
30 2008-11-16.txt:23:15:47: <oerjan> so implementation is not going to be entirely efficient in theory
|
|
|
31 2009-01-21.txt:22:31:15: <oerjan> ais523: i'm not entirely fluent
|
|
|
32 2009-02-06.txt:22:08:20: <oerjan> it may not be entirely up-to-date it was just for my own use
|
|
|
33 2009-02-09.txt:18:50:15: <oerjan> i assume the second topic is not entirely accurate.
|
|
|
34 2009-04-07.txt:01:25:11: <oerjan> although if you reduce that million a bit, i'm not entirely sure
|
|
|
35 2009-04-22.txt:04:07:02: <oerjan> (ok not _entirely_ no parking, but still...)
|
|
|
36 2009-04-30.txt:17:06:18: <oerjan> maybe not entirely.
|
|
|
37 2009-04-30.txt:19:55:06: <oerjan> do you check file size in advance, or is the initial allocation entirely constant?
|
|
|
38 2009-05-10.txt:17:53:44: <oerjan> i fixed the boundary checks but i didn't make the prompting entirely compatible
|
|
|
39 2009-05-21.txt:17:37:42: <oerjan> i am not entirely sure that's accurate
|
|
|
40 2009-05-23.txt:21:28:12: <oerjan> ais523: we discussed earlier the case of ShaFuck with 3 bit BF encoding and mostly concluded _that_ was close to feasible, but that the ascii with no comments allowed wasn't unless you could break SHA-1 entirely
|
|
|
41 2009-06-13.txt:03:53:15: <oerjan> there is a slight problem that reversibility of CA's isn't entirely local
|
|
|
42 2009-06-19.txt:19:47:31: <oerjan> i'm not entirely sure about the o
|
|
|
43 2009-06-21.txt:22:01:04: <oerjan> and interestingly, it links to the norwegian "bruttonasjonalprodukt", which links back to the entirely different http://en.wikipedia.org/wiki/Measures_of_national_income_and_output
|
|
|
44 2009-06-21.txt:22:35:56: <oerjan> and i mean that entirely literally
|
|
|
45 2009-07-15.txt:15:13:49: <oerjan> ah interesting. the corresponding norwegian is entirely correct.
|
|
|
46 2009-09-01.txt:01:19:21: <oerjan> sensible people avoid caps entirely, you know
|
|
|
47 2009-09-05.txt:01:00:20: <oerjan> <ehird> (I secretly wish that one day, the web will be almost entirely Flash-based, and you will be forced to resort to using: gopher; no electricity; no running water; no surrounding society. Am I a bad person?)
|
|
|
48 2009-09-27.txt:03:11:02: <oerjan> i have this vague feeling you may not be entirely serious there
|
|
|
49 2009-10-04.txt:20:48:08: <oerjan> hm also danish has many voiced ending consonants where norwegian has unvoiced ones, although i'm not entirely sure which would be oldest...
|
|
|
50 2009-10-11.txt:01:40:17: <oerjan> oh i probably receive those too, i'm just not entirely sure
|
|
|
51 2009-10-25.txt:13:24:01: <oerjan> breath search is performed _entirely_ through whooshes, me thinks
|
|
|
52 2009-11-11.txt:16:10:41: <oerjan> 15:16:09 <M_Budgie> Does anyone know if there's a language made entirely out of pokemon references?
|
|
|
53 2009-11-14.txt:19:47:29: <oerjan> Rugxulo: we like to check if things are on wayback before removing them entirely
|
|
|
54 2009-12-17.txt:17:20:53: <oerjan> AnMaster: i think transitions on edges are prettier, because then input is entirely dual to output. in fact you can invert a nondeterministic transducer to translate back iirc
|
|
|
55 2010-01-04.txt:15:12:15: <oerjan> ok maybe not entirely
|
|
|
56 2010-02-12.txt:23:32:43: <oerjan> i'm not entirely sure of the specifics though
|
|
|
57 2010-02-13.txt:00:08:21: <oerjan> alise: you are aware that they are entirely dual in boolean logic?
|
|
|
58 2010-02-19.txt:18:06:20: <oerjan> which i _think_ means our u is rarer than the swedish one, i'm not entirely sure though
|
|
|
59 2010-02-24.txt:01:40:52: <oerjan> so not entirely quiet
|
|
|
60 2010-02-26.txt:22:29:57: <oerjan> uorygl: i am not _entirely_ convinced that your method works, you would need it to be a limit of an _increasing_ sequence of smaller ordinals
|
|
|
61 2010-03-10.txt:20:49:25: <oerjan> i'm not entirely sure there was any
|
|
|
62 2010-03-15.txt:01:46:20: <oerjan> but i would not positively rule it entirely out either
|
|
|
63 2010-03-27.txt:23:03:10: <oerjan> rapido: a name would only be a hash if it was derived entirely from the thing it named
|
|
|
64 2010-04-05.txt:01:11:22: <oerjan> it's not entirely unanswered, mind you
|
|
|
65 2010-04-14.txt:19:07:14: <oerjan> no it wasn't, it was entirely obvious
|
|
|
66 2010-04-23.txt:23:58:59: <oerjan> btw i was just outside looking at the sky, i had this eerie feeling that there were northern lights up there but that the sky was just too light to be entirely sure
|
|
|
67 2010-04-25.txt:00:45:03: <oerjan> i am not entirely sure but i think the cross-reference handling bits of LaTeX are not TeX, so if you want those you'll have to use LaTeX.
|
|
|
68 2010-05-07.txt:23:17:34: <oerjan> although it hasn't exactly been kept entirely out of #esoteric.
|
|
|
69 2010-05-10.txt:23:34:44: <oerjan> and we're of course ignoring alpha reduction entirely
|
|
|
70 2010-05-14.txt:15:42:42: <oerjan> i'm not entirely convinced emulating humans is the best recipe for friendliness. especially once you try to go _beyond_ human intelligence
|
|
|
71 2010-05-15.txt:21:22:57: <oerjan> augur: i am not entirely sure if soupdragon is a master troll or if alise is a master at being (or pretending to be) trolled
|
|
|
72 2010-06-14.txt:02:10:18: <oerjan> i'm not entirely sure proving the existence of some T and I is different from proving that Godel's specifically constructed ones fulfil it
|
|
|
73 2010-06-15.txt:14:36:37: <oerjan> strangely enough, not entirely. see the later superosity link.
|
|
|
74 2010-06-15.txt:14:36:54: <oerjan> almost, but not entirely, i guess.
|
|
|
75 2010-07-20.txt:19:48:58: <oerjan> encoding output is entirely contrary to the spirit of quines
|
|
|
76 2010-07-28.txt:06:53:55: <oerjan> well, an infinite class with entirely trivial check would be even better
|
|
|
77 2010-08-05.txt:17:36:49: <oerjan> sadly google is _disgustingly_ bad at crawling for entirely new esolangs
|
|
|
78 2010-08-25.txt:14:07:43: <oerjan> isn't it not entirely unlikely that the same bug that causes "that sword" to loop also causes it to be probable to start in the first place?
|
|
|
79 2010-09-09.txt:19:26:35: <oerjan> btw the scandal i mentioned the other day about ministers accepting fairly large private gifts has actually ended up with one of them possibly being investigated by the police, so it may not have been _entirely_ legal (btw they quickly changed the rules so from now it definitely is _not_ allowed)
|
|
|
80 2010-09-17.txt:01:12:07: <oerjan> i'm not entirely sure about this.
|
|
|
81 2010-10-10.txt:16:17:21: <oerjan> i was refering to my tradition, not to discrete math. i'm sure you're _entirely_ accurate there. yeah.
|
|
|
82 2010-10-14.txt:00:27:29: <oerjan> listen to pikhq, he is a man entirely without prejudices
|
|
|
83 2010-10-14.txt:00:38:51: <oerjan> it is in fact possible to tell the truth in an entirely counterproductive manner.
|
|
|
84 2010-10-14.txt:22:01:21: <oerjan> (vaguely because i'm not _entirely_ sure if it was him or his father)
|
|
|
85 2010-10-19.txt:22:02:10: <oerjan> it is of course not _entirely_ unknown for the logs to contain gaps these days :D
|
|
|
86 2010-11-27.txt:07:19:32: <oerjan> Sgeo: i'd hazard a guess any dual meaning is entirely intentional
|
|
|
87 2010-12-04.txt:18:48:56: <oerjan> actually i'm not entirely sure on the last point
|
|
|
88 2010-12-04.txt:23:56:51: <oerjan> entirely correct
|
|
|
89 2010-12-11.txt:00:38:36: <oerjan> they might have to use entirely different methods to build them 1 place shifted
|
|
|
90 2010-12-12.txt:01:52:37: <oerjan> although i'm not sure the estimate for stars is entirely accurate - red dwarf stars are hard to observe, but then that would give an underestimate
|
|
|
91 2010-12-22.txt:02:37:42: <oerjan> otoh the perl implementation may not be entirely correct on //.../ stuff, there was a discussion
|
|
|
92 2010-12-25.txt:06:14:15: <oerjan> oh it wasn't _entirely_ serious before, it just that someone yesterday made it ungrammatical
|
|
|
93 2010-12-31.txt:00:00:49: <oerjan> zzo38: my hunch is that Memfractal is turing complete, although i'm not entirely sure if four exits is enough or not
|
|
|
94 2011-01-04.txt:20:06:15: <oerjan> i think it is entirely physically possible
|
|
|
95 2011-01-06.txt:17:33:59: <oerjan> Vorpal: well it's not _entirely_ implausible that it caused something in elliott's setup to break ;D
|
|
|
96 2011-01-06.txt:21:14:08: <oerjan> i don't think that grep is entirely accurate...
|
|
|
97 2011-01-07.txt:03:17:09: <oerjan> well indeed it's not entirely impossible, you'd have to be a linguist and look at many languages to see how it was inherited
|
|
|
98 2011-01-08.txt:01:05:04: <oerjan> cheater00: none of my hands are entirely free of it
|
|
|
99 2011-01-11.txt:03:23:15: <oerjan> variable: hm. i could see why they'd want to use a different cutoff but not why they'd switch to another sort for large arrays entirely
|
|
|
100 2011-01-20.txt:18:40:29: <oerjan> elliott: i somehow doubt it's entirely deterministic
|
|
|
101 2011-01-22.txt:19:48:29: <oerjan> that wasn't something entirely new then though
|
|
|
102 2011-02-06.txt:13:23:45: <oerjan> it's entirely correct, it should try to run the x. my fault for putting a dummy variable there :D
|
|
|
103 2011-02-08.txt:16:20:55: <oerjan> ais523: um [[]] is entirely redundant, right?
|
|
|
104 2011-02-17.txt:21:21:35: <oerjan> <elliott> nescience: yeah, and perl fails at processing /dev/random too <-- ARE YOU ENTIRELY SURE OF THAT
|
|
|
105 2011-02-18.txt:16:24:52: <oerjan> in fact the logic could be entirely in the standalone * parsing
|
|
|
106 2011-02-19.txt:20:32:26: <oerjan> otoh that was an entirely "appropriate" response from you as well :)
|
|
|
107 2011-02-23.txt:00:11:06: <oerjan> i am not entirely sure of the tone of this comment :D
|
|
|
108 2011-02-23.txt:01:15:58: <oerjan> <elliott_> copumpkin: But, but, it's all OMG PERFORMANCE. <-- um bang patterns are entirely syntactic sugar
|
|
|
109 2011-02-24.txt:19:48:36: <oerjan> that's entirely accidental
|
|
|
110 2011-02-25.txt:17:51:28: <oerjan> fizzie: ooh, fusion cooking would take on an entirely new meaning!
|
|
|
111 2011-03-11.txt:20:36:38: <oerjan> and i'm not entirely sure, but without shift might also be less clever about following included content. (this is all just my impression.)
|
|
|
112 2011-03-14.txt:16:53:36: <oerjan> (note: not _entirely_ accurate)
|
|
|
113 2011-03-18.txt:17:47:20: <oerjan> <Gregor> Phantom_Hoover: Microcosm is a project that I refuse to make entirely my project, so it is as alive as other people are willing to let it be :P
|
|
|
114 2011-03-18.txt:19:33:50: <oerjan> LR -> Id may be coreturn for the list comonad, i'm not entirely sure
|
|
|
115 2011-03-23.txt:01:01:03: <oerjan> Basically Entirely Scrambled Text
|
|
|
116 2011-04-24.txt:19:01:08: <oerjan> elliott_: I CONSIDER IT ENTIRELY APPROPRIATE IN THIS CIRCUMSTANCE
|
|
|
117 2011-04-27.txt:22:02:06: <oerjan> as long as you all of 00 01 10 11 in your data, your order 1 markov chain should not be entirely predictable at least
|
|
|
118 2011-04-30.txt:23:47:30: <oerjan> as long as you don't use entirely raw 0-9 digits, that should work fine
|
|
|
119 2011-05-01.txt:20:03:39: <oerjan> i am not entirely sure, but i think the correct theorem may be something like ker A = (span(A^T))^{_|_}
|
|
|
120 2011-05-03.txt:05:36:47: <oerjan> lifthrasiir: there's this bug with //.../ which i never got around to fix since it's entirely useless if it looped as expected
|
|
|
121 2011-05-04.txt:00:21:14: <oerjan> also, licking vanilla sauce off aluminium foil turns out not to be entirely safe for lips
|
|
|
122 2011-05-08.txt:03:38:01: <oerjan> elliott: there could be an entirely hypothetical client which broke if you said "hi" as well
|
|
|
123 2011-05-20.txt:19:51:00: <oerjan> elliott: oh, liftMaybe is entirely consistent with the naming of liftIO
|
|
|
124 2011-05-22.txt:22:42:57: <oerjan> (well ok i'm not entirely certain)
|
|
|
125 2011-05-26.txt:07:53:57: <oerjan> oklopol: well there's also the putnam contest which is something entirely unrelated
|
|
|
126 2011-05-26.txt:22:21:24: <oerjan> <Vorpal> oerjan, rebase *shudder* <-- i am not entirely sure, but it may be close to the thing ghc insisted on using
|
|
|
127 2011-05-27.txt:05:18:08: <oerjan> so the instance Divs Z n False is fine, because it is determined entirely by input
|
|
|
128 2011-05-27.txt:05:19:38: <oerjan> but for Divs (S n) d r you need to calculate the result entirely in the context
|
|
|
129 2011-05-29.txt:01:35:53: <oerjan> ok another minor caveat is that the script doesn't actually have a main function, so it may not be entirely clear how to run the functions
|
|
|
130 2011-05-29.txt:02:03:41: <oerjan> lament: wait that wasn't a joke (entirely)?
|
|
|
131 2011-06-02.txt:12:03:55: <oerjan> i believe you can actually do unlambda IO programming without c entirely, but i haven't put my idea into practice
|
|
|
132 2011-06-07.txt:00:06:24: <oerjan> it occurs to me that would be an entirely correct Applicative instance to do it reversely, actually.
|
|
|
133 2011-06-09.txt:23:07:33: <oerjan> hm this reminds me of this idea i had, that maybe i don't actually exist more than a moment and every new moment i will be someone entirely different with different memories which might make it _seem_ like i am existing in a continuity
|
|
|
134 2011-06-13.txt:00:49:24: <oerjan> yes, Writer is entirely written in haskell
|
|
|
135 2011-06-14.txt:01:29:27: <oerjan> CakeProphet: well i'm not entirely sure about Standard ML, but in Ocaml you cannot pass parameters directly either, instead the functor is a member of the file module which can then apply to parameters
|
|
|
136 2011-06-25.txt:10:35:17: <oerjan> its entirely plausible what?
|
|
|
137 2011-06-27.txt:02:12:33: <oerjan> although the seq means it's not entirely equivalent to the standard Prelude
|
|
|
138 2011-06-27.txt:20:53:25: <oerjan> elliott: i remember enough of that discussion to note that is entirely reasonable in context
|
|
|
139 2011-06-30.txt:22:04:24: <oerjan> it is not entirely unreasonable to consider calculus to be the mindless part of the field of math otherwise called analysis
|
|
|
140 2011-07-03.txt:04:34:08: <oerjan> elliott: um r <- return ... should be entirely equivalent to let r = ... no ?
|
|
|
141 2011-07-06.txt:04:48:32: <oerjan> you misspelled ENTIRELY ACCURATE
|
|
|
142 2011-07-10.txt:18:48:01: <oerjan> Madk: btw i was wondering how you do the sphere wrapping, since there is no entirely clean way of doing so (we had a discussion on channel previously of what surfaces have 2d grid graphs on them and they had to have the same euler characteristic as the torus, and the sphere doesn't)
|
|
|
143 2011-07-11.txt:13:04:55: <oerjan> Taneb: which means they're not _entirely_ dual to each other, because they treat 0 and 1 differently
|
|
|
144 2011-07-15.txt:20:36:44: <oerjan> the curry mailing list doesn't seem to be entirely dead
|
|
|
145 2011-07-21.txt:21:06:45: <oerjan> for a value of not entirely approximately equal to "entirely not"
|
|
|
146 2011-07-25.txt:01:03:38: <oerjan> zzo38: it's sad that the Code Generation section is entirely missing links
|
|
|
147 2011-07-25.txt:19:57:41: <oerjan> entirely so
|
|
|
148 2011-07-26.txt:04:24:20: <oerjan> and i'm not entirely sure if there are some systems weaker than peano arithmetic (weak enough not to allow godel's proof) but still expressive enough to talk about their own consistency, and then maybe prove it.
|
|
|
149 2011-07-27.txt:00:28:00: <elliott> 04:24:20: <oerjan> and i'm not entirely sure if there are some systems weaker than peano arithmetic (weak enough not to allow godel's proof) but still expressive enough to talk about their own consistency, and then maybe prove it.
|
|
|
150 2011-07-27.txt:02:23:33: <oerjan> although after he is exiled from the world entirely, sauron takes over.
|
|
|
151 2011-07-27.txt:02:27:00: <oerjan> elliott: well the thing about him is that he is the only character in LoTR who is entirely unaffected by the ring, so it's easy to start speculating...
|
|
|
152 2011-07-27.txt:22:01:03: <oerjan> <CakeProphet> I'm not entirely sure how to represent a zipper in 2D
|
|
|
153 2011-08-02.txt:10:44:26: <oerjan> in denmark, it would probably be considered entirely appropriate for children.
|
|
|
154 2011-08-02.txt:10:45:28: <oerjan> in iran, it would probably be considered entirely appropriate as firewood.
|
|
|
155 2011-08-04.txt:19:21:15: <oerjan> i'm not entirely sure how much came of it. rishon _did_ collapse, but i'm not sure if it was agorans' fault
|
|
|
156 2011-08-07.txt:00:32:46: <oerjan> after the ]]]] point, the cells are *0 n m+1 for redoing (m=0 when starting an entirely new number) or *0 r 0 for halting
|
|
|
157 2011-08-13.txt:23:04:10: <oerjan> as it, whether you knew it or not, was entirely correct
|
|
|
158 2011-08-16.txt:06:31:58: <oerjan> it will ironically turn out that his notation is entirely consistent, but there is no way to express (\x y . x (x y)) in it
|
|
|
159 2011-08-22.txt:19:40:16: <oerjan> Taneb|Kindle: wait, did iwc remove the crossover table entirely? i thought it was in the archive pages...
|
|
|
160 2011-08-29.txt:21:30:26: <oerjan> unary - would be entirely sane if haskell didn't have sections.
|
|
|
161 2011-08-29.txt:21:31:55: <elliott> <oerjan> unary - would be entirely sane if haskell didn't have sections.
|
|
|
162 2011-09-02.txt:23:10:56: <oerjan> elliott: well you need _some_ way to prevent ghc from lifting print "hello world" entirely out of your carefully constructed context :P
|
|
|
163 2011-09-05.txt:01:22:05: <oerjan> myndzi: my point is that CakeProphet's case is entirely without any complications that i can see
|
|
|
164 2011-09-06.txt:04:10:54: <oerjan> the equivalence is not _entirely_ two-way, but you can convert a bf program with bounded cell size into a turing machine action table
|
|
|
165 2011-09-07.txt:23:39:53: <oerjan> i'm not entirely convinced of that
|
|
|
166 2011-09-09.txt:02:46:47: <oerjan> i am not entirely sure i want a TC system based on dying infants.
|
|
|
167 2011-09-09.txt:07:16:52: <oerjan> copumpkin: it is a required exercise in this channel to invent your own perfect system which looks entirely plausible as long as you keep it only in your head
|
|
|
168 2011-09-13.txt:23:25:45: <oerjan> if one nonterminal can consist entirely of another, then it's not safe to decrement
|
|
|
169 2011-09-16.txt:21:50:28: <oerjan> well harry potter may or may not be happening entirely within will shakespeare's mind...
|
|
|
170 2011-09-23.txt:20:29:03: <oerjan> zzo38: hyperdrive remains entirely hypothetical.
|
|
|
171 2011-09-30.txt:03:17:22: <oerjan> and it is not entirely clear to me exactly where the intervening m's should be
|
|
|
172 2011-09-30.txt:03:21:12: <oerjan> and which of BarrierT and BarrierT' should be the fundamental one is not entirely clear (except that the fundamental one should be data, not type, for instance reasons)
|
|
|
173 2011-10-02.txt:02:49:04: <oerjan> i am not entirely clear on what it allows, but basically to prove that two values are equal, you need to prove that their outer data constructors are equal, and then you can assume inductively what you want to prove for the inner parts
|
|
|
174 2011-10-02.txt:23:50:34: <oerjan> i seem to be almost entirely transfering from D and ) to P in emoticons these days
|
|
|
175 2011-10-04.txt:23:31:13: <oerjan> hm still zeppelins in iwc? the timeline cannot have been entirely normalized.
|
|
|
176 2011-10-25.txt:22:50:27: <oerjan> ais523: i am pretty sure he is entirely truthful
|
|
|
177 2011-11-04.txt:07:14:43: <oerjan> type must be entirely expandable at compile time
|
|
|
178 2011-11-09.txt:19:06:30: <oerjan> <tswebb> So b^a just plain doesn't make entirely much sense unless b is positive or a is an integer.
|
|
|
179 2011-11-10.txt:23:56:46: <oerjan> Gregor: so was the process table entirely full, or something?
|
|
|
180 2011-11-14.txt:02:32:30: <oerjan> "Worse, for reasons I have never entirely understood, the type-class hackery doesn't allow these brackets to nest as they should."
|
|
|
181 2011-11-14.txt:02:37:04: <elliott> <oerjan> "Worse, for reasons I have never entirely understood, the type-class hackery doesn't allow these brackets to nest as they should."
|
|
|
182 2011-11-16.txt:21:47:46: <oerjan> it's entirely lawless and evil
|
|
|
183 2011-11-16.txt:22:09:54: <oerjan> well not entirely circular, things have types that change between the levels...
|
|
|
184 2011-11-17.txt:00:04:51: <oerjan> otherwise they might be type erased entirely
|
|
|
185 2011-11-23.txt:21:51:35: <oerjan> elliott: well i get something entirely different with esolang no. 3 and wp no. 4
|
|
|
186 2011-11-28.txt:07:11:25: <oerjan> i _think_ @djinn makes an attempt to use as many arguments as possible, i.e. it's slightly preference for linear logic. so it's not _entirely_ useless.
|
|
|
187 2011-11-30.txt:10:01:12: <oerjan> that is, on a rectangular element, join is determined entirely by the Applicative functions.
|
|
|
188 2011-12-06.txt:01:08:15: <oerjan> Sgeo: i think a normal number can still be entirely predictable. at least for a single base this is true. e.g. 0.12345678910111213... is normal.
|
|
|
189 2011-12-10.txt:13:28:44: <oerjan> <monqy> 42 is such a boring fake age <-- in about half a year i shall be entirely fake. yay!
|
|
|
190 2011-12-15.txt:21:18:03: <oerjan> ais523: well ok if the pseudo means entirely predictable rather than imperfect.
|
|
|
191 2011-12-17.txt:20:51:24: <oerjan> imagine a world in which the latest research findings were always entirely correct until contradicted by a later one.
|
|
|
192 2011-12-18.txt:04:38:05: <oerjan> well iteratees are fairly new and i think still not entirely intuitive, and before those the alternative was to do everything in IO, which some may consider worse
|
|
|
193 2011-12-25.txt:12:42:13: <oerjan> i have the sense _someone_ is in way over their head in today's mezzacotta. i'm just not entirely sure who.
|
|
|
194 2011-12-29.txt:19:36:43: <oerjan> it is not entirely impossible i was wrong at that point, and hadn't realized a fix was needed yet
|
|
|
195 2012-01-01.txt:19:38:47: <oerjan> it's not _entirely_ a free theorem btw, you could do fmap' f = fmap (f $!)
|
|
|
196 2012-01-02.txt:19:19:09: <oerjan> i'm not _entirely_ sure what it is with bottom
|
|
|
197 2012-01-02.txt:21:21:08: <oerjan> elliott: i may not be entirely sure about the term
|
|
|
198 2012-01-05.txt:14:42:26: <oerjan> this baby blender is entirely morally neutral
|
|
|
199 2012-01-07.txt:21:40:24: <oerjan> fizzie: hm it's not entirely obvious that the transform will give triangles and upside down ones the same shape afterward (of course you can probably choose the transform to give what Phantom_Hoover said)
|
|
|
200 2012-01-08.txt:00:07:42: <oerjan> fizzie: well not _entirely_ sure
|
|
|
201 2012-01-09.txt:01:55:30: <oerjan> i sense that the test might not be entirely successful.
|
|
|
202 2012-01-18.txt:06:44:14: <oerjan> <kallisti> this is a bidirectional loop. it's not entirely clear which direction the projectile is going. intuitively it goes back and forth between the two arrows.
|
|
|
203 2012-01-25.txt:11:14:14: <oerjan> but against someone else who chooses entirely randomly, you cannot.
|
|
|
204 2012-01-29.txt:20:52:18: <oerjan> after i called them, the problem stopped almost entirely, until now >_<
|
|
|
205 2012-01-29.txt:20:52:57: <oerjan> it's not _entirely_ similar though, but that may be just the new router not being completely reset like the old one was.
|
|
|
206 2012-02-01.txt:13:41:45: <oerjan> i spent a while reloading it yesterday and i'm _still_ not entirely sure i got all of them. almost sure, though.
|
|
|
207 2012-02-01.txt:15:27:38: <oerjan> the only exception i recall is that they once changed it entirely for April 1.
|
|
|
208 2012-02-01.txt:22:58:01: <oerjan> @tell Taneb I can see how "The next character is read" might give you that impression though - but note that (I clearly recall) the initial inspiration for dupdog was the idea of two irc bots reacting to each other's lines as entirely new commands, for which such a remembering of position doesn't make sense.
|
|
|
209 2012-02-04.txt:20:16:47: <oerjan> <Taneb> Alas, the most famous person that there's rumours I'm related to is me. <-- i vaguely recall i'm supposedly related to some norwegian actor or something, but i'm not entirely sure who it was.
|
|
|
210 2012-02-06.txt:20:01:10: <oerjan> i'm not entirely sure what N is at this point
|
|
|
211 2012-02-07.txt:22:41:43: <oerjan> i don't think converting it entirely into hackiki is in the plans...
|
|
|
212 2012-02-13.txt:21:48:14: <oerjan> i'm not entirely sure i'm right about the wire-crossing one
|
|
|
213 2012-02-15.txt:06:37:11: <oerjan> <ais523> ah, you have to love the Internet: cia.gov gets DDOSed, Anonymous aren't entirely sure whether they did it or not
|
|
|
214 2012-02-18.txt:12:30:48: <oerjan> it's entirely possible to make a tree instance which appends recursively
|
|
|
215 2012-02-18.txt:20:50:43: <oerjan> fizzie: i can assure you that elliott's translations are entirely appropriate to the original meaning.
|
|
|
216 2012-02-18.txt:21:36:29: <oerjan> although i should point out the order of the language list is not entirely charset based.
|
|
|
217 2012-02-21.txt:14:33:18: <oerjan> ("just" is not entirely appropriate there - they are supposedly more than 90% of the energy released. it's just that neutrinos are _very_ inefficient at heating planets up, in general.)
|
|
|
218 2012-02-23.txt:20:53:05: <oerjan> oh and i sort of don't like that the color for entirely new lines is the same as the color for things that haven't changed
|
|
|
219 2012-02-29.txt:22:40:12: <oerjan> i'm not entirely sure of the perfectly elliotic spacing of [...]
|
|
|
220 2012-03-11.txt:12:03:41: <oerjan> there's a problem with that, though - it gobbles up a 0 at the end, which is awkward to replace. the entire factory construction grew out of the attempt to replenish that zero. (i'm still not entirely convinced there isn't a simpler way.)
|
|
|
221 2012-03-13.txt:20:14:52: <oerjan> zzo38: i don't know, i'm just not assuming i'm entirely idiomatic.
|
|
|
222 2012-03-16.txt:12:14:28: <oerjan> does it count as trolling if it's almost entirely for humor in the first place.
|
|
|
223 2012-04-05.txt:16:33:27: <oerjan> in fact i'm not entirely sure it was solved. should look it up...
|
|
|
224 2012-04-05.txt:17:16:21: <oerjan> (Odd-Even is an _entirely_ plausible norwegian name.)
|
|
|
225 2012-04-05.txt:17:19:00: <oerjan> no. the quote may not be entirely true.
|
|
|
226 2012-04-07.txt:16:50:33: <oerjan> unless the problem decides to disappear entirely from the nvg window as well
|
|
|
227 2012-06-08.txt:00:39:49: <oerjan> well unless it misses earth entirely
|
|
|
228 2012-07-02.txt:20:59:05: <oerjan> i... may not be entirely sure of the difference.
|
|
|
229 2012-07-04.txt:20:53:26: <oerjan> almost, but not entirely unlike tea. and the higgs boson.
|
|
|
230 2012-07-10.txt:19:49:48: <oerjan> oh wait ghc doesn't actually drop the numeric requirement entirely :( it just adds Show, Eq, and Ord.
|
|
|
231 2012-08-01.txt:19:18:48: <oerjan> it is not entirely unlikely they didn't check every city
|
|
|
232 2012-08-22.txt:09:56:47: <oerjan> "I am sorry but this is preposterous. Our company uses bonobos, an entirely different species."
|
|
|
233 2012-09-01.txt:20:18:35: <oerjan> ...that may not be entirely correct.
|
|
|
234 2012-09-04.txt:01:23:57: <oerjan> unless it was deleted entirely
|
|
|
235 2012-09-16.txt:18:33:38: <oerjan> basically v, which is borrowed from unlambda, is a function which is entirely unusable in a pure language without continuations
|
|
|
236 2012-09-23.txt:08:38:29: <oerjan> 00:25:53: <Sgeo> I don't entirely get what happened with /tmp/junk
|
|
|
237 2012-10-04.txt:23:26:45: <oerjan> and on the entirely other side are the template haskell based quasi-quotes which allows you to make any syntax you want. (as long as you don't need the string |] in it.)
|
|
|
238 2012-10-07.txt:18:23:01: <oerjan> it's not _entirely_ unlikely someone put that exact text into google translate before.
|
|
|
239 2012-11-21.txt:21:59:54: <oerjan> (well, parametricity not being entirely compatible)
|
|
|
240 2012-12-07.txt:21:26:37: <oerjan> FireFly: oh it is? well lambdabot isn't entirely utf-8 clean i guess.
|
|
|
241 2012-12-07.txt:21:30:16: <oerjan> FireFly: or possibly lambdabot hasn't been updated on this since ghc got an entirely new system for choosing encoding
|
|
|
242 2012-12-09.txt:00:56:21: <oerjan> no i very vaguely understand lens, which is something entirely different.
|
|
|
243 2012-12-14.txt:07:35:59: <oerjan> well, the middle name may not be _entirely_ correct.
|
|
|
244 2012-12-14.txt:20:50:41: <oerjan> <fizzie> The goal of this style was to create new rules. <-- well agora had a frankenstein rule once, which was not _entirely_ dissimilar.
|
|
|
245 2012-12-17.txt:12:10:49: <ais523> <oerjan> most likely some feather operation went wrong and duplicated a version retroactively instead of replacing it ← this is entirely possible, you can even do it intentionally if you feel like it; the easiest way is to retroactively set an object to something that contains a copy of itself
|
|
|
246 2012-12-19.txt:21:38:17: <oerjan> hagb4rd: entirely equivalent afaik
|
|
|
247 2012-12-31.txt:23:53:46: <oerjan> the worst thing is, i'm entirely sober
|
|
|
248 2013-01-03.txt:01:43:09: <oerjan> the > means i'm not _entirely_ serious.
|
|
|
249 2013-01-13.txt:02:54:29: <oerjan> i have a hunch that polymorphic recursion is the main thing preventing you from implementing haskell typeclasses entirely at compile time like i think C++ templates do
|
|
|
250 2013-01-16.txt:06:59:23: <oerjan> ais523: also any algebraic structure defined entirely by operations and equalities between them can be degenerate. fields are not among those because they have the rule that division only needs to exist when not by 0, and moreover they require 0 /= 1 explicitly just to be sure.
|
|
|
251 2013-01-16.txt:07:02:51: <oerjan> (unless you go for an entirely object-free formulation)
|
|
|
252 2013-01-24.txt:23:07:10: <oerjan> shachaf: i wasn't being entirely sreiosu in the two pervious sentiwtf is with my typing
|
|
|
253 2013-01-26.txt:15:28:30: <oerjan> ah. then i entirely sympathize.
|
|
|
254 2013-02-01.txt:21:22:43: <oerjan> ok i tried some more, and failed for an entirely different reason: `ls wisdom sorts case-insensitively and ignores non-alphanum characters if there are any alphanum ones. so there is no way to get the message _first_. i guess i could pad with AAAAAA to get it nearly first.
|
|
|
255 2013-02-12.txt:05:00:42: <oerjan> in that particular case, you are entirely correct.
|
|
|
256 2013-02-15.txt:18:52:39: <oerjan> conjugate of B by A, more precisely. or possibly by A⁻¹, i don't think the sign convention is entirely consistent
|
|
|
257 2013-02-17.txt:09:42:47: <oerjan> now i just thought of this thing - what if you don't have _entirely_ random numbers, but instead get the output of a markov model encoded in another FSM (hi fungot)
|
|
|
258 2013-02-19.txt:19:15:03: <oerjan> elliott: i am not entirely convinced it isn't "higher order primitive recursive", anyhow, since epsilon_0 _is_ the limit of omega^omega^... so you should be able to do something based on the height of that...
|
|
|
259 2013-02-20.txt:10:28:42: <oerjan> no. that's still entirely reversible.
|
|
|
260 2013-02-20.txt:10:35:00: <oerjan> x = x xor y is an entirely reversible operation when x and y don't share
|
|
|
261 2013-02-21.txt:13:51:43: <oerjan> elliott: this has gone on far enough, and although shachaf _has_ been obnoxious deleting bin/list entirely, you are being obnoxious too if you keep this on
|
|
|
262 2013-02-24.txt:13:20:14: <oerjan> (it should be entirely equivalent semantically, i think)
|
|
|
263 2013-02-24.txt:13:23:25: <oerjan> FreeFull: i think we just jumped the shark but i'm not entirely sure where
|
|
|
264 2013-03-01.txt:02:01:42: <oerjan> an esolang based entirely on misbehaving cheating quines?
|
|
|
265 2013-03-04.txt:00:19:21: <oerjan> FreeFull: entirely redundant semantically there, of course
|
|
|
266 2013-03-10.txt:22:20:17: <oerjan> <Sgeo> Is it bad that I don't entirely understand FlexibleContexts UndecidableInstances etc., and plan on letting GHC tell me if I ever need them?
|
|
|
267 2013-03-14.txt:08:48:02: <oerjan> yes, yes they are. so i'm not _entirely_ sure it would be worse. but it would certainly ruin my daily restaurant visit.
|
|
|
268 2013-03-17.txt:00:07:56: <oerjan> that wisdom may not be entirely accurate, i thought that latest addition was a bit fishy
|
|
|
269 2013-03-23.txt:20:48:43: <oerjan> `log entirely fictitious
|
|
|
270 2013-03-23.txt:20:49:14: <HackEgo> 2013-03-23.txt:20:48:43: <oerjan> `log entirely fictitious
|
|
|
271 2013-03-23.txt:20:49:19: <oerjan> `pastlog entirely fictitious
|
|
|
272 2013-03-23.txt:20:52:47: <oerjan> `pastelogs oerjan>.*entirely
|
