00:01:37 yeah 00:02:44 -!- boily has quit (Quit: STYLISH CHICKEN). 00:11:10 -!- Lymia has joined. 00:12:17 -!- Lymia has quit (Client Quit). 00:12:31 -!- Lymia has joined. 00:12:37 -!- MDream has quit (Quit: later chat). 00:12:51 -!- MDude has joined. 00:19:17 -!- vanila has quit (Quit: Leaving). 00:26:51 http://nanoha.wikia.com/wiki/Barrier_Burst 00:28:31 Is that the reference? 00:28:50 nope 00:29:38 or well, i guess int-e should answer that. 00:31:38 -!- hjulle has quit (Ping timeout: 245 seconds). 00:38:23 nope 00:42:57 -!- Sprocklem has joined. 00:59:52 -!- ProofTechnique has quit (Ping timeout: 240 seconds). 01:04:53 did we lose shachaf? 01:09:26 have you checked where you last left him? 01:10:24 -!- ocharles_ has quit (Ping timeout: 272 seconds). 01:12:28 -!- supay has quit (Read error: Connection reset by peer). 01:21:19 -!- supay has joined. 01:21:40 -!- ocharles_ has joined. 01:29:58 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 01:44:31 -!- dts|pokeball has quit (Ping timeout: 256 seconds). 01:54:21 -!- dts|pokeball has joined. 02:05:50 -!- Phantom_Hoover has joined. 02:12:09 -!- shikhin_ has joined. 02:15:21 -!- shikhin has quit (Ping timeout: 250 seconds). 02:47:28 -!- Lymia has quit (Ping timeout: 245 seconds). 02:58:37 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 03:09:48 -!- ^v has joined. 03:16:51 -!- Phantom_Hoover has joined. 03:32:53 -!- ^v has quit (Ping timeout: 245 seconds). 03:46:04 -!- Lymia has joined. 04:01:56 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds). 04:04:55 -!- bb010g has joined. 04:25:22 -!- ProofTechnique has joined. 04:32:37 -!- MDude has changed nick to MDream. 04:33:51 -!- oerjan has quit (Quit: Nite). 04:57:05 -!- shikhin_ has quit (Ping timeout: 244 seconds). 05:18:59 yay i finished my little clock app 05:21:40 http://snag.gy/ZWoOa.jpg 05:23:32 now how to make it turing complete? 05:24:03 there are some who say "not everything has to be turing complete" 05:24:03 I don't know? 05:24:14 -!- nys has quit (Quit: quit). 05:24:15 I say hah 05:24:40 Of course not everything has to be turing complete, and anyways I don't know. But you are certainly free to try to figure out how, please! 05:25:26 since I wrote all this date-handling code, the only data type should be dates 05:25:35 and times 05:26:58 AHA: the loop mechanism is by scheduling things to be done at another tiem 05:29:27 and conditions are simply comparisons of times 05:29:29 -!- Sprocklem has quit (Ping timeout: 256 seconds). 05:47:21 actually, a better set of conditions would be "is the program scheduled to run at time t" and "has time t passed yet" 05:47:48 and then you can tell the program to run itself at a later time 05:52:23 Yeh. So the basic commands are T(...) where .. runs only if T has passed, T?(...) where ... runs only if T is on the schedule, and T. which puts T on the schedule. T must be replaced with a relative orabsolute timestamp. 05:53:12 The program then runs once upon open, and then once at each time that is on the schedule. 05:54:17 perhaps there should also be T/ which crosses T off the schedule 05:54:56 Or, things that should remain on the schedule must put themselves back each time. 05:55:28 Jafet: yeah, that could work too. 05:55:49 in other words, each run is a "revising" of the schedule 05:56:48 Well, it becomes a to-do list instead, such as http://www.dangermouse.net/esoteric/whenever.html 06:07:56 oren: of course I need to go listen to that video 06:08:02 -!- GeekDude has quit (Quit: ZNC - http://znc.in). 06:09:15 I hear sounds that remind me of Das Boot 06:09:24 (Which I've only listened to because of Activeworldsa) 06:11:36 -!- dts|pokeball has quit (Quit: Leaving). 06:17:44 {1}, {T}, Sacrifice a permanent: You lose the game. 06:55:34 -!- TieSoul_ has changed nick to TieSoul. 07:16:20 oren: Make your clock app do elliptic curve encryption 07:19:24 -!- technomad has joined. 07:20:49 hello all 07:21:33 -!- dianne_ has quit (Quit: Lost terminal). 07:23:36 -!- dianne has joined. 07:29:00 `relcome technomad 07:29:02 ​technomad: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) 07:32:47 -!- Patashu has joined. 07:35:50 -!- shikhin has joined. 07:38:17 -!- technomad has left ("dftba"). 07:38:18 -!- arjanb has quit (Quit: bbl). 08:12:42 -!- shikhin_ has joined. 08:15:31 -!- shikhin has quit (Ping timeout: 245 seconds). 08:22:53 -!- adu has quit (Quit: adu). 08:26:05 -!- AndoDaan_ has joined. 08:28:33 -!- AndoDaan has quit (Ping timeout: 256 seconds). 09:13:34 -!- zzo38 has quit (Ping timeout: 245 seconds). 09:31:34 -!- AnotherTest has joined. 09:36:19 -!- shikhin_ has changed nick to shikhin. 09:48:15 an extension on the assignment I pulled an all-nighter to finish. why am i angry 09:50:05 probably because i'm tired and cranky. going to sleep now 10:00:24 -!- Tritonio has joined. 10:00:43 -!- Phantom_Hoover has joined. 10:32:17 -!- ^v^v has quit (Read error: Connection reset by peer). 10:32:40 -!- ^v^v has joined. 10:37:57 -!- Tritonio_ has joined. 10:41:06 -!- Tritonio has quit (Ping timeout: 252 seconds). 10:44:35 -!- Tritonio_ has changed nick to Tritonio. 10:52:57 -!- hjulle has joined. 11:10:37 [wiki] [[Taktentus]] http://esolangs.org/w/index.php?diff=41797&oldid=41795 * Taktentus * (+117) /* Syntax */ 11:11:39 [wiki] [[Taktentus]] http://esolangs.org/w/index.php?diff=41798&oldid=41797 * Taktentus * (+23) /* Syntax */ 11:12:09 [wiki] [[Taktentus]] http://esolangs.org/w/index.php?diff=41799&oldid=41798 * Taktentus * (-4) /* suma */ 11:12:38 [wiki] [[Taktentus]] http://esolangs.org/w/index.php?diff=41800&oldid=41799 * Taktentus * (+9) /* External resources */ 11:22:15 -!- boily has joined. 11:47:31 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 12:05:33 -!- AnotherTest has quit (Ping timeout: 250 seconds). 12:21:16 -!- boily has quit (Quit: PROTIST CHICKEN). 12:21:40 -!- oerjan has joined. 12:25:15 -!- hjulle has quit (Ping timeout: 265 seconds). 12:32:34 -!- PinealGlandOptic has joined. 12:43:19 -!- Patashu has quit (Ping timeout: 264 seconds). 12:47:59 -!- hjulle has joined. 12:49:24 -!- _AndoDaan_ has joined. 12:54:13 -!- Eolus has joined. 12:57:24 -!- AndoDaan_ has quit (Ping timeout: 250 seconds). 12:57:38 -!- Eolus has quit (Changing host). 12:57:38 -!- Eolus has joined. 13:00:37 Are the computable numbers identical to the rationals? 13:00:49 no. 13:01:03 e.g. pi and e are computable 13:01:17 also sqrts 13:01:28 also, well, lots of things. most things :p 13:01:38 most continuous functions you've heard of are computable 13:01:51 discontinuous functions cannot be 13:02:03 I suppose if they weren't computable it wouldn't be very useful 13:02:25 Chaitin's constant isn't computable, though 13:03:27 elliott: oh god, why would anyone even construct programs randomly 13:03:37 oerjan: you mean continuous in which topology? 13:03:45 is this about functions on the reals? 13:03:51 oren: you can use chaitin's constant to decide the halting problem 13:04:07 http://youtu.be/MuOvqeABHvQ 13:04:10 also hi 13:04:15 hi 13:04:23 square pie by 3 13:04:44 meh, pi is just square root 10 minus some correction offset 13:04:48 b_jonas: yes reals 13:04:56 hi 13:04:56 pie mmm 13:05:05 of course complex numbers also work 13:05:09 hello elliott 13:08:11 what is the probability that a random program willdo something useful? 13:08:32 oerjan: but in that case, aren't there still a continuum many continuous functions from reals to reals, whereas only like countably many computable functions? 13:09:12 but I guess I've probably only seen a countably many 13:09:17 or even fewer 13:11:44 b_jonas: the "you've heard of" was important 13:12:30 Random constants 13:13:15 basically, you won't get a non-computable continuous function by accident 13:13:49 oh mai 13:15:38 -!- hjulle has quit (Ping timeout: 246 seconds). 13:16:11 -!- ProofTechnique has quit (Ping timeout: 244 seconds). 13:16:21 sure 13:16:33 -!- ais523 has joined. 13:53:49 -!- ProofTechnique has joined. 13:53:58 -!- Tritonio has quit (Ping timeout: 252 seconds). 13:54:46 -!- Niedaw has joined. 13:55:06 Help 13:55:16 Hello 13:55:40 did Tennessee the heaven hurt when you fell from the it 13:56:16 iPhone keyboard ;( 13:56:44 Can You look taktentus? 13:56:44 `relcome Niedaw 13:56:45 ​Niedaw: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) 13:56:49 Android keyboard 13:57:53 What is the best interpreter? Binary native , jscript or script lang for ex. python 13:57:54 so oerjan niedaw needs your help since you are of the smart and I'm terrible at helping persons of such nature 13:58:20 for ex? give us an exact language you want those for 13:58:47 as a rule i never help people when pushed to it hth 13:59:00 ok 13:59:13 oerjan you want some lemon bread 13:59:27 I made like seven loafs 13:59:31 i don't think so. my stomach is queasy today. 13:59:33 What is hth? 13:59:39 How the hell 13:59:46 hope that helps 13:59:55 oerjan hopes to much 14:01:23 -!- ProofTechnique has quit (Ping timeout: 250 seconds). 14:01:28 Is necessqry to write compilator? Anybody use rodacy any compilator of esolang? 14:01:32 i do a rare visit of reddit.com/r/physics and learn that the gravitational wave discovery from last year is now officially dead http://www.nature.com/news/gravitational-waves-discovery-now-officially-dead-1.16830 14:02:20 oh noooes 14:02:43 gravity is a theory 14:02:53 earth to earth, dust to dust 14:03:18 LighT to light 14:03:27 Non 14:03:37 Eolus: theory means something more in science than in ordinary language 14:03:48 ye 14:04:05 Nuclear fire to death 14:05:00 Alas let it be the knowns of the stuff that the gravities lives in the water cake of the stuff when to do the things we like do 14:05:13 I can't grammar some the times : ( 14:05:18 i noticed. 14:05:49 Or well I am of the randoms because I am most unstable of the bunch lol 14:06:38 Ipecac is good for the soul 14:06:54 -!- skj3gg has joined. 14:07:16 -!- shikhin has changed nick to minicat. 14:07:43 -!- minicat has changed nick to shikhin. 14:08:31 > {} 14:08:32 :1:1: parse error on input ‘{’ 14:08:36 can You Check interpreter taktentus ? 14:08:44 thank you lambdabot 14:09:09 I don't know Niedaw 14:09:11 { in haskell always requires something before it 14:09:16 -!- ProofTechnique has joined. 14:09:27 > Just {} 14:09:29 Just *Exception: :3:1-7: Missing field in record construction 14:09:46 oerjan I didn't know that 14:09:54 probably why I got so many parse errors 14:10:04 > let { x = 1 } in x+1 14:10:06 2 14:10:15 :00000 14:10:15 those last brackets are redundant though 14:10:23 wait so 14:11:31 -!- ProofTechnique has quit (Client Quit). 14:11:35 this > let { x = 1 in x+1 is what you can do, or does it have to be { x = 1 } in x+1 14:12:06 two brackets to seperate the definition from the equation given? 14:12:09 -!- shikhin_ has joined. 14:12:36 or one bracket to signify a new line to split from the last one? 14:12:48 -!- ProofTechnique has joined. 14:12:52 -!- Niedaw has quit (Ping timeout: 246 seconds). 14:13:17 Eolus: if you have one bracket, you must have both. 14:13:30 Ah ok 14:13:38 so { doesn't work 14:13:46 but if you leave them out, they'll be automatically inserted by the parser in that case 14:13:46 ye I see now 14:14:08 > just { 14:14:09 :1:8: 14:14:09 parse error (possibly incorrect indentation or mismatched brackets) 14:14:16 haskell's indentation blocks are syntactic sugar for { ; } 14:14:21 I see now :0 14:14:32 1 minute till school bus 14:14:43 syntactic sugar 14:14:45 heh 14:15:03 Thanks oerjan /.\ 14:15:03 -!- shikhin has quit (Ping timeout: 264 seconds). 14:15:37 bye 14:16:35 -!- skj3gg has quit (Quit: ZZZzzz…). 14:20:16 I must say, JS syntax has its flaws, but jQuery is downright unsightly. 14:21:52 -!- oren has quit (Ping timeout: 240 seconds). 14:25:44 -!- shikhin_ has changed nick to shikhin. 14:26:56 -!- skj3gg has joined. 14:27:29 -!- GeekDude has joined. 14:27:40 -!- GeekDude has quit (Remote host closed the connection). 14:27:52 -!- GeekDude has joined. 14:28:10 -!- GeekDude has changed nick to Guest83288. 14:29:05 -!- Guest83288 has quit (Changing host). 14:29:06 -!- Guest83288 has joined. 14:29:19 -!- Guest83288 has changed nick to GeekDude. 14:34:59 -!- nys has joined. 14:38:17 -!- oerjan has quit (Quit: Later). 14:44:18 -!- oren has joined. 14:59:39 -!- skj3gg has quit (Quit: ZZZzzz…). 15:04:48 -!- skj3gg has joined. 15:27:41 -!- spiette has joined. 15:32:14 -!- ais523 has quit (Quit: be back in a bit). 15:32:59 -!- SopaXorzTaker has joined. 15:43:18 -!- Sprocklem has joined. 15:48:19 -!- AnotherTest has joined. 15:48:42 -!- ^v^v has quit (Read error: Connection reset by peer). 15:48:43 -!- Sprocklem has quit (Ping timeout: 255 seconds). 15:49:06 -!- ^v^v has joined. 15:50:47 -!- ais523 has joined. 15:52:33 -!- Tritonio has joined. 15:53:14 -!- skj3gg has quit (Quit: ZZZzzz…). 16:02:19 -!- skj3gg has joined. 16:17:21 -!- MDream has changed nick to MDude. 16:17:41 -!- ais523 has quit (Quit: almost out of battery). 16:17:44 -!- Eolus has quit (Quit: Connection closed for inactivity). 16:17:48 -!- adu has joined. 16:40:39 -!- mihow has joined. 16:58:39 -!- skj3gg has quit (Quit: ZZZzzz…). 17:06:57 -!- skj3gg has joined. 17:07:25 -!- Tritonio has quit (Remote host closed the connection). 17:08:06 -!- bb010g has quit (Quit: Connection closed for inactivity). 17:08:21 -!- Tritonio has joined. 17:17:21 -!- Tritonio has quit (Remote host closed the connection). 17:17:51 -!- Tritonio has joined. 17:21:37 -!- Phantom__Hoover has joined. 17:21:38 -!- Phantom_Hoover has joined. 17:25:24 -!- Phantom__Hoover has quit (Client Quit). 17:53:22 https://www.reddit.com/r/nethack/comments/2tluxv/yaap_fullauto_bot_ascension_bothack 17:54:13 -!- skj3gg has quit (Quit: ZZZzzz…). 17:59:52 -!- Lymia has quit (Ping timeout: 240 seconds). 18:00:10 -!- Koen_ has joined. 18:01:32 -!- mihow has quit (Ping timeout: 245 seconds). 18:06:07 -!- SopaXorzTaker has quit (Ping timeout: 264 seconds). 18:09:20 -!- mihow has joined. 18:10:13 -!- Tritonio has quit (Remote host closed the connection). 18:13:59 -!- FreeFull has quit (Ping timeout: 245 seconds). 18:18:13 -!- SopaXorzTaker has joined. 18:29:06 -!- arjanb has joined. 18:30:22 -!- TieSoul has changed nick to TieWorking. 18:40:44 -!- FreeFull has joined. 18:45:05 -!- SopaXorzTaker has quit (Read error: Connection reset by peer). 18:47:09 -!- Koen_ has quit (Quit: Koen_). 19:05:56 -!- skj3gg has joined. 19:08:54 -!- mihow has quit (Quit: mihow). 19:10:49 -!- Raven has joined. 19:12:18 `relcome Raven 19:12:20 ​Raven: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) 19:18:48 -!- bb010g has joined. 19:18:50 -!- Raven has quit (Quit: Saliendo). 19:22:28 -!- MoALTz has joined. 19:26:47 -!- `^_^v has joined. 19:40:40 -!- mihow has joined. 19:42:12 -!- ^v has joined. 19:43:07 -!- MoALTz has quit (Quit: Leaving). 19:45:15 -!- Tritonio has joined. 19:46:56 -!- MoALTz has joined. 19:56:49 -!- Lymia has joined. 20:02:29 -!- supay has changed nick to supay|zzZZ. 20:03:38 -!- Patashu has joined. 20:08:49 -!- ^v has quit (Read error: Connection reset by peer). 20:12:21 -!- shikhin_ has joined. 20:12:33 -!- S1 has joined. 20:12:33 -!- S1 has changed nick to puritania. 20:15:23 -!- shikhin has quit (Ping timeout: 240 seconds). 20:15:38 -!- skj3gg has quit (Quit: ZZZzzz…). 20:19:32 -!- skj3gg has joined. 20:25:56 -!- Patashu has quit (Ping timeout: 245 seconds). 20:43:19 -!- lifthrasiir has quit (Ping timeout: 272 seconds). 20:57:51 -!- lifthrasiir has joined. 20:59:01 -!- SirCmpwn has quit (Read error: Connection reset by peer). 20:59:18 -!- ^v^v has quit (Read error: Connection reset by peer). 20:59:45 -!- ^v^v has joined. 21:01:52 -!- AnotherTest has quit (Remote host closed the connection). 21:02:28 -!- SirCmpwn has joined. 21:11:46 -!- ais523 has joined. 21:13:17 -!- Koen_ has joined. 21:14:19 -!- Koen__ has joined. 21:14:20 -!- Koen_ has quit (Read error: Connection reset by peer). 21:15:23 -!- ais523 has quit (Excess Flood). 21:15:40 well, good ol' connection reset bug is back. hello to you all 21:16:36 -!- ais523 has joined. 21:18:46 -!- augur has quit (Read error: Connection reset by peer). 21:18:52 -!- oren has quit (Ping timeout: 240 seconds). 21:18:57 -!- puritania has changed nick to S1. 21:20:35 -!- augur has joined. 21:32:04 -!- Frooxius has quit (Ping timeout: 255 seconds). 21:35:59 -!- oren has joined. 21:42:37 -!- skj3gg has quit (Quit: ZZZzzz…). 21:45:07 -!- ais523 has quit (Read error: Connection reset by peer). 21:45:24 -!- ais523 has joined. 21:47:38 if you want to write a paper about twodimensional esolangs, what the hell would you cite? 21:50:01 are there _any_ serous sources? 21:52:22 [wiki] [[Special:Log/newusers]] create * CodeNMore * New user account 22:04:08 -!- S1 has quit (Quit: S1). 22:04:47 myname, probably not 22:05:10 although maybe oklopol's thesis is relevant 22:05:29 holy fuck, oko's in chile?? 22:16:09 do you have a link? 22:19:21 -!- esowiki has joined. 22:19:25 -!- esowiki has joined. 22:19:26 -!- esowiki has joined. 22:20:37 -!- esowiki has joined. 22:20:38 -!- glogbot has joined. 22:20:41 -!- esowiki has joined. 22:20:42 -!- esowiki has joined. 22:21:00 -!- FireFly has quit (Excess Flood). 22:22:26 -!- FireFly has joined. 22:25:09 -!- Frooxius has joined. 22:26:31 -!- Koen__ has quit (Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?"). 22:27:43 -!- Eolus has joined. 22:29:11 aww jquery is good ;-; 22:29:13 kinda 22:29:30 I made a jquery validation engine once J_Arcane 22:30:23 -!- ProofTechnique has quit (Ping timeout: 265 seconds). 22:31:10 it was p. good 22:31:56 myname, not directly, but his name's ville salo and if you find his website it'll be there somewhere 22:34:25 I'm now at the point of debating whether I want to soldier on into the jQuery course, or backtrack and do the full HTML/CSS tutorial first. 22:34:43 also I'm having some kind of nervous fit about resumes for some reason, so that's fun. 22:34:47 http://twapa.deviantart.com/art/Bucket-of-Tits-323028841 22:34:51 :l 22:34:56 the birds 22:35:01 nasty folk 22:37:56 Sorta the trouble with .js, innit, depending on what you're doing anyway. It's all the mucking about with the other parts of the web you have to deal with ... 22:41:16 -!- adu has quit (Quit: adu). 22:51:10 what's a bool? 22:52:10 A lot of my maths lectures now-adays make me think "Wow, Category Theory is a really good idea" 22:52:28 go create stuff 22:54:04 Taneb: do you also think that about general topology too? 22:54:06 -!- hjulle has joined. 22:54:11 or other crazy topics like that 22:54:57 b_jonas, I haven't done any topology 22:58:18 -!- Lymia has quit (Ping timeout: 245 seconds). 22:58:51 you haven't :0 23:00:07 -!- Lymia has joined. 23:02:38 I am reading a marvellous book: A child's history of England, by Charles Dickens 23:03:14 I was previously unaware that Dickens wrote any nonfiction 23:03:17 yay 23:03:29 u didn't?! 23:03:35 -!- oerjan has joined. 23:08:01 -!- bb010g has quit (Ping timeout: 245 seconds). 23:08:55 -!- tswett has joined. 23:09:06 -!- ocharles_ has quit (Ping timeout: 252 seconds). 23:09:16 -!- supay|zzZZ has quit (Ping timeout: 245 seconds). 23:09:31 Arright, let's see if I can make the spec for Al Dente better. 23:11:52 -!- `^_^v has quit (Ping timeout: 240 seconds). 23:12:36 -!- hjulle has quit (Ping timeout: 245 seconds). 23:13:18 -!- Eolus has quit (Ping timeout: 245 seconds). 23:14:55 -!- vanila has joined. 23:14:58 hi 23:17:59 tswett: i find the syntax insufficiently pasta-inspired hth 23:18:24 Sorry, but the syntax and semantics of the language are now immutable. 23:18:35 -!- supay|zzZZ has joined. 23:18:47 curses 23:19:50 taktentus looks like a language with polish 23:20:41 -!- supay|zzZZ has quit (Changing host). 23:20:41 -!- supay|zzZZ has joined. 23:20:43 -!- ProofTechnique has joined. 23:21:14 Sven said, Ted, send ten tents. Ted said, Sven, send ten cents. When Sven sent Ted ten cents, then Ted sent Sven ten tents. 23:22:27 those were some cheap tents 23:23:20 -!- ocharles_ has joined. 23:23:29 Maybe they were some valuable cents. 23:23:57 Or maybe Ted didn't really want the money and was just being a jerk. 23:31:28 -!- bb010g has joined. 23:32:10 -!- Eolus has joined. 23:32:19 If Ted and Sven live in England, then they need to send pence 23:33:41 -!- mitchs has quit (Ping timeout: 250 seconds). 23:33:45 Penn hedged a plan to end the tent renting trend by sending ten tanks to tend to Ted and Sven. 23:34:22 -!- mitchs_ has joined. 23:35:11 Clearly Ted should be called Trent. 23:35:38 It's stuff like "This is a group homomorphism." "This is a ring homomorphism" "This is a linear transformation" and like they are all the same shape of things 23:36:49 And my mind is going "Yes, these are all subcategories of eachother, of course they are the same thing" 23:36:51 Taneb: a linear transformation is of course a vector space homomorphism 23:37:03 it's just called something else for hysterical raisins 23:37:09 oerjan, yes, that was pointed out 23:37:31 An arrow is just a natural transformation between two functors on 1. 23:37:31 and all of those fit in the same universal algebra framework 23:37:44 It doesn't really help matters much that my ring theory lecturer is the same person as my linear algebra lecturer 23:38:00 `? arrow 23:38:01 Arrows are just strong monads in the category of profunctors. 23:38:08 hm different arrow 23:38:12 `? morphism 23:38:13 Morphisms are just elements of the Hom-set of a pair of objects. 23:38:21 How do profunctors form a category? 23:38:31 tswett: you mean arrows = morphisms, right? 23:38:36 oerjan: yeah. 23:38:56 `learn A morphism is just a natural transformation between two functors on 1. 23:38:59 Learned 'morphism': A morphism is just a natural transformation between two functors on 1. 23:40:22 `learn Zygohistomorphic-prepromorphism Used when you really need both semi-mutual recursion and history and to repeatedly apply a natural transformation as you get deeper into the functor 23:40:24 Learned 'zygohistomorphic-prepromorphism': Zygohistomorphic-prepromorphism Used when you really need both semi-mutual recursion and history and to repeatedly apply a natural transformation as you get deeper into the functor 23:40:32 `revert 23:40:33 Done. 23:40:39 ?????????????? 23:40:47 vanila: `learn doesn't work that way 23:41:05 I am right in thinking that the category of linear transformations and the category of ring homomorphisms are both subcategories of the category of group homomorphisms? 23:41:18 `run ls wisdom/zy* 23:41:20 ls: cannot access wisdom/zy*: No such file or directory 23:41:27 `? learn 23:41:28 learn? ¯\(°​_o)/¯ 23:41:38 Linear transformations and ring homomorphisms are objects of categories? 23:41:54 -!- vanila has left ("Leaving"). 23:41:57 `? something HackEgo doesn't know anything about 23:41:58 something HackEgo doesn't know anything about? ¯\(°​_o)/¯ 23:42:27 tswett, morphisms of categories 23:42:41 . o O ( `learn learn `learn does not work this way. ) 23:42:56 -!- adu has joined. 23:42:57 Taneb: *nod* 23:43:22 tswett, which I guess makes them objects of another category? Category theory hurts my head sometimes 23:43:22 `? ¯\(°​_o)/¯ 23:43:24 ​¯\(°​_o)/¯ is a misspelling of ¯\(°_o)/¯ 23:43:24 | 23:43:24 o/`¯º 23:44:30 Lemme see. A ring homomorphism could be seen as a group homomorphism, I guess. 23:44:40 -!- CakeMeat has joined. 23:44:45 well fuck 23:44:46 But going from the ring homomorphism to the group homomorphism forgets information. 23:45:13 my irc cloud account doesn't work 23:45:17 and I'm sad 23:45:30 tswett, isn't the homomorphism just a function with a few restrictions? 23:45:46 elliott 23:45:48 Okay, I lied. 23:45:53 -!- CakeMeat has quit (Client Quit). 23:46:13 But turning the domain and codomain from rings into groups forgets information. 23:46:39 I suppose 23:46:45 -!- CakeMeat has joined. 23:46:46 sure. 23:46:50 Is it possible for there to be two rings with the same set and addition? 23:46:52 ffffdd 23:47:24 there's clearly a forgetful functor from rings to groups, but i don't know that those are thought of as subcategories? 23:47:24 Taneb: yeah. 23:47:31 -!- adu has quit (Ping timeout: 255 seconds). 23:47:37 Hmm, I may be wrong then 23:47:46 I think the integers with x added have the same addition group as the integers with sqrt(2) added. 23:47:49 sizzles in anger 23:48:01 No, they don't. 23:48:09 But the integers with sqrt(2) and the integers with sqrt(3). 23:48:26 The addition group is Z^2 either way. 23:48:44 tswett: but those are isomorphic; they don't have the same carrier. 23:49:00 But for example, GF(2^2) has the same additive structure as (Z/2Z)^2. 23:49:03 Well then, make them have the same carrier. 23:49:37 As the homotopy type theorists say, if x is isomorphic to y, then x is y. 23:50:02 (the latter dontes pairs of elements of Z/2Z with operations performed pointwise: (a,b)*(c,d) = (a*c,b*d)) 23:50:50 tswett: Sorry, you're right of course. 23:51:23 * int-e got distracted from the point (which is that Z[x]/(x^2-3) is a different ring from Z[x]/(x^2-2).) 23:51:32 ;-; 23:51:49 ELLIOTT!!!!! 23:52:04 and I'm using these representations because they have the same carrier if one chooses polynomials of degree less than 2 as representatives. 23:52:11 looses self 23:52:12 "naturally" 23:52:20 I hate this client 23:52:26 CakeMeat: right now you don't sound like the kind of person elliott would want to respond to hth 23:52:28 CakeMeat: It's "loosens", hth. 23:52:40 Its me eolus 23:52:41 btw 23:52:45 i was guessing 23:52:57 And this stupid client wonr let me log on 23:53:19 I just wanna contact him so I can leave this stupid client 23:53:19 Good, good. 23:53:22 ;-----; 23:54:16 CakeMeat: you can log on by sending private messages to nickserv 23:54:23 Sorry, I just happen to think that irccloud is a really stupid idea. 23:54:44 oerjan: that would require a registered nick :P 23:54:56 int-e: i think Lilax is registered... 23:55:09 oerjan: Uh-oh. 23:55:15 there is NO nick serv system message on this 23:55:32 I can do /msg nickserv identify password 23:55:42 because /msg isn't a thing on this clienr 23:55:47 ;------; 23:55:51 huh 23:56:09 "android irc client", but even so... 23:56:13 Its an app 23:56:17 CakeMeat: that sounds very implausible 23:56:23 -!- Eolus has quit. 23:56:25 Nope won't let me log into lilax 23:56:26 There 23:56:30 THERE 23:56:34 no "private message" or "direct message" feature? 23:56:37 -!- CakeMeat has changed nick to Lilax. 23:56:46 either there is a way to send private messages, or that client should be banned hth 23:57:07 -!- Eolus has joined. 23:58:00 ... 23:58:04 You fek 23:58:18 -!- Eolus has changed nick to Guest80873. 23:58:25 I am going to bed now 23:58:32 Ha 23:58:57 Hi Lilax, Eolus says he isn't you, what's your take on this matter of contention? 23:59:08 Fffd 23:59:13 This isn't fair 23:59:27 I logged out for a second and my account was taken 23:59:32 Its me because 23:59:44 I know elliotts thing