< 1398816295 195363 :nisstyre!~yourstrul@oftn/member/Nisstyre QUIT :Quit: WeeChat 0.4.3 < 1398817421 440857 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 264 seconds < 1398817925 65482 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1398818209 898007 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1398818932 810541 :tromp!~tromp@ool-4575eb51.dyn.optonline.net QUIT :Remote host closed the connection < 1398818966 474555 :tromp!~tromp@ool-4575eb51.dyn.optonline.net JOIN :#esoteric < 1398819231 719962 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 QUIT :Ping timeout: 252 seconds < 1398819257 353466 :tromp!~tromp@ool-4575eb51.dyn.optonline.net QUIT :Ping timeout: 264 seconds < 1398819351 97468 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 JOIN :#esoteric < 1398819527 704723 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 240 seconds < 1398820283 443206 :drdanmaku!uid17782@gateway/web/irccloud.com/x-lngksnelkpkarzst QUIT :Quit: Connection closed for inactivity < 1398820302 647669 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu QUIT :Ping timeout: 265 seconds < 1398821503 623446 :Sorella!~queen@201.80.215.125 QUIT :Quit: It is tiem! < 1398821711 190201 :nisstyre!~yourstrul@oftn/member/Nisstyre JOIN :#esoteric < 1398822250 951706 :ter2!~tertu@143.44.70.199 JOIN :#esoteric < 1398823072 860744 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Quit: Computer has gone to sleep. < 1398823609 862322 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1398825826 792413 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Chrome seems to disbelieve that I could ever want a new tab when I ctrl-click a link < 1398825836 671124 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :It assumes CNN's trying to do an evil pop-up and blocks it < 1398826692 7771 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1398827135 974990 :FreeFull_!~freefull@defocus/sausage-lover JOIN :#esoteric < 1398827255 726506 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 252 seconds < 1398827483 108827 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1398828954 853930 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Chrome seems to disbelieve that I could ever want a new tab when I ctrl-click a link <-- can you do it with the right click menu instead? that's what i have to do whenever following a link out of stupid wikia. < 1398828971 996830 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or middle-click? < 1398829016 665085 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Chrome seems to have sponaneously changed it's behavior, even ctrl-mouse pad press is working now < 1398829021 840112 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I'm sure the old behavior will come back < 1398829045 310969 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh btw i'm not using chrome so this is just a wild suggestion. < 1398829142 77284 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wikia, of course, _does_ make an evil popup then. which i could tolerate if not for the fact that it simultaneously forgets i want a new tab. < 1398829161 950282 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that popup is p. evil < 1398829198 344117 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :that popup is wikia < 1398829796 791052 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Remote host closed the connection < 1398829825 385605 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1398830568 124262 :drdanmaku!uid17782@gateway/web/irccloud.com/x-bfwqkdjqbyomvjcg JOIN :#esoteric < 1398830705 274451 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Read error: Connection reset by peer < 1398830732 706293 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1398830889 382398 :password2!~password@197.78.178.187 JOIN :#esoteric < 1398831821 995631 :ter2!~tertu@143.44.70.199 QUIT :Ping timeout: 252 seconds < 1398831983 112539 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :http://www-sop.inria.fr/marelle/Laurent.Thery/T2048.v < 1398831987 480852 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :2048 in coq < 1398832041 899770 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :not to be confused with cock in 2048 < 1398832047 375616 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :to which I could also provide a link < 1398832627 745082 :curiousguy13!~chatzilla@120.59.224.125 QUIT :Ping timeout: 265 seconds < 1398833407 549760 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :http://chneukirchen.org/trivium/ looks pretty good < 1398834170 993655 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03John Misciagno 5* 10New user account < 1398834244 739773 :tswett!~tswett@unaffiliated/tswett QUIT :Ping timeout: 252 seconds < 1398834318 107527 :adu!~ajr@pool-108-28-107-114.washdc.fios.verizon.net JOIN :#esoteric < 1398834786 598295 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Why are there no "1" tiles in 2048, anyway? < 1398835003 512940 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :they're considered too odd hth < 1398835075 755971 :nisstyre!~yourstrul@oftn/member/Nisstyre QUIT :Quit: WeeChat 0.4.3 < 1398835202 731171 :MoALTz!~no@user-164-127-102-62.play-internet.pl JOIN :#esoteric < 1398836134 139577 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :tdh < 1398836175 838677 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yw < 1398836783 684637 :adu!~ajr@pool-108-28-107-114.washdc.fios.verizon.net QUIT :Quit: adu < 1398837604 285099 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Read error: Connection reset by peer < 1398837631 704639 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1398838545 499019 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Lemma thm2 : forall seed, exists ms, g2048 seed ms < 1398838567 929392 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Oh, the previous one is also unproven. < 1398838606 267914 :MoALTz!~no@user-164-127-102-62.play-internet.pl QUIT :Quit: bbl < 1398838609 513096 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Jafet: move sequence? < 1398838998 293954 :variable!root@freebsd/developer/variable NICK :trout < 1398839064 491942 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot: fun merge where "merge (x#y#xs) = (if x = y then (x+y) # merge xs else x # merge (y#xs))" | "merge [x] = [x]" | "merge [] = []" < 1398839065 278314 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : constants \ merge :: "'a list => 'a list" \ Found termination order: "length <*mlex*> {}" < 1398839097 634760 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot: value "merge [2,0,2,2,4] :: nat list" < 1398839098 715873 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : "[2, 0, 4, 4]" \ ∷ "nat list" < 1398839105 630244 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot: value "merge [2,2,2,4] :: nat list" < 1398839106 257275 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : "[4, 2, 4]" \ ∷ "nat list" < 1398839221 407080 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot: definition "left = map (%row. let row' = merge (filter (op ~= 0) row) in row' @ replicate (4 - length row') 0)" < 1398839222 64446 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : constants \ left :: "'a list list => 'a list list" < 1398839241 114825 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot: value "merge [2,0,2,4] :: nat list" < 1398839242 229732 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : "[2, 0, 2, 4]" \ ∷ "nat list" < 1398839290 894316 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot: value "left [[2,0,2,4]] :: nat list" < 1398839291 458838 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : *** Type unification failed: Clash of types "_ list" and "nat" < 1398839295 981950 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot: value "left [[2,0,2,4]] :: nat list list" < 1398839296 659374 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : "[[4, 4, 0, 0]]" \ ∷ "nat list list" < 1398839372 339224 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot: definition "right = map rev o left o map rev"; definition "up = transpose o left o transpose"; definition "down = transpose o right o transpose" < 1398839374 21361 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : constants \ right :: "'a list list => 'a list list" \ constants \ up :: "'a list list => 'a list list" \ constants \ down :: "'a list list => 'a list list" < 1398839394 798 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :what's all this then < 1398839714 780196 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Quit: http://i.imgur.com/DrFFzea.png < 1398839960 706709 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot: fun gen where "gen rows ((row,col,n)#ns) = (if rows ! row ! col = 0 then rows[row := (rows ! row)[col := n]] else gen rows ns)" < 1398839961 160248 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : constants \ gen :: "'a list list => (nat * nat * 'a) list => 'a list list" \ Found termination order: "(%p. list_size (%p. size (fst (snd p))) (snd p)) <*mlex*> {}" < 1398839993 523273 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Hmm, that doesn't work < 1398840000 297085 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot: undo < 1398840001 751539 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : At: definition "right = map rev o left o map rev";definition "up = transpose o left o transpose";definition "down = transpose o right o transpose" < 1398840009 43351 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :that looks like some sort of ml < 1398840018 999377 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot: fun gen where "gen rows ((row,col,n)#ns) = (if rows ! row ! col = 0 then (rows[row := (rows ! row)[col := n]], ns) else gen rows ns)" < 1398840019 831055 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : constants \ gen :: "'a list list => (nat * nat * 'a) list => 'a list list * (nat * nat * 'a) list" \ Found termination order: "(%p. list_size (%p. size (fst (snd p))) (snd p)) <*mlex*> {}" < 1398840201 506574 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :isabeml < 1398840416 525519 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot: definition "win rows0 ns acts = list_ex (list_ex (op = 2048)) (fst (fold (%(rows, ns) mov. gen (act rows) ns) acts (rows0, ns)))" < 1398840417 112048 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : *** Extra variables on rhs: "act" < 1398840424 304980 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot: definition "win rows0 ns acts = list_ex (list_ex (op = 2048)) (fst (fold (%(rows, ns) act. gen (act rows) ns) acts (rows0, ns)))" < 1398840424 889475 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : *** Type unification failed: Clash of types "_ * _" and "_ => _" < 1398840527 904278 :S1!8d1fe87a@gateway/web/cgi-irc/kiwiirc.com/ip.141.31.232.122 JOIN :#esoteric < 1398840577 711080 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot: definition "win rows0 ns acts = list_ex (list_ex (op = 2048)) (fst (fold (%act (rows, ns). gen (act rows) ns) acts (rows0, ns)))" < 1398840578 331359 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : constants \ win :: "'a list list => (nat * nat * 'a) list => ('a list list => 'a list list) list => bool" < 1398840689 166950 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot: value "win ([[1024,0,0,0],[0,2,4,8],[1024,0,0,0],[0,0,0,0]] :: nat list list) [(2,3,4)] [up]" < 1398840689 818209 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : "True" \ :: "bool" < 1398840769 694391 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot: value "gen (up ([[1024,0,0,0],[0,2,4,8],[1024,0,0,0],[0,0,0,0]] :: nat list list)) [(2,3,4)]" < 1398840770 455528 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : "([[2048, 2, 4, 8], [0, 0, 0, 0], [0, 0, 0, 4], [0, 0, 0, 0]], [])" \ :: "nat list list * (nat * nat * nat) list" < 1398840785 750889 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :ah, how useful. < 1398840803 452642 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :What's with the 4 < 1398840819 394609 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :The game places it at (2,3). < 1398840856 717117 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot: declare [[show_sorts]] term gen < 1398840856 864158 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : *** Unrecognized command < 1398840866 892770 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot: raw:declare [[show_sorts]]; term gen < 1398840867 463071 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : "gen" \ :: "'a::zero list list => (nat * nat * 'a::zero) list => 'a::zero list list * (nat * nat * 'a::zero) list" < 1398840896 732726 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Yep, I think this lets you play 2048 on an arbitrary group < 1398840901 994798 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :oh, it's the next number, ok < 1398840907 23335 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot: raw:linear_undo < 1398840907 592792 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : (No output.) < 1398841293 758623 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1398841524 93673 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot: lemma "EX len. ALL ns. (length ns > len & list_all (%n. n = 2 | n = 4) ns) --> EX moves. win (replicate 4 (replicate 4 (0 :: nat))) ns moves" < 1398841524 385197 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : *** Inner syntax error at "EX moves . win ( replicate 4 ( replicate 4 ( 0 :: nat ) ) ) ns moves" < 1398841537 767356 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot: lemma "EX len. ALL ns. (length ns > len & list_all (%n. n = 2 | n = 4) ns) --> (EX moves. win (replicate 4 (replicate 4 (0 :: nat))) ns moves)" -- oh come on < 1398841538 362571 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : *** Type unification failed: No type arity prod :: numeral < 1398841594 185061 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot: lemma "EX len. ALL ns. (length ns > len & list_all (%(i,j,n). 0 <= i & i < 4 & 0 <= j & j < 4 & (n = 2 | n = 4)) ns) --> (EX moves. win (replicate 4 (replicate 4 (0 :: nat))) ns moves)" < 1398841596 356757 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : Proving: 1. EX 03len. ALL 03ns. 03len < length 03ns & list_all (%(03i, 03j, 03n). 0 <= 03i & 03i < 4 & 0 <= 03j & 03j < 4 & (03n = 2 | 03n = 4)) 03ns --> (EX 03moves. win (replicate 4 (replicate 4 0)) 03ns 03moves) < 1398841726 144606 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Hmm, there's a bug in the colouring code < 1398841791 446137 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot: apply clarsimp < 1398841793 577254 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : Proving: 1. EX 03len. ALL 03ns. 03len < length 03ns & list_all (%(03i, 03ab). 03i < 4 & (case 03ab of (03j, 03n) => 03j < 4 & (03n = 2 | 03n = 4))) 03ns --> (EX 03moves. win (replicate 4 (replicate 4 0)) 03ns 03moves) < 1398841890 462774 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot: apply (subgoal_tac "ALL ns. EX moves. win (replicate 4 (replicate 4 0)) ns moves", blast) < 1398841892 564843 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : Proving: 1. ALL 03ns. EX 03moves. win (replicate 4 (replicate 4 0)) 03ns 03moves < 1398841946 129272 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Ooh, colors. < 1398841949 223057 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot: apply (erule allI, rule_tac x = "%_. (replicate 4 (replicate 4 2048))" in exI) < 1398841949 798011 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : *** Failed to apply proof method < 1398841950 145486 :S1!8d1fe87a@gateway/web/cgi-irc/kiwiirc.com/ip.141.31.232.122 PRIVMSG #esoteric :Jafet: What is that language? < 1398841960 561685 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :https://isabelle.in.tum.de < 1398841981 85395 :S1!8d1fe87a@gateway/web/cgi-irc/kiwiirc.com/ip.141.31.232.122 PRIVMSG #esoteric :thx < 1398842109 259193 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot: apply (rule allI, rule_tac x = "[%_. replicate 4 (replicate 4 2048)]" in exI) < 1398842111 337036 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : Proving: 1. !!03ns. win (replicate 4 (replicate 4 0)) 03ns [%_. replicate 4 (replicate 4 2048)] < 1398842195 210311 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Wait, that won't work. < 1398843180 864235 :nortti!nortti@nano.smar.fi NICK :[Nn]ortti < 1398843193 979884 :[Nn]ortti!nortti@nano.smar.fi NICK :nortti < 1398843382 659325 :slereah_!~slereah@46.218.232.202 JOIN :#esoteric < 1398843571 552169 :FreeFull_!~freefull@defocus/sausage-lover QUIT : < 1398844643 256696 :ion!ion@heh.fi PRIVMSG #esoteric :Chess Clock Jenga http://youtu.be/YN_F9bNuF0I < 1398845074 104369 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Disney funds 3D printing research https://youtu.be/qc-tGbMN9Ms < 1398845114 170440 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :ion: awesome < 1398846112 919692 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :as for freefall, i am not sure if those are the right people to bring to a debate on whether to exterminate all robots. < 1398846114 303617 :ion!ion@heh.fi PRIVMSG #esoteric :jafet: neat < 1398846146 774828 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I was hoping I'd get a less boring "spring season" street-outside-the-office-window time-lapse because today is, well, today, but all the colorful people seem to be in other parts of the campus. < 1398846335 394485 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :What is so today about today? < 1398846344 38500 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Walpurgis_Night#Finland < 1398846398 15632 :S1!8d1fe87a@gateway/web/cgi-irc/kiwiirc.com/ip.141.31.232.122 PRIVMSG #esoteric :Jafet: Nothing, duh < 1398846464 464660 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1398846991 925838 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Quit: Leaving... < 1398847696 571425 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :https://blog.mozilla.org/security/2014/04/24/10000-security-bug-bounty-for-certificate-verification < 1398847729 361164 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1398847729 565159 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1398848088 692537 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :nice < 1398848149 935228 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that iranian student in the comments needs to work on his english. < 1398848163 355297 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Or to get a job < 1398848211 680004 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no jobs in iran. sanctions, you know. < 1398848260 103548 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :perhaps mozilla can't even legally pay him if they wanted to... < 1398848266 881140 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Hmm, the same sanctions might prevent the transfer of a bug bounty < 1398848288 23388 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :That must be why iranian hackers just go ahead and use their exploits < 1398848311 898565 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :$10,000 sounds like a lot until you think about how much good software developers make < 1398848317 887807 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it all becomes clear now. < 1398848337 105297 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :(in america, anyway) < 1398848342 937192 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :You can be a good software developer not in california < 1398848349 955082 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kmc: so you are saying you earn more in a day? < 1398848372 797760 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oerjan: Are you just brazenly assuming kmc is a good software developer? < 1398848398 758218 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Come on, let's not get all offended or anything. < 1398848402 827745 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: i have somehow associated "filthy rich" with him. < 1398848417 468647 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Besides, this bug bounty seems to have more to do with bad software developers < 1398848447 812408 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oerjan: As a Norwegian, you're supposed to be filthy rich too, don't you all have heaps and heaps of oil money? < 1398848461 44260 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I assume it works so that you just get money for free. < 1398848490 424769 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :heh < 1398848500 266182 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :sadly, i am not filthy rich < 1398848502 888628 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: surprisingly, i cannot get access to my 1 million NOK part of it at all. < 1398848523 571962 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(yep, the oil fund is that much) < 1398848541 97345 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kmc: shocking. < 1398848551 795149 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :kmc takes baths < 1398848557 353513 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah. < 1398848573 49030 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in something expensive, i assume. < 1398848573 456292 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I just assume kmc with mushrooms. < 1398848579 872426 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Associate, not assume. < 1398848603 590652 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :if you have running water in your house, you are pretty rich by global standardz < 1398848642 270398 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Oh no, it's the Perspective Man < 1398848662 605935 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Does whatever a perspective can? < 1398848663 294667 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :come to think of it, i saw something about san francisco it workers suing companies for collusion to keep down wages, so perhaps you are actually dirt poor. (don't remember if it was kmc who linked it.) < 1398848689 299567 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :possibly i saw it on reddit. < 1398848691 101978 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You're either filthy rich or dirt poor, only the middle class keeps clean. < 1398848712 724816 :mhi^!~mhi@unaffiliated/mhi/x-9993184 JOIN :#esoteric < 1398848832 457561 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I am making too many slides. :/ < 1398848866 672782 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :http://www.symmetrymagazine.org/article/march-2014/physics-by-hand "To encourage discussion and engagement, a physics forum has banned PowerPoint slides in favor of low-tech whiteboards." < 1398848925 800583 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't think there will even be a whiteboard there. < 1398848932 559760 :curiousguy13!~chatzilla@59.177.207.107 JOIN :#esoteric < 1398848934 703400 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Or at least I wouldn't take one for granted. < 1398848948 495733 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :what are you presenting? < 1398848970 901267 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :A boring paper. < 1398849001 278025 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :For 15 minutes, plus 5 for "questions from the audience and some extra time to introduce the next presenter". < 1398849083 271613 :drdanmaku!uid17782@gateway/web/irccloud.com/x-bfwqkdjqbyomvjcg QUIT :Quit: Connection closed for inactivity < 1398849127 507503 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't think there will be a lot of "discussion and engagement". < 1398849178 880418 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :just auction off the extra slides hth < 1398849221 375025 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :for advertising? < 1398849263 388793 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :just tell them they'll be worth a lot when you become famous. < 1398849342 589453 :S1!8d1fe87a@gateway/web/cgi-irc/kiwiirc.com/ip.141.31.232.122 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1398849421 69868 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'm not sure which ones are the extra ones, to be honest. < 1398849885 930086 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tricky. < 1398850628 542202 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep < 1398850637 741049 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1398853188 428106 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1398853735 782135 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1398853820 189833 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1398854647 960930 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Hmm, the zsh builtin time doesn't work on zsh functions. < 1398855401 640508 :curiousguy13!~chatzilla@59.177.207.107 QUIT :Read error: Connection reset by peer < 1398855539 542048 :curiousguy13!~chatzilla@120.57.236.163 JOIN :#esoteric < 1398855576 569644 :mhi^!~mhi@unaffiliated/mhi/x-9993184 QUIT :Quit: Lost terminal < 1398855638 476204 :boily!~boily@96.127.201.149 QUIT :Quit: HUMID CHICKEN < 1398856481 444729 :password2!~password@197.78.178.187 QUIT :Ping timeout: 264 seconds < 1398856755 696190 :nooodl!~nooodl@18.169-241-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1398856922 485424 :curiousguy13!~chatzilla@120.57.236.163 QUIT :Ping timeout: 255 seconds < 1398857063 821495 :curiousguy13!~chatzilla@120.59.231.221 JOIN :#esoteric < 1398857065 104435 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Help I can't use tmux < 1398858184 20590 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Taneb: use screen instead < 1398858647 808566 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :screen doesn't support four-byte utf-8 sequences < 1398858675 511145 :S1!8d1fe87a@gateway/web/cgi-irc/kiwiirc.com/ip.141.31.232.122 JOIN :#esoteric < 1398858811 754532 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`unidecode Щ < 1398858812 432555 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+0429 CYRILLIC CAPITAL LETTER SHCHA] < 1398858858 636416 :nucular!~MOO@p4FF913E2.dip0.t-ipconnect.de JOIN :#esoteric < 1398858858 831312 :nucular!~MOO@p4FF913E2.dip0.t-ipconnect.de QUIT :Changing host < 1398858858 978718 :nucular!~MOO@unaffiliated/nucular JOIN :#esoteric < 1398859141 799105 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`run python -c 'pass; pass; pass' < 1398859142 478578 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1398859151 285863 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Why < 1398859181 535418 :S1!8d1fe87a@gateway/web/cgi-irc/kiwiirc.com/ip.141.31.232.122 PRIVMSG #esoteric :Who did make HackEgo? < 1398859466 362681 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :S1, Gregor < 1398859494 646372 :S1!8d1fe87a@gateway/web/cgi-irc/kiwiirc.com/ip.141.31.232.122 PRIVMSG #esoteric :when? < 1398859600 754607 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :A long time ago, in a galaxy < 1398859614 695019 :S1!8d1fe87a@gateway/web/cgi-irc/kiwiirc.com/ip.141.31.232.122 PRIVMSG #esoteric :ok < 1398859678 565825 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Hmm, the old hg log is gone. < 1398859691 271914 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :This means we'll... never know? < 1398859705 403582 :S1!8d1fe87a@gateway/web/cgi-irc/kiwiirc.com/ip.141.31.232.122 PRIVMSG #esoteric :we could just ask, could'nt we? < 1398859771 321565 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :You're ruining the moment. < 1398859790 747660 :S1!8d1fe87a@gateway/web/cgi-irc/kiwiirc.com/ip.141.31.232.122 PRIVMSG #esoteric :You're right. We'll probably never know... < 1398859830 37452 :S1!8d1fe87a@gateway/web/cgi-irc/kiwiirc.com/ip.141.31.232.122 PRIVMSG #esoteric :HackEgo is ancient technology < 1398859883 898876 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I made a thing help < 1398859884 444237 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :https://github.com/Taneb/webqueues/blob/master/Main.hs < 1398859887 944811 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :And now I have to go < 1398859898 826483 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Am I showing off? Do I want code reviews? < 1398859899 13414 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`run echo $BASH_VERSION; perl -ewarn\$]; ruby -v < 1398859899 614250 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :4.2.37(1)-release \ 5.014002 at -e line 1. \ bash: ruby: command not found < 1398859902 515787 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :YOU WILL NEVER KNOW < 1398859937 788392 :S1!8d1fe87a@gateway/web/cgi-irc/kiwiirc.com/ip.141.31.232.122 PRIVMSG #esoteric :Yes. I will never know o.o < 1398860017 70074 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`run python --version; python3 --version < 1398860017 747482 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Python 2.7.3 \ bash: python3: command not found < 1398860099 756089 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Taneb: you seem rather RESTless < 1398860170 165121 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Nevermind, I misread < 1398860242 779318 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`run (shopt -s nullglob; IFS=:; for x in $PATH; do echo -n "$x"/ruby*; done); < 1398860243 508445 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1398860250 595082 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`run (shopt -s nullglob; IFS=:; for x in $PATH; do echo -n "$x"/python*; done); < 1398860251 331483 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/usr/bin/python /usr/bin/python2 /usr/bin/python2.6 /usr/bin/python2.7 < 1398860256 408667 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`run (shopt -s nullglob; IFS=:; for x in $PATH; do echo -n "$x"/perl*; done); < 1398860257 152675 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/hackenv/bin/perl-e/usr/bin/perl /usr/bin/perl5.14.2 /usr/bin/perlbug /usr/bin/perldoc /usr/bin/perlivp /usr/bin/perlthanks < 1398860287 703717 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Nevernevermind, it is restless < 1398860339 104733 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`file bin/perl-e/usr/bin/perl < 1398860339 754716 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bin/perl-e/usr/bin/perl: ERROR: cannot open `bin/perl-e/usr/bin/perl' (Not a directory) < 1398860378 593105 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`file bin/perl-e < 1398860379 229529 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bin/perl-e: Bourne-Again shell script, ASCII text executable < 1398860383 395460 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`cat bin/perl-e < 1398860383 937547 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/bin/bash \ perl -e "$@" < 1398861394 403023 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`perl-e 1while(1x++$_)=~/^(11+)\1+$/||print"$_\n" < 1398861424 886165 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1 \ 2 \ 3 \ 5 \ 7 \ 11 \ 13 \ 17 \ 19 \ 23 \ 29 \ 31 \ 37 \ 41 \ 43 \ 47 \ 53 \ 59 \ 61 \ 67 \ 71 \ 73 \ 79 \ 83 \ 89 \ 97 \ 101 \ 103 \ 107 \ 109 \ 113 \ 127 \ 131 \ 137 \ 139 \ 149 \ 151 \ 157 \ 163 \ 167 \ 173 \ 179 \ 181 \ 191 \ 193 \ 197 \ 199 \ 211 \ 223 \ 227 \ 229 \ 233 \ 239 \ 241 \ 251 \ 257 \ 263 \ 269 \ 271 \ 277 \ 281 \ 283 \ 293 \ 307 < 1398861742 191292 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :For a moment I thought 1while was some strange new keyword < 1398861806 957949 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Also, why is 1 printed? < 1398862169 775225 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`perl-e 1while(1x++$_)=~/^1|(11+)\1+$/||print"$_\n" < 1398862200 238739 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1398862202 308782 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 JOIN :#esoteric < 1398862215 108857 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Jafet: 1 cannot be factored into two factors >= 2. < 1398862280 557100 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1398862449 376347 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`perl $==1,(1x$_)=~/(^)(1|11\1)*(?{$=++})^/,print$=,$/for 0..20 < 1398862449 957723 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Can't open perl script "$==1,(1x$_)=~/(^)(1|11\1)*(?{$=++})^/,print$=,$/for 0..20": No such file or directory < 1398862454 849744 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`perl-e $==1,(1x$_)=~/(^)(1|11\1)*(?{$=++})^/,print$=,$/for 0..20 < 1398862455 487897 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :2 \ 3 \ 5 \ 8 \ 13 \ 21 \ 34 \ 55 \ 89 \ 144 \ 233 \ 377 \ 610 \ 987 \ 1597 \ 2584 \ 4181 \ 6765 \ 10946 \ 17711 \ 28657 < 1398862472 939449 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`perl-e $==0,(1x$_)=~/^(|()1(?1)(?1)\2)$(?{$=++})^/,print$=,$/for 0..13 < 1398862476 279946 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1 \ 1 \ 2 \ 5 \ 14 \ 42 \ 132 \ 429 \ 1430 \ 4862 \ 16796 \ 58786 \ 208012 \ 742900 < 1398862489 772180 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1398862675 423798 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :b_jonas: What sequence is that? < 1398862722 878941 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Are you trying to do fibbonacci? < 1398862809 621192 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :aaah! < 1398862868 107902 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`perl-e $a=1;1while($c=$a+$b,$a=$b,print$b=$c,"\n") < 1398862868 774159 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1 \ 1 \ 2 \ 3 \ 5 \ 8 \ 13 \ 21 \ 34 \ 55 \ 89 \ 144 \ 233 \ 377 \ 610 \ 987 \ 1597 \ 2584 \ 4181 \ 6765 \ 10946 \ 17711 \ 28657 \ 46368 \ 75025 \ 121393 \ 196418 \ 317811 \ 514229 \ 832040 \ 1346269 \ 2178309 \ 3524578 \ 5702887 \ 9227465 \ 14930352 \ 24157817 \ 39088169 \ 63245986 \ 102334155 \ 165580141 \ 267914296 \ 433494437 \ 701408733 \ 1134 < 1398862869 16743 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :F_n = number of ways to decompose the string 1^n into 1 or 11. Right. < 1398862892 587909 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :which is approximately what (1x$_)=~/(^)(1|11\1)*(?{$=++})^/ does. < 1398862941 286534 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I see < 1398862975 29506 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :There probably is some formula for it < 1398862991 916272 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :Is there a simple way to make C display some very simple graphics on linux? < 1398863001 407373 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :I'm talking like a few pixels wide < 1398863002 820590 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :Greyscale < 1398863014 728123 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :writing to framebuffer? < 1398863034 990363 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Depends on what kind of graphics hardware you have < 1398863042 180259 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :A regular computer kind < 1398863052 705521 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Framebuffer then < 1398863058 108820 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :output xpm? < 1398863080 835026 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :Let's try < 1398863092 939985 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I'm assuming plain linux, without even GNU tools or such < 1398863102 427948 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Just the kernel and you < 1398863115 171309 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :I'm trying to check how well my neural network is working < 1398863119 114293 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`perl-e $==1,(1x$_)=~/^11(1|11)*(?{$=++})^/,print$=,$/for 0..10 < 1398863119 716245 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1 \ 1 \ 2 \ 3 \ 5 \ 8 \ 11 \ 13 \ 15 \ 17 \ 19 < 1398863127 195196 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :And I have a big one in my skullbox < 1398863135 555385 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :So lookin' will probably easier < 1398863138 861496 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :int-e: Not sure that looks right < 1398863139 484366 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :strange :) < 1398863143 887427 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Let me calculate by hand < 1398863145 311232 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :FreeFull: it doesn't. < 1398863162 580974 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :5 8 13 21... < 1398863192 57303 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :So that's the point of the \1 < 1398863203 419383 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`perl-e $==1,(1x$_)=~/(^)11(1|11\1)*(?{$=++})^/,print$=,$/for 0..10 < 1398863204 25073 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1 \ 1 \ 2 \ 3 \ 5 \ 8 \ 13 \ 21 \ 34 \ 55 \ 89 < 1398863210 506459 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :regex fibonacci? < 1398863244 45987 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :exploiting the backtracking implementation in perl < 1398863265 705894 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :oh, not exactly, it's generating a number in unary, and then regexing against it to try to produce the fibonacci sequence in the number of matches < 1398863300 884654 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I'm calculating it by hand and I'm getting fibbonacci so far.. < 1398863345 51332 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Are you sure this series isn't just the fibbonacci series? < 1398863355 551670 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :FreeFull: 1 \ 1 \ 2 \ 3 \ 5 \ 8 \ 11 \ 13 \ 15 \ 17 \ 19 wasn't < 1398863389 693002 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :int-e: When I calculate it by hand I get 1 2 3 5 8 13 < 1398863419 119632 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :FreeFull: ... < 1398863425 673116 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yes, that's what you should get < 1398863578 372769 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :So it is just fibbonacci < 1398863957 657691 :nooodl!~nooodl@18.169-241-81.adsl-dyn.isp.belgacom.be QUIT :Quit: Leaving < 1398864406 264532 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :FreeFull: fibonacci and catalan numbers < 1398864425 271115 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :FreeFull: I showed two perl scripts, one computes fibonacci, one computes catalan < 1398864471 171318 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :here: http://www.perlmonks.com/?node_id=796712 < 1398864541 320 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it links to my explanation: http://www.perlmonks.com/?node_id=796712 < 1398864585 897817 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> scanl(+)0[1,1..] < 1398864587 322167 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,2... < 1398864601 241422 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> scanl(+)1[0,0..] < 1398864603 986825 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1... < 1398864607 774163 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> "http://www.perlmonks.com/?node_id=796712" `compare` "http://www.perlmonks.com/?node_id=796712" < 1398864609 117562 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : EQ < 1398864643 722866 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :duh < 1398864644 745938 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :sorry < 1398864666 870503 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :find where it links yourself then < 1398864701 242045 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I forgot how to fibbonacci with scanl < 1398864737 547794 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :FreeFull: does that involve the case C specifically forbids, where the input overlaps the output? < 1398864795 847284 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> let f = 1:scanl1(+)f in f < 1398864797 325568 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [1,1,2,4,8,16,32,64,128,256,512,1024,2048,4096,8192,16384,32768,65536,131072... < 1398864818 671141 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :b_jonas: Does what? < 1398864843 284061 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh, you said scanl, not scanf < 1398864844 154920 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :sorry < 1398864949 338571 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I don't think you can fibbonacci with scanf, although I might be wrong < 1398865506 5456 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 252 seconds < 1398865853 447217 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Read error: Operation timed out < 1398865905 64437 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :oh wow is Github annoying < 1398865914 416806 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :I registered for it because I have to for this new job < 1398865923 866794 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :they sent me an email "ais523 + GitHub = <3" < 1398865931 454781 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :also they don't require a password confirm to create an account < 1398865944 162303 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :I had to change the password to itself just to get a password confirm box and thus be relatively sure it was typed correctly < 1398865997 942512 :curiousguy13!~chatzilla@120.59.231.221 PART :#esoteric < 1398866119 149244 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> let f = 0:scanl(+)1f in f < 1398866120 819063 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [0,1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946,... < 1398866261 583678 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Now I have 30 slides for 15 minutes. :/ < 1398866299 355092 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Wee. Gotta talk fast :P < 1398866502 434321 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Some of them are just overhead, though. (Title, references, an otherwise empty slide with a giant question mark for the questions, and 7 automatically inserted "outline with position indicator" slides to have some structure in it.) < 1398866521 49186 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :So 20 with any content, and some of *those* are just pictures. Maybe it isn't so bad. < 1398866674 756069 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :int-e: That's it < 1398867041 967230 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`perl-e $==0,(1x$_)=~/(^)(1|11\1)*$(?{$=++})^/,print$=,$/for 0..10 < 1398867042 715193 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1 \ 1 \ 2 \ 3 \ 5 \ 8 \ 13 \ 21 \ 34 \ 55 \ 89 < 1398867120 105550 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :is that \1 simply there to defeat the regex optimizer? < 1398867128 308485 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yes < 1398867303 321774 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`perl-e $==0,(1x$_)=~/^(1|11)*$(?{$=++})^/,print$=,$/for 0..10 < 1398867303 916650 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1 \ 1 \ 2 \ 2 \ 2 \ 2 \ 2 \ 2 \ 2 \ 2 \ 2 < 1398867364 432382 :S1!8d1fe87a@gateway/web/cgi-irc/kiwiirc.com/ip.141.31.232.122 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1398867633 864168 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Quit: Computer has gone to sleep. < 1398867781 560379 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`perl-e $==0,(1x$_)=~/(^)(1|11\1)+$(?{$=++})^/,print$=,$/for 0..10 < 1398867782 197479 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :0 \ 1 \ 2 \ 3 \ 5 \ 8 \ 13 \ 21 \ 34 \ 55 \ 89 < 1398867830 120671 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :which is wrong. < 1398867840 584766 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`perl-e $==0,(1x$_)=~/^1(1|11)*$(?{$=++})^/,print$=,$/for 0..10 < 1398867841 177815 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :0 \ 1 \ 1 \ 2 \ 3 \ 3 \ 3 \ 3 \ 3 \ 3 \ 3 < 1398867859 282351 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`perl-e $==0,(1x$_)=~/(^)1(1|11\1)*$(?{$=++})^/,print$=,$/for 0..10 < 1398867859 968254 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :0 \ 1 \ 1 \ 2 \ 3 \ 5 \ 8 \ 13 \ 21 \ 34 \ 55 < 1398867962 595415 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ack, (?1) is recursion. who in their right mind adds explicit recursion to a regex engine ... < 1398867985 251722 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :int-e: because without it, you can't match brackers, or parse HTML < 1398867997 323791 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :The same people who add arbitrary code execution to a regex enging < 1398868004 122503 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :if you're trying to write a DSL for matching patterns in strings, recursion is something you want < 1398868012 66079 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :actually, they added the arbitrary code thing to see how it was used < 1398868017 251630 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :and using it for recursion was the #1 use by miles < 1398868021 921669 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :so they added a separate recursion primitive < 1398868044 677982 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :we used to write my $regex = qr/<(??{$regex})>/; if we wanted to match angle brackets < 1398868056 703891 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Good language design < 1398868083 290762 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :nowadays /<(?0)>/ works fine < 1398868128 289057 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I wonder if there is a regex without the perl < 1398868151 747394 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shouldn't that be /<(?0)>(?0)/ < 1398868163 120586 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :it depends on what you want the regex to mean < 1398868164 987371 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> let f n | n < 4 = True | otherwise = or [ f a && f (a + b) | a <- [1..n], b <- [1..n], n = 2*a + b, a > b ] in filter f [0..100] < 1398868166 142407 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:90: parse error on input ‘=’ < 1398868174 311986 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> let f n | n < 4 = True | otherwise = or [ f a && f (a + b) | a <- [1..n], b <- [1..n], let n = 2*a + b, a > b ] in filter f [0..100] < 1398868175 831714 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,2... < 1398868181 658477 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I want to match <<><>> too, for example. < 1398868185 346252 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :Jafet: PCRE is the Perl sort, but you also get mathematical regexes that use only + and *, and POSIX regexes which suck < 1398868196 756505 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> let f n | n < 4 = True | otherwise = or [ f a && f b && f (a + b) | a <- [1..n], b <- [1..n], let n = 2*a + b, a > b ] in filter f [0..100] < 1398868198 32209 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,2... < 1398868201 194386 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :int-e: right; that isn't what I wanted, I just wanted the simplest possble example < 1398868207 512056 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :but if you want something more complex, you write a more complex regex < 1398868217 175678 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Wait, what am I typing < 1398868218 825985 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> let f n | n < 4 = True | otherwise = or [ f a && f (a + b) | a <- [1..n], b <- [1..n], n == 2*a + b, a > b ] in filter f [0..100] < 1398868222 581090 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1398868228 878791 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> let f n | n < 4 = True | otherwise = or [ f a && f (a + b) | a <- [1..n], b <- [1..n], n == 2*a + b, a > b ] in filter f [0..50] < 1398868230 470279 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [0,1,2,3,5,8,13,21,34] < 1398868249 940722 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I can't see how a regex can recognize a>b, though < 1398868285 132203 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :^(1*)1+>\1$ < 1398868297 856699 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :what's the representation of a and b < 1398868303 712347 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :unary? < 1398868304 785041 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :you can do it with just backreferences if it's unary < 1398868317 255326 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :I was talking to Jafet, yours is obviously unary < 1398868346 286913 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Hmm, it's possible to combine multiple tests using lookahead < 1398868386 540013 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :anyway, last time I thought along these lines, I ended up inventing Cyclexa < 1398868404 540607 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :it had things like negative matches, e.g. /^(xyz)^xyzabc$/ matches "abc" < 1398868411 854955 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :because (xyz)^ matches minus an xyz < 1398868441 728011 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :What is minus xyz? < 1398868467 974569 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :basically, normally when you're interpreting a regex, you can think of it as a backtracking program that removes from the string < 1398868472 242121 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :e.g. "x" means "remove an x" < 1398868481 48815 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :thus "(x)^" means "add an x to the start of the string" < 1398868506 514432 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Ok, so minus adds. < 1398868560 11510 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Is it basically pushdown, then? < 1398868562 372190 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :yeah, except it gets confusing when you do things like (abc(xyz)^def)^ < 1398868571 304716 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :I can't even remember what semantics I designed for that, if anything < 1398868574 775487 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :this was ages ago < 1398868630 90879 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Presumably a^b would fail to match anything < 1398868638 246355 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :indeed < 1398868647 933733 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :the other feature it had was control flow matching < 1398868670 476092 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :you could do "(a|b)(c|d):1", which is equivalent to "ac|bd" < 1398868672 486168 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :(a^)^ would... equal a? < 1398868677 250431 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :Jafet: yes < 1398868820 495789 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the fun part about recursion in perl regexen is that some of the semantics is unclear if it's combined with backreferences, < 1398868849 112969 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :there's now an open bug ticket that is waiting for regex guru to weigh in with their opinion on what the semantics should be, < 1398868862 699899 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :then the regex engine guru will try to implement that consistently if possible. < 1398868865 141354 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :they should recruit the Perl half of the anarchy golf userbase < 1398868872 673538 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the current implementation is inconsistent. < 1398868889 806232 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :good idea < 1398868901 728412 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :you do a backreference in Cyclexa by combining recursion with control flow matching < 1398868922 588639 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :the real aim for control flow matching, though < 1398868923 737512 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I mean, I noticed this inconsistency because of that catalan numbers regex I mentioned above < 1398868941 479865 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :is to do things like (a$1?)(b$2?):1(c$3?):1 < 1398868956 233085 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :look, now I'm not a PDA any more! < 1398868964 339245 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :not sure if it's actually TC, or just some sort of super-PDA class < 1398868991 740602 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what? < 1398869019 307891 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :that Cyclexa regex matches any number of 'a', followed by the same number of 'b', followed by the same number of 'c' < 1398869023 513699 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :you can't do that using recursion < 1398869039 153931 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :(that can match the 'a' with the 'b', but not with the 'c' as well) < 1398869102 656278 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :wait < 1398869109 977468 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :I thought regexes couldn't do that < 1398869113 615144 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :wouldn't call that a regexp anymore, myself < 1398869140 776775 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :You might be able to reduce some kind of post correspondence or tags to it < 1398869168 565109 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :mroman: regexes cannot even do n times 'a' followed by n times 'b', since they are limited to regular grammars < 1398869187 219899 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Yeah. < 1398869190 822199 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Unless for a fixed n < 1398869196 617393 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :PCRE, which is an extension from regexes, can do n*'a' + n*'b' < 1398869204 308606 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :actual mathematical regular expressions cannot even do that < 1398869217 987526 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :a{3}b{3} matches aaabbb < 1398869221 352021 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :in some regexes . < 1398869234 580514 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :yeah but that's just sugar for writing aaabbb literally < 1398869238 573843 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :but a{n}b{n+1} kinda regexs would be much more fun < 1398869249 304219 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :it's like writing (a)*3(b)*3 in BF Joust < 1398869252 329625 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Like, (a|b)^*((a1|a2|a3...)*)((b1|b2|b3...)*) simulates a post correspondence system with cards [a1,b1], [a2,b2] ... < 1398869280 745955 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :Jafet: I'm unaware of that formalization < 1398869285 797547 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :looks like an interesting thing to try to reduce to < 1398869290 163703 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :also some if stuff < 1398869294 31719 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :(with :1, defined suitably) < 1398869302 803475 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :is there a term for grammars one can recognise using only '|' and '('+')' operators? < 1398869314 514812 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :a{n}b{n/2}(IF n < 10) < 1398869336 675450 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :(basically, mathematical regexes without klein start) < 1398869381 625685 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :also the grammars that can be recognised by a bolean circuit or a bounded storage machine with bounded input or a decision tree < 1398869447 968049 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Actually, ((0|1)^*end)\1((a1|a2|a3...)*end)((b1|b2|b3...)*end):1 < 1398869531 158427 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`perl-e $==0,(1x$_)=~/^(1?1?1?$|(1+)(?!\2\2)(?=(?1))1+(?=(?1))\2$)/&&print$_,$/for 0..100 < 1398869540 917775 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :nortti: do you not want the sequence operator < 1398869554 67747 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :0 \ 1 \ 2 \ 3 \ 5 \ 8 \ 13 \ 21 \ 34 \ 55 \ 89 < 1398869564 861686 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :Jafet: sequence operator? < 1398869565 483471 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :(parens are not normally considered operators) < 1398869572 720002 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(following Jafet's idea) < 1398869591 188574 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :int-e: I merely inquired whether it was remotely possible < 1398869598 912862 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1398869618 83229 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :ok, found the term, "non-recursive grammars" < 1398869624 576970 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Jafet: note the (?!\2\2) which encodes the a>b condition. < 1398869721 855372 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :wait, no, "star-free language" seems to be exactly what I'm looking for, but it seems like it can recognise something a decision tree cannot O_o < 1398869722 274334 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Huh. < 1398869774 715743 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Are you matching AAB or ABA? < 1398869792 206912 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ABA < 1398869808 304481 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so both A and BA become tails < 1398869911 407131 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :and (?=(?1)) checks whether a tail is a fibonacci number. < 1398870058 466155 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :So, using ABA order is actually mandatory. < 1398870358 673775 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :This regex really doesn't deserve to exist. It's bad enough that we need to supply the first 4 values, and the rest of the sequence happens to be exponentially sparse so that no spurious matches are possible < 1398870410 258528 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but it works < 1398870412 850113 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :sort of < 1398870453 388087 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :what does ?= do? < 1398870472 132361 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :look-ahead assertion < 1398870484 484778 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :nortti: star-free languages allow complement. Otherwise it gets a bit boring theoretically, because every language matches a small finite set of strings < 1398870495 629662 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :ah right < 1398870500 685256 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :I mostly only use lookbehind < 1398870539 573797 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :Jafet: oh, right. < 1398870604 490866 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :actually, can't you simulate complement on a finite alphabet? < 1398870685 913813 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Not without star. < 1398870696 102538 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :ic séo < 1398871119 801578 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1398871654 254897 :edwardk_!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1398871734 260556 :edwardk_!~edwardk@pdpc/supporter/professional/edwardk QUIT :Client Quit < 1398871814 951582 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Ping timeout: 276 seconds < 1398872161 136557 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1398872178 748527 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 240 seconds < 1398872520 525485 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`olist 950 < 1398872521 477517 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :olist 950: shachaf oerjan Sgeo FireFly boily nortti < 1398872996 364269 :kronion_!~kronion@195.64.206.231 JOIN :#esoteric < 1398873096 875291 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Danke < 1398873213 63446 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :http://dirk.rave.org/combinatris/ < 1398873262 784368 :kronion_!~kronion@195.64.206.231 QUIT :Client Quit < 1398873263 984753 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1398873304 50468 :slereah_!~slereah@46.218.232.202 QUIT :Quit: Leaving < 1398873326 19549 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops Y is nasty < 1398873509 998674 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops i thought that one would be harmless but it grew too high < 1398873640 861676 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :what sort of mean Tetris drops Y combinators on people? < 1398873722 613077 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :This one < 1398874430 134090 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :tetrYs < 1398874468 623746 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :The rows are independent? That's not very interesting < 1398874491 633484 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Also there are too many Ks < 1398874546 218929 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it seems like it starts producing more ( )'s after a while < 1398874572 777608 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which are afaict impossible to handle < 1398874719 787864 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :You just need to fill them up and K them < 1398874779 433187 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :SKI tetris? < 1398874894 95580 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Yep < 1398874900 391283 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I'm not very good at it < 1398874910 992481 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Those Ys are nasty < 1398874914 458997 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :S can be nasty too < 1398874919 101332 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :At least K and I are harmless < 1398874986 566855 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I found the parens to be the most nasty < 1398874994 404934 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :The Ys are easy to kill by applying them to K < 1398875187 464568 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1398875207 388569 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :K is very important for shrinking other things < 1398875303 63126 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I is useful with the parens < 1398875385 131912 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1398875682 830338 :MoALTz!~no@user-5-173-53-157.play-internet.pl JOIN :#esoteric < 1398875830 511041 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: yeah that's the only thing they're useful for too < 1398875898 784383 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1398876027 576545 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, Y is absorbed by K(YK) which you get from YK < 1398876051 896722 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so if you have just one line with those you have no trouble with Y's until it gets too fast < 1398876133 231559 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :so we (US) gave out $11B in GM bailout... < 1398876145 166353 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :yet we constantly want to cut services for the poor. < 1398876165 428091 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :newsham: but not jobs. because jobs. < 1398876166 699082 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1398876213 142234 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :damn evening sun < 1398876363 944267 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :http://pastebin.com/qh6Tta3h < 1398876738 836909 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Ping timeout: 240 seconds < 1398876990 724068 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1398878179 329685 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah there it's gone < 1398878226 766709 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :job creators got our backs < 1398878416 790405 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :seeing leaks on pastebin is always so weird since there's literally no proof of anything < 1398878564 870212 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :maybe pastebin just makes them up for the ad revenue < 1398878593 551626 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :haha < 1398878627 884618 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PART :#esoteric < 1398878633 251369 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 JOIN :#esoteric < 1398878664 239149 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :actually, does pastebin use adsense? < 1398878679 157734 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Genetically Modified Bailout!? < 1398878707 924494 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :they don't; clearly they're being paid off by google's rivals < 1398878724 30096 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :Taneb, no, grassman matrix bailout < 1398878757 962343 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :OK < 1398878776 764609 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I'm going to talk about incompleteness tonight < 1398878801 352933 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: will the talk be cut short twh < 1398878809 26624 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I have no idea < 1398878813 177728 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Maybe, I guess < 1398878863 472676 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i tried to do a talk a while ago < 1398878865 380453 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :it went badly < 1398878960 18290 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I know that feeling < 1398878972 774451 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I'm sloooowly planning a talk on category theory < 1398878990 838932 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :that's simple; first, work out what you want to talk about < 1398878997 878473 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :second, work out the identities for everything you want to talk about < 1398879020 18620 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :you can consider adding in morphisms between things you want to talk about if you want to go really advanced, but make sure they compose correctly < 1398879040 302479 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::D < 1398879046 202538 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the first talk i did apparently went well except for the part where i stood paralyzed for a minute until my advisor shouted at me. < 1398879098 998309 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i got about halfway through then ran out of time < 1398879106 811385 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i just abandoned the associated essay < 1398879139 934133 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Ooh! My first talk about esolangs went pretty well < 1398879172 89496 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Only talk the society bothered to put on YouTube < 1398879203 848395 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :what is the society about? not talking about esolangs, presumably < 1398879244 816599 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Ostensibly, Computer Science < 1398879270 545940 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: are they about as much about computer science as this channel is about esolangs? < 1398879281 418058 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, I'd say perhaps < 1398879299 200711 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Although we are mostly computer science students < 1398879347 954503 :password2!~password@197.78.155.208 JOIN :#esoteric < 1398879357 273121 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Well, of the paid members, there's two CS/Maths students (including me), one maths student, one person who seems to be confused about degree she's doing and has been at the university for as long as anyone can remember, and one retired CS lecturer < 1398879369 629309 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i was going to make a joke about everyone here being esolangers, but then i remembered kmc has ops. < 1398879381 122935 :password2!~password@197.78.155.208 QUIT :Max SendQ exceeded < 1398879399 204290 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I think I may be in the unique position that the first programming language I ever learnt was esoteric < 1398879409 933604 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Would you like to give my Saturday talk in my stead? < 1398879410 402404 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: he knew his room was in the sky. and now the being was still there sunday noon when a telephone message came from the black northeast corner a shaft of horrible red-gold fnord shaft which bore with it no glow to disperse the darkness, fallacy and ugliness which have turned the mind of joseph curwen, and that will mark the true resting-place of your son. nor need you fear that it will be observed that at this juncture, b < 1398879415 839525 :password2!~password@197.78.155.208 JOIN :#esoteric < 1398879434 129315 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I wonder what they'd say if I went there and started reading fungot. < 1398879434 377007 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: then there was only the prologue of the actual place he sought? he was a victim of physical and nervous suffering, as was stated, in a sense the father of gods had fnord his glories for the sight of any land. on the night of fnord april the new development occurred. while nothing appeared to grow different in kind, and dozens of obscurer ones too elusive to be described, which wears a yellow silken mask over its face an < 1398879446 206076 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Esp. whether they'd catch on if I trained a language model on my paper. < 1398879468 536042 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :fizzie, what is your paper on? < 1398879494 315932 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Boring stuff. Reverberation-robust speech recognition. < 1398879496 489098 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: are you sure she's not a ghost twh < 1398879533 447327 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I am fairly sure < 1398879563 32195 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I think it's she got bored of her computer science degree on her third third year < 1398879570 758260 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: hey you might actually be able to claim it was on topic < 1398879586 225669 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :maybe not for that paper < 1398879603 146109 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh, burn. "There are many choices of elliptic-curve signature systems. The standard choice, ECDSA, is reasonable if you don't care about simplicity, speed, and security." < 1398879627 361137 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(More than a month old though. From http://blog.cr.yp.to/ ) < 1398879631 941144 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :is that the one with the nsa backdoor < 1398879714 916337 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :It's not if you believe their denials. < 1398879762 649075 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :Taneb, does your talk incorporate eodermdrome < 1398879783 716758 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Phantom_Hoover, the esolangs one or the category theory one? < 1398879789 777141 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :either < 1398879790 552811 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :both < 1398879801 73075 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I believe the former mentioned it as a "further reading" < 1398879810 472304 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :The latter probably will not < 1398879819 666299 :drdanmaku!uid17782@gateway/web/irccloud.com/x-cizodljuqjovagqe JOIN :#esoteric < 1398879977 569118 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: This is unrelated to the heartbeat extension implementation disaster that made the news. < 1398879999 953025 :newsham!~chat@udp217044uds.hawaiiantel.net QUIT :Quit: reboot < 1398880053 184205 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :My uni has a folklore file which mentions the "new" and "even newer" computer science buildings. < 1398880061 990902 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Neither of them are the current computer science buildings. < 1398880156 867556 :Froox!~Frooxius@cust-101.ktknet.cz QUIT :Quit: *bubbles away* < 1398880217 527252 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The latest news of the CS student guild's computer classrooms is that they've started to replace the SGI Indys with Pentium 4 FreeBSD machines; that was in 2002. < 1398880260 319783 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Though I think the classroom map has been updated since then, because it has the esolang-based hostnames that weren't there when I used to visit the place (around 2003-2008). < 1398880302 855128 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :The... student guild has their own classrooms!? < 1398880316 220598 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: well heartbeat had nothing to do with which encryption to use afair... < 1398880352 129105 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1398880376 920221 :Sprocklem!~sprocklem@unaffiliated/sprocklem PRIVMSG #esoteric :Taneb: How old is the folklore file? < 1398880377 671581 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Taneb: I don't know the actual details of fiscal ownership of the equipment, but it's at least quite collaborative. < 1398880389 224877 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Sprocklem, hard to date < 1398880396 913224 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Taneb: The room itself is provided by the university, though. < 1398880416 824116 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Sprocklem, certainly before 2010 < 1398880421 313716 :Sprocklem!~sprocklem@unaffiliated/sprocklem PRIVMSG #esoteric :Taneb: Which uni? < 1398880424 587223 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :York < 1398880442 680770 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :After 2002 < 1398880463 511428 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Sprocklem, here is the stablest mirror: http://klaxon.hacksoc.org/uni_history/ < 1398880469 166387 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :They currently have the following hosts in the single remaining classroom: befunge bit bogo brainfuck chef deadfish emo entropy false fractran fugue glass haifu headache intercal iota kvikkalkul lolcode malbolge numberwang ook oisc thue piet regexpl remorse rename shakespeare smith smurf spaghetti unlambda var-aq wake whenever whitespace zombie < 1398880498 887165 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :whatever indeed < 1398880548 176227 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://www.niksula.hut.fi/historia <- classroom history page, but it's in Finnish only. < 1398880695 303884 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :The last date mentioned in the folklore file refers to the academic year 2008/09 < 1398880716 101300 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :The very new CS building opened its doors in September 2010 < 1398880747 382593 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i thought english universities would have their folklore files written on parchment. < 1398880783 658651 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, we're a pretty new institution < 1398880806 425155 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :With the highest duck:student ratio of any university in the EU! < 1398880812 600672 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :yeah but in england "pretty new" just means after the reformation < 1398880830 978736 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what Bike said < 1398880834 409483 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :Bike: there are only two universities in england older than that < 1398880846 160883 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :yes but they're the ones i could name! < 1398880896 608705 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Bike, this uni dates to 1963 < 1398880901 43909 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :huh, three in scotland though. way to fuck up, england < 1398880903 504959 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :i think "pretty new" in the UK means post-1960 < 1398880915 919599 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Anyway, I have a talk to go to! < 1398880945 116199 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :Taneb: does being russell group make you not "pretty new" anymore? < 1398881347 112741 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 245 seconds < 1398882150 349412 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1398883592 732577 :CodingBat!574321f1@gateway/web/freenode/ip.87.67.33.241 JOIN :#esoteric < 1398883745 128681 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t zoom < 1398883746 134755 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(Zoom m n s t, Control.Lens.Internal.Zoom.Zoomed n ~ Control.Lens.Internal.Zoom.Zoomed m) => LensLike' (Control.Lens.Internal.Zoom.Zoomed m c) t s -> m c -> n c < 1398883858 893113 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :~? < 1398883888 54102 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :type equality < 1398884393 787299 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: ? < 1398884401 705384 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: olist 950 has been out for a week or something < 1398884460 463957 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so why did no one `olist it < 1398884473 302565 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm right HackEgo was down < 1398884536 188883 :CodingBat!574321f1@gateway/web/freenode/ip.87.67.33.241 QUIT :Quit: Page closed < 1398884874 879143 :password2!~password@197.78.155.208 QUIT :Ping timeout: 240 seconds < 1398885396 525128 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :happy Australian Mailman mailing list reminders day! < 1398885415 64409 :Slereah!~jackal@176.222.51.233 PRIVMSG #esoteric :what < 1398885444 238816 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :wait, how can someone as #esoteric-regular as Slereah not be aware of that tradition < 1398885468 642811 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :I even took trouble to put all the words in so that elliott wouldn't shout at me (although I didn't particularly care about the capitalization) < 1398885469 813115 :Slereah!~jackal@176.222.51.233 PRIVMSG #esoteric :I am kind of an on and off regular < 1398885483 691770 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :basically, Mailman sends out mailing list reminders on the first day of every month < 1398885488 890792 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523_: you didn't get all the words < 1398885490 995425 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :but when the mailing lists are in Australia, New Zealand, or similar < 1398885493 885101 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :elliott: bleh < 1398885500 617137 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but I no longer really care < 1398885502 659144 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :they come like 12 hours early because of timezones < 1398885511 12022 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :so it's the last day of the preceding month instead < 1398885515 427452 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :which words did I miss? < 1398885526 635239 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zygohistomorphic hth < 1398885528 23421 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :look at the subject of the email < 1398885560 9765 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :oh, "memberships" < 1398885571 502453 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :perhaps I should actually read one of these emails, some day < 1398885622 959023 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :membership singular, isn't it < 1398885658 381097 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nope < 1398885697 297568 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :perhaps it depends on how many lists you're subscribed to? < 1398885733 788738 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mine has only one list < 1398885750 325592 :CodingBat!57403a9d@gateway/web/freenode/ip.87.64.58.157 JOIN :#esoteric < 1398885769 150095 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the main agora lists stopped sending out reminders at some point < 1398885799 148535 :CodingBat!57403a9d@gateway/web/freenode/ip.87.64.58.157 PRIVMSG #esoteric :Hello < 1398885805 250246 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :hi < 1398885821 161411 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 PRIVMSG #esoteric :oerjan: probably when comex started hosting them < 1398886175 836361 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mhm < 1398886372 57841 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Remote host closed the connection < 1398886901 842536 :CodingBat!57403a9d@gateway/web/freenode/ip.87.64.58.157 QUIT :Quit: Page closed < 1398886919 325929 :CodingBat!5bb26b56@gateway/web/freenode/ip.91.178.107.86 JOIN :#esoteric < 1398887315 470871 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1398888161 903313 :augur!~augur@129-2-129-35.wireless.umd.edu JOIN :#esoteric < 1398888421 826759 :CodingBat!5bb26b56@gateway/web/freenode/ip.91.178.107.86 QUIT :Quit: Page closed < 1398889160 431483 :adu!~ajr@pool-108-28-107-114.washdc.fios.verizon.net JOIN :#esoteric < 1398889345 388224 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Ping timeout: 252 seconds < 1398889608 719455 :Slereah!~jackal@176.222.51.233 PRIVMSG #esoteric :http://www.qwantz.com/index.php?comic=2618 < 1398889613 891846 :Slereah!~jackal@176.222.51.233 PRIVMSG #esoteric :Adjecting overflow~ < 1398889732 28455 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1398889876 603828 :kwertii!~kwertii@unaffiliated/kwertii JOIN :#esoteric < 1398889950 983199 :nucular!~MOO@unaffiliated/nucular QUIT :Quit: Switching to phone I guess < 1398890063 738014 :mhi^!~mhi@unaffiliated/mhi/x-9993184 JOIN :#esoteric < 1398890369 311800 :CodingBat!5bb26b56@gateway/web/freenode/ip.91.178.107.86 JOIN :#esoteric < 1398890569 930966 :nisstyre!~yourstrul@oftn/member/Nisstyre JOIN :#esoteric < 1398890999 285911 :augur!~augur@129-2-129-35.wireless.umd.edu QUIT :Read error: Connection reset by peer < 1398891028 717136 :augur!~augur@129-2-129-35.wireless.umd.edu JOIN :#esoteric < 1398891088 948293 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Read error: Connection reset by peer < 1398891109 722970 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1398891243 705073 :CodingBat!5bb26b56@gateway/web/freenode/ip.91.178.107.86 QUIT :Quit: Page closed < 1398891356 842537 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1398891441 481883 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1398891441 794114 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1398892052 544721 :adu!~ajr@pool-108-28-107-114.washdc.fios.verizon.net QUIT :Quit: adu < 1398892123 552244 :adu!~ajr@pool-108-28-107-114.washdc.fios.verizon.net JOIN :#esoteric < 1398892295 996698 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Quit: Soundcloud (Famitracker Chiptunes): http://www.soundcloud.com/patashu MSN: Patashu@hotmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 . < 1398892313 680089 :CodingBat!57401cdf@gateway/web/freenode/ip.87.64.28.223 JOIN :#esoteric < 1398892317 366088 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Quit: http://i.imgur.com/DrFFzea.png < 1398892643 756797 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: leaving < 1398892889 419374 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 250 seconds < 1398893181 710188 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1398893501 692117 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1398893795 734495 :KingOfKarlsruhe!~chatzilla@unaffiliated/kingofkarlsruhe JOIN :#esoteric < 1398893888 153308 :adu!~ajr@pool-108-28-107-114.washdc.fios.verizon.net QUIT :Quit: adu < 1398894865 358309 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1398894879 524728 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Quit: http://i.imgur.com/DrFFzea.png < 1398894918 856990 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1398894987 742326 :augur_!~augur@129-2-129-35.wireless.umd.edu JOIN :#esoteric < 1398895012 5206 :augur!~augur@129-2-129-35.wireless.umd.edu QUIT :Read error: Connection reset by peer < 1398895530 788296 :augur_!~augur@129-2-129-35.wireless.umd.edu QUIT :Ping timeout: 240 seconds < 1398895723 663694 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Quit: Computer has gone to sleep. < 1398895905 813789 :ais523_!93bcc34b@gateway/web/freenode/ip.147.188.195.75 QUIT :Quit: Page closed < 1398896661 39457 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :// This operator is needed for gcc <= 4.0.* and for Sun Studio; it causes internal compiler errors for some MSVC versions. < 1398896663 919266 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :template U& operator->*(U V::* aMember) < 1398896982 590909 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Quit: http://i.imgur.com/DrFFzea.png < 1398896982 777803 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1398896995 192182 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1398897123 392764 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :nice operator < 1398897373 730961 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1398897478 386371 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :am i the first person to browse esolangs.org with a ps3 controller? < 1398897691 640776 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1398897752 713118 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Quit: Computer has gone to sleep. < 1398897827 602538 :CodingBat!57401cdf@gateway/web/freenode/ip.87.64.28.223 PRIVMSG #esoteric :why would anyone do that for starters? < 1398897853 933819 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :1337 cr3d < 1398897911 250538 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :that operator? it's from a smart pointer class < 1398897934 656551 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :http://mxr.mozilla.org/mozilla-central/source/xpcom/base/nsAutoPtr.h#162 < 1398898016 169909 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :"#define NS_ASSERTION(expr, str) do { /* nothing */ } while(0)" okay cool < 1398898057 950637 :pdurbin!~pdurbin@server1.greptilian.com JOIN :#esoteric < 1398899502 739138 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :lexande, we're pretty new to the Russel group < 1398900054 910990 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :Taneb: yeah so maybe you're pretty new to not being pretty new < 1398900126 676086 :augur!~augur@129-2-129-35.wireless.umd.edu JOIN :#esoteric < 1398900153 925815 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net JOIN :#esoteric < 1398900178 696828 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :lexande, also I've ended up pretty tipsy < 1398900224 359599 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :is york in the russel group? < 1398900281 227302 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :yes < 1398900283 436012 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :as of 2012 < 1398900290 801778 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :what is t his group < 1398901458 213276 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :wonder if I should actually learn how COM works < 1398901545 828968 :nisstyre!~yourstrul@oftn/member/Nisstyre QUIT :Quit: WeeChat 0.4.3 < 1398901607 888300 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :why < 1398901617 845168 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :so i can better understand Gecko code < 1398901626 734340 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and because I like fancy C++ nonsense < 1398901699 738284 :KingOfKarlsruhe!~chatzilla@unaffiliated/kingofkarlsruhe QUIT :Quit: ChatZilla 0.9.90.1 [Firefox 29.0/20140421221237] < 1398901702 78189 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :Bike, uk equivalent of ivy league, basically < 1398901762 368680 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :except their ivy has been growing for way longer? < 1398901804 247516 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :not really, warwick was founded in the 60s < 1398901853 472809 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i came back here and misread my own statement as "fancy C++ mushrooms" < 1398901858 390674 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :which sounds like something I would have a dream about < 1398901923 225387 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i had a dream in which mountain view's geography resembled that of boston < 1398901994 807719 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :how did that work < 1398902018 520763 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :uncertain < 1398902209 324597 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1398902336 980975 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Pure profunctor optics cheat sheet: http://www.snip2code.com/Snippet/46365/Profunctor-lenses < 1398902345 20434 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I cannot vouch for its accuracy