00:10:27 -!- sebbu3 has joined. 00:11:37 -!- sebbu has quit (Ping timeout: 255 seconds). 00:19:55 -!- hppavilion[1] has joined. 00:34:29 @tell moony obviously you haven't seen the answers for https://codegolf.stackexchange.com/questions/57257/radiation-hardened-quine 00:34:29 Consider it noted. 00:36:00 lambdabot @tell 00:36:05 @tell 00:36:05 Who should I tell? 00:36:12 oerjan 00:36:24 @tell oerjan hello 00:36:24 Consider it noted. 00:36:32 What does that do? 00:36:54 @messages-flood 00:36:54 kerbal said 29s ago: hello 00:37:09 @tell kerbal hi there! 00:37:09 Consider it noted. 00:37:21 @messages-flood 00:37:21 oerjan said 12s ago: hi there! 00:37:25 Cool 00:42:22 @help 00:42:23 help . Ask for help for . Try 'list' for all commands 00:42:27 @list 00:42:27 What module? Try @listmodules for some ideas. 00:42:31 @listmodules 00:42:31 activity base bf check compose dice dict djinn dummy elite eval filter free fresh haddock help hoogle instances irc karma localtime metar more oeis offlineRC pl pointful poll pretty quote search 00:42:32 slap source spell system tell ticker todo topic type undo unlambda unmtl version where 00:42:41 @help hoogle 00:42:41 hoogle . Haskell API Search for either names, or types. 00:45:10 -!- sleffy has joined. 00:47:27 @hoogle a -> b -> a 00:47:27 Prelude const :: a -> b -> a 00:47:27 Data.Function const :: a -> b -> a 00:47:27 CorePrelude const :: a -> b -> a 00:48:20 @metar ENVA 00:48:20 ENVA 132320Z 28010KT 9999 SCT019 BKN027 12/10 Q1012 RMK WIND 670FT 29010KT 00:48:25 STILL HUMID 00:48:38 <\oren\> @metar CYYZ 00:49:03 <\oren\> @metar CYYZ 00:49:03 CYYZ 132300Z 35008KT 15SM FEW030 SCT075 SCT240 23/16 A2999 RMK CU2AC1CI1 SLP156 DENSITY ALT 1600FT 00:53:12 You people really thought of everything... 00:53:27 I'm working on a bot for #esoteric, if you don't mind 00:53:48 It will be able to interpret Integ, a language I designed 00:54:03 Do I have to get approval first? 00:54:25 <\oren\> we just kick bots if their anoying 00:54:28 Ah 00:54:50 <\oren\> and we feed them @botsnacks if they're good 00:54:54 <\oren\> @botsnack 00:54:55 :) 00:55:19 !botsnack 00:55:34 That functionality specific to lambdabot? :) 00:55:44 That's so cool 00:55:48 <\oren\> hmm, not sure which bots support it 00:56:00 <\oren\> `botsnack 00:56:01 ​>:-D 00:56:01 `botsnack 00:56:02 ​>:-D 00:56:07 ^botsnack 00:56:07 Oh nom nom nom! 00:56:33 Are there any other functions that are implemented by most or many bots? 00:57:06 `help 00:57:06 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch [] " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 00:57:08 -!- DHeadshot has quit (Ping timeout: 268 seconds). 00:57:24 ^echo hi 00:57:24 hi hi 00:57:32 @echo hi 00:57:32 echo; msg:IrcMessage {ircMsgServer = "freenode", ircMsgLBName = "lambdabot", ircMsgPrefix = "oerjan!~oerjan@hagbart.nvg.ntnu.no", ircMsgCommand = "PRIVMSG", ircMsgParams = ["#esoteric",":@echo hi"]} 00:57:32 target:#esoteric rest:"hi" 00:57:38 `echo hi 00:57:38 hi 00:57:50 [ echo hi 00:57:51 oerjan: echo hi 00:58:08 <\oren\> most of them have some sort of protection against bot-loops iirc 00:58:14 [ hi 00:58:15 oerjan: |value error: hi 00:58:37 Noted. 00:59:08 ^prefixes 00:59:08 Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-bot ( , jconn ) , j-bot [ . 00:59:40 `prefixes 00:59:45 Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-bot ( , jconn ) , j-bot [ . 01:00:02 Doesn't zemhill also use !? 01:00:33 kerbal: yeah but it has only two commands so i never bothered including it. 01:00:41 ok, maybe three. 01:01:06 although since EgoBot is never here any more... 01:01:16 ( echo hi 01:01:16 No such variable echo 01:01:34 (but that goes for several in the list) 01:02:13 Hmm... 01:02:44 -!- augur has quit (Remote host closed the connection). 01:03:10 [ echo 'hi' 01:03:11 FireFly: |security violation: echo 01:03:11 FireFly: | echo'hi' 01:03:13 oh 01:03:17 [ 'hi' 01:03:18 FireFly: hi 01:08:42 [ echo hi 01:08:42 oerjan: echo hi 01:08:49 [ echo 'hi' 01:08:50 oerjan: |security violation: echo 01:08:50 oerjan: | echo'hi' 01:08:54 weird 01:11:03 -!- boily has joined. 01:12:15 -!- Integ has joined. 01:12:17 bohily 01:13:04 -!- Integ has quit (Read error: Connection reset by peer). 01:13:32 kerbal: maybe Integbot to prevent boily from accidentally `welcoming it 01:13:57 good idea 01:14:20 the wiki seems downish 01:14:27 `echo hi 01:14:28 hi 01:14:56 or at least slow and timing out 01:16:15 -!- Integbot has joined. 01:17:08 :stats 01:17:39 Integbot: stats 01:18:36 That isn't my design... that's just an example code for the IRC python package. I might alter it to suit our purposes 01:18:36 -!- Integbot has quit (Remote host closed the connection). 01:20:12 -!- sleffy has quit (Ping timeout: 246 seconds). 01:20:55 hellørjan! kellorbal! 01:21:27 I shall `relcome anybody who has to be `relcomed, be they human, robots, cyborgs or fungot. 01:21:27 boily: anyway, the last one, from which you could...' is) 01:22:13 Actually, maybe I can avoid doing that 01:23:32 That is, tweak the code 01:24:09 kerbal: just for the record, are you human, what are your approximative geographic coördinates and body weigh? 01:26:12 `learn Humans are a species rumored to be a majority in the channel, although evidence seems inconclusive. 01:26:14 Relearned 'human': Humans are a species rumored to be a majority in the channel, although evidence seems inconclusive. 01:26:17 oops 01:26:20 `before 01:26:27 wisdom/human//Humans are constantly evolving, although not as fast as pokémons. 01:26:32 I am human. My body weight is between 1 and 1000 lbs. My latitude is between 89 N and 89 S and my longitude is between 180 W and 180 E 01:27:14 `learn_append human They are constantly evolving, although not as fast as pokémons. 01:27:16 Learned 'human': Humans are a species rumored to be a majority in the channel, although evidence seems inconclusive. They are constantly evolving, although not as fast as pokémons. 01:27:28 `slwd human//s,although,but, 01:27:29 human//Humans are a species rumored to be a majority in the channel, but evidence seems inconclusive. They are constantly evolving, although not as fast as pokémons. 01:28:30 boily: i sense you may have to treat kerbal as an outlier. 01:28:55 at least e didn't claim to be on mars. 01:29:12 or to be a celestial object. 01:29:39 has anyone claimed to _be_ mars? could get kinky. 01:30:01 just to be sure, regolite is only moondust? 01:30:15 *h 01:30:23 Yep, I'm definitely one of you human people. I eat your human food and speak your human words 01:30:25 hegolite? 01:30:28 hinky? 01:30:39 kerbal: DEFINITELY. 01:31:05 apparently not, even earth has some. 01:31:36 "Regolith is a layer of loose, heterogeneous superficial material covering solid rock. It includes dust, soil, broken rock, and other related materials and is present on Earth, the Moon, Mars, some asteroids, and other terrestrial planets and moons." 01:32:05 such is life. 02:01:36 See if you can figure out which command it runs 02:01:44 Should arrive soon 02:02:21 -!- Integbot has joined. 02:02:24 Here we go 02:02:41 A hint: commands are of the form ;[command] arguments 02:02:56 and the implemented one already exists in other bots 02:03:15 ;echo hi 02:03:15 Command not recognized 02:03:18 ;help 02:03:19 Command not recognized 02:03:28 TRICKY 02:03:33 keep trying 02:03:34 ;metar ENVA 02:03:34 Command not recognized 02:03:45 ;list 02:03:46 Command not recognized 02:03:55 ;tell hello 02:03:55 Command not recognized 02:04:09 ;zjoust < 02:04:10 Command not recognized 02:04:22 ;prefixes 02:04:22 Command not recognized 02:04:32 ;help help 02:04:32 Command not recognized 02:04:45 ;quit 02:04:45 Command not recognized 02:04:54 Another hint: You're doing good, and the bots are too 02:05:02 ;botsnack 02:05:02 A tasty snack! Thanks! 02:05:15 Try ;botsnack Oreo 02:05:23 ;botsnack mint 02:05:24 You gave me a tasty mint! 02:05:51 From here, adding other commands shouldn't be hard 02:06:02 ;famous last words 02:06:02 Command not recognized 02:06:48 lol 02:09:56 The Integ interpreter should be implemented tomorrow if all goes well 02:10:01 bye 02:10:04 -!- kerbal has quit (Quit: Page closed). 02:15:55 -!- augur has joined. 02:20:05 hello abyss my old friend ♪ 02:20:25 `? abyss 02:20:26 In Soviet Russia, the abyss gazes into you first. Other than that, it's pretty much the same. 02:20:27 -!- augur has quit (Ping timeout: 240 seconds). 02:23:26 -!- augur has joined. 02:37:33 -!- Integbot has quit (Ping timeout: 246 seconds). 02:48:25 -!- jaboja has quit (Ping timeout: 240 seconds). 02:54:00 -!- hppavilion[1] has quit (Quit: HRII'FHALMA MNAHN'K'YARNAK NGAH NILGH'RI'BTHNKNYTH). 02:56:46 -!- boily has quit (Quit: GIANT CHICKEN). 03:10:25 -!- Hoolootwo has quit (Ping timeout: 245 seconds). 03:12:55 -!- Hoolootwo has joined. 03:23:11 -!- augur has quit (Remote host closed the connection). 03:24:16 -!- izabera has changed nick to izakitten. 03:24:34 -!- augur has joined. 03:28:39 -!- augur has quit (Ping timeout: 246 seconds). 03:28:41 -!- izakitten has changed nick to izabera. 03:43:49 -!- hppavilion[1] has joined. 04:14:30 -!- augur has joined. 04:18:36 `5 w 04:18:42 1/2:atrocity//Atrocity is the capital of the Atrocious Empire. \ delaware//Delaware is a US state in which everybody speaks German. \ adventure//You're in a 20 foot by 20 foot stone room. A stout oaken door banded with iron affords the only visible egress. As you approach the door, an imp appears. "Hello, INSERT NAME. To pass, you must solve my puz 04:18:44 `n 04:18:45 2/2:zle. SEE HANDOUT 1 ON PAGE 17." \ 𝕈//𝕈 would be the set of rational numbers, if the Unicode Consortium weren't idiots who put it as ℚ. \ certainly//We don't know what certainly is for sure, but it certainly isn't a functor. 04:19:35 oerjan: Are you sure certainly isn't a functor? 04:19:46 hm isn't it a monad 04:20:06 or is that possibly 04:20:16 if one of them is a monad the other one is a comonad hth 04:20:23 unless you're some sort of intuitionist wwnh 04:20:26 i think certainly is the comonad 04:20:35 because certainly X -> X 04:20:58 possibly 04:21:14 are comonads functors again 04:21:30 I think it's a functor but not an "internal" functor or something. 04:21:53 So (A -> B) -> (CA -> CB) isn't true, but on some meta level something similar is true. 04:21:57 it sends propositions to propositions, sounds pretty internal 04:22:06 ok 04:22:10 I don't know. 04:22:14 `? possibly 04:22:16 possibly? ¯\(°​_o)/¯ 04:22:54 `learn Eventually we'll have a better wisdom here. 04:22:56 Learned 'eventually': Eventually we'll have a better wisdom here. 04:24:43 `? always 04:24:44 always? ¯\(°​_o)/¯ 04:25:28 -!- doesthiswork has joined. 04:27:17 i,i `le/rn always//The wisdom entry "eventually" will always be bad. 04:48:07 -!- Sprocklem has quit (Ping timeout: 240 seconds). 04:50:21 -!- Sprocklem has joined. 04:54:33 wouter's automatic refactoring is pretty interesting http://strlen.com/restructor/ 05:00:59 -!- augur has quit (Remote host closed the connection). 05:13:39 -!- augur has joined. 05:27:35 -!- oerjan has quit (Quit: Nite). 05:29:44 -!- Deewiant has quit (Ping timeout: 260 seconds). 05:36:04 -!- Deewiant has joined. 07:01:56 -!- FreeFull has quit. 07:05:59 -!- Akaibu has joined. 07:11:10 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...). 07:24:33 -!- sleffy has joined. 07:38:09 -!- augur has quit (Remote host closed the connection). 07:57:28 -!- hppavilion[1] has quit (Remote host closed the connection). 07:57:59 -!- hppavilion[1] has joined. 08:07:33 `unidecode ; ; 08:07:33 ​[U+0020 SPACE] [U+003B SEMICOLON] [U+0020 SPACE] [U+003B SEMICOLON] 08:08:03 -!- sleffy has quit (Ping timeout: 258 seconds). 08:10:32 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 08:17:30 Hello! 08:18:16 I was told at a job interview on Thursday that I'd hear back from them Monday or Tuesday, and now it is Wednesday morning and I have not heard back 08:18:25 What's the appropriate thing to do here? 08:19:15 Send them an angry email cursing their ancestors? 08:19:36 I guess it depends on whether you want the job. 08:20:47 "monday or tuesday" sounds like it could just as well mean wednesday or thursday 08:20:56 I think emailing them to follow up is reasonable but maybe not right on Wed morning. 08:22:06 OK, I will wait a bit longer 08:22:19 It is a job that I would quite like 08:22:27 What's the job? 08:23:36 A company in Cambridge called Myrtle, they do compilers targeting FPGAs and dedicated circuit type things 08:23:52 -!- sebbu3 has changed nick to sebbu. 08:24:15 "vacancies" 08:24:18 how british 08:25:16 so much haskell 08:27:40 What would the not-British thing to say be? 08:28:40 To me "vacancies" sounds like a hotel or something. Or otherwise very formal. 08:28:51 usually "Careers" 08:28:53 I think most US companies I've seen have a link that says "jobs" or "careers". 08:29:02 Instead of "vacancy" they might say "open position" or something. 08:29:59 Ah, fair enough 08:30:04 I don't know. 08:30:32 Is this true: The bigger the (US) company the more likely they are to say "careers" instead of "jobs". 08:30:55 Small startups usually have a link saying "jobs", maybe because they likely won't exist in a few years. 08:31:17 Maybe if you hire someone to do HR for you they tend to use more formal language 08:31:36 It's possible. 08:38:32 -!- augur has joined. 08:43:52 -!- augur has quit (Ping timeout: 246 seconds). 09:20:56 -!- doesthiswork has quit (Quit: Leaving.). 09:21:09 -!- hppavilion[1] has joined. 09:27:46 "Opportunities." 09:44:31 -!- Akaibu has quit (Quit: Connection closed for inactivity). 09:45:26 fizzie: That's in recruiter emails. 09:45:38 Though I do get email from British recruiters so who knows. 10:09:29 -!- augur has joined. 10:18:51 -!- augur has quit (Ping timeout: 246 seconds). 11:34:15 -!- boily has joined. 12:27:16 -!- boily has quit (Quit: HUMID CHICKEN). 12:39:27 -!- hppavilion[1] has quit (Ping timeout: 258 seconds). 13:27:15 -!- nullcone has quit (Quit: Connection closed for inactivity). 13:39:54 -!- sebbu has quit (Read error: Connection reset by peer). 13:40:16 -!- sebbu has joined. 14:00:31 -!- doesthiswork has joined. 14:27:34 -!- augur has joined. 14:32:15 -!- augur has quit (Ping timeout: 246 seconds). 14:51:59 -!- `^_^v has joined. 15:09:22 -!- jaboja has joined. 15:28:39 -!- augur has joined. 15:33:02 -!- augur has quit (Ping timeout: 246 seconds). 16:27:16 https://www.kickstarter.com/projects/871405126/turing-tumble-gaming-on-a-mechanical-computer/ 16:27:25 -!- jaboja has quit (Ping timeout: 260 seconds). 16:29:14 -!- augur has joined. 16:33:55 -!- augur has quit (Ping timeout: 246 seconds). 16:49:03 -!- sdhand has quit (Excess Flood). 16:49:12 -!- sdhand has joined. 16:49:35 -!- sdhand has changed nick to Guest2664. 17:06:07 -!- Guest2664 has quit (Changing host). 17:06:07 -!- Guest2664 has joined. 17:06:07 -!- Guest2664 has changed nick to sdhand. 17:24:01 -!- jaboja has joined. 17:29:27 -!- FreeFull has joined. 17:54:02 -!- sleffy has joined. 17:55:27 -!- augur has joined. 17:59:21 -!- oerjan has joined. 18:22:43 . o O ( QC is living up to its name once more ) 18:24:22 quantum computing?! 18:24:57 questrionable contents 18:25:15 minus the r and the last s. 18:25:29 It's atrocious typing day for me, apparently. 18:26:40 imo scowmic strip 18:27:57 <\oren\> It's so weird how QC is now some sort of transhumanist fiction... 18:28:28 <\oren\> I remember a friend of mine being into it when it was about indie music 18:31:00 <\oren\> well, transhumanism and dick jokes 18:31:44 the robots (except Pintsize) are essentially human anyway, they even blush 18:39:02 -!- sleffy has quit (Ping timeout: 268 seconds). 18:44:19 -!- nullcone has joined. 18:49:04 -!- hppavilion[1] has joined. 18:59:07 -!- sdhand has quit (Excess Flood). 18:59:15 -!- sdhand has joined. 18:59:39 -!- sdhand has changed nick to Guest52052. 19:02:48 -!- Guest52052 has changed nick to sdhand. 19:02:48 -!- sdhand has quit (Changing host). 19:02:48 -!- sdhand has joined. 19:07:06 -!- jaboja has quit (Ping timeout: 240 seconds). 19:10:06 -!- oerjan has quit (Quit: Later). 19:11:41 -!- jaboja has joined. 19:43:16 -!- Phantom_Hoover has joined. 19:48:00 \oren\: I think you can compress neoletters.ttf into WOFF2 with more than 10x reduction 19:48:19 in my experiment, 2103093 to 238283 19:49:10 s/more than/nearly/ 19:56:00 -!- sleffy has joined. 20:02:17 -!- kerbal has joined. 20:02:57 -!- Integbot has joined. 20:03:03 ;botsnack 20:03:03 A tasty snack! Thanks! 20:03:23 Now I've got to actually finish the interpreter capability 20:04:02 ;botsnack hamburger 20:04:02 You gave me a tasty hamburger! 20:07:58 -!- hppavilion[0] has joined. 20:09:55 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 20:10:21 -!- Integbot has quit (Ping timeout: 246 seconds). 20:11:12 -!- kerbal has quit (Ping timeout: 260 seconds). 20:17:42 -!- Integbot has joined. 20:17:56 -!- kerbal has joined. 20:18:02 ;integ 20:18:02 Usage: ;integ program [input] 20:18:02 Unrecognized number of arguments 20:18:30 ;integ ](97) 20:18:30 a 20:18:55 ;integ /(0)(0) 20:21:57 -!- Integbot has quit (Read error: Connection reset by peer). 20:22:11 -!- Integbot has joined. 20:22:20 ;integ ](97) 20:22:20 a 20:22:24 ;integ /(0)(0) 20:22:24 Cannot divide by zero. 20:22:38 Please take it to #esoteric-blah. 20:22:54 HackEgo and fungot bot spam is the only kind allowed in here. 20:22:54 shachaf: cool... i just don't understand what you want. 20:23:04 fungot: you can't always get what you want, anyway 20:23:05 shachaf: i am afraid i cannot find what i want 20:24:03 fungot: but if you try sometimes, well, you just might find you get what you need hth 20:24:03 shachaf: identifier already imported... see fnord/ plt/ trunk/ src/ fnord 20:24:13 hm 20:26:06 -!- Integbot has quit (Read error: Connection reset by peer). 20:29:43 -!- DHeadshot has joined. 20:32:39 ;integ }(0)(49)}(1)(56)}(2)(47)}(3)(1)~(0)(}(2)(+({(2))({(3)))]({(2))?(-(-({(0))(1))({(2)))(}(3)(1))()?(-(+({(1))(1))({(2)))(}(3)(-1))()) 20:33:16 That's odd... that won't post to #esoteric-blah 20:33:19 shachaf: Oh my god that was amazing 20:33:26 kerbal: Are you in #esoteric-blah? 20:33:29 yep 20:33:49 kerbal: Is it too long? 20:33:52 I moved my bot testing there at shachaf's request 20:34:04 but tried to see if I could put it here 20:34:11 (the bot's not here now) 20:35:05 Ok... it must work for you, then... I need to see if I can prevent the bot from flooding the chat, or at least prevent it from crashing 20:35:15 The API below my code must do that 20:35:46 fungot has rare moments of lucidity. 20:35:46 shachaf: i reject the argument that i call with the defaults for all missing arguments. 20:36:08 fungot: i reject the premise 20:36:39 wait... is fungot a bot? 20:36:39 kerbal: linux is ( fnord. fnord chi non ama il suo fratello, che ha visto, non fnord fnord dio, che non ha visto. fnord fnord 20:36:52 no way 20:36:58 that's amazing 20:37:12 fungot 20:37:12 kerbal: http://swiss.csail.mit.edu/ classes/ fall-2004/ csci1901/ pracmidterm2.htm, or name, and another metaxis that allows you to convey the information that then displays come from? 20:37:25 Who built fungot? 20:37:25 kerbal: what is the advantage of writing the repository app with an fnord 20:37:39 what? 20:37:46 fungot: what? 20:37:46 kerbal: it might be there. you could read the libpcre source, but you still have plans to add some gui to t? 20:44:32 ^source 20:44:32 https://github.com/fis/fungot/blob/master/fungot.b98 20:47:02 fungot: I'm still pretty proud of you. 20:47:02 fizzie: how did you get all possible advantages of java 20:47:08 You wrote an IRC bot THIS GOOD in befunge? I can hardly believe it 20:47:25 Did I read that correctly? 20:47:32 It's easier to write than read, to be fair. 20:48:03 That's amazing 20:48:11 -!- jaboja has quit (Ping timeout: 255 seconds). 20:48:47 For the babbling there are other programming languages involved in building the language model the Befunge code reads. 20:49:07 -!- wob_jonas has joined. 20:49:34 ah 20:50:21 In fact the more recent styles use a piece of software from my former university, https://github.com/vsiivola/variKN 20:53:30 -!- wob_jonas has quit (Client Quit). 20:56:24 -!- wob_jonas has joined. 20:57:01 Re https://www.xkcd.com/1850/ , I've been to the air force museum "F15 flygmuseum" in Söderhamn, Sweden, and it is indeed really cool. 21:01:14 -!- sleffy has quit (Ping timeout: 260 seconds). 21:12:45 Can I bring my bot on real quick? It interprets Integ, an esolang I created. I'll only have it on here for a couple of minutes 21:13:26 Shachaf, would that be ok? 21:13:35 Why? 21:13:52 I mean, this channel isn't opposed to bots, but the other channel is intended for bot testing. 21:14:21 Well, it might be able to be shown off, and for whatever reason it isn't connecting to esoteric-blah now 21:14:37 It's in a partially usable state... might be interesting 21:15:00 got it working better 21:19:39 kerbal: if it's not too noisy, you can. I don't see why it wouldn't connect to esoteric-blah but can connect here though 21:20:07 Wait... it connected 21:20:17 and if it's too noisy, we'll ask you to take it away, or get a channel op to quiet it 21:20:34 ok 21:20:40 -!- Integbot has joined. 21:20:50 ;integ }(0)(49)}(1)(56)}(2)(47)}(3)(1)~(0)(}(2)(+({(2))({(3)))]({(2))?(-(-({(0))(1))({(2)))(}(3)(1))()?(-(+({(1))(1))({(2)))(}(3)(-1))()) 21:21:31 wait... now I know of a setting I need to tweak 21:21:34 this should work 21:21:41 ;integ ](104)](101)](108)](108)](111)](44)](32)](119)](111)](114)](108)](100) 21:21:41 hello, world 21:21:48 kerbal: oh, this is that language you were talking about earlier 21:21:52 Yep 21:21:58 does it have some form of looping now? 21:22:07 I think it is Turing-complete now 21:22:27 It's even got time, random, and de-allocation operators as of the most recent update 21:22:29 let me see what you added to it 21:22:43 It's at github.com/kerbin111/Integ 21:22:49 But I can show you here 21:23:02 um... shouldn't there be at least a pointer from esolangs.org ? 21:23:12 you should create an article there 21:23:14 I haven't written an article yet 21:23:24 The random operator: 21:23:29 _xy 21:23:32 In action: 21:23:41 I don't care about random, I want to know about looping 21:23:44 it didn't have loops last time 21:23:47 ah 21:23:53 The loop operator 21:24:08 (looping and conditionals, but there are tons of ways around conditionals) 21:24:12 hold on, let me get a program together 21:24:19 conditional programs are easier 21:24:21 here's one 21:24:25 (you need some form of looping, or else everything terminates) 21:25:10 ;integ ]( ? (- ([()) (97)) (97) (98) ) a 21:25:11 Unrecognized number of arguments 21:25:23 ;integ ](?(-([())(97))(97)(98)) a 21:25:23 a 21:25:26 ;integ ](?(-([())(97))(97)(98)) b 21:25:27 b 21:25:30 ;integ ](?(-([())(97))(97)(98)) c 21:25:30 b 21:25:43 The ternary conditional operator is ? 21:26:07 Or ?xyz where x is the condition. y is evaluated if x is 0, else z 21:26:26 Basically, this program detects whether or not you inputted a 21:26:37 is that short-circuiting? 21:26:42 what do you mean? 21:27:04 short-circuiting means that only one of the expressions y and z will be evaluated when you evaluate ?xyz 21:27:14 Exactly 21:27:17 it matters because expressions can have side effects 21:27:32 Only one is evaluated 21:28:09 The loop operator is ~xy where y is evaluated every time x is 0 21:28:24 so y gets evaluated multiple times 21:29:17 So you have a while loop, with the condition negated. Good. 21:29:48 yep. 21:30:13 Give me a second and I will demonstrate a program that uses the while loop 21:30:19 is there a less-than compare operator, or do you have to get by without one? 21:32:04 You have to get by without one by looping. I've decided that I probably won't implement one 21:32:47 it would be nice to have one 21:32:55 and perhaps functions too 21:33:01 ;integ ~(-(97)([()))(](89)](111)](117)](32)](115)](97)](105)](100)](32)](39)](97)](39))](89)](111)](117)](32)](100)](105)](100)](110)](39)](116)](32)](115)](97)](121)](32)](39)](97)](39) aab 21:33:02 You said 'a'You said 'a'You didn't say 'a' 21:33:09 That's a looping program 21:33:19 I've thought extensively about putting functions in 21:33:23 or macros 21:34:31 I'll keep you all posted... may implement some someday 21:34:38 kerbal: you can get by without a less-than operator, but it's not easy. it would be really better to have that, or some other feature that lets it emulate easily 21:34:48 and I don't think it's hard to implement in the interpreter 21:35:03 wob_jonas: It's not... it's more of a language philosophy thing 21:35:21 -!- nullcone has quit. 21:35:30 I want to be a bit minimalistic while still having more features than, say, BF 21:35:42 -!- nullcone has joined. 21:35:58 -!- `^_^v has quit (Quit: Leaving). 21:35:58 but not having a > operator while having a % operator may be TOO minimalistic 21:36:07 -!- `^_^v has joined. 21:36:12 (The % operator does modulus) 21:36:24 kerbal: do the memory cells store arbitrary size bigints? 21:36:30 yep... 21:36:33 you should mention that in the docs I think 21:36:58 Surprised that I don't 21:37:34 About the > operator. If I've got %, my language is not minimalistic but rather inconvenient 21:37:41 which is probably not a great philosophy 21:38:29 I guess it would return 1 or 0 like C 21:39:02 Ok, so what rounding does the / operator use? Is it truncating division? 21:39:17 discards remainder, so probably so 21:40:09 Then I guess you can use something like /(+1*2x)(*2x) to check for the sign 21:41:23 nah, not quite that, but something like that 21:42:09 maybe a construct involving a conditional... not sure 21:42:11 make that /(*3x)(+1*3x) 21:42:18 checks if x is negative 21:42:42 and since this is bigints, /(*3-xy)(+1*3-xy) checks if x is less than y 21:43:02 but this only works if it's really truncating divison; if it's floor division, you need a different construction 21:43:06 wait... just to be certain... is bigints arbitrary precision? 21:43:21 there are like six different rounding modes for integer division 21:43:25 (some of them are stupid, but they exist) 21:43:32 kerbal: yes, arbitrary precision integers 21:43:39 ok, just making sur 21:43:41 sure 21:43:52 (unless you run out of memory, in which case you get an error) 21:44:07 yeah, division just discards the fractional part 21:44:16 i.e.: 21:44:32 so will you add user-definable and callable functions of some sort? 21:44:41 ;integ ](/(201)(2)) 21:44:42 d 21:45:20 (functions, subroutines, subprograms, procedures, macros, whatever, choose your own name) 21:45:37 wob_jonas: maybe 21:45:46 (I'd probably call them user-defined operators) 21:46:06 Still trying to figure out how they'd work within the syntax of the language 21:46:44 Just to make my explanation clearer: 21:47:08 ;integ ](/(300)(3))](/(301)(3))](/(302)(3)) 21:47:08 ddd 21:49:17 -!- `^_^v has quit (Quit: Leaving). 21:49:25 -!- `^_^v has joined. 21:51:20 -!- Integbot has quit (Read error: Connection reset by peer). 21:51:29 shachaf: I killed Integbot 21:51:51 (well, disconnected is a less violent way of putting it) 21:52:16 you took it down temporarily for maintenance 21:52:34 I can put it back up if you want 21:52:42 I would like it, yes 21:52:46 but it's not urgent 21:52:48 ok, hold on 21:52:49 feel free to fix it 21:53:31 (it should be trying to connect) 21:54:01 wait, connected it to the wrong channel somehow 21:54:13 (or maybe I typed in the wrong command) 21:54:16 hold on 21:57:25 -!- Integbot has joined. 21:57:29 ok. A bit of confusion involving Python distro folders 21:57:44 and identically named files 21:57:51 ;integ [70 21:57:51 More operands expected. 21:57:54 (it's a long story) 21:58:14 You need to put parentheses around operands 21:58:14 -!- quintopia has set topic: Registered HyperCamel 2 | vampiric marbles | http://esolangs.org/ | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://www.dropbox.com/s/fyhqyvy3i8oh25m/wisdom.pdf | For bot testing, use #esoteric-blah. 21:58:31 like 21:58:31 ;integ [(70) 21:58:49 Wait... you're going for 21:58:53 ;integ ](70) 21:58:53 F 21:59:03 ;integ ]70 21:59:04 More operands expected. 21:59:07 ;integ ](70) 21:59:07 F 21:59:12 yp 21:59:13 ;integ ](70)](72) 21:59:13 FH 21:59:14 yep 21:59:23 ;integ +(](70))(](72)) 21:59:23 FH 21:59:27 ;integ +(](70))](72) 21:59:27 More operands expected. 21:59:32 ;integ +(](70))(](72)) 21:59:32 FH 21:59:51 ;integ +(3)(4) 22:00:02 ;integ +(3)(4)](72) 22:00:02 H 22:00:13 ;integ ](+2(70)) 22:00:13 More operands expected. 22:00:16 ;integ ](+(2)(70)) 22:00:17 H 22:00:31 Yep, that's how you test arithmetic 22:00:31 [wiki] [[Special:Log/newusers]] create * Santiago Benoit * New user account 22:00:47 Since you can't directly put integers to the console 22:01:06 ;integ ~(0)(]73) 22:01:07 More operands expected. 22:01:10 ;integ ~(0)(](73)) 22:01:14 (Well, you can put the corresponding character, but that won't be the right value) 22:01:19 ;integ ](74) 22:01:19 J 22:02:00 wob_jonas: still working on the way in which the bot works with loops 22:02:11 ;integ }(0)(8)~(}(0)(-({0)(1){(0))(](73))](65) 22:02:12 More operands expected. 22:02:18 because ;integ ~(0)(](73)) should put an infinite loop 22:02:45 I bet that Integbot is not allowed to send that many characters 22:02:54 and so the buffer sends nothing 22:03:09 what is the max character limit in messages here? 22:03:14 ;integ }(0)(8)~({(0))(}(0)(-({(0))(1)(](73))](65) 22:03:15 Parentheses not balanced. 22:03:35 `grwp character 22:03:47 ​ꙮ:ꙮ is the official Unicode character of #esoteric. \  :  is a space, unless you're hackego and don't understand wide characters. \ ☾_:☾_ is moon_'s lawful twin. He's banned in the IRC RFC for being an invalid character. He sometimes eats papers. \ character:A character is just a homomorphism to the group of complex numbers of modulu 22:04:38 just googled it... 256 characters 22:04:52 will implement changes respecting that 22:05:33 kerbal: it's complicated, the max length is between 356 and 490 22:06:08 -!- `^_^v has quit (Quit: This computer has gone to sleep). 22:06:14 What about 300 then, just to be safe? 22:06:17 kerbal: the server sends commands at most 512 long to the clients, including the terminating crlf, but the header is variable length because it includes the sender's nick!user@hostname and the channel name 22:06:40 Interesting 22:06:41 kerbal: 356 is definitely always safe on freenode 22:06:51 356 it is, then 22:07:20 hold on, let me restart the bot 22:07:31 it depends on the network because the max nickname length and channel name length differ (I don't know if the username and hostname max lengths differ or not), some networks allow ridiculously long nicks or ridiculously long channel names (probably not both together) 22:07:39 ask if you need the details 22:07:40 ah 22:08:05 -!- Integbot has quit (Remote host closed the connection). 22:08:14 and that's bytes, not characters in any other encoding 22:08:19 356 bytes 22:08:24 -!- Integbot has joined. 22:08:37 ;integ ~(0)(](73)) 22:08:38 IIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIII 22:08:40 and messages must not contain cr, lf, or nul characters 22:09:07 Integbot already prohibits those, but not well: 22:09:14 ;integ ](10) 22:09:14 Some output characters cannot be displayed. 22:09:22 ;integ ](97)](10) 22:09:22 Some output characters cannot be displayed. 22:09:51 ;integ }(0)(72)}(0)(-({(0))(1))]({(0)) 22:09:51 G 22:10:10 I bet I can make a special exception for cr, lf, and nul, though... those are 13, 10, and 0, right? 22:10:13 kerbal: it would be nicer if the bot just replaced those bytes with a space instead of dying 22:10:20 I agree 22:10:23 yes, 13, 10 and 0 in decimal 22:11:07 ;integ }(0)(72)~(-(64)({(0)))(}(0)(-({(0))(1))]({(0))) 22:11:20 no wait, the loop is backwards 22:12:10 ;integ }(0)(72)~(/(64)(-(64)({(0))))(}(0)(-({(0))(1))]({(0))) 22:12:43 You may need a ] 22:13:02 no, I am probably messing up the condition 22:13:13 ;integ }(0)(72)~(/(64)(-(128)({(0))))(}(0)(-({(0))(1))]({(0))) 22:13:34 oh yeah, you've got one 22:13:38 ;integ }(0)(72)~(1)(}(0)(-({(0))(1))]({(0))) 22:13:51 ;integ }(0)(126)~(0)(}(0)(-({(0))(1))]({(0))) 22:13:52 Some output characters cannot be displayed. 22:14:08 Note that in ?xyz, x must be 0 for y 22:14:34 -!- Integbot has quit (Remote host closed the connection). 22:14:49 -!- Integbot has joined. 22:14:54 Sorry, just implementing some improvements 22:15:01 try your last command again 22:15:03 ;integ }(0)(126)~(0)(}(0)(-({(0))(?(-({(0))(64))(0)(1)))]({(0))) 22:15:03 }|{zyxwvutsrqponmlkjihgfedcba`_^]\[ZYXWVUTSRQPONMLKJIHGFEDCBA@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ 22:16:02 ;integ }(0)(126)~(?(-({(0))(64))(1)(0))(}(0)(-({(0))(1)))]({(0))) 22:16:03 Error: Illegal use of (). 22:16:03 @ 22:16:10 ;integ }(0)(126)~(?(-({(0))(64))(1)(0))(}(0)(-({(0))(1))]({(0))) 22:16:10 }|{zyxwvutsrqponmlkjihgfedcba`_^]\[ZYXWVUTSRQPONMLKJIHGFEDCBA@ 22:16:15 ah, better 22:16:20 For recognized invalid character codes, namely negative ones, 0, 10, and 13, it prints nothing like the offline Integ interpreter. For other invalid character codes, 22:16:26 (though some comparison operators would be easier to wrap around my head) 22:16:30 it keeps the behavior it had before 22:16:39 I might add < 22:17:27 Why is it that whenever a company posts you a "we're updating our terms of service" email, they never include a diff. 22:17:37 ;integ }(0)(32)~(-(/({(0))(127))(1))(}(0)(+({(0))(1))]({(0))) 22:17:51 It's always just "here's 20 pages of legalese, we changed some of it". 22:17:54 kerbal: why do you insist on parenthesis around every operand? or is that not what the syntax does? 22:18:15 You know, I wonder if the time operator will have any weird behavior here... I copied and pasted most of this code from the offline version and then edited it 22:18:24 (probably NOT good programming practice) 22:18:25 ;integ }(0)(32)~(/({(0))(127))(}(0)(+({(0))(1))]({(0))) 22:18:25 !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ 22:18:54 wob_jonas: the parentheses ensure that whitespace can be completely ignored 22:19:11 which means you can shape your code any way you want 22:19:16 fizzie: Because they don't want you to read it? 22:19:17 plus, it's easier to parse 22:19:23 even if whitespace is ignored, you could require less parenthesis 22:19:24 kerbal: I think you should take your bot back to #esoteric-blah 22:19:40 shachaf: Sorry 22:19:43 ok 22:19:47 -!- Integbot has quit (Remote host closed the connection). 22:19:58 you only really need it in two cases: between numbers to disambiguate a multi-digit integer literal from multiple shorter ones, and for the implicit sequencing (comma) operator 22:20:29 wob_jonas: true... I kind of like the obsfucation, though 22:20:46 I'm not sure if this counts as obfuscation, but ok 22:20:54 good point 22:21:03 it may not be 22:21:23 it's easy to parse 22:21:27 i guess 22:21:58 if you want easy to parse, just remove the implicit sequencing operator to make it a true prefix operator language 22:22:16 you don't even need any new construct in its place as long as operators like + eval their arguments from left to right 22:23:02 I would have to do something about integer constants, though 22:23:06 I thing 22:23:11 think 22:23:12 spaces between them? 22:23:26 I want Integ to completely ignore whitespace 22:23:43 um... commas or some other symbol between them? 22:25:20 possibly... 22:25:46 I don't know, I kind of like the ridiculous overuse of () 22:26:11 um... parenthesis around every multi-digit number? 22:26:15 it's worse than LISP (ironically, I didn't even know about LISP syntax until AFTER I wrote the language) 22:27:24 that actually might be harder to parse 22:27:51 kerbal: not if you remove the implicit sequencing 22:27:58 it will become much easier to parse then 22:28:45 Well, I might play around with that idea... would be a neat change. 22:28:56 The parentheses can be really hard to keep track of 22:29:37 besides the () overuse, what are your thoughts? 22:30:05 well, I already said a less-than operator would be convenient, and some sort of user-defined user-called functions would be nice too 22:30:15 those would make this a usable small language 22:30:17 "small" 22:30:35 it still needs a full bignum engine, so it's not quite "small", but not big either 22:30:43 well, bigint engine 22:30:54 like dc 22:31:01 What do you mean by full bigint engine? It can handle large numbers 22:31:55 sure, your implementation already uses the bigint calculations built into python 3 if I understand correctly 22:32:02 Yep 22:32:22 do you mean like a native arithmetic handler? 22:34:25 I mean some code that handles the allocation and the arithmetic operations on the bigintegers 22:35:35 Could you give me an example of what that would be used for? I don't quite understand what you mean 22:35:46 My apologies 22:36:34 um, your language has these + - * / operators that operate on big integers. to implement this language, the interpreter needs to contain code to do those computations on arbitrary bigings 22:36:35 bigints 22:36:53 your implementation calls the ones built into the python 3 interpreter 22:37:05 Why is that problematic? 22:37:32 it isn't, I'm just saying it's not really a minimalistic language in the sense some esolangs are, though it still is not too big 22:37:44 ah, ok. 22:38:00 What is it, then? A medium sized language? 22:38:44 no, still a small language. a full implementation would be a few kilobytes at least (if optimized) 22:38:54 or a tiny language, but not a minimalistic one 22:39:03 at least not if you count the computer implementation 22:39:23 it might be a minimalistic language mathematically like two-counter counter machines are 22:40:13 I see. 22:40:22 (Sorry, I'm new to this) 22:47:23 I guess that this engine would handle +,-,*,/ through bit operations? 22:47:30 and such? 22:49:08 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 23:09:44 wob_jonas: I'm working on providing documentation for the operators through a ;help command, if you find that relevant 23:11:34 -!- LKoen has joined. 23:28:33 [wiki] [[Talk:Footsteps]] https://esolangs.org/w/index.php?diff=52160&oldid=52153 * Ais523 * (+433) r to Keymaker 23:29:11 [wiki] [[Talk:Footsteps]] https://esolangs.org/w/index.php?diff=52161&oldid=52160 * Ais523 * (+56) also explain what happens when running out of lines 23:33:27 [wiki] [[Talk:Kangaroo]] https://esolangs.org/w/index.php?diff=52162&oldid=52152 * Ais523 * (+692) /* Matrix Kangaroo */ I've actually used this; looks like we invented the language independently 23:37:35 -!- DHeadshot has quit (Ping timeout: 240 seconds). 23:41:09 `prefixes 23:41:10 Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-bot ( , jconn ) , j-bot [ . 23:41:17 [ help 23:41:18 kerbal: |value error: help 23:41:22 [help 23:41:27 [ ? 23:41:28 kerbal: ? 23:42:08 kerbal: http://code.jsoftware.com/wiki/Community/IRC has some very old description of jevalbot. I'm not really maintaining it these days (though I can answer questions) so there's no better docs 23:42:21 [ 9+4 23:42:21 wob_jonas: 13 23:42:34 Thanks. I wanted to try something in #esoteric-blah 23:46:40 -!- erkin has joined. 23:52:52 > var "hello" 23:52:53 hello 23:53:04 > "hello" 23:53:06 "hello" 23:53:31 hellob_jonas 23:53:32 -!- oerjan has joined. 23:53:52 oerjan: Are you allergic to cats or something? 23:54:53 hi shachaf 23:55:50 not very, although i have suspected they make me itch. it's not like i'm into contact with many. 23:56:22 Hmm, why don't you get a kitten? 23:56:30 `? oerjan 23:56:31 Your omnipheasant back principal witty arrant darth oerjan the indecisive is a hazy expert in minor compaction. Also a Glaneep who disses Roald Dahl. He could never render the word "amortized" so he put it here for connivance. His arc-nemesis is Betty Crocker. He twice punned without noticing it. 23:56:59 `swrjan s/Be/Ki/ 23:57:00 i could tell you but then i would have to kill you. 23:57:01 oerjan//Your omnipheasant back principal witty arrant darth oerjan the indecisive is a hazy expert in minor compaction. Also a Glaneep who disses Roald Dahl. He could never render the word "amortized" so he put it here for connivance. His arc-nemesis is Kitty Crocker. He twice punned without noticing it. 23:58:00 (aka i'm not anywhere near organized enough to care for an animal) 23:58:09 oerjan: What if you fostered a kitten for two weeks? 23:58:14 Do you think you can do two weeks? 23:58:18 no. 23:58:30 oerjan: you could just say that you live in an apartment where you can't keep pets. that's a pretty socially acceptable excuse. 23:58:48 well i could but it would be a lie. 23:58:49 Why would you give excuses to things? 23:58:51 shachaf: you want to find a temporary caretaker for your cat during a vacation? 23:58:55 I live in an apartment that doesn't allow pets. :-( 23:59:35 wob_jonas: given how much i complained about the neighbors' pet after i moved here, i think that lie would be very implausible hth