< 1433117169 773141 :Lyka|Away!scat@unaffiliated/schrodingerscat NICK :Lyka < 1433117422 443315 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :so, magic 8-ball program came out to 2131 commands. < 1433117483 353587 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :each command being exactly 4 characters < 1433117525 531928 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :and i don't understand a word of it < 1433117633 393929 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sounds like magic < 1433117718 705498 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :the three-command structure A1??C210M+00 is very common < 1433117743 416888 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :the ?? being a byte in hex < 1433117765 672996 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :knowing that, take a guess what it does... < 1433117797 319168 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :i mean, what it is for < 1433117878 227896 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :yeah, it has to do with memory. < 1433117962 813678 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :store ?? in var 1, copy var 1 to t-memory location contained in var 0, increment var 0 by one < 1433117988 794419 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :i used a shell script i made to generate most of this < 1433118094 467089 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :at most 24 of the 2131 commands used involve things other than storing 8-ball answers to memory < 1433118165 422586 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :21*32*3 is the amount of pure "if command is run, copy something into memory" < 1433118209 870458 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :2016 of 2131 < 1433118213 629325 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :is that < 1433118269 696309 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :it only uses 32 bytes of t-memory < 1433118306 411876 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :(20 answers, one info screen, 16x2 lcd) < 1433118455 62131 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :question: as i need an assignment, give me a complex program idea to make that can use only a 16x2 character-only lcd and 5 buttons that are multiplexed so that only one can be pressed at any time < 1433118522 155754 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's not a very large screen < 1433118581 711322 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :these are arduino unos with lcd keypad shields and with programs being run directly from sd < 1433118638 845222 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :4 bytes of command buffering in the programming language i designed to be interpreted < 1433118654 22224 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :A side-scroller where you move in four directions and shoot a gun < 1433118705 776041 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :side scroller with a 2-line-high display, no custom chars? < 1433118754 371552 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :32 1-byte vars/active function, 256-byte global array < 1433118756 214347 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :dammit google why are you showing only the norwegian wikipedia result < 1433118873 311302 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i am wondering if that screen would be just large enough for backgammon < 1433118888 559818 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :hmm...i can modify the interpreter to allow for a 3x1 grid as an alternate mode for each character point on the screen < 1433118902 366943 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :so 16x6 < 1433118926 43121 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :if all points are in graphis mode < 1433118945 304205 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :i've done thins like this before < 1433119040 928315 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :8 max custom chars on the device, but the interpeter i wrote doesn't yet have the commands to configure them < 1433119133 52207 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :20x14 graphics display and 12x8 text display side by side is the best i can do < 1433119237 239279 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :5x7 chars with a single pixel width between each pixel < 1433119336 590907 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(i mean backgammon with numbers showing field contents) < 1433119344 825275 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :might actually be able to do a rogue-like game < 1433119424 754201 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :the system can run up to five different games on a card (five buttons) so i will try for both backgammon and rogue-ike < 1433119427 789928 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :ais523: I bet the people in #esoteric would love BF Joust. < 1433119445 147449 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :tswett: I was hoping so, but they aren't interested in it today < 1433119448 394914 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :at least some of them aren't < 1433119450 384278 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :are you? < 1433119466 760378 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :brb < 1433119467 836387 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Sorta. I want to write a Haskell EDSL for creating BF Joust programs. < 1433119472 837525 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah right < 1433119482 662658 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm in a NetHack tournament right now < 1433119494 681548 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but when I'm less busy I'll be happy to give anyone who cares strategy advice < 1433120440 830912 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :there is going to be so little memory left for non-global variables on my arduino uno that i hope the new version of the interpreter will actually start < 1433120457 568678 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :let alone run < 1433121133 741225 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So Norwegian has two written forms, aye? Bokmal and Nynorsk. < 1433121157 1746 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Are they different orthographies, with different spelling and pronunciation rules? < 1433121209 149652 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Presumably the syntax and vocabulary are pretty much identical. I think I saw on Wikipedia that there are a few suffixes where the Bokmal and Nynorsk equivalents look completely different. < 1433121242 390967 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :And those, I assume, would just be considered different spellings and pronunciations of the same affixes. < 1433121395 662548 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :If you're writing down actual speech, do you use the forms typical of the written form you're using, or the forms that the person actually said? < 1433121403 801065 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :given the 'bok' meaning book, I assume it is similar to the way the KJV of the bible has thou and thee and didst etc. < 1433121491 33646 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :except that people don't write new books in 16c english < 1433121515 865790 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :but they could, if they wanted to < 1433121593 18690 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :or are you saying that people also speak bokmål? < 1433121809 480344 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :hmm... according to wikipedia, nynorsk is the minority lect < 1433121865 522331 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Norwegian_language_conflict < 1433122191 51373 :ZombieAlive!~N3cr0naV@unaffiliated/zombiealive QUIT :Remote host closed the connection < 1433122299 108963 :ZombieAlive!~N3cr0naV@unaffiliated/zombiealive JOIN :#esoteric < 1433123128 425541 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tswett: no, it's not just orthography. and technically pronunciation is not defined by the standards. < 1433123132 222749 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Ooh! where=hvor why=hvorfor -> like shakespearian english 'wherefore' < 1433123194 847664 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there is plenty of vocabulary that would only be used in one of the forms, although some of it may gradually be becoming archaic. < 1433123286 103957 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : If you're writing down actual speech, do you use the forms typical of the written form you're using, or the forms that the person actually said? <-- usually but not always the former. < 1433123324 140799 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :e.g. humor books might frequently try and write dialect. < 1433123345 627914 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*to < 1433123376 617779 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :'try and write' is perfectly grammatical in english < 1433123393 338946 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : And those, I assume, would just be considered different spellings and pronunciations of the same affixes. <-- i doubt that, if they really look completely different rather than being obvious cognates < 1433123539 235953 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : or are you saying that people also speak bokmål? <-- you could say some people are closer to it, like western parts of oslo and some other cities. < 1433123673 154187 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there are some differences in grammar, some differences in usage (e.g. -s possessive suffix is deprecated in nynorsk) < 1433123732 115889 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oren: to vs. and is a sore point in norwegian, because they are å vs. og, identically pronounced. < 1433124056 630682 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Ooh, I just thought of an extremely small unit of money. < 1433124091 424592 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Namely: the cost of an amount of computing power equal to that performed by one transistor in one clock cycle. < 1433124113 818641 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :um. so the g is silent? < 1433124170 443426 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oren: yeah, final g often is. < 1433124183 728032 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net NICK :MDream < 1433124238 152974 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tswett: it's so small that it costs more than it to account for it... < 1433124256 438920 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Yes, certainly. < 1433124300 67618 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sounds good. let's use it to break capitalism. < 1433124334 682704 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Maybe this unit is about one zeptocent. < 1433124387 654588 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :so it's essentially the cost of one nand operation from two bits to one < 1433124394 39932 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :When is the phrase "astronomically large" going to be replaced with "computer scientifically large"? < 1433124452 913775 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tswett: the latter sounds _very_ vague in comparison. < 1433124453 89449 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :when we break down the earth to build a computer out of it < 1433124485 616222 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"astronomically large" has a much lower upper bound. < 1433124496 588939 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :True. < 1433124515 698592 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Although, I think a computer made mostly of iron like the earth would have to be a mechanical one < 1433124517 537182 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :In a certain way, a microsecond is "computer scientifically large". < 1433124548 741352 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Are we going to keep the earth as one big ball or are we going to break it up into lots of tiny pieces? < 1433124557 199778 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :If we keep it as a ball, cooling could be a major problem. < 1433124581 244919 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Hmm maybe a large disc? < 1433124597 717625 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :the ultimate hard disk < 1433124690 826294 :GeekDude!~GeekDude@unaffiliated/g33kdude NICK :}{FISH} < 1433124730 600855 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm engineering problem < 1433124764 354353 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1433124781 676620 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :probably want it distributed around the sun any way, to catch all the energy. < 1433124922 481081 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*- < 1433125683 832467 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :so, in order to make sure that the arduino sketch would run, i almost made the interpreter incompatible with one of my demo programs < 1433127121 736256 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1433127899 283927 :nys!~nys@blk-103-227-154.eastlink.ca QUIT :Quit: quit < 1433128545 255805 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :How to play poker with self-modifying rules? < 1433131219 250157 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :re-added calling funtions from inside functions. < 1433131269 371624 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :but, for stability's sake, you only have a depth of 3 (not inclding the main) < 1433131329 237653 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :cause this arduino uno is dangerously low on ram < 1433131677 644012 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :anyone want me to upload the Octopus 0005b language reference to my server? < 1433132038 218116 :password2!~password@197.77.0.27 JOIN :#esoteric < 1433132255 953456 :}{FISH}!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1433132346 413959 :tromp!~tromp@ool-18be0b4d.dyn.optonline.net QUIT : < 1433132678 791781 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Yes < 1433132687 597620 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I want to see the instructions < 1433133063 662969 :tromp!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1433133315 571995 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I added support for vector synthesis into AmigaMML (with two or four sounds, but only supports using an envelope; it doesn't support a joystick) but I do not have any instrument of vector synthesis do you have some? < 1433134112 28738 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :no < 1433134124 786664 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :i don't thin i do < 1433134235 947043 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :zzo38: https://dl.dropboxusercontent.com/u/98841263/octopus%20language/octopus_0005b_lcd1602_keypad_sd%20commands.pdf < 1433134270 874137 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :zzo38: it's on my dropbox instead of my server because it's gonna be obsolete by the afternoon < 1433134400 835057 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Do you have a .txt or only .pdf? < 1433134433 941174 :Elronnd|deminewt!~elronnd@duckbot.xd.cm NICK :root < 1433134442 329162 :root!~elronnd@duckbot.xd.cm NICK :Elronnd|deminewt < 1433134542 754189 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :text isn't formatted as well, but i'll get it in a second < 1433134608 649259 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I don't need it now since I already looked < 1433134620 768974 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :But, later on when you post final documentation, maybe you should make .txt < 1433134639 236602 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :this ain't anywhere close to final < 1433134692 623585 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :i go ocd on both command listings and command fixings < 1433134782 893348 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :does it look any good to you so far? < 1433134816 689456 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I think so < 1433134849 816340 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :i have to put bitwise operations in < 1433134925 493698 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Yes < 1433134935 872927 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :i'm working on graphics at the moment < 1433134976 340606 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :i mean, the graphics capbility of a 16x2 "text-only" display < 1433135199 83802 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :8 custom characters gives me a little room to draw < 1433135397 472850 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :How big are the tiles? < 1433135408 113863 :zadock!~zadock@81.180.210.87 JOIN :#esoteric < 1433135408 463097 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :5x8 < 1433135437 184411 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :tiles are seperated by a space 1 pixel wide < 1433135541 506393 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: bebepating < 1433135728 577234 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :i have to wake myself up enough to gt up and turn the light off < 1433135840 490286 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :brb < 1433136215 435467 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :back < 1433136280 88094 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :
ACTION coughs up all over the channel
< 1433136309 158706 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :24 hour nasacort only lasts for 16 < 1433136434 520734 :hilquias!~user@unaffiliated/hilquias QUIT :Remote host closed the connection < 1433136750 31690 :tromp!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Remote host closed the connection < 1433136930 720639 :clog!~nef@bespin.org QUIT :Ping timeout: 258 seconds < 1433137504 394044 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca QUIT :Remote host closed the connection < 1433137750 885544 :password2!~password@197.77.0.27 QUIT :Ping timeout: 265 seconds < 1433138019 156529 :constant!~variable@freebsd/developer/variable QUIT :Ping timeout: 264 seconds < 1433138052 643688 :APic!apic@apic.name NICK :APic\splat < 1433138563 838472 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1433138792 960010 :zadock!~zadock@81.180.210.87 QUIT :Quit: Leaving < 1433138944 219791 :J_A_Work!~J_Arcane@a91-153-98-205.elisa-laajakaista.fi JOIN :#esoteric < 1433139277 847145 :rdococ!~rdococ@unaffiliated/octagonfly JOIN :#esoteric < 1433139284 759232 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hai < 1433139599 547478 :ZombieAlive!~N3cr0naV@unaffiliated/zombiealive QUIT :Remote host closed the connection < 1433139653 673717 :J_A_Work!~J_Arcane@a91-153-98-205.elisa-laajakaista.fi QUIT :Quit: J_A_Work < 1433139751 239600 :J_A_Work!~J_Arcane@a91-153-98-205.elisa-laajakaista.fi JOIN :#esoteric < 1433139922 138280 :Sgeo!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :
ACTION is again nostalgic about himself
< 1433140217 671655 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :
ACTION is too tired to close her eyes
< 1433140229 341411 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :*his eyes < 1433140364 411376 :Lyka!scat@unaffiliated/schrodingerscat NICK :Lyka|Away < 1433140758 3101 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca JOIN :#esoteric < 1433140911 411282 :variable!~variable@freebsd/developer/variable NICK :constant < 1433140987 817138 :J_A_Work!~J_Arcane@a91-153-98-205.elisa-laajakaista.fi PART :#esoteric < 1433141737 772172 :constant!~variable@freebsd/developer/variable QUIT :Ping timeout: 276 seconds < 1433141817 350929 :rdococ!~rdococ@unaffiliated/octagonfly PART :#esoteric < 1433142044 421510 :Herbalist!~oz@unaffiliated/herbalist QUIT :Read error: Connection reset by peer < 1433142215 866070 :Herbalist!~oz@unaffiliated/herbalist JOIN :#esoteric < 1433142475 887334 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fungot: morning < 1433142476 99932 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :mroman_: and it was < 1433142508 374505 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fungot: was...? < 1433142508 734176 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :mroman_: the text color is ..well... touching. it has to do with the semantics i have now has an elisp module system really needs better documentation and probably an easier way to convert 2d objects into 3d objects. < 1433143252 560223 :tromp!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1433143253 964344 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Good afternoon, fungot < 1433143254 238779 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Jafet: although i've always used ghost for kicking my own fnord code golf. more formal. challenges organized, hidden input/ output < 1433143567 541663 :tromp!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Ping timeout: 246 seconds < 1433143682 966149 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I had idea to make up the "travel computer", with a monochrome display of 80x25 tiles, with 8x8 pixels per tile, and with simple tone generator, radio receiver, alarm, CF card, wired and wireless internet, infrared, and Forth. Smaller than a laptop computer, such as perhaps 8x11 inches when closed? I don't quite know, but I have some ideas < 1433143725 267266 :APic\splat!apic@apic.name PRIVMSG #esoteric :Kudos. < 1433143739 429836 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :(The other program to built-in, other than Forth, is a VT100 terminal emulator, and perhaps network connection setup and a telnet and/or SSH client.) < 1433143936 885930 :clog!~nef@bespin.org JOIN :#esoteric < 1433143941 682208 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I thought of to have a character generator ROM with 127 tiles where 0-30 are VT100 character graphics, and that 31 and 32 are arrows. The character cell can have bit7 indicate reverse video and bit6-bit0 indicate which tile. Each row can also have perhaps 4-bits tell you the mode, such as double height, double width, underline/reverse/blink, pixels mode (therefore you can make 2x4 graphics per cell in that row) < 1433143955 583604 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :What is your opinions/ideas too? < 1433144135 648213 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Good morning < 1433145109 776681 :zadock!~zadock@cthulhu.tuiasi.ro JOIN :#esoteric < 1433145216 168913 :zadock!~zadock@cthulhu.tuiasi.ro QUIT :Remote host closed the connection < 1433145406 686196 :f|`-`|f_!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net QUIT :Ping timeout: 265 seconds < 1433146550 464004 :f|`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1433146668 61579 :f|`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net QUIT :Client Quit < 1433147309 574375 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ok < 1433147866 84360 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1433148442 470511 :spiette!~spiette@mtl.savoirfairelinux.net QUIT :Ping timeout: 264 seconds < 1433148922 749379 :zadock!~outsider@cthulhu.tuiasi.ro JOIN :#esoteric < 1433151254 968191 :tromp!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1433151527 861555 :tromp!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Ping timeout: 255 seconds < 1433153566 611775 :J_A_Work!~J_Arcane@a91-153-98-205.elisa-laajakaista.fi JOIN :#esoteric < 1433153906 871919 :heroux!sandroco@gateway/shell/insomnia247/x-nozldyamwezawttq QUIT :Ping timeout: 245 seconds < 1433153929 49977 :J_A_Work!~J_Arcane@a91-153-98-205.elisa-laajakaista.fi PART :#esoteric < 1433154009 529422 :gniourf!~gniourf@pdm-l03.insa-lyon.fr QUIT :Ping timeout: 250 seconds < 1433154721 489895 :zadock!~outsider@cthulhu.tuiasi.ro QUIT :Quit: Leaving < 1433154747 578397 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1433154920 317463 :gniourf!~gniourf@pdm-l03.insa-lyon.fr JOIN :#esoteric < 1433155085 755657 :augur_!~augur@c-73-46-94-9.hsd1.fl.comcast.net JOIN :#esoteric < 1433155101 592301 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net QUIT :Read error: Connection reset by peer < 1433155184 244632 :nortti_!~juhani@ayu.smar.fi JOIN :#esoteric < 1433155186 491503 :monotone_!~monotone@room208.org JOIN :#esoteric < 1433155332 489041 :Tefaj!~jafet@unaffiliated/jafet JOIN :#esoteric < 1433155341 857839 :nortti!~juhani@ayu.smar.fi QUIT :Ping timeout: 258 seconds < 1433155341 857936 :monotone!~monotone@room208.org QUIT :Read error: Connection reset by peer < 1433155341 857964 :Jafet!~jafet@unaffiliated/jafet QUIT :Ping timeout: 258 seconds < 1433155768 27619 :J_A_Work!~J_Arcane@a91-153-98-205.elisa-laajakaista.fi JOIN :#esoteric < 1433157520 191955 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1433157788 338952 :tromp!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1433158044 192077 :boily!~alexandre@96.127.201.149 QUIT :Quit: GHOSTLY CHICKEN < 1433158079 317468 :tromp!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Ping timeout: 265 seconds < 1433158434 202626 :Tefaj!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Spectral chicken < 1433158446 943 :Tefaj!~jafet@unaffiliated/jafet NICK :Jafet < 1433158510 502165 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Hmm, spectral is an inflection of two words < 1433159038 134457 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :? < 1433159143 594330 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@wn spectral < 1433159145 634920 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :*** "spectral" wn "WordNet (r) 3.0 (2006)" < 1433159145 810660 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :spectral < 1433159145 810714 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : adj 1: of or relating to a spectrum; "spectral colors"; < 1433159145 810745 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "spectral analysis" < 1433159145 810765 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 2: resembling or characteristic of a phantom; "a ghostly face at < 1433159147 945311 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :[4 @more lines] < 1433159258 453207 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Oooh < 1433159262 450579 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Spectrum and spectre? < 1433159421 731667 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I only realised the more common meaning afterward < 1433159796 56176 :gde33!kvirc@546A0B75.cm-12-3a.dynamic.ziggo.nl QUIT :Read error: Connection reset by peer < 1433160674 454800 :f|`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1433160693 606076 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 265 seconds < 1433160751 968699 :monotone_!~monotone@room208.org NICK :polytone < 1433161435 488808 :tromp!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1433161720 452198 :tromp!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Ping timeout: 256 seconds < 1433162469 990505 :Tritonio_!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1433162505 972782 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Ping timeout: 252 seconds < 1433162560 208142 :tromp!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1433162720 75984 :Tritonio_!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c NICK :Tritonio < 1433162966 15481 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net JOIN :#esoteric < 1433162966 191258 :Wright__!~Wright@c-98-225-44-92.hsd1.wa.comcast.net QUIT :Read error: Connection reset by peer < 1433163199 883367 :Lyka|Away!scat@unaffiliated/schrodingerscat NICK :Lyka < 1433163210 857721 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :hi < 1433163475 201698 :gde33!kvirc@546A0B75.cm-12-3a.dynamic.ziggo.nl JOIN :#esoteric < 1433163614 422486 :SopaXT!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1433163957 194048 :SopaXT!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1433164485 703834 :nortti_!~juhani@ayu.smar.fi NICK :nortti < 1433164549 442284 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Remote host closed the connection < 1433164625 153825 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1433165138 937757 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Remote host closed the connection < 1433165155 267804 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1433165559 491084 :hilquias!~user@unaffiliated/hilquias JOIN :#esoteric < 1433165780 553740 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1433165967 412490 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1433166103 766159 :MDream!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net NICK :MDude < 1433166590 124856 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Remote host closed the connection < 1433166604 765792 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1433167127 783367 :J_A_Work!~J_Arcane@a91-153-98-205.elisa-laajakaista.fi QUIT :Remote host closed the connection < 1433167779 918355 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 246 seconds < 1433169609 281023 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1433170117 142453 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :http://www.furaffinity.net/view/5207303/ - well ain't this Finnish. < 1433170368 594645 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Oh look, another one: http://hantwolf.deviantart.com/art/Lion-of-Finland-272341242 < 1433170489 803064 :TieSoul!~quassel@86.89.119.147 PRIVMSG #esoteric :> furaffinity < 1433170491 796203 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: ‘furaffinity’ < 1433170493 486640 :TieSoul!~quassel@86.89.119.147 PRIVMSG #esoteric :that link is staying blue < 1433170502 949903 :TieSoul!~quassel@86.89.119.147 PRIVMSG #esoteric :also lol lambdabot < 1433170966 54160 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@botsnack < 1433170966 268116 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric ::) < 1433171158 653308 :SopaXT!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1433171702 626989 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Hey, it's totally SFW. < 1433172436 807356 :rdococ!~rdococ@unaffiliated/octagonfly JOIN :#esoteric < 1433172603 716967 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 252 seconds < 1433173299 260581 :spiette!~spiette@mtl.savoirfairelinux.net JOIN :#esoteric < 1433173438 570914 :SopaXT!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Ping timeout: 240 seconds < 1433173613 583793 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1433174991 77446 :dario_!~dario@net-2-33-7-103.cust.dsl.teletu.it JOIN :#esoteric < 1433175253 260460 :dario_!~dario@net-2-33-7-103.cust.dsl.teletu.it QUIT :Quit: Ex-Chat < 1433175841 838404 :Welo!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl JOIN :#esoteric < 1433175892 380494 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :good morning < 1433176189 968967 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :@localtime oren < 1433176190 623037 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Local time for oren is Mon Jun 1 12:31:13 2015 < 1433176198 479402 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I do not think it is morning for you < 1433176204 908128 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :It is certainly not morning for me < 1433176298 800338 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Given that there could be up to ~20 humans in here, there is a fair chance that it is morning for somebody < 1433176320 725371 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :tswett: http://media.indiedb.com/cache/images/groups/1/1/84/thumb_620x2000/1187025029_Suffer_Not_the_Furry_to_Live_Desu.jpg < 1433176589 87101 :password2!~password@197.77.1.55 JOIN :#esoteric < 1433176662 896749 :heroux!sandroco@gateway/shell/insomnia247/x-gxtbuqqyyqlgztml JOIN :#esoteric < 1433176992 855299 :Welo!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl QUIT :Ping timeout: 276 seconds < 1433177361 521647 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :so, um...how much can you do with a 20x16 pixel grid again? < 1433177514 874086 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :plus a 12x2 char grid next to it < 1433177780 505572 :rdococ!~rdococ@unaffiliated/octagonfly PART :#esoteric < 1433177966 381312 :bb010g!uid21050@gateway/web/irccloud.com/x-gisqzucjusksbvjm QUIT :Quit: Connection closed for inactivity < 1433178427 945552 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1433178688 634823 :rdococ!~rdococ@unaffiliated/octagonfly JOIN :#esoteric < 1433179016 538648 :G33kDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1433179026 795812 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :What character are builtin? < 1433179071 593533 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Ping timeout: 252 seconds < 1433179075 285524 :G33kDude!~GeekDude@unaffiliated/g33kdude NICK :GeekDude < 1433179181 868218 :Herbalist!~oz@unaffiliated/herbalist QUIT :Read error: Connection reset by peer < 1433179192 779361 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Remote host closed the connection < 1433179228 988187 :Herbalist!~oz@unaffiliated/herbalist JOIN :#esoteric < 1433179253 601597 :Welo!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl JOIN :#esoteric < 1433180286 351454 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1433180550 60057 :zzo38!~zzo38@24-207-56-9.eastlink.ca QUIT :Remote host closed the connection < 1433181053 514877 :bb010g!uid21050@gateway/web/irccloud.com/x-vpcqvbtpqjbotwlg JOIN :#esoteric < 1433181473 912419 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 256 seconds < 1433181477 626572 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Help I have written the line of code "hundred = (\f -> f . f . f . f) . (\f -> f . f . f . f . f) . (\f -> f . f . f . f . f)" < 1433181489 110345 :Elronnd|deminewt!~elronnd@duckbot.xd.cm PRIVMSG #esoteric :In what language? < 1433181530 775847 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Haskell < 1433181552 133448 :hilquias`!~user@187.113.114.254 JOIN :#esoteric < 1433181597 501212 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: hundred = (\f -> f . f) . (\f -> f . f) . (\f -> f . f . f . f . f) . (\f -> f . f . f . f . f) hth < 1433181616 574233 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :shachaf, not keen < 1433181659 188012 :hilquias!~user@unaffiliated/hilquias QUIT :Ping timeout: 255 seconds < 1433181708 92106 :olsner!~salparot@c83-252-193-184.bredband.comhem.se PRIVMSG #esoteric :Taneb: (\f g -> f . f . g . g) (\f -> f . f) (\f -> f . f . f . f . f) < 1433181720 883704 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :olsner, oooh < 1433181739 804735 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa, it's olsner < 1433181852 565845 :olsner!~salparot@c83-252-193-184.bredband.comhem.se PRIVMSG #esoteric :yep, it's me! < 1433182079 929742 :ZombieAlive!~N3cr0naV@unaffiliated/zombiealive JOIN :#esoteric < 1433182446 49319 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Taneb: I recommend a loop instead < 1433182474 368329 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :good point < 1433182507 299506 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hundred f z = iterate f z !! 100 < 1433182745 447271 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Eh, that sounds lame < 1433182766 793804 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :or construct a lambda containing a loop < 1433182770 902617 :olsner!~salparot@c83-252-193-184.bredband.comhem.se PRIVMSG #esoteric :yes, that's definitely lame < 1433183915 406614 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :shachaf: is that really a loop? < 1433183937 550536 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What is a loop? < 1433183975 336223 :Elronnd|deminewt!~elronnd@duckbot.xd.cm PRIVMSG #esoteric :shachaf: Repeat a series of steps until a bound has been reached < 1433183979 441372 :Elronnd|deminewt!~elronnd@duckbot.xd.cm PRIVMSG #esoteric :Or a condition is true < 1433184002 379633 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you're not the boss of me < 1433184146 285742 :Elronnd|deminewt!~elronnd@duckbot.xd.cm NICK :Dan_Maku < 1433184150 866078 :Dan_Maku!~elronnd@duckbot.xd.cm NICK :Elronnd < 1433184283 62444 :zzo38!~zzo38@24-207-56-9.eastlink.ca JOIN :#esoteric < 1433184529 913276 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :hundred = (\f -> (let q = (\x f n -> if n == 0 then x else (q (f x < 1433184553 778410 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :hundred = (\f -> (let q = (\x f n -> if n == 0 then x else (q (f x) (n - 1)))) < 1433184582 760891 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :I have no idea whether you can do anythign similar to the above < 1433184607 557851 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :hundred = (\f x -> (let q = (\x f n -> if n == 0 then x else (q (f x) (n - 1))) x f 100) < 1433184753 586523 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :hundred = (\f x -> (let q = (\x f n -> if n == 0 then x else (q (f x) (n - 1)))) x f 100) < 1433184984 750002 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :does anyone understand my haskell-racket pidgin thingy or should I figure out how to do this correctly < 1433185331 788709 :nys!~nys@blk-103-227-154.eastlink.ca JOIN :#esoteric < 1433185490 334697 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :ghci is such a scow, why is its syntax different from a .has file < 1433185649 915921 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :hundred :: (Int -> Int) -> (Int -> Int) --works fine in a file, not on the prompt. < 1433185672 288595 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :let hundred :: (a -> a) -> a -> a; hundred = ... < 1433185717 127991 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ghci's syntax is somewhat similar to a do block < 1433185720 432988 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :except not exactly < 1433186253 932090 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :hey, that wasn't too difficult! < 1433186257 274443 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :let hundred :: (a -> a) -> a -> a; hundred f = (\x -> (let q = (\f x n -> if n == 0 then x else (q f (f x) (n - 1))) in q f x 100) ) < 1433186307 429474 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :yay for learning programming languages sort of by osmosis! < 1433186362 597464 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> let hundred :: (a -> a) -> a -> a; hundred f = (\x -> (let q = (\f x n -> if n == 0 then x else (q f (f x) (n - 1))) in q f x 100) ); hundred (\x -> x + 1) 6 < 1433186365 12164 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:158: < 1433186365 187838 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : parse error (possibly incorrect indentation or mismatched brackets) < 1433186385 642439 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> let hundred :: (a -> a) -> a -> a; hundred f = (\x -> (let q = (\f x n -> if n == 0 then x else (q f (f x) (n - 1))) in q f x 100) ) < 1433186387 328231 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : : < 1433186387 504091 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : not an expression: ‘let hundred :: (a -> a) -> a -> a; hundred f = (\x -... < 1433186396 733293 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but what's the point < 1433186420 304223 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :It's a loop with tail recursion < 1433186421 311631 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you're using general recursion and you're not reusing library functions and it's longer < 1433186453 163066 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and tail recursion is scow anyway < 1433186537 582335 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> let hundred :: (a -> a) -> a -> a; hundred f = (\x -> (let q = (\f x n -> if n == 0 then x else (q f (f x) (n - 1))) in q f x 100) ) in hundred (\x -> x + 1) 6 < 1433186539 191874 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 106 < 1433186561 920475 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :heh. evereyone's probably seem this already, but monads in Factor: http://gitweb.factorcode.org/gitweb.cgi?p=factor;a=blob;f=extra/monads/monads.factor;hb=HEAD < 1433186667 127075 :hjulle!~hjulle@ankadagen.vth.sgsnet.se JOIN :#esoteric < 1433186861 310028 :rdococ!~rdococ@unaffiliated/octagonfly PART :#esoteric < 1433186978 270911 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Factor looks slightly insane. < 1433187057 532998 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monads moproblems < 1433187101 353933 :Welo!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl QUIT :Ping timeout: 252 seconds < 1433187170 301876 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :It looks like someone sat down and said "Well, Forth is nice, but what if we grafted some Lisp in there too." < 1433187281 351301 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :The way of explain use of monad is like with list comprehension. Lists you can easily explain fmap/return/join, and then you can see also bind is working, and then how it is working IO monads too. For example in Python you can have [(x, y) for x in [1,2,3] for y in [3,1,4] if x != y] and in Haskell do-notation you can write (do { x <- [1,2,3]; y <- [3,1,4]; guard (x /= y); return (x, y); }) and you come up the same answer. That is how you should exp < 1433187594 74228 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :zzo38: This is similar to one of my few light-bulb moments in monads so far: I write a pure-functional for-loop in Lisp, the end result of which is at least similar. < 1433187649 478095 :Herbalist!~oz@unaffiliated/herbalist QUIT :Read error: Connection reset by peer < 1433187679 976786 :Herbalist!~oz@unaffiliated/herbalist JOIN :#esoteric < 1433187693 33356 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :> do { x <- [1,2,3]; y <- [3,1,4]; guard (x /= y); return (x, y); } < 1433187695 111414 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [(1,3),(1,4),(2,3),(2,1),(2,4),(3,1),(3,4)] < 1433187873 787274 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :To help properly track optimized code without the output disabling the optimization: int traceprint(struct {char s[20]} X) __attribute__ ((const)) {puts(X.s);} < 1433187918 470668 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Basically it's a print function that pretends it's pure < 1433187930 354462 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :um < 1433187959 832091 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :To help properly track optimized code without the output disabling the optimization: int traceprint(struct {char s[20]} X) __attribute__ ((const)) {puts(X.s); return 0;} < 1433187966 772383 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Whoops < 1433188103 434322 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :This helps when optimized code assumes that it can call a function less times than as written, but you're still trying to trace a bug. Adding a puts("crap"); would cause GCC to disable the optimization because now the number of times the function is called matters. < 1433188172 153456 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@wn debugger < 1433188173 588395 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :*** "debugger" wn "WordNet (r) 3.0 (2006)" < 1433188173 764243 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :debugger < 1433188173 764329 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : n 1: a program that helps in locating and correcting programming < 1433188173 764354 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : errors < 1433188249 909780 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :oren: That sort of thing seems to be a semi-common idiom in Clojure when dealing with certain things like database inserts. < 1433188298 877523 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Create a local value, insert it in the db, then return the same, and then you can even thus use it in place somewhere else where you'd otherwise just use the value. < 1433188394 727976 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1433188791 71307 :Welo!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl JOIN :#esoteric < 1433189090 753703 :Welo!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl QUIT :Quit: Leaving < 1433190313 697806 :password2!~password@197.77.1.55 QUIT :Ping timeout: 256 seconds < 1433191126 639646 :heroux!sandroco@gateway/shell/insomnia247/x-gxtbuqqyyqlgztml QUIT :Ping timeout: 272 seconds < 1433192268 879066 :shikhin!shikhin@unaffiliated/shikhin NICK :inspired < 1433192294 812769 :inspired!shikhin@unaffiliated/shikhin NICK :shikhin < 1433192694 850957 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1433193055 838250 :idris-bot!~ircslave@dslb-094-221-210-255.094.221.pools.vodafone-ip.de QUIT :Ping timeout: 245 seconds < 1433193195 250914 :Melvar!~melvar@dslb-094-221-210-255.094.221.pools.vodafone-ip.de QUIT :Ping timeout: 252 seconds < 1433194019 577341 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 256 seconds < 1433194318 348360 :heroux!sandroco@gateway/shell/insomnia247/x-jrarseykypofvsbq JOIN :#esoteric < 1433194480 798394 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 245 seconds < 1433194669 619118 :Melvar!~melvar@dslb-094-221-223-069.094.221.pools.vodafone-ip.de JOIN :#esoteric < 1433194698 22209 :idris-bot!~ircslave@dslb-094-221-223-069.094.221.pools.vodafone-ip.de JOIN :#esoteric < 1433195155 785371 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 245 seconds < 1433195377 132902 :Elronnd!~elronnd@duckbot.xd.cm NICK :|\_|\ < 1433195465 613894 :|\_|\!~elronnd@duckbot.xd.cm NICK :Elronnd < 1433195837 514423 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1433196911 280015 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Have I ever mentioned my "JIT operating system" idea? < 1433196929 293847 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I feel like it could potentially be a really good idea, so I don't know why it hasn't been tried yet. < 1433196958 624115 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :It's an operating system where all executable code, with some exceptions, is stored in the form of some intermediate bytecode instead of machine code. < 1433197017 788768 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Whenever you run a program, the OS runs the bytecode using JIT compilation. < 1433197103 108949 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The benefit I see is that CPU-based security and separation measures are no longer necessary. < 1433197128 523126 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Sounds like the way Android was, before the latest runtime. < 1433197131 824387 :olsner!~salparot@c83-252-193-184.bredband.comhem.se PRIVMSG #esoteric :pretty sure that's been done, at least in almost the same way < 1433197145 584356 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Programs can all run in the same address space, because the bytecode makes it impossible for one program to try to access another program's data. < 1433197155 189734 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :elliott has also described that. < 1433197182 171714 :MoALTz_!~no@78.11.179.104 JOIN :#esoteric < 1433197228 542016 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :pretty sure i thought of almost that back in the early '90s hth < 1433197257 727337 :G33kDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1433197259 929541 :nys!~nys@blk-103-227-154.eastlink.ca PRIVMSG #esoteric :isn't that what inferno is? < 1433197271 753497 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Although in Android's case that's not really the security model, and there's quite a lot of native code around, and anyway the current runtime is ahead-of-time compilation.) < 1433197280 952747 :olsner!~salparot@c83-252-193-184.bredband.comhem.se PRIVMSG #esoteric :even if all userspace code is run in a VM, you may want to isolate your VM instances because you will put bugs in it < 1433197352 67133 :nisstyre!~yourstrul@oftn/member/Nisstyre QUIT :Ping timeout: 256 seconds < 1433197382 409364 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Read error: Connection reset by peer < 1433197385 572997 :MoALTz!~no@78.11.179.104 QUIT :Ping timeout: 256 seconds < 1433197387 213346 :olsner!~salparot@c83-252-193-184.bredband.comhem.se PRIVMSG #esoteric :oh, and iSeries (AS/400) does something like that since the 80s < 1433197390 334324 :G33kDude!~GeekDude@unaffiliated/g33kdude NICK :GeekDude < 1433197394 670718 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I've read about Inferno before. < 1433197395 599704 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Also I think elliott's design also had no distinction between "user mode" and "kernel mode", because it's also equally useless, if you assume no bugs. < 1433197501 276196 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Spectral chicken <-- UNITARY CHICKEN < 1433197530 352827 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Oh sweet, a training round happened. < 1433197553 156845 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The way linear algebrists keep talking about spectral things always confuses me. < 1433197573 262133 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the problem with all this is that doing it properly really requires proof verification all the way down to circuit level < 1433197573 465325 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :At this rate, I should have a neural net in 300,000 seconds. < 1433197605 860748 :olsner!~salparot@c83-252-193-184.bredband.comhem.se PRIVMSG #esoteric :that's less than 100 hours! < 1433197612 352312 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if you want the OS to be safe even with drivers, you need specifications of physical devices < 1433197614 393880 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Hermitian chicken < 1433197614 569665 :nisstyre!~yourstrul@li611-52.members.linode.com JOIN :#esoteric < 1433197628 38238 :olsner!~salparot@c83-252-193-184.bredband.comhem.se PART #esoteric :"Leaving" < 1433197636 54448 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(at least that's part of what i thought, back in the '90s) < 1433197638 48807 :olsner!~salparot@c83-252-193-184.bredband.comhem.se JOIN :#esoteric < 1433197641 867210 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :oerjan: yeah, that's something I don't want to attempt. < 1433197647 638087 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: What sort of spectral things? < 1433197692 900421 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :shachaf: The spectral theorem, mainly. < 1433197704 693492 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Actually gate level verification is more mature than software, if anything < 1433197727 111449 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(I'm conditioned to think of, like, frequencies, man, when someone mentions a spectrum.) < 1433197741 667858 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :(probably because Intel knows, from experience, that it's very expensive to hotfix gates.) < 1433197743 30442 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(And not about eigenvalues.) < 1433197799 501680 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Also: spectral clustering. < 1433197819 170842 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : At this rate, I should have a neural net in 300,000 seconds. <-- i sense determination here < 1433197841 106604 :hilquias`!~user@187.113.114.254 QUIT :Remote host closed the connection < 1433197895 206685 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Sometimes there's an audio-related paper that also involves spectral clustering (because it's used in image processing, and there is nothing they can possess which speech people cannot take away, to quote that movie). < 1433197912 299128 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: you could have invented spectral sequences hth < 1433197935 358263 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: RUN, RUN AWAY < 1433197950 584429 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And then it's like "wait, is that just garden variety clustering with spectral features or spectral clustering of something else". < 1433198034 513811 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://www.jmlr.org/papers/volume7/bach06b/bach06b.pdf <- that seems to be segmenting a spectro[1]gram with spectral[2] clustering. < 1433198049 255978 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Disclaimer: I couldn't bother to actually read it.) < 1433198258 444746 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :going by the contents of http://www.ams.org/notices/200601/fea-chow.pdf i probably couldn't have invented spectral sequences < 1433198313 601835 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION cannot quite remember whether he ever understood what spectral sequences are.
< 1433198321 596410 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Maybe it's like the "only you can prevent forest fires", which most people also cannot do. < 1433198326 487148 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but i'm pretty sure i couldn't have invented them. < 1433198362 196079 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: i'm pretty sure shachaf is alluding to the "you could have invented monads" blog post < 1433198376 307072 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(which is rather more reasonable.) < 1433198404 353646 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: i'm alluding to http://www.ams.org/notices/200601/fea-chow.pdf hth < 1433198405 491514 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oerjan: The title of the thing he linked is "You Could Have Invented Spectral Sequences", though. < 1433198409 899582 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :well, maybe it's not alluding < 1433198432 343188 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :If it's printed in an AMS journal, it must be true. < 1433198438 471104 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok maybe they are alluding, then. < 1433198455 392079 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :no, dan piponi was alluding to the article i linked < 1433198482 126329 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Not related, but something that got a chuckle out of me: tdwtf's "Error'd" had this: [[ For those accounts with no security question, one has automatically been assigned. If prompted, the security question is: "What was the color of your first car?" The answer is: car. ]] < 1433198486 158165 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's nice because it's arguably kind of a tautology: all cars are car-coloured. < 1433198501 516253 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://blog.ezyang.com/2012/02/anatomy-of-you-could-have-invented/#comment-3465 < 1433198542 420024 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: shocking < 1433198556 95814 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ok maybe i missed something < 1433198785 348849 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you could have invented spectral hugs < 1433198832 694071 :nys!~nys@blk-103-227-154.eastlink.ca PRIVMSG #esoteric :you could have invented profunctors < 1433198840 16513 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1433198841 642491 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i did hth < 1433198846 813808 :nys!~nys@blk-103-227-154.eastlink.ca PRIVMSG #esoteric :;_; < 1433199056 877605 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :h|!oq !y < 1433199431 236162 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :b_:D < 1433199490 968134 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait xsampa? < 1433199502 670031 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :xsampa. < 1433199514 119403 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION never learned that.
< 1433199524 915778 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :
ACTION used the trusty table on wikipédia.
< 1433199525 122447 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: i wasn't using xsampa hth < 1433199538 44256 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :oh. what was it then twh? < 1433199671 554081 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION suggests turning your monitor upside down hth hth
< 1433199767 625643 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAH! < 1433199781 322014 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1433199792 304486 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :stupid script < 1433199796 45449 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :that is one impressive helloily. < 1433199820 874900 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I look at this http://blog.ezyang.com/2014/07/type-classes-confluence-coherence-global-uniqueness/ it is similar to thing I have complained about too. My opinion is that the definition of test in D.hs should be a type mismatch error. This would require changing the definition of Set though, as well as fixing Haskell to allow the new definition to work properly. < 1433199849 59274 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hungy. time to hunt for poutine. < 1433199853 966733 :boily!~alexandre@96.127.201.149 QUIT :Quit: HADOPELAGIC CHICKEN < 1433199882 98191 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ask boily what do you think of smoke's poutinerie twh < 1433199882 273952 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1433199902 671669 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :The definition need to indicate that the type (Set x) depends on (Ord x) therefore it work. < 1433199939 26834 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :And you should be able to specify which instances you would want to import too. < 1433199958 974790 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: you should turn the script off. hope that helps. < 1433200035 497406 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :Wait, hang on < 1433200035 779837 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Therefore, in such example as given then specifying the type (Set U) in D.hs at all should be error because it is ambiguous which type you mean. < 1433200070 947841 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :To define the n-sphere in hott you have to define all of its higher homotopies, right? < 1433200094 713835 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :But higher homotopy of the n-sphere is a notoriously hard open problem, so how the hell could you even do that? < 1433200171 451043 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Another problem is that some packages define instances which are wrong and then you cannot define the correct one! < 1433200203 987336 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1433200284 479761 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell boily NOOO don't leave i cannot interpret your xsampa even with wikipedia :( < 1433200284 691856 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1433200512 895475 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that 0~ just doesn't fit any of the tables < 1433200672 848740 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell boily My two theories are: (1) you're trying to write bonsoerjan but have no idea what the phonetic symbols mean (2) you're actually using some african click language with a slight misprint on the 0 < 1433200673 64074 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1433201235 959642 :variable!~variable@freebsd/developer/variable NICK :constant < 1433201350 95803 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :It is EXCESSIVELY rainy here < 1433201414 449199 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@metar ENVA < 1433201414 841902 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :ENVA 012250Z 25008KT 9999 FEW040 BKN060 08/03 Q1000 RMK WIND 670FT 25010KT < 1433201427 929134 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :now if i knew which part was rain < 1433201432 784483 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So the first training batch took 300 seconds, but the next one took 855, and the next one 1196, and the next one 1405. < 1433201453 663111 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :@metar CYYZ < 1433201453 862776 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :CYYZ 012300Z 14007KT 15SM SCT055 BKN065 OVC220 13/08 A3020 RMK SC3SC4CI1 SLP229 < 1433201473 553903 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> zipWith(-)`ap`tail$[300,855,1196,1405] < 1433201475 355551 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [-555,-341,-209] < 1433201480 59401 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :I only see the OVC220 \ < 1433201503 303250 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> zipWith(-)`ap`tail$zipWith(-)`ap`tail$[300,855,1196,1405] < 1433201504 651600 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :@metar ESSB < 1433201504 861188 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :ESSB 012320Z AUTO 22005KT 9999 NCD 07/03 Q1012 < 1433201505 162501 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [-214,-132] < 1433201522 17028 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Good ol' zip`ap`tail < 1433201533 916600 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :@quote zip` < 1433201534 92179 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :quicksilver says: zip`ap`tail - the Aztec god of consecutive numbers < 1433201550 313151 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :@pl \x -> x . x < 1433201550 488768 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :join (.) < 1433201557 860840 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :zip ap ta eel < 1433201634 229282 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :oerjan: wait, do you have a script that randomly appends " hth" to your messages? < 1433201641 227455 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :I made a version of unrnfc that only reads the file through once < 1433201644 467257 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@pl join id (join id) < 1433201644 642815 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :join id (join id) < 1433201653 974708 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tswett: no it removes it hth < 1433201656 165758 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :@unpl join id (join id) < 1433201656 341509 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(\ f -> (\ a -> a) f f) (\ h -> (\ b -> b) h h) < 1433201677 27596 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :tdh < 1433201699 206193 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i guess they fixed that bug < 1433201709 759581 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :What bug was that? < 1433201768 663054 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Phantom_Hoover: defining the n-sphere in HoTT is quite easy. < 1433201801 279265 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :so is it just hard to calculate what \Omega_n actually is? < 1433201812 365494 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I don't remember what \Omega is. < 1433201822 15830 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Like, what a capital omega represents. < 1433201842 727053 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I think this is a big sphere (written like Haskell): < 1433201842 902697 :constant!~variable@freebsd/developer/variable PRIVMSG #esoteric :tswett: in what? algo anylyss or something else? < 1433201847 239700 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tswett: @pl join id (join id) used to loop < 1433201880 94835 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :data BigSphere where Base :: BigSphere; Surf :: Refl (Refl (Refl (Refl Base))) = Refl (Refl (Refl (Refl Base))) < 1433201883 303104 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan *is* a script that randomly appends " hth" to his messages < 1433201891 824920 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@pl ap id id (ap id id) < 1433201894 857906 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :ap id id (ap id id) < 1433201895 33532 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :optimization suspended, use @pl-resume to continue. < 1433201899 264043 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh that's the one < 1433201904 71989 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@pl-resume < 1433201910 153896 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :ap id id (ap id id) < 1433201910 367941 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :optimization suspended, use @pl-resume to continue. < 1433201912 924568 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :tswett, capital omega is the group of loops with a given basepoint < 1433201917 7679 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :http://hastebin.com/zoyejekeyu.cpp < 1433201918 515034 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :(i think_ < 1433201932 787161 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Yeah, I think it is just hard to calculate what that is. < 1433201934 737355 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :so it's \pi_n except more general or something < 1433201951 926601 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: maybe if you resume it one more time you'll get something < 1433201960 953741 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@pl-resume < 1433201973 516352 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :ap id id (ap id id) < 1433201973 692006 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :optimization suspended, use @pl-resume to continue. < 1433201979 407404 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: nope hth < 1433201988 836824 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :tdnh < 1433202009 571645 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :tht < 1433202034 848659 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tope his telps < 1433202067 554179 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :it implements http://en.wikipedia.org/wiki/Byte_pair_encoding < 1433202507 66201 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? category-helpdesk < 1433202507 997590 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :category-helpdesk is a helpdesk with identity and composition. This channel isn't it. < 1433202510 412686 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what's this all about < 1433202533 108576 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` N=$(find wisdom -type f | wc -l); F="$(find wisdom -type f | head -n $((RANDOM % N)) | tail -n1)"; E="${F#wisdom/}"; echo "$E"; \? "$E" < 1433202534 486991 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :right \ Right is not two wrongs but three lefts. < 1433202541 888155 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i dunno, ask in the category helpdesk < 1433202555 686295 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` N=$(find wisdom -type f | wc -l); F="$(find wisdom -type f | head -n $((RANDOM % N)) | tail -n1)"; E="${F#wisdom/}"; echo "$E"; \? "$E" < 1433202556 870867 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :burlesque \ Burlesque is only the sexiest language on Earth. (See: http://mroman.ch/burlesque) < 1433202743 635633 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` N=$(find wisdom -type f | wc -l); F="$(find wisdom -type f | head -n $((RANDOM % N)) | tail -n1)"; echo -n "${F#wisdom/}/"; cat "$F" < 1433202744 760773 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :olsner/olsner seems to exist at least. He builds all his esolangs in diesel engines. < 1433202763 677249 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` echo 'N=$(find wisdom -type f | wc -l); F="$(find wisdom -type f | head -n $((RANDOM % N)) | tail -n1)"; echo -n "${F#wisdom/}/"; cat "$F"' > bin/wisdom; chmod +x bin/wisdom < 1433202767 476997 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1433202804 24226 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`wisdom < 1433202804 483976 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`wisdom < 1433202804 716583 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`wisdom < 1433202805 77795 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`wisdom < 1433202806 120965 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`wisdom < 1433202807 723496 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :copumpkin/copumpkin is categorically incapable of being president. < 1433202808 282184 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :itidus20/itidus20's entry has been censored. < 1433202808 690530 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :cat/Cats are cool, but should be illegal. < 1433202808 866416 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​Ø/Ø escaped due to a sensitive case bug < 1433202808 866466 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :résumé/résumé is a French summary. Not a curriculum vitæ. < 1433202811 116011 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oops < 1433202813 482754 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :too many nicks < 1433202823 892962 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :copumpkin: sorry about that hth < 1433202940 370520 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :too many nicks on the dance floor < 1433202954 711133 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :also what happened to itidus20's entry < 1433202963 547086 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's been censored < 1433202982 241259 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :by the way, slashlearn isn't compatible with entries that are in subdirectories < 1433202984 206324 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :`run ls wisdom/iti* < 1433202986 468415 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom/itidus19 \ wisdom/itidus20 \ wisdom/itidus21 < 1433202994 875943 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :`? itidus19 < 1433202995 839746 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :itidus19 disappeared into a space-time anomaly < 1433202997 195101 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :`? itidus21 < 1433203000 527349 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :itidus21 just made some instant coffee. < 1433203003 194496 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so this will generate invalid output for them < 1433203034 411963 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? phantom_hoover < 1433203035 411811 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Phantom Michael Hoover is a true Scotsman, hatheist, and completely out of the loop. < 1433203053 218077 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :it's true < 1433203054 929598 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh, that's why you were asking about homotopies < 1433203156 631289 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`wisdom < 1433203157 656169 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :thyme/Thyme itself is only an abstract approximation of oregano.