00:03:45 Also, aaaah I don't have access to a computer from which I can comfortably program 00:04:17 tromp: me too (programming is uncomfortable) 00:04:20 uh 00:04:21 atriq: 00:04:29 tromp: sorry 00:05:19 Well, we can not program comfortably together, or something 00:06:01 np, elliott:-) 00:06:13 atriq: I'm not ready for that kind of commitment 00:07:08 elliott_: :( but I understand 00:12:01 -!- Daan has quit (Ping timeout: 260 seconds). 00:14:13 -!- Daan has joined. 00:16:35 -!- yorick_ has changed nick to yorick. 00:23:29 -!- TwoSwords has joined. 00:24:36 -!- Daan has quit (Ping timeout: 252 seconds). 00:29:52 -!- MoALTz_ has joined. 00:32:46 -!- MoALTz has quit (Ping timeout: 250 seconds). 00:39:20 hellørjan. I'm now stuck with the makalösa manicken in my head, and discovered the Real Group by the same occasion the other day. 00:40:29 @tell impomatic congrats! your first real quote in the Infamous PDF! 00:40:29 Consider it noted. 00:41:25 Does anyone have any advice on starting a nomic? 00:41:55 Yeah, have extroardinary friends. 00:42:23 TwoSwords: great, that's step 1 complete 00:42:26 What's step 2 00:42:38 atriq: shuffle a few decks of apples to apples and fluxx and CAH and bridge together, with a few tarot major arcana mixed in for good form. 00:43:03 Hold on. 00:44:22 TwoSwords: great, I can do that 00:44:48 boily: "impomatic never did anything weird enough to get into this database." <-- change "never" to "once" ;-) 00:46:21 `? impomtic 00:46:21 impomtic? ¯\(°_o)/¯ 00:46:24 `? impomatic 00:46:25 impomatic never did anything weird enough to get into this database. 00:47:07 `? atriq 00:47:08 atriq or two 00:47:17 int-e: ain't gonna happen. otoh, I can add an additional footnote hth 00:47:20 oh no, a pun 00:47:28 int-e: if you think of something better feel free 00:47:41 `? Taneb # is my main nick 00:47:41 Taneb # is my main nick? ¯\(°_o)/¯ 00:47:47 `run ? Taneb # is my main nick 00:47:48 bash: a: command not found 00:47:51 `run \? Taneb # is my main nick 00:47:51 Taneb is not elliott, no matter who you ask. He also isn't a rabbi although he has pretended in the past. He has at least two backup keyboards, and five genders. (See also: tanebventions) 00:48:42 int-e: there, a footnote. 00:49:03 Nope. I remember seeing someones archived game (looked well kept) maybe a week ago. But I cannot remember the link. 00:49:26 Apache Wave would be a great tool for Nomic 00:49:36 Apache Wave would be great if anyone used it :( 00:50:08 boily: excellent 00:50:11 I miss google wave :( 00:50:23 * int-e waves at atriq 00:50:35 int-e: thanks, but it's not the same 00:50:38 -!- int-e has changed nick to go0gle. 00:50:42 * go0gle waves at atriq 00:50:44 -!- go0gle has changed nick to int-e. 00:50:55 :) 00:51:15 and that reveals that some smartfungot out there uses the google /nick éhontément. 00:51:16 boily: look at everything2.com at the toplevel? you're just looking for a paper. it's too simple, yet. 00:53:01 -!- Daan has joined. 00:54:08 -!- TwoSwords has quit (Ping timeout: 255 seconds). 00:54:35 Dootbot, what are your thoughts on fungot? 00:54:36 TieSoul-mobile: am i missing something? is it happening through some automatic update of the site is pretty fucked up: http://www.misterkitty.org/ extras/ stupidcovers/ fnord 00:54:36 TieSoul-mobile: !befunge it's scary those? know! 438 "olleH">:#,_@ not gonna Iwam the tired, size things /me for. 00:54:41 -!- ^v has quit (Quit: Leaving). 00:55:00 -!- ^v has joined. 00:55:55 fungot: die 00:55:55 int-e: making its author like looking like a random windows glitch 00:56:13 wait found it. 00:56:20 http://agora-notary.wikidot.com/ 00:56:21 * boily mapoles int-e. “don't diss the Fungot!” 00:57:14 boily: it did use the f-word, I was merely defeding myself. 00:57:25 -!- Daan has changed nick to TwoSwords. 00:58:09 -!- Phantom_Hoover has joined. 00:59:29 -!- TwoSwords has quit. 00:59:37 boily: *MWAHAHAHAHAHA* (det är en evighetskmaskin!) 01:02:51 int-e: technically the wisdom and the quotes are not the same database hth 01:06:10 darn he left before i could tell em agora is still alive 01:06:15 *e 01:06:46 Agora is still alive!? 01:06:56 certainly 01:07:13 Also what is that loud beeping noise 01:07:20 although it's having trouble filling its offices lately 01:07:53 hm that may be the universe warning you not to let me suck you into agora. (i'm just watching btw.) 01:08:45 IT BEEPS LOUDLY 01:08:46 atriq: what kind of beeping? you'll have to be more precise hth 01:08:54 It may be a fire alarm 01:09:05 At family house, they've made changes 01:09:07 then it's a Maybe Fire Alarm. 01:09:10 Like having a fire alarm 01:09:17 oerjan: I know. 01:12:47 -!- atriq has quit (Quit: Page closed). 01:21:55 -!- Daan has joined. 01:22:16 darn he left before i could tell em agora is still alive 01:22:52 Nomic wise? 01:23:11 yes 01:23:47 A game or the community. Either would be impressive. 01:24:23 well people come and go 01:24:31 that site is just a site to track the contracts that was used by a recordkeeper once 01:24:36 it's not an archive of the game proper or anything 01:25:01 Ah. 01:25:05 elliott_ was a player until recently 01:25:22 i'm on the lists but just watching 01:26:23 www.agoranomic.org is more official 01:27:29 20years 01:33:31 -!- contrapumpkin has changed nick to copumpkin. 01:43:07 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 01:45:41 time to plastify my teeth. 'night all! 01:46:00 -!- boily has quit (Quit: PLASMODIC CHICKEN). 01:50:41 <^v> boily, wot 01:51:52 don't question boily's sanity-preserving measures tdnh 01:53:41 -!- Tod-Autojoined has changed nick to TodPunk. 02:00:32 -!- Ando has joined. 02:00:40 ^v: perhaps boily prefers grinding plastic over grinding teeth 02:00:44 -!- Daan has quit (Ping timeout: 250 seconds). 02:48:26 -!- conehead has quit (Quit: Textual IRC Client: www.textualapp.com). 02:52:10 -!- mauris has quit (Ping timeout: 264 seconds). 02:54:39 -!- Daan has joined. 02:56:00 -!- Ando has quit (Ping timeout: 246 seconds). 03:07:35 -!- mauris has joined. 03:43:42 fizzie: aren't finnish wild strawberries delicious 03:43:49 so much better than other strawberries 03:45:10 I want to sing a song about mono-traversable to the same tune as Mother Necessity 03:45:47 mono-traversable is scow 03:46:13 A flat-bottomed boat with a blunt bow? 03:46:19 that too 04:04:15 -!- mauris has quit (Ping timeout: 246 seconds). 04:48:59 -!- tromp has quit (Read error: Connection reset by peer). 04:50:30 -!- FreeFull has quit (Ping timeout: 250 seconds). 04:51:56 -!- FreeFull has joined. 05:10:04 -!- Ando has joined. 05:12:42 -!- Daan has quit (Ping timeout: 250 seconds). 05:49:31 -!- MoALTz__ has joined. 05:51:28 -!- MoALTz has joined. 05:52:03 -!- MoALTz_ has quit (Ping timeout: 246 seconds). 05:53:57 -!- MoALTz__ has quit (Ping timeout: 245 seconds). 05:54:55 -!- newsham_ has changed nick to newsham. 06:07:03 -!- oerjan has quit (Quit: leaving). 06:13:58 shachaf: Yes. 06:29:05 -!- Daan has joined. 06:30:36 -!- Ando has quit (Ping timeout: 250 seconds). 06:44:34 -!- TieSoul-mobile has quit (Ping timeout: 250 seconds). 06:57:07 -!- Ando has joined. 06:58:24 -!- Daan has quit (Ping timeout: 260 seconds). 07:18:11 data (f :|: g) x = L (f x) | R (g x) 07:18:24 Looks so much like a function definition 07:18:28 Except that | 07:23:54 -!- mazelrella has left ("Leaving"). 07:27:15 wait, that's actually possible? 07:27:19 -!- MoALTz has quit (Quit: Leaving). 07:27:38 Why not? 07:28:30 how do you use that? 07:28:51 (Maybe :|: []) Int 07:29:10 I would call it :+: 07:30:01 Haskell functors are even a monoidal category with (:+:) and Void1 07:30:11 (And also with :*: and Proxy.) 07:30:41 That was probably not helpful to say. 07:31:47 myname: operators which start with : are reserved for types 07:32:52 ah 07:33:26 what does :*: does there? f . g x? 07:33:43 shachaf: as an american I find the native Finnish berries sometimes more sour than I really expect. 07:34:03 :*: is product, (f x, g x) 07:34:15 :.: is composition, f (g x) 07:34:16 ah 07:34:24 and +? 07:34:31 That one makes a monoidal category too. But everyone knows that one. 07:34:40 :+: is sum, Either (f x) (g x) 07:35:17 i don't get the difference between + and | in that context 07:35:50 No difference. That's why I said I would call it :+: 07:36:08 ah 07:36:34 interesting 07:44:28 -!- tromp has joined. 08:38:22 -!- Tahetark has joined. 08:38:56 Hello. 08:41:23 Are there any cellular automatas made to efficiently simulate a turing machine? 08:42:08 By efficiently I mean, fast and with reasonably small space, Conway's turing machine looks kind of slow 08:42:18 Don't know about efficiently, but Wolfram has done a lot of work in that araa. 08:42:40 yeah, conway is awful for that. 08:43:26 I think rule... 130 (1d ca is turing capable) 08:44:02 110 sorry 08:45:48 thanks 08:46:20 http://mathworld.wolfram.com/UniversalCellularAutomaton.html best place to look. 08:46:45 ugh, one of these days I need to buckle down and write some automata 08:47:07 or evolve them 08:47:20 evolve finite tree automata? 08:47:23 seems hard 08:47:34 I know what I need to do. It's just going to be pain 08:47:51 easiest thing in the world, as long if you have all the time in the world 08:48:02 actually should probably write some computer code for this 08:48:03 what's your goal? 08:48:23 to understand equation systems defining minor-closed classes of graphs 08:48:36 to do this I need to produce some, and to do that I need to generate some automata 08:48:53 (for any but the most trivial of classes) 08:49:11 sounds complicated. 08:49:38 yes 09:01:40 -!- clog_ has joined. 09:10:03 -!- Taneb- has quit (*.net *.split). 09:10:04 -!- weissschloss has quit (*.net *.split). 09:10:04 -!- ion has quit (*.net *.split). 09:10:04 -!- clog has quit (*.net *.split). 09:12:47 -!- Taneb has joined. 09:17:00 -!- ion has joined. 09:17:42 :3 09:17:45 hi 09:20:24 hi 09:23:27 -!- weissschloss has joined. 09:27:15 -!- Patashu has joined. 09:36:43 hi 09:37:38 hi 10:05:09 -!- Ando has quit (Ping timeout: 240 seconds). 10:07:59 -!- impomatic_ has joined. 10:08:45 What's the name for a binary tree where all leaf nodes are the same distance from the root? 10:11:28 Perfect? 10:15:09 Thanks, that seems to fit the description. 10:19:44 it's sad that we don't use fruit metaphors for trees 10:25:09 The full/perfect/complete triplet gets slightly mixed up by different authors, I believe. 10:32:44 \o/ $37.95 to read one article 10:32:45 | 10:32:45 /´\ 10:34:41 * impomatic_ attempts to describe a Core War binary imp launch in terms of a perfect binary tree! 10:41:48 -!- Patashu has quit (Disconnected by services). 10:41:48 -!- Patashu_ has joined. 10:44:45 -!- Patashu_ has quit (Remote host closed the connection). 10:44:58 data Froo f a = Pure a | Froo (Froo f (f a)) 10:45:01 -!- Patashu has joined. 10:51:16 -!- sebbu has quit (Ping timeout: 260 seconds). 10:52:49 -!- sebbu has joined. 10:53:28 -!- sebbu has quit (Changing host). 10:53:28 -!- sebbu has joined. 11:16:14 -!- Tahetark has quit (Quit: Page closed). 11:18:13 -!- boily has joined. 11:49:00 -!- Phantom_Hoover has joined. 12:03:32 -!- doesthiswork1 has quit (Quit: Leaving.). 12:05:00 -!- boily has quit (Quit: ¯¯¯¯¯¯¯¯). 12:59:04 -!- mauris has joined. 13:00:12 ( :t Maybe . List 13:00:12 Maybe . List : Type -> Type 13:00:21 < shachaf> :.: is composition, f (g x) – ↑ 13:02:23 -!- Sgeo_ has quit (Read error: Connection reset by peer). 13:29:39 -!- Patashu_ has joined. 13:29:39 -!- Patashu has quit (Disconnected by services). 13:39:09 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 13:53:05 -!- Patashu has joined. 13:56:18 -!- Patashu_ has quit (Ping timeout: 260 seconds). 13:56:19 -!- Patashu has quit (Remote host closed the connection). 13:56:39 -!- Patashu has joined. 14:17:18 -!- Patashu has quit (Ping timeout: 260 seconds). 14:41:15 -!- sebbu has quit (Ping timeout: 246 seconds). 14:49:34 -!- sebbu has joined. 14:52:27 -!- Jafet has left. 14:53:28 -!- Jafet has joined. 15:10:46 -!- nycs has joined. 15:27:29 -!- doesthiswork has joined. 15:28:49 -!- mihow has joined. 15:36:08 -!- ski has joined. 15:41:00 -!- conehead has joined. 15:43:35 -!- doesthiswork has quit (Quit: Leaving.). 15:51:40 -!- lollo64it has joined. 15:53:57 -!- Lorenzo64 has joined. 16:09:13 -!- Frooxius has quit (Read error: Connection reset by peer). 16:09:27 -!- Frooxius has joined. 16:13:59 -!- Tod-Autojoined has joined. 16:17:26 -!- Lorenzo64 has quit (Quit: Leaving). 16:17:30 -!- yorick_ has joined. 16:18:05 -!- DootBot has quit (Remote host closed the connection). 16:18:06 -!- DootBot has joined. 16:18:19 -!- J_Arcane_ has joined. 16:18:21 -!- TodPunk has quit (Read error: Connection reset by peer). 16:18:21 -!- nycs has quit (Read error: Connection reset by peer). 16:18:21 -!- yorick has quit (Quit: No Ping reply in 180 seconds.). 16:18:22 -!- J_Arcane has quit (Read error: Connection reset by peer). 16:18:29 -!- J_Arcane_ has changed nick to J_Arcane. 16:19:04 -!- impomatic_ has quit (Ping timeout: 240 seconds). 16:20:49 -!- DootBot has quit (*.net *.split). 16:20:49 -!- ion has quit (*.net *.split). 16:20:50 -!- tromp has quit (*.net *.split). 16:20:50 -!- copumpkin has quit (*.net *.split). 16:20:50 -!- TieSoul has quit (*.net *.split). 16:20:50 -!- lambdabot has quit (*.net *.split). 16:20:50 -!- heroux has quit (*.net *.split). 16:20:50 -!- qlkzy has quit (*.net *.split). 16:20:50 -!- hogeyui__ has quit (*.net *.split). 16:20:50 -!- int-e has quit (*.net *.split). 16:20:50 -!- shachaf has quit (*.net *.split). 16:21:41 -!- lollo64it has quit (Write error: Connection reset by peer). 16:22:38 -!- TieSoul has joined. 16:22:38 -!- ion has joined. 16:22:38 -!- tromp has joined. 16:22:38 -!- copumpkin has joined. 16:22:38 -!- lambdabot has joined. 16:22:38 -!- heroux has joined. 16:22:38 -!- qlkzy has joined. 16:22:38 -!- hogeyui__ has joined. 16:22:38 -!- int-e has joined. 16:22:38 -!- shachaf has joined. 16:24:55 -!- Lorenzo64 has joined. 16:30:03 -!- not^v has joined. 16:32:15 -!- DootBot has joined. 16:41:16 -!- DootBot has quit (Read error: Connection reset by peer). 16:41:48 -!- DootBot has joined. 16:44:52 -!- jameseb- has joined. 16:45:56 -!- jameseb has quit (Quit: ZNC - http://znc.in). 16:51:26 -!- Phantom_Hoover has joined. 16:51:36 -!- AnotherTest has joined. 16:53:55 -!- DootBot has quit (Remote host closed the connection). 16:59:53 -!- DootBot has joined. 17:00:06 !brainfuck ++++++++++++++++++++++++++++. 17:00:06 17:00:10 !brainfuck ++++++++++++++++++++++++++++++++++++++++++. 17:00:10 * 17:00:16 !brainf*** ++++++++++++++++++++++++++++++++++++++++++. 17:00:16 * 17:00:21 !brainfart ++++++++++++++++++++++++++++++++++++++++++. 17:00:22 * 17:00:27 !brainflip ++++++++++++++++++++++++++++++++++++++++++. 17:00:27 * 17:02:32 -!- DootBot has quit (Remote host closed the connection). 17:02:59 -!- DootBot has joined. 17:14:08 -!- Frooxius has quit (Quit: *bubbles away*). 17:16:30 -!- int-e has quit (Ping timeout: 255 seconds). 17:17:07 -!- int-e has joined. 17:22:52 -!- yorick_ has changed nick to yorick. 17:23:24 -!- not^v has quit (Read error: Connection reset by peer). 17:23:33 -!- Sprocklem has quit (Ping timeout: 240 seconds). 17:23:47 -!- not^v has joined. 17:28:37 -!- conehead has quit (Quit: Computer has gone to sleep). 17:36:22 -!- Phantom__Hoover has joined. 17:36:56 -!- Frooxius has joined. 17:39:46 -!- Phantom_Hoover has quit (Ping timeout: 250 seconds). 17:40:24 -!- conehead has joined. 17:47:33 -!- mihow has quit (Quit: mihow). 17:52:21 -!- mihow has joined. 18:18:39 -!- MoALTz has joined. 18:28:09 rb> 5 ** 99 18:28:09 1577721810442023610823457130565572459346412870218046009540557861328125 18:28:46 rb> "Hello" + 523.chr('UTF-8') 18:28:46 Helloȋ 18:38:59 I was hoping 1.0 would be a method call, but looks like it’s not. 18:39:29 rb> dootbot.part('#esoteric') 18:39:29 -!- DootBot has left. 18:39:31 lel 18:57:46 -!- Phantom__Hoover has quit (Ping timeout: 260 seconds). 19:06:53 -!- clog_ has quit (Quit: ^C). 19:07:06 -!- clog has joined. 19:18:42 -!- DootBot has joined. 19:20:00 -!- DootBot has quit (Remote host closed the connection). 19:20:25 -!- DootBot has joined. 19:22:11 -!- mihow has quit (Quit: mihow). 19:22:42 hey guys 19:22:50 try to break dootbot by using rb> commands 19:22:50 TieSoul: doot yaybot, want bider. head. Yaybot that? YayBot she's metronome? Lol :P fight about a as anyway... 19:22:52 -!- nycs has joined. 19:23:06 rb> # executes ruby code 19:25:43 rb> I don't like ruby 19:26:03 doesn't seem to do anything 19:27:54 -!- Lorenzo64 has quit (Read error: Connection reset by peer). 19:30:20 -!- Lorenzo64 has joined. 19:32:32 rp> # print "I wish you were lisp" 19:32:37 rb> # print "I wish you were lisp" 19:32:44 -!- Phantom_Hoover has joined. 19:32:59 rb> 9 ** 99 19:32:59 29512665430652752148753480226197736314359272517043832886063884637676943433478020332709411004889 19:33:16 rb> (1..10).to_a.inject(:*) 19:33:16 3628800 19:33:30 -!- DootBot has quit (Remote host closed the connection). 19:33:51 -!- DootBot has joined. 19:34:21 -!- DootBot has quit (Remote host closed the connection). 19:43:49 -!- DootBot has joined. 19:53:14 -!- mihow has joined. 19:53:47 -!- J_Arcane has quit (Remote host closed the connection). 19:54:08 -!- J_Arcane has joined. 19:55:42 -!- DootBot has quit (Read error: Connection reset by peer). 20:02:54 -!- Bicyclidine has joined. 20:04:10 -!- mauris has quit (Ping timeout: 264 seconds). 20:05:44 -!- Bicyclidine has quit (Read error: Connection reset by peer). 20:05:49 does anyone know any good libraries for working with automata (e.g. DFAs, NFAs) 20:13:19 -!- Daan has joined. 20:13:38 i know sam hughes used something for his regex and-er thing, but he may have written it himself 20:14:48 -!- not^v has quit (Ping timeout: 250 seconds). 20:15:48 yeah, I'm looking to do some transformations on automata, tree automata specifically 20:17:16 assuming I have to write the code myself, I am trying to decide between going Agda, which would be awesome and I'll regret, Haskell which will lead to runtime errors, or C++ which would be awesome and I'll regret for entirely different reasons 20:24:29 There's that one Java thing, JFLAP. 20:24:39 I don't know if it's for good for any serious use. 20:25:20 Also possibly not so relevant for tree automata. 20:25:23 [wiki] [[Special:Log/newusers]] create * AndoDaan * New user account 20:26:15 Hey, that's me... wtf 20:26:38 -!- jj2baile has quit (Read error: Connection reset by peer). 20:27:27 I was going to add a note on Esolang:Community_portal that the wiki RC feed is also on #esoteric these days. 20:27:31 Then I didn't. 20:30:09 @tell Vorpal More of those always-as-interesting hotel room views: https://dl.dropboxusercontent.com/u/113389132/Misc/20140827-scandic_tampere_station.jpg 20:30:10 Consider it noted. 20:32:29 does that window say beer and billiards? 20:34:43 fizzie: omg, I live there. 20:37:02 olsner: It does. 20:44:33 -!- Ando has joined. 20:45:12 -!- AnotherTest has quit (Ping timeout: 245 seconds). 20:45:40 -!- Daan has quit (Ping timeout: 250 seconds). 20:48:05 -!- Bike_ has joined. 20:48:28 -!- Bike_ has changed nick to Bicyclidine. 20:55:21 -!- Bicyclidine has quit (Ping timeout: 244 seconds). 21:17:04 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds). 21:25:43 -!- Phantom_Hoover has joined. 21:41:42 fizzie, hi 21:43:31 @messages 21:43:58 fizzie, kind of grey isn't it? 21:44:20 fizzie, but I can't spot the seams, so that is good 21:48:32 -!- mauris has joined. 21:57:02 I see one, two, three seams, but not easy to find. 22:02:57 -!- Ando has quit (Ping timeout: 246 seconds). 22:03:11 http://int-e.eu/~bf3/tmp/seam.jpg 22:03:19 -!- Daan has joined. 22:03:43 int-e: Yeah, I didn't spend too long with it. 22:05:08 it works well enough anyway :) 22:05:35 -!- Patashu has joined. 22:07:22 Also from the same trip: https://dl.dropboxusercontent.com/u/113389132/Misc/20140827-bridge1.jpg https://dl.dropboxusercontent.com/u/113389132/Misc/20140827-bridge2.jpg 22:13:54 -!- Bicyclidine has joined. 22:14:25 wow, I imagined this to be *much* more perceptible. http://int-e.eu/~bf3/tmp/waterseam.jpg 22:15:04 (using curved lines is a nice touch) 22:15:32 It's all entirely automatical, blended with enblend. 22:17:23 In https://dl.dropboxusercontent.com/u/113389132/Misc/20140827-scandic_pori.jpg it has opted to cut a car in half. 22:17:48 (Another hotel.) 22:18:37 pity about the messed up sign in https://dl.dropboxusercontent.com/u/113389132/Misc/20140827-bridge2.jpg 22:19:21 Heh, I didn't even notice that, since the outlines were okay. 22:19:27 (also something is off with the lighting in the rightmost picture) 22:19:41 Yeah, there was a bit of an accident there. 22:20:12 I had set the camera to manual exposure but forgot ISO to auto. 22:21:13 That makes it do its usual exposure calculations but use the ISO setting as the only free parameter to achieve what it thinks is good. 22:22:20 In this case, "good" had quite blown-out highlights in the sand, and Hugin's photometric optimilization thing has just brought the overall level down to match the neighbor. 22:24:37 in any case it works amazingly well 22:24:59 It's a full 360 degrees, so I probably should've put the wraparound point at that seam, actually. Then it would be less noticeable. 22:25:46 -!- Patashu has quit (Ping timeout: 250 seconds). 22:25:52 I can't even find some of the seams when I'm looking for them. 22:27:52 These were all handheld. With a tripod and a panorama head configured to rotate around the correct no-parallax point, it's really hard to find any seams, unless there's been some motion. 22:29:45 I'm really surprised about how well the close water surface worked) 22:30:52 I mean without the arrows, http://int-e.eu/~bf3/tmp/waterseam.jpg would probably not look odd at all, unless you stare at it for a while. 22:31:18 and that's a small detail of the big picture :) 22:32:13 https://www.flickr.com/photos/fizzief/9246704558/in/set-72157634561814470 is an indoor scene (so lots of potential parallax motion) made out of 48 shots (3 rows of 16 directions) with a tripod and a hand-made panorama head (and a different camera). 22:33:25 The automatic control point finding did have some trouble when given two photos of a more or less blank white wall, though. 22:34:12 -!- Ando has joined. 22:34:18 -!- jameseb- has changed nick to jameseb. 22:35:38 -!- Daan has quit (Ping timeout: 250 seconds). 22:38:13 -!- oerjan has joined. 22:39:19 -!- tromp_ has joined. 22:41:06 myname: operators which start with : are reserved for types <-- actually that is no longer true, the : requirement was removed. (the slight downside is you no longer can use operator type _variables_.) 22:41:39 @let data a + b = a :+ b 22:41:41 Defined. 22:41:50 :t Int :+ Bool 22:41:51 -!- tromp has quit (Ping timeout: 255 seconds). 22:41:51 Not in scope: data constructor ‘Int’ 22:41:51 Perhaps you meant one of these: 22:41:51 ‘In’ (imported from Lambdabot.Plugin.Haskell.Eval.Trusted), 22:41:58 oops 22:42:14 :t () :+ True 22:42:15 Ambiguous occurrence ‘:+’ 22:42:15 It could refer to either ‘L.:+’, 22:42:15 defined at /home/lambda/.lambdabot/State/L.hs:161:16 22:42:18 darn 22:42:30 "It could refer to either X." 22:42:35 figures it was already used for something. 22:42:39 @undef 22:42:40 Undefined. 22:42:44 :t (:+) 22:42:46 a -> a -> Complex a 22:42:58 oh i should have remembered that one 22:43:17 @let data a + b = A a | B b 22:43:19 Defined. 22:43:24 :t A 0 22:43:25 Num a => a + b 22:43:49 note that the : requirement still holds for _data_ constructor operators. 22:44:19 @tell coppro myname: operators which start with : are reserved for types <-- actually that is no longer true, the : requirement was removed. (the slight downside is you no longer can use operator type _variables_.) 22:44:20 Consider it noted. 22:45:21 with all the kind promotion and stuff the syntax is getting messy. 22:46:12 :k '[Int] 22:46:13 Illegal type: ‘'[Int]’ Perhaps you intended to use DataKinds 22:46:32 int-e: WHY YOU MISSING EXTENSIONS 22:46:50 turn everything safe on, i say 22:47:05 (i sincerely _hope_ DataKinds are Safe) 22:47:15 oerjan: oh, I thought that was still only a proposal 22:47:31 oerjan: also I'm right here you know 22:47:33 GHC is moving so fast 22:47:42 -!- Sprocklem has joined. 22:48:34 coppro: you said nothing, and i don't trust people who have been idle for > 30 minutes and who say nothing not to ping out before they see my message. except quintopia by special request. 22:49:34 > :let data a + b = A a | B b 22:49:36 :1:1: parse error on input ‘:’ 22:49:45 ( :let data a + b = A a | B b 22:49:46 defined 22:49:48 oerjan: I so request 22:50:07 i am not sure my memory has room for more than one person on the request list. we'll see. 22:50:21 ( :t A 0 22:50:21 When elaborating an application of constructor __infer: 22:50:21 No such variable A 22:50:25 oerjan: It will be interesting to see if it's a stack or a queue. 22:50:32 ( :t A 22:50:32 No such variable A 22:50:43 ( :unlet 22:50:43 command not recognized or not supported 22:51:06 >.< 22:51:31 -!- not^v has joined. 22:51:35 ( :t (+) 22:51:35 Prelude.Classes.(+) : Num a => a -> a -> a 22:51:35 Prelude.Fin.(+) : Fin n -> Fin m -> Fin (n + m) 22:51:49 ( :t a 22:51:49 a : Type 22:51:52 i saw linked a mention on twitter i think that they're putting Foldable and Traversable into the Prelude. which is natural once Applicative goes in there, i guess. 22:52:13 although i've only seen that one mention yet, so am not entirely trusting it. 22:52:24 Evidently datadecl parsing is broken, in a way … 22:53:08 oerjan: there are too many of them 22:53:47 it would be funny if ghc ran out of some limit if you tried to enable all extensions 22:55:20 ooh i know. except i need to be sure it doesn't ping people... 22:55:31 `run ls *list 22:55:31 bdsmreclist 22:55:36 `run ls bin/*list 22:55:37 bin/danddreclist \ bin/emptylist \ bin/erflist \ bin/list \ bin/llist \ bin/makelist \ bin/mlist \ bin/olist \ bin/pbflist \ bin/slist \ bin/smlist \ bin/testlist 22:55:45 `cat bin/makelist 22:55:46 cp bin/emptylist bin/"$1" 22:56:05 -!- Bicyclidine has quit (Ping timeout: 260 seconds). 22:56:08 `makelist dontaskdonttelllist 22:56:09 No output. 22:56:51 `echo + 22:56:51 + 22:57:50 -!- mihow has quit (Quit: mihow). 22:58:54 `run (echo 'quin topia'; echo 'cop pro') | sed 's/ //g' >bin/dontaskdonttelllist 22:58:55 No output. 22:59:09 `oops 22:59:10 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: oops: not found 22:59:14 `revert 22:59:15 Done. 22:59:22 `run (echo 'quin topia'; echo 'cop pro') | sed 's/ //g' >>bin/dontaskdonttelllist 22:59:23 No output. 22:59:30 `dontaskdonttelllist 22:59:31 dontaskdonttelllist: quintopia coppro 23:00:33 is that successfully not pinging you 23:00:56 hm i suppose i could make that automatic 23:01:08 `cat bin/dontaskdonttelllist 23:01:09 echo -n "$(basename "$0")${@:+ }$@: "; tail -n+2 "$0" | xargs; exit \ quintopia \ coppro 23:01:30 ... bdsmreclist? 23:02:58 -!- Bicyclidine has joined. 23:03:43 myname: i don't remember 23:06:26 `run echo ' ' | sed 's/ /./' 23:06:27 . 23:07:22 -!- Bicyclidine has quit (Ping timeout: 240 seconds). 23:07:29 hm wait 23:07:40 `run sed -i 's/xargs/sed 's/1/ 23:07:41 sed: -e expression #1, char 16: unknown option to `s' 23:08:04 `run echo ' ' | sed 's/ /1/' 23:08:04 1 23:09:28 `run sed -i "s,xargs,sed 's/./\\1/' | xargs," bin/dontaskdonttelllist 23:09:29 sed: -e expression #1, char 33: invalid reference \1 on `s' command's RHS 23:09:34 oops 23:09:48 `run sed -i "s,xargs,sed 's/\$.\$/\\1/' | xargs," bin/dontaskdonttelllist 23:09:48 sed: -e expression #1, char 37: invalid reference \1 on `s' command's RHS 23:10:03 ...sheesh 23:10:47 `run echo ' ' | sed 's/ /&/' 23:10:47 23:10:55 um... 23:11:55 `run echo ' ' | sed 's/ /\&/' 23:11:55 & 23:12:42 Melvar: i don't think you see what that did hth 23:12:59 `run echo ' ' | sed 's/ /\&/' 23:12:59 & 23:13:15 & on the RHS means the whole match. 23:14:00 `run sed -i "s,xargs,sed 's/./\\\&' | xargs," bin/dontaskdonttelllist 23:14:03 No output. 23:14:05 Whoops, misread, no I probably didn’t then. 23:14:11 `cat bin/dontaskdonttelllist 23:14:11 echo -n "$(basename "$0")${@:+ }$@: "; tail -n+2 "$0" | sed 's/./\xargs' | xargs; exit \ quintopia \ coppro 23:14:22 oops 23:14:34 `revert 23:14:35 Done. 23:15:36 `cat bin/dontaskdonttelllist 23:15:36 echo -n "$(basename "$0")${@:+ }$@: "; tail -n+2 "$0" | xargs; exit \ quintopia \ coppro 23:16:08 `run sed -i "s,xargs,sed 's/./\\\\\\&' | xargs," bin/dontaskdonttelllist 23:16:09 No output. 23:16:14 `cat bin/dontaskdonttelllist 23:16:15 echo -n "$(basename "$0")${@:+ }$@: "; tail -n+2 "$0" | sed 's/./\&' | xargs; exit \ quintopia \ coppro 23:16:36 `dontaskdonttelllist 23:16:37 dontaskdonttelllist: sed: -e expression #1, char 9: unterminated `s' command 23:16:42 ff 23:16:51 `revert 23:16:53 Done. 23:17:11 `run sed -i "s,xargs,sed 's/./\\\\\\&/' | xargs," bin/dontaskdonttelllist 23:17:12 No output. 23:17:17 `dontaskdonttelllist 23:17:17 dontaskdonttelllist: &uintopia &oppro 23:17:28 `revert 23:17:29 Done. 23:19:49 `run sed -i "s,xargs,sed 's/./\\\\\\\&/g' | xargs," bin/dontaskdonttelllist 23:19:50 No output. 23:19:53 `dontaskdonttelllist 23:19:54 dontaskdonttelllist: xargsxargsxargsxargsxargsxargsxargsxargsxargsxargs xargsxargsxargsxargsxargsxargsxargs 23:20:05 `revert 23:20:07 Done. 23:20:10 escaping is hard. 23:21:32 xargs. 23:21:38 `run sed -i "s,xargs,sed 's/./\\\\\\\&/g' | xargs," bin/dontaskdonttelllist 23:21:39 No output. 23:21:49 `cat bin/dontaskdonttelllist 23:21:49 echo -n "$(basename "$0")${@:+ }$@: "; tail -n+2 "$0" | sed 's/./\\xargs/g' | xargs; exit \ quintopia \ coppro 23:21:56 `revert 23:21:57 Done. 23:22:25 `run sed -i "s,xargs,sed 's/./\\\\\\&/g' | xargs," bin/dontaskdonttelllist 23:22:27 No output. 23:22:29 `cat bin/dontaskdonttelllist 23:22:30 echo -n "$(basename "$0")${@:+ }$@: "; tail -n+2 "$0" | sed 's/./\&/g' | xargs; exit \ quintopia \ coppro 23:22:52 ok wtf was that the right number 23:22:56 or was it 23:23:12 oh... 23:23:12 -!- Lorenzo64 has quit (Ping timeout: 245 seconds). 23:23:15 `revert 23:23:16 Done. 23:23:48 `run sed -i "s,xargs,sed 's/./\\\&/g' | xargs," bin/dontaskdonttelllist 23:23:49 No output. 23:23:54 `cat bin/dontaskdonttelllist 23:23:54 echo -n "$(basename "$0")${@:+ }$@: "; tail -n+2 "$0" | sed 's/./\xargs/g' | xargs; exit \ quintopia \ coppro 23:23:58 `revert 23:24:00 Done. 23:24:07 `run sed -i "s,xargs,sed 's/./\\\\&/g' | xargs," bin/dontaskdonttelllist 23:24:08