00:04:45 -!- PinealGlandOptic has quit (Quit: leaving). 00:16:27 -!- sleffy has joined. 00:23:32 Is this method "STA *+1(0:2)" and stuff like that common in MIX programs? 00:52:14 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...). 01:08:44 "Do I dare put a character named "Mallock" in a story about memory" 01:09:08 I don't care 01:12:38 <\oren\> I had really strong soju at work today! 01:13:02 <\oren\> time to play cities: skylines! 01:24:40 -!- oerjan has joined. 01:27:40 -!- sleffy has quit (Ping timeout: 240 seconds). 01:41:51 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:01:40 -!- jaboja has quit (Ping timeout: 240 seconds). 02:06:40 -!- Sgeo_ has joined. 02:08:05 -!- Sgeo__ has quit (Ping timeout: 240 seconds). 02:25:35 -!- sleffy has joined. 02:26:55 -!- hppavilion[1] has quit (Read error: Connection reset by peer). 02:41:21 -!- sleffy has quit (Ping timeout: 248 seconds). 03:01:06 -!- ATMunn has quit (Quit: See ya! o/). 03:04:01 -!- jaboja has joined. 03:07:35 [wiki] [[Special:Log/newusers]] create * Behrooz Binary * New user account 03:18:05 -!- moony has quit (Ping timeout: 240 seconds). 03:51:23 -!- xkapastel has joined. 04:00:04 <\oren\> 100000 residents! 04:00:07 <\oren\> https://imgur.com/wbaOWxK 04:01:26 <\oren\> https://imgur.com/e6QHSLr 04:16:47 I found another bug in MIXPC that LDiN and LDXN are not work. I found the mistake so that I can fix it. 04:23:16 [wiki] [[Truth-machine]] https://esolangs.org/w/index.php?diff=52980&oldid=52977 * Zzo38 * (+357) +[[MIX (Knuth)]] 04:47:12 -!- jaboja has quit (Remote host closed the connection). 05:14:41 -!- MDude has quit (Ping timeout: 240 seconds). 05:19:21 -!- MDude has joined. 05:22:10 `learn The password of the month is chanterelles 05:22:12 Relearned 'password': The password of the month is chanterelles 05:25:46 -!- sleffy has joined. 05:39:35 <\oren\> What should I call the next district after "Extra Orenburg"? 05:39:53 <\oren\> https://imgur.com/yM8y8dB 05:43:44 \oren\: Orenchugladitsnotorenburg 05:46:17 also, ankh-morpork for wherever that sewage continues to 06:16:50 orenville 06:21:09 orengrad 06:22:42 santoreno 07:50:55 -!- xkapastel has quit (Quit: Connection closed for inactivity). 08:04:45 -!- trn has quit (Excess Flood). 08:04:58 -!- trn has joined. 08:07:07 -!- oerjan has quit (Quit: Nite). 08:23:11 -!- MDude has quit (Ping timeout: 248 seconds). 08:25:35 -!- sleffy has quit (Ping timeout: 240 seconds). 08:49:34 -!- imode has quit (Ping timeout: 255 seconds). 08:56:18 -!- mroman has joined. 08:56:32 morning 08:56:56 Hi mroman 08:57:07 How's mrome? 08:58:04 mrome what? 08:59:38 an 08:59:40 morn 09:09:27 blubb 09:29:02 -!- AnotherTest has joined. 09:40:54 [wiki] [[Skastic]] https://esolangs.org/w/index.php?diff=52981&oldid=52932 * Mypalmike * (+23) 09:42:36 [wiki] [[Skastic]] M https://esolangs.org/w/index.php?diff=52982&oldid=52981 * Mypalmike * (+35) 09:59:09 -!- Sgeo_ has quit (Ping timeout: 240 seconds). 10:13:01 -!- AnotherTest has quit (Ping timeout: 240 seconds). 10:25:26 -!- Sgeo has joined. 10:37:53 -!- augur has quit (Remote host closed the connection). 10:47:19 -!- mroman has quit (Ping timeout: 260 seconds). 10:47:40 -!- zseri has joined. 11:04:44 -!- augur has joined. 11:09:09 -!- augur has quit (Ping timeout: 240 seconds). 11:12:20 -!- AnotherTest has joined. 11:44:33 [wiki] [[TEWNLSWAC]] N https://esolangs.org/w/index.php?oldid=52983 * Zseri * (+4336) Created page with "Pronounced ''toons-whack'', '''TEWNLSWAC''' is an idea for a programming language by [[User:Zseri]]. It's initially derived from [[TEWELSWAC]], but uses a very different synta..." 11:45:45 [wiki] [[TEWNLSWAC]] M https://esolangs.org/w/index.php?diff=52984&oldid=52983 * Zseri * (-1) /* External Resources */ 11:49:57 [wiki] [[TEWNLSWAC]] https://esolangs.org/w/index.php?diff=52985&oldid=52984 * Zseri * (+112) add labels 11:55:42 [wiki] [[Language list]] https://esolangs.org/w/index.php?diff=52986&oldid=52954 * Zseri * (+16) +TEWNLSWAC 11:56:11 I finally added my own esolang to the wiki 11:57:03 The esolang page is still not complete, but only the section about object orientation is missing. 12:13:01 -!- jaboja has joined. 12:13:39 [wiki] [[TEWNLSWAC]] https://esolangs.org/w/index.php?diff=52987&oldid=52985 * Zseri * (+1285) +Object Orientied Programming 12:13:47 ok ,done 12:40:20 [wiki] [[TEWNLSWAC]] https://esolangs.org/w/index.php?diff=52988&oldid=52987 * Zseri * (-18) ''a'' command: parentheses no longer needed (keep up to date with interpreter) 12:41:31 [wiki] [[User:Zseri]] https://esolangs.org/w/index.php?diff=52989&oldid=52304 * Zseri * (+32) +Own languages 12:45:56 -!- augur has joined. 12:47:25 -!- mroman has joined. 12:47:42 Taneb: I'm holding lectures last week and next week. 12:47:53 I'm gonna do my lectures 12:47:59 and then I'm gonna go. 12:50:09 -!- augur has quit (Ping timeout: 240 seconds). 12:52:07 -!- jaboja has quit (Ping timeout: 246 seconds). 12:52:19 -!- augur has joined. 12:52:21 [wiki] [[TEWNLSWAC]] https://esolangs.org/w/index.php?diff=52990&oldid=52988 * Zseri * (+645) +VM memory model 12:56:21 -!- augur has quit (Ping timeout: 240 seconds). 12:59:05 -!- iovoid has quit (Ping timeout: 240 seconds). 13:03:41 -!- augur has joined. 13:05:13 -!- [io] has joined. 13:05:13 -!- [io] has quit (Changing host). 13:05:13 -!- [io] has joined. 13:07:39 -!- augur has quit (Ping timeout: 240 seconds). 13:18:24 -!- mroman has quit (Quit: moo). 13:22:29 [wiki] [[TEWNLSWAC]] M https://esolangs.org/w/index.php?diff=52991&oldid=52990 * Zseri * (-79) /* 99 bottles of beer */ 13:23:14 [wiki] [[TEWNLSWAC]] M https://esolangs.org/w/index.php?diff=52992&oldid=52991 * Zseri * (+17) /* 99 bottles of beer */ fix indent 13:34:23 [wiki] [[TEWNLSWAC]] https://esolangs.org/w/index.php?diff=52993&oldid=52992 * Zseri * (+0) /* External Resources */ update link 13:35:47 [wiki] [[TEWELSWAC]] https://esolangs.org/w/index.php?diff=52994&oldid=52231 * Zseri * (+15) /* External Resources */ update link 13:36:51 Aw. With mismatching monitor sizes, X doesn't let me move the cursor to the other screen if it would go to the invisible area. (I was hoping that part of the border would just clamp to the bottom of the other screen.) 13:43:22 -!- erkin has joined. 13:53:27 [wiki] [[TEWNLSWAC]] https://esolangs.org/w/index.php?diff=52995&oldid=52993 * Zseri * (+178) +Unary Operators 14:25:26 -!- moony has joined. 14:48:35 -!- moony has changed nick to moonheart08. 14:49:46 -!- moonheart08 has changed nick to moony_tablet. 14:49:58 -!- moony_tablet has changed nick to VERSION. 14:52:47 -!- VERSION has changed nick to moony. 15:36:54 Is there some configuration of that? 15:37:20 <* Taneb> is in Oxford now 15:47:39 -!- ATMunn has joined. 15:51:55 -!- mroman has joined. 15:52:19 re 15:56:09 -!- moony has quit (Ping timeout: 240 seconds). 15:56:47 wb 16:07:23 [wiki] [[Special:Log/newusers]] create * Stefan-hering * New user account 16:11:56 [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=52996&oldid=52979 * Stefan-hering * (+253) 16:19:25 here comes a new bf derivative :D 16:19:29 -!- AnotherTest has quit (Ping timeout: 248 seconds). 16:19:48 to be fair.. Härdfish is also kinda a bf derivative 16:34:40 what's new in that derivative 16:36:00 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...). 16:37:15 [wiki] [[TEWNLSWAC]] https://esolangs.org/w/index.php?diff=52997&oldid=52995 * Zseri * (+21) inspired 16:37:58 -!- Phantom_Hoover has joined. 16:42:00 -!- lezsakdomi has joined. 16:44:21 -!- wob_jonas has joined. 16:44:52 zzo38: START isn't even an operation or pseudo-op, and END needs an argument. what's that about? 16:45:32 wob_jonas: It isn't MIXAL it is a bit different. 16:45:53 zzo38: and what's the point of those extra IN statements? 16:46:31 Which ones you mean? 16:46:52 under the comment "It is a leap year" 16:47:24 To read the card " IS NOT A LEAP YEAR" and skip it, so that the next card it reads will be " IS A LEAP YEAR" 16:48:51 Does that make sense now? 16:50:30 (The program does work; I have tested it. I can provide the compiled deck too if you wanted it, whether base 100, base 64, or independent.) 16:52:00 zzo38: ah I see. fancy human-readable output read from the localization data at the end of the program to attract the young who hasn't been pulled into computer programming yet. that's a good idea, I support it 16:52:18 <\oren\> I was like, who is this "king karl" who declared war on me? 16:52:23 <\oren\> and then I was like, OH SHIT 16:54:14 \oren\: you got king Carl 14 Gustaf of Sweden to declare a war on you? What did you do? 16:55:28 Is this way of copying rA and rX into index registers common in MIX programming? 16:56:25 zzo38: I dunno 16:57:07 <\oren\> wob_jonas: no, Charlemagne 16:57:20 <\oren\> even worse for me 16:57:47 \oren\: whoa. isn't he already dead? did a regent declare war in his name? 16:59:13 zzo38: also, what's with the PUNCH header? doesn't the assembler just stop reading after one more card after END so you just put extra cards readable by the program directly after them without any formatting? 16:59:29 -!- mroman has quit (Ping timeout: 260 seconds). 16:59:31 hmm no wait, it can't work that way 16:59:37 because there's a loader involved 16:59:47 <\oren\> wob_jonas: I'm in 769 AD 17:00:02 \oren\: whoa.... is that timezone shenanigans? 17:00:09 that can't raise someone from death 17:00:10 <\oren\> I'm playing as the Ummayad Sultan in CKII 17:00:12 real tiem travel? 17:00:14 The MIXPC assembler does not stop reading after END; you can add further pseudo-ops there (specifically, ORG, EQU, PUNCH, and DECK are allowed, as well as comments). 17:00:16 ah 17:00:45 zzo38: how does it know when to stop reading then? 17:00:51 -!- mroman has joined. 17:01:17 zseri: it's funnier than hardfuck 17:01:18 wob_jonas: By EOF. This assembler is not itself written in MIX, so it can be done (it is also a two pass assembler). 17:01:40 shouldn't it stop reading one card after END, and perhaps the operator just removes the rest of cards and puts them after the loader card stack as routine? 17:01:57 or you just submit the data as a separate stack 17:02:30 although a single stack might simplify things if the punchers are heavily underpaid unqualified workers 17:02:30 wob_jonas: In a hardware implementation you may very well do that if you are using MIXAL written in MIX itself with the source program on cards. 17:02:59 it doesn't need to be written in MIX itself. it could be any other computer driving a punch card reader 17:03:01 (Although you probably would combine the decks, as there doesn't seem a real reason to submit it as an extra stack if it is static data that is part of the program.) 17:03:17 Well, yes, that too 17:04:10 or you could run the program on an expensive MIX machine with a fast cpu and lots of extra devices, and the assembler on a cheap almost-MIX machine. 17:04:36 One that's slow and only has 4000 RAM and a punch card reader and a puncher and nothing else. 17:05:25 zzo38: https://www.youtube.com/watch?v=KrksBdWcZgQ 17:05:33 you seem like a guy who might be intersted in that talk 17:06:18 Yes, you can do that, although the MIXPC assembler is not designed to read the program from cards; it even uses characters that are not in the MIX character set (such as quotation marks), and the DECK pseudo-op reads an external file (it is meant for use with externally prepared data, that may have output using a MIX program, and needs a filename) 17:06:45 zzo38: ok 17:07:15 also, the assembly program could be entered through a terminal directly without punching 17:08:43 The GNU MIX assembler also uses quotation marks though 17:09:29 maybe the bunny ears are on the same code as some other character, like the at sign 17:10:15 If you actually do want MIXAL, you could provide an implementation in MIX that is already compiled and you will be able to run it. 17:19:05 -!- lezsakdomi has quit (Ping timeout: 240 seconds). 17:24:39 (You could also use another standalone implementation that produces an executable deck; the GNU MIX assembler does not, although it can use MIXAL input (the quotation marks are optional).) 17:24:56 -!- lezsakdomi has joined. 17:27:37 Has anyone made a hardware MIX implementation (with punch cards and that stuff) yet? 17:28:50 dunno. I haven't seen one in http://members.iinet.net.au/~daveb/simplex/ringhome.html at least. 17:32:29 there surely at least exists an FFPGA implementation? 17:32:34 `w 17:32:36 ​ᛁᚿ//ᛁᚿ ᛋᚿᛅᚠᚠᛚᛚᛋ ᛁᚮᚴᚢᛚᛁᛋ ᚴᛦᛆᛏᛅᛦᛅᛘ ᚴᛅᛘ ᚦᛅᛚᛁᛒᛆᛏ ᚢᛘᛒᛦᛆ ᛋᚴᛆᛦᛏᛆᛦᛁᛋ ᛁᚢᛚᛁᛁ ᛁᚿᛏᛦᛆ ᚴᛆᛚᛅᚿᚦᛆᛋ ᚦᛅᛋᚴᛅᚿᚦᛅ, ᛆᚢᚦᛆᛋ ᚢᛁᛆᛏᚮᛦ, ᛏᛅ ᛏᛅᛦᛦᛅᛋᛏᛦᛅ ᚴᛅᚿᛏᛦᚢᛘ ᛆᛏ 17:33:17 mroman: dunno, I'm a software guy, I don't usually see what that would win over a pure software emu on a conventional computer, in cases like this where you don't lose much performance by such an emulation 17:34:04 Someone have mention to me to try to make it in Verilog myself, but I do not have any computer punch cards. 17:34:57 but I do understand there are people who prefer stuff encoded in wires they solder with their own hand 17:35:27 zzo38: a terminal with tape then? you need only one or the other 17:36:09 plus a custom adapter card between the card reader/punch or the terminal and the computer, which is quite complicated 17:36:52 the punch card reader or terminal or disk drive has all the mechanical parts, but the controller used to have all the complicated electronics, back before cheap ICs. 17:37:13 that's why they used to have two hard disks or two floppy disks on one controller in such a way that it can control only one at a time 17:37:22 Yes you could, although an implementation that supports all of the I/O of MIX would be something to see, by anyone who is interested in working with these old computer, I suppose. 17:37:49 the keyboard and mouse, funnily, have most of the electronics in them though. I don't understand why. 17:38:38 for the keyboard it sort of makes sense, because you have to reduce the hundred keys to just a few wires somewhere, but why in the mouse? 17:39:54 I don't know? 17:40:58 although keyboards back then lasted way more than these cheap junk people buy these days, so it wasn't like you're throwing away an expensive keyboard controller when the keyboard wears off after two years 17:41:28 -!- jaboja has joined. 17:41:31 Yes, I like the old IBM Model F keyboard, which however they do not seem to make anymore 17:43:19 (not that the stereotypical two-finger hunt and peck 20 wpm medical assistant who's paid for one job, to type what the doctor dictates, would deserve a real keyboard, but still, they buy some of that junk at my workplace... oh I SEE! we have to give something to the stupid interns! yes, it all makes sense now.) 17:44:01 zzo38: sure, I have a real keyboard for home now. and I have a Genius mouse that works really well and lasts quite long. 17:44:50 and I have not too expensive but not too bad either keyboard and mouse and monitor at work now, after a few iterations of asking for better equipment 17:45:22 the system of giving junk to people at first and giving them real stuff only when they complain is actually a reasonable cost-saving measure 17:45:32 because different people care about different things 17:46:36 so you give the guy who needs a comfy chair a comfy chair, and give the guy who needs a good keyboard a good keyboard, and the guy who wants sunshades on the window sunshades, it's way cheaper than preemptively putting comfy chairs and good keyboards at every workstation and sunshades on every window 17:46:44 -!- mroman has quit (Ping timeout: 260 seconds). 17:47:08 this works even in non-tech stuff like the coffee maker and coffee and milk they buy 17:47:50 you wouldn't believe how some people will work with monitors with a bright pixel, or keyboards with one key not working at all, until you see it 17:48:02 people are so different you never know what to expect 17:48:33 -!- Sgeo has quit (Read error: Connection reset by peer). 17:48:40 some of my co-workers actually started to work in an open space, as in rooms aren't completely separated by walls 17:48:51 -!- AnotherTest has joined. 17:50:31 -!- Sgeo has joined. 17:54:40 `? aluminum 17:54:41 aluminum? ¯\(°​_o)/¯ 17:54:43 `? aluminium 17:54:44 aluminium? ¯\(°​_o)/¯ 17:54:47 `? alminum 17:54:48 alminum? ¯\(°​_o)/¯ 17:54:52 `? alumni 17:54:53 alumni? ¯\(°​_o)/¯ 17:55:09 `? aluminiumminimumimmun 17:55:11 aluminiumminimumimmun? ¯\(°​_o)/¯ 17:55:14 -!- augur has joined. 17:56:01 `learn Alumni is a compromise spelling suggested to solve the aluminum vs aluminium debate that never really caught on, except in a few big colleges. 17:56:03 Learned 'alumni': Alumni is a compromise spelling suggested to solve the aluminum vs aluminium debate that never really caught on, except in a few big colleges. 17:57:31 Here in the Germanies „Alumni“ means „Absolvents“ 17:58:42 as in, it absorbs oxygen on the surface and mercury? 17:59:18 A hardware MIX implementation can be made that doesn't necessarily have punch cards and typewriter and so on, but does have the ability to connect to all of that equipment, and then you can also substitute other equipment such as a VDU instead of a typewriter if you want to, with the same interface for connection. 17:59:35 -!- augur has quit (Ping timeout: 240 seconds). 18:03:39 -!- jaboja has quit (Ping timeout: 240 seconds). 18:04:43 sure, if it's already ASCII over a serial lines with given settings, then video terminal and print terminal are equivalent 18:05:12 but the driver hardware is still nontrivial 18:05:34 and you need some input/output device, either cards or terminal with tape, to use the computer 18:07:02 -!- jaboja has joined. 18:07:51 and presumably you won't just invent a completely different I/O device once you go through the trouble of making a hardware MIX specifically instead of some other computer 18:08:25 I have better modern computers and don't have a use for MIX though 18:08:37 Yes of course you do need some I/O devices, and probably you are correct you won't just invent a new kind 18:08:39 so I don't care much even about an emulator 18:11:44 `? protoss 18:11:45 protoss? ¯\(°​_o)/¯ 18:11:46 `? zerg 18:11:47 We'll try to think of an entry here, but we don't want to rush it. 18:11:48 `? terran 18:11:49 terran? ¯\(°​_o)/¯ 18:12:56 I can just use software implementations and so don't need a hardware implementation either, although still it can be interesting to see for similar reasons that EDSAC is rebuilt and the other old-style computers that some people like to make. 18:13:33 If I had punch cards then a hardware implementation would be useful to me of course, since I would use that to write a program to read the cards. 18:15:05 -!- lezsakdomi has quit (Ping timeout: 240 seconds). 18:19:35 [wiki] [[TEWNLSWAC]] M https://esolangs.org/w/index.php?diff=52998&oldid=52997 * Zseri * (+79) global/local vars 18:26:46 -!- jaboja has quit (Ping timeout: 264 seconds). 18:31:45 -!- imode has joined. 18:50:11 -!- [io] has changed nick to iovoid. 18:55:22 -!- jaboja has joined. 19:01:13 `? /ꙩ\ 19:01:14 ​/ꙩ\? ¯\(°​_o)/¯ 19:01:17 `? illuminati 19:01:18 illuminati? ¯\(°​_o)/¯ 19:01:25 `? sauron 19:01:26 Sauron is the eponymous protagonist of the Lord of the Rings series. He serves primarily as narrator and the main driver of the plot. His heroic exploits include the resurrection of the Kings of Men and the conquest of the racists of Gondor. 19:02:28 `? learn Sauron is the eponymous protagonist of the Lord of the Rings series. He serves primarily as narrator and the main driver of the plot. His heroic exploits include the resurrection of the Kings of Men and the conquest of the racists of Gondor. He now leads the Illuminati from his pyramid fort /ꙩ\ . 19:02:29 learn Sauron is the eponymous protagonist of the Lord of the Rings series. He serves primarily as narrator and the main driver of the plot. His heroic exploits include the resurrection of the Kings of Men and the conquest of the racists of Gondor. He now leads the Illuminati from his pyramid fort /ꙩ\ .? ¯\(°​_o)/¯ 19:02:38 `learn Sauron is the eponymous protagonist of the Lord of the Rings series. He serves primarily as narrator and the main driver of the plot. His heroic exploits include the resurrection of the Kings of Men and the conquest of the racists of Gondor. He now leads the Illuminati from his pyramid fort /ꙩ\ . 19:02:41 Relearned 'sauron': Sauron is the eponymous protagonist of the Lord of the Rings series. He serves primarily as narrator and the main driver of the plot. His heroic exploits include the resurrection of the Kings of Men and the conquest of the racists of Gondor. He now leads the Illuminati from his pyramid fort /ꙩ\ . 19:08:30 -!- sleffy has joined. 19:12:29 -!- mroman has joined. 19:12:35 moo 19:13:49 mrooman? 19:27:46 I thought another possible extension into MIX can be a card sorter unit; IOC (16) will control it, where the address field tells it which area to put the most recently read card into. It is an error to use it on a card that has already been sorted. (Maybe there might be a better way though) 19:28:47 * int-e idly wonders whether he has any chance of recognizing Taneb if he should run into him some time next week. 19:29:04 whoa whoa whoa, y'all're at ICFP? 19:29:41 I'll sneak into ICFP a bit but I'm there for FSCD and an associated workshop. 19:29:58 (no sneakiness required, this is officially permitted) 19:30:16 Family Support for Children with Disabilities? 19:30:23 I wonder why that's colocated with ICFP 19:30:27 :-P 19:30:50 http://www.cs.ox.ac.uk/conferences/fscd2017/ 19:31:19 int-e: he's an inventor, so maybe look a professor in his fifties with grey hair, bushy mustache, thick-framed glasses, and so forgetful he wears non-matching socks? 19:31:49 unless he's a non-stereotypical inventor 19:32:15 it's too bad I forgot the secret #esoteric handshake ;-) 19:32:20 `? tanebventions 19:32:22 Tanebventions include necessity, Go, submarine jousting, Fueue, the universe, special relativity, metar, sand, dragons, persistence, the BBC, _46bit, progress, sanity, the grace period, the Oxford comma, and this sentence. See also tanebventions: maths or tanebventions: foods. He never invents anything involving sex. 19:34:49 (And if you look at the ICFP full program you'll find FSCD listed as a separate track, which is a bit weird, but probably good for the visibility of FSCD.) 19:35:09 int-e, I think you have more of a chance of recognizing me than I have what you 19:36:38 On that list of home-built computers I found the "Qibec" computer, which seems to be the same as the TOGA computer described in esolang wiki. 19:37:14 int-e, you're looking for a tall, skinny, white student volunteer with fluffy brown hair and thick eyebrows, possibly wearing glasses 19:37:25 also, it's a mathematics conference 19:37:31 `? tanebventions: maths 19:37:32 Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, Klein bottles, string diagrams, the reals, Lambek's lemma, Curry's paradox, Stone spaces, algebraic geometry, locales, and histograms. 19:37:44 and conferences have conference food, which is usually worse than 19:37:49 `? tanebventions: foods 19:37:50 Culinary tanebventions include automatic squirrel feeders, weetoflakes, mushrooms, and cognac. 19:38:40 conference food varies wildly 19:38:53 `? tanebventions: biology 19:38:54 tanebventions: biology? ¯\(°​_o)/¯ 19:39:01 `? tanebventions: chemistry 19:39:03 tanebventions: chemistry? ¯\(°​_o)/¯ 19:39:07 `? tanebventions: economycs 19:39:09 tanebventions: economycs? ¯\(°​_o)/¯ 19:39:10 `? tanebventions: economics 19:39:11 tanebventions: economics? ¯\(°​_o)/¯ 19:39:13 `? tanebventions: military 19:39:14 tanebventions: military? ¯\(°​_o)/¯ 19:39:19 oh right, those ones are classified 19:39:28 the military inventions that is 19:39:42 but only for ten years, after that they'll be hopelessly obsolete 19:39:52 unlike the maths inventions, which live forever 19:40:16 shouldn't Curry's paradox be in the foods category? 19:40:18 Like naive set theory. 19:41:57 "a tall, skinny, white student volunteer with fluffy brown hair and thick eyebrows, possibly wearing glasses" oh great. now you've described like half of the population of the conference 19:41:57 Also conjectures are often rather shortlived (though most of those never become famous). 19:42:28 * int-e would be banking on the IRC name being accurate. 19:42:37 :-P 19:43:34 -!- ATMunn has quit (Quit: brb). 19:44:45 -!- erkin has joined. 19:45:42 That's because there's a big market for conjectures, so most have to be made by unqualified people. Only very few mathematicians have mastered the art of making really good conjectures, ones that spawn an entire branch of research after their death. These include Fermat, Hilbert, Erdős, and a few more. 19:46:21 so we agree that not all math inventions live forever? 19:46:34 Now Gil Kalai too I think. 19:46:42 int-e: yeah 19:47:01 but they have way more chance of living forever than military inventions 19:47:04 I came up with the P=1 conjecture 19:47:07 nobody disproved it yet. 19:47:23 int-e, my IRC name is accurate 19:47:25 the only way those can live forever is if they manage to destroy civilization. 19:47:34 Taneb: huh? 19:47:51 Taneb: do you mean it's the same name as shown on your conference badge name tag? 19:49:27 -!- jaboja has quit (Ping timeout: 260 seconds). 19:51:35 wob_jonas, name as distinct from nick 19:51:58 Taneb: yes, I see it, I was just not sure what "accurate" meant 19:52:12 I thought it would describe some other easily observable attribute 19:52:18 -!- ATMunn has joined. 19:53:24 wob_jonas, I presume int-e could shout my name out and I'd be like "shit that's me" 19:53:38 But you have so many names. 19:54:39 Yes, any of them will do 19:55:19 van doom 19:56:13 but you can recognize int-e too, from how he isn't swedish 19:56:28 `? int-e 19:56:30 int-e är inte svensk. Hen kommer att spränga solen. Hen står för sig själv. Hen gillar inte färger, men han gillar dissonans. Er hat ein Hipster-Spiel gekauft. 19:56:51 are you sure int-e isn't into swedes 19:59:42 jojo 19:59:56 labered ir nur 20:00:47 `? rutabaga 20:00:48 rutabaga? ¯\(°​_o)/¯ 20:01:17 Looks like there's a mini-TAS-block in the Games Done Quick special, starting in a bit. 20:02:21 . o O ( Oh, this will be my horrible pun for the day: We have reduced the problem to a simple matter of badge processing. ) 20:02:49 schrecklich indeed. 20:03:13 -!- Remavas has joined. 20:04:14 `? satsuma 20:04:15 satsuma? ¯\(°​_o)/¯ 20:05:37 -!- sleffy has quit (Ping timeout: 248 seconds). 20:14:28 `? turing machine 20:14:29 turing machine? ¯\(°​_o)/¯ 20:14:33 `? turing 20:14:34 Turing is what you are doing when you Tur. 20:14:39 :D 20:14:47 `? tur 20:14:48 To tur is not to flas. 20:14:54 `? flas 20:14:55 flas? ¯\(°​_o)/¯ 20:14:59 :/ 20:16:50 -!- Antoxyde has joined. 20:18:18 `? flass 20:18:19 flass? ¯\(°​_o)/¯ 20:20:19 hm. 20:20:34 how do you learn stuff with spaces? 20:20:54 slashlearn 20:21:04 `? learn 20:21:05 ​`learn creates a wisdom entry and tries to guess which word is the key. Syntax (case insensitive): `learn [a|an|the] [s][punctuation] [...] 20:21:08 `? le/rn 20:21:09 le/rn makes creating wisdom entries manually a thing of the past. 20:21:12 `? le//rn 20:21:13 le/rn makes creating wisdom entries manually a thing of the past. 20:21:25 `? slashlearn 20:21:25 `ls /bin/learn 20:21:26 slashlearn? ¯\(°​_o)/¯ 20:21:26 ls: cannot access /bin/learn: No such file or directory 20:21:32 `ls ./bin 20:21:33 ​` \ `` \ `^ \ `̀ \ ^.^ \ ! \ ? \ ?? \ ¿ \ ' \ " \ ( \ @ \ * \ # \ ؟ \ ⁗ \ \ \ \ welcome \ 1 \ 13 \ 1492 \ 2 \ 2014 \ 2015 \ 2016 \ 2017 \ 3 \ 4 \ 5 \ 5quote \ 5w \ 7z \ 7za \ 8ball \ 8-ball \ 8ball \ aaaaaaaaa \ addquote \ addscowrevs \ addtodo \ age \ aglist \ airport \ airport-lookup \ allquotes \ analogy \ 20:21:38 `ls ./bin/learn 20:21:40 ​./bin/learn 20:21:46 `cat ./bin/learn 20:21:47 ​#!/bin/bash \ topic=$(echo "$1" | lowercase | sed 's/^\(an\?\|the\) //;s/s\?[:;,.!?]\? .*//') \ [ -e "wisdom/$topic" ] && verb="Relearned" || verb="Learned" \ echo "$1" >"$(echo-p "wisdom/$topic")" \ echo "$verb '$topic': $1" 20:21:59 `ls ./bin/le* 20:22:00 ls: cannot access ./bin/le*: No such file or directory 20:22:05 ``ls ./bin/le* 20:22:06 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: `ls: not found 20:22:11 `run ls ./bin/le* 20:22:12 ​./bin/leann \ ./bin/learn \ ./bin/learn_append \ ./bin/learn_append2 \ ./bin/len \ ./bin/len.pl 20:22:22 `run ls ./bin/slash* 20:22:23 ​./bin/slashes \ ./bin/slashlearn 20:22:28 `cat ./bin/slashlearn 20:22:29 sep="//" \ [[ "$1" == ?*"$sep"* ]] || { echo 'Usage: `le/[/]rn //' >&2 ; exit 1; } \ key="$(echo "${1%%$sep*}" | lowercase)" \ value="${1#*$sep}" \ [ -e "wisdom/$key" ] && verb="Relearned" || verb="Learned" \ echo "$value" > "$(echo-p "wisdom/$key")" && echo -n "$verb '$key': $(echo "$value" | sed 's.^[ ].&.')" 20:22:29 mroman: ls le 20:22:36 or ls bin/le 20:22:48 `slashlearn turing machine//is a machine that turs. 20:22:48 `ls bin/le 20:22:50 Learned 'turing machine': is a machine that turs. 20:22:52 ls: cannot access bin/le: No such file or directory 20:23:01 `ls le 20:23:01 rm \ rn \ rn_append 20:23:05 `? turing complete 20:23:07 You complete a Turing when you Tur by a specified amount. 20:23:30 `? turing test 20:23:32 turing test? ¯\(°​_o)/¯ 20:23:55 `turing machine 20:23:56 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: turing: not found 20:24:00 `? turing machine 20:24:01 is a machine that turs. 20:24:03 `slwd turingmachine//s=^=A Turing machine = 20:24:04 Roswbud! 20:24:06 hmpf 20:24:13 `slashlearn turing machine//A turing machine is a machine that turs. 20:24:16 Relearned 'turing machine': A turing machine is a machine that turs. 20:24:34 oh I missed the space 20:24:45 `slashlearn turing test//A turing test tests by what amount you can tur. 20:24:45 hehe' 20:24:47 Learned 'turing test': A turing test tests by what amount you can tur. 20:24:49 Not a machine that tures? 20:24:49 @slap hackego 20:24:50 * lambdabot will count to five... 20:24:53 ok 20:24:55 and then? 20:25:05 `? enigma 20:25:05 @slap hackego 20:25:05 * lambdabot pushes hackego from his chair 20:25:06 enigma? ¯\(°​_o)/¯ 20:25:15 @slap slap 20:25:15 * lambdabot pulls slap through the Evil Mangler 20:25:35 . o O ( There's no turing back now. The pun will be with us forever. ) 20:25:43 `slahlearn enigma://Eine machine that encrypten all 20:25:44 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: slahlearn: not found 20:25:50 damn' 20:25:56 `slashlearn enigma://Eine machine that encrypten all 20:25:56 Maschine 20:25:58 Learned 'enigma:': Eine machine that encrypten all 20:26:01 I know 20:26:03 I know german 20:26:05 or Maschiene 20:26:08 if you want to be extra correct. 20:26:09 This is fake german :D 20:26:15 that's against the rules 20:26:21 hm 20:26:24 `? rules of wosdom 20:26:25 rules of wosdom? ¯\(°​_o)/¯ 20:26:27 mroman: how is that extra correct? 20:26:28 `? rules of wisdom 20:26:28 what? fake german? 20:26:29 unless essential for the entry‘s humor, should: be understandable without the lookup key, be single spaced and end in a newline with no space before that, and use proper capitalization and punctuation 20:26:37 `? wisdom 20:26:39 wisdom is always factually accurate, except for this entry, and, uh, that other one? It started with, like, an ø? 20:27:30 `? enigma 20:27:31 enigma? ¯\(°​_o)/¯ 20:27:32 `slashlearn enigma:// 20:27:34 Relearned 'enigma:': 20:27:43 `? enigma: 20:27:44 No output. 20:27:52 well, it's cleared now :D 20:28:01 hm 20:28:03 . o O ( Almost forgotten these days, the Enigma pioneered the "rotor" principle that is the foundation of the famous rot13 cipher. ) 20:28:49 why is there a 'learn' and a 'slashlearn' command? 20:29:00 `? slashlearn 20:29:01 slashlearn? ¯\(°​_o)/¯ 20:29:08 `? le/rn 20:29:09 le/rn makes creating wisdom entries manually a thing of the past. 20:29:34 `` ls -la bin/le/rn 20:29:36 ls: cannot access bin/le/rn: No such file or directory 20:29:42 `` ls -la le/rn 20:29:43 lrwxrwxrwx 1 5000 0 17 Oct 28 2016 le/rn -> ../bin/slashlearn 20:29:47 `? turing machine 20:29:48 A turing machine is a machine that turs. 20:29:55 zseri: to create more wisdom 20:30:33 and in the spirit of eso, le/rn is magically two commands 20:31:10 which ones? 20:32:05 not anymore, le//rn is no longer any different from le/rn 20:32:07 hm, I now lookup bitbucket / GregorR / hackbot 20:32:41 the whole slashslash family of commands got slashed 20:33:14 hmm, will I need sun screen for oxford :P 20:33:23 WHAT?\ 20:33:23 (the weather forecast says no) 20:33:38 how will I slashlearn then? 20:34:09 hmm, that was inaccurate 20:34:15 @metar KOAK 20:34:15 KOAK 021853Z 25004KT 6SM HZ CLR 29/11 A2982 RMK AO2 SLP096 T02940111 20:34:26 It wasas 39° here yesterday. 20:34:29 Absurd. 20:34:39 the slashslash family slashed the slash family and the "slash" of its own name that became superfluous. 20:34:48 @metar lowi 20:34:49 LOWI 021920Z VRB01KT 9999 -RA FEW007 SCT015 BKN045 10/09 Q1018 NOSIG 20:35:00 been raining for days 20:35:13 2 commands, hm, make key lowercase, save the entry and output it again 20:35:59 what was the (gone) different? 20:36:16 s/different/difference/ 20:36:19 the treatment of slashes 20:36:56 -!- augur has joined. 20:37:19 `? shaventions 20:37:20 Shaventions include: before/now/lastfiles, culprits, hog/{h,d}oag, le//rn, tmp/, mk/mkx, sled/sedlast, spore/spam/speek/sport/1/4/5, edit. Taneb did not invent them yet. 20:37:35 Didn't shaventions include slashlearn? 20:37:45 `doat bin/slashlearn 20:37:54 5010:2014-10-02 ` echo $\'#!/bin/bash\\ntopic=$(echo "$1" | lowercase | cut -d / -f 1)\\n[ -z "$topic" ] && exit 1\\nvalue=$(echo "$1" | cut -d / -f 2-)\\necho "$value" > wisdom/"$topic" && echo "Learned \xc2\xab$topic\xc2\xbb"\' > bin/slashlearn \ 5011:2014-10-02 ` chmod +x bin/slashlearn \ 5152:2014-11-19 ` sed 20:37:55 le/rn foo/bar//baz used to create an entry "foo" with contents "bar//baz", because it cut things at the first slash. le//rn did what le/rn does now: create and entry "foo/bar" with contents "baz" 20:38:57 `? curse 20:38:58 A curse is a curse, off course, of course. 20:38:59 `? cur 20:39:00 cur? ¯\(°​_o)/¯ 20:39:03 `? cursed 20:39:04 cursed? ¯\(°​_o)/¯ 20:39:08 `? emu 20:39:09 emu? ¯\(°​_o)/¯ 20:42:07 ok 20:44:39 -!- mroman has quit (Ping timeout: 260 seconds). 20:45:05 I have no idea how to make the TEWNLSWAC language + interpreter more golfy, I think I've added enough shortcuts. 20:45:53 enough? 20:46:18 -!- sleffy has joined. 20:47:41 yes, enough 20:48:55 e.g. In TEWNLSWAC, you could simplify ''a = a.b()'' to ''a .= b'' 20:50:05 or ''a = c:i a'' to ''c:i a'' 20:50:44 shouldn't that be a;_b. or something cryptic like that? 20:51:17 -!- MDude has joined. 20:52:10 I wanted to use the same syntax or a similar syntax for similar things. 20:53:15 The most shortcuts are just combined assign expressions, but combined assign expressions, that someone would assume, like ''a += b'' aren't supported. 20:54:32 or you can combine a bunch of ''a .= b; a .= c;'' ... into ''a .= {b c}'' 20:56:24 anyway, it's not the syntactic sugar that matters, but the (insert buzzword for new paradigm that's supposed to revolutionarize programming forever this month) 20:59:28 just look at Arthur Whitney. where did all that dense syntactic sugar, lack of automatic promotion, and inhomogeneous lists take him? is he a respected esolang designer now? 21:00:28 well no he isn't. everyone just cares about brainfuck, which has about the least amount of syntactic sugar or paradigm you could imagine! 21:00:51 what a stupid language, and look at how successful! 21:02:21 yes 21:10:57 -!- wladz has joined. 21:17:06 -!- hazyPurple has joined. 21:18:02 -!- hazyPurple has left ("Leaving"). 21:18:09 -!- AnotherTest has quit (Ping timeout: 240 seconds). 21:28:41 `wisdom 21:28:42 ​endomorphism//Endomorphisms are just final morphisms. 21:28:42 `quote 21:28:43 343) It's a Toy Story character, you uncultured fuck. 21:28:51 `wisdom 21:28:53 ​zzo38//zzo38 is not actually the next version of fungot, much as it may seem. 21:29:02 `random-card 21:29:04 Cackling Counterpart \ 1UU \ Instant \ Create a token that's a copy of target creature you control. \ Flashback {5}{U}{U} (You may cast this card from your graveyard for its flashback cost. Then exile it.) \ ISD-R, C14-R 21:29:13 that one needs a refresh of the card database by the way 21:29:15 `scheme 21:29:16 Evil Comes to Fruition 21:29:16 that too 21:29:25 `starwars 21:29:27 Supreme Leader Snoke 21:29:45 `recipe 21:29:46 ok over low heat until flour and pour \ is thoroughly completely melatais set. Microwave each cake; boil 4 hours, \ until melted too mush of skillet in foil; add remaining 1/4 cup of cheese. \ Stir together flour, baking powder and leaves to a platter. \ Sprinkle with basil. Place fish filling into a large bowl; \ lemon juice only fill stems o 21:30:03 `recipe 21:30:04 king Chocolate Yeese Cookery, Muffins, Teles April Mix Typed for you've \ or that and the serving. \ \ From: Date: 08-06-92 Formant, 125 mg sodium, 4 5 dozen \ with fresh apricots, 2 cups, 1/4 cups, 2% of cookies, 1 1/2 (3 T) \ Date: \ \ MMMMM \ \ MMMMM----- Recipe via Meal-Master (tm) v8.05 \ \ Title: BUFFALO MEAN-LAPTI BREAD \ Categ 21:30:10 [wiki] [[MMP]] https://esolangs.org/w/index.php?diff=52999&oldid=50740 * Zseri * (+250) improve formatting 21:30:52 MMMMM, that sounds lovely 21:31:03 I'd like one 21:34:58 hm, I could remove most of the (mostly useless) syntactic sugar and simplify the (buggy) BISON parser. 21:40:45 -!- lezsakdomi has joined. 21:41:48 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 21:51:58 @metar KOAK 21:51:58 KOAK 021953Z 27006KT 6SM HZ CLR 34/07 A2980 RMK AO2 SLP092 T03390067 21:53:12 -!- Antoxyde has quit (Remote host closed the connection). 21:58:09 -!- zseri has quit (Ping timeout: 260 seconds). 22:00:41 -!- Remavas has quit (Quit: Leaving). 22:02:14 -!- Phantom_Hoover has joined. 22:50:13 -!- augur has quit (Remote host closed the connection). 23:06:19 -!- LKoen has joined. 23:11:50 -!- LKoen has quit (Remote host closed the connection). 23:48:04 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 23:48:16 -!- jaboja has joined. 23:57:35 -!- hppavilion[1] has joined.