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 <oren> http://nanoha.wikia.com/wiki/Barrier_Burst
00:28:31 <oren> Is that the reference?
00:29:38 <oerjan> or well, i guess int-e should answer that.
00:31:38 -!- hjulle has quit (Ping timeout: 245 seconds).
00:42:57 -!- Sprocklem has joined.
00:59:52 -!- ProofTechnique has quit (Ping timeout: 240 seconds).
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 <oren> yay i finished my little clock app
05:21:40 <oren> http://snag.gy/ZWoOa.jpg
05:23:32 <oren> now how to make it turing complete?
05:24:03 <oren> there are some who say "not everything has to be turing complete"
05:24:14 -!- nys has quit (Quit: quit).
05:24:40 <zzo38> 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 <oren> since I wrote all this date-handling code, the only data type should be dates
05:26:58 <oren> AHA: the loop mechanism is by scheduling things to be done at another tiem
05:29:27 <oren> and conditions are simply comparisons of times
05:29:29 -!- Sprocklem has quit (Ping timeout: 256 seconds).
05:47:21 <oren> 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 <oren> and then you can tell the program to run itself at a later time
05:52:23 <oren> 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 <oren> The program then runs once upon open, and then once at each time that is on the schedule.
05:54:17 <oren> perhaps there should also be T/ which crosses T off the schedule
05:54:56 <Jafet> Or, things that should remain on the schedule must put themselves back each time.
05:55:28 <oren> Jafet: yeah, that could work too.
05:55:49 <oren> in other words, each run is a "revising" of the schedule
05:56:48 <Jafet> Well, it becomes a to-do list instead, such as http://www.dangermouse.net/esoteric/whenever.html
06:07:56 <Sgeo> 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 <Sgeo> I hear sounds that remind me of Das Boot
06:09:24 <Sgeo> (Which I've only listened to because of Activeworldsa)
06:11:36 -!- dts|pokeball has quit (Quit: Leaving).
06:17:44 <zzo38> {1}, {T}, Sacrifice a permanent: You lose the game.
06:55:34 -!- TieSoul_ has changed nick to TieSoul.
07:16:20 <FreeFull> oren: Make your clock app do elliptic curve encryption
07:19:24 -!- technomad has joined.
07:21:33 -!- dianne_ has quit (Quit: Lost terminal).
07:23:36 -!- dianne has joined.
07:29:02 <HackEgo> technomad: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (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 <oren> an extension on the assignment I pulled an all-nighter to finish. why am i angry
09:50:05 <oren> 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 <HackEgo> [wiki] [[Taktentus]] http://esolangs.org/w/index.php?diff=41797&oldid=41795 * Taktentus * (+117) /* Syntax */
11:11:39 <HackEgo> [wiki] [[Taktentus]] http://esolangs.org/w/index.php?diff=41798&oldid=41797 * Taktentus * (+23) /* Syntax */
11:12:09 <HackEgo> [wiki] [[Taktentus]] http://esolangs.org/w/index.php?diff=41799&oldid=41798 * Taktentus * (-4) /* suma */
11:12:38 <HackEgo> [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 <oren> Are the computable numbers identical to the rationals?
13:01:03 <oerjan> e.g. pi and e are computable
13:01:28 <elliott> also, well, lots of things. most things :p
13:01:38 <oerjan> most continuous functions you've heard of are computable
13:01:51 <oerjan> discontinuous functions cannot be
13:02:03 <oren> I suppose if they weren't computable it wouldn't be very useful
13:02:25 <elliott> Chaitin's constant isn't computable, though
13:03:27 <oren> elliott: oh god, why would anyone even construct programs randomly
13:03:37 <b_jonas> oerjan: you mean continuous in which topology?
13:03:45 <b_jonas> is this about functions on the reals?
13:03:51 <elliott> oren: you can use chaitin's constant to decide the halting problem
13:04:07 <Eolus> http://youtu.be/MuOvqeABHvQ
13:04:44 <b_jonas> meh, pi is just square root 10 minus some correction offset
13:05:05 <oerjan> of course complex numbers also work
13:08:11 <oren> what is the probability that a random program willdo something useful?
13:08:32 <b_jonas> 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 <b_jonas> but I guess I've probably only seen a countably many
13:11:44 <oerjan> b_jonas: the "you've heard of" was important
13:13:15 <oerjan> basically, you won't get a non-computable continuous function by accident
13:15:38 -!- hjulle has quit (Ping timeout: 246 seconds).
13:16:11 -!- ProofTechnique has quit (Ping timeout: 244 seconds).
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:40 <Eolus> did Tennessee the heaven hurt when you fell from the it
13:56:44 <Niedaw> Can You look taktentus?
13:56:45 <HackEgo> Niedaw: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
13:57:53 <Niedaw> What is the best interpreter? Binary native , jscript or script lang for ex. python
13:57:54 <Eolus> 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 <Eolus> for ex? give us an exact language you want those for
13:58:47 <oerjan> as a rule i never help people when pushed to it hth
13:59:13 <Eolus> oerjan you want some lemon bread
13:59:27 <Eolus> I made like seven loafs
13:59:31 <oerjan> i don't think so. my stomach is queasy today.
13:59:55 <Eolus> oerjan hopes to much
14:01:23 -!- ProofTechnique has quit (Ping timeout: 250 seconds).
14:01:28 <Niedaw> Is necessqry to write compilator? Anybody use rodacy any compilator of esolang?
14:01:32 <oerjan> 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:43 <Eolus> gravity is a theory
14:02:53 <oerjan> earth to earth, dust to dust
14:03:37 <oerjan> Eolus: theory means something more in science than in ordinary language
14:04:05 <Eolus> Nuclear fire to death
14:05:00 <Eolus> 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 <Eolus> I can't grammar some the times : (
14:05:49 <Eolus> Or well I am of the randoms because I am most unstable of the bunch lol
14:06:38 <Eolus> 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:32 <lambdabot> <hint>:1:1: parse error on input ‘{’
14:08:36 <Niedaw> can You Check interpreter taktentus ?
14:08:44 <Eolus> thank you lambdabot
14:09:09 <Eolus> I don't know Niedaw
14:09:11 <oerjan> { in haskell always requires something before it
14:09:16 -!- ProofTechnique has joined.
14:09:29 <lambdabot> Just *Exception: <interactive>:3:1-7: Missing field in record construction
14:09:46 <Eolus> oerjan I didn't know that
14:09:54 <Eolus> probably why I got so many parse errors
14:10:04 <oerjan> > let { x = 1 } in x+1
14:10:15 <oerjan> those last brackets are redundant though
14:11:31 -!- ProofTechnique has quit (Client Quit).
14:11:35 <Eolus> 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 <Eolus> two brackets to seperate the definition from the equation given?
14:12:09 -!- shikhin_ has joined.
14:12:36 <Eolus> 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 <oerjan> Eolus: if you have one bracket, you must have both.
14:13:46 <oerjan> but if you leave them out, they'll be automatically inserted by the parser in that case
14:14:09 <lambdabot> parse error (possibly incorrect indentation or mismatched brackets)
14:14:16 <oerjan> haskell's indentation blocks are syntactic sugar for { ; }
14:14:32 <Eolus> 1 minute till school bus
14:15:03 -!- shikhin has quit (Ping timeout: 264 seconds).
14:16:35 -!- skj3gg has quit (Quit: ZZZzzz…).
14:20:16 <J_Arcane> 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 <J_Arcane> 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:20 <HackEgo> Raven: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (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 <Koen__> 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 <myname> if you want to write a paper about twodimensional esolangs, what the hell would you cite?
21:50:01 <myname> are there _any_ serous sources?
21:52:22 <HackEgo> [wiki] [[Special:Log/newusers]] create * CodeNMore * New user account
22:04:08 -!- S1 has quit (Quit: S1).
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 <Eolus> aww jquery is good ;-;
22:29:30 <Eolus> I made a jquery validation engine once J_Arcane
22:30:23 -!- ProofTechnique has quit (Ping timeout: 265 seconds).
22:31:56 <Phantom_Hoover> myname, not directly, but his name's ville salo and if you find his website it'll be there somewhere
22:34:25 <J_Arcane> 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 <J_Arcane> also I'm having some kind of nervous fit about resumes for some reason, so that's fun.
22:34:47 <Eolus> http://twapa.deviantart.com/art/Bucket-of-Tits-323028841
22:37:56 <J_Arcane> 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:52:10 <Taneb> A lot of my maths lectures now-adays make me think "Wow, Category Theory is a really good idea"
22:54:04 <b_jonas> Taneb: do you also think that about general topology too?
22:54:06 -!- hjulle has joined.
22:54:11 <b_jonas> or other crazy topics like that
22:54:57 <Taneb> b_jonas, I haven't done any topology
22:58:18 -!- Lymia has quit (Ping timeout: 245 seconds).
23:00:07 -!- Lymia has joined.
23:02:38 <oren> I am reading a marvellous book: A child's history of England, by Charles Dickens
23:03:14 <oren> I was previously unaware that Dickens wrote any nonfiction
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 <tswett> 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:17:59 <oerjan> tswett: i find the syntax insufficiently pasta-inspired hth
23:18:24 <tswett> Sorry, but the syntax and semantics of the language are now immutable.
23:18:35 -!- supay|zzZZ has joined.
23:19:50 <oerjan> 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 <tswett> 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 <oerjan> those were some cheap tents
23:23:20 -!- ocharles_ has joined.
23:23:29 <tswett> Maybe they were some valuable cents.
23:23:57 <tswett> 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 <oren> 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 <int-e> 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 <int-e> Clearly Ted should be called Trent.
23:35:38 <Taneb> 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 <Taneb> And my mind is going "Yes, these are all subcategories of eachother, of course they are the same thing"
23:36:51 <oerjan> Taneb: a linear transformation is of course a vector space homomorphism
23:37:03 <oerjan> it's just called something else for hysterical raisins
23:37:09 <Taneb> oerjan, yes, that was pointed out
23:37:31 <tswett> An arrow is just a natural transformation between two functors on 1.
23:37:31 <oerjan> and all of those fit in the same universal algebra framework
23:37:44 <Taneb> It doesn't really help matters much that my ring theory lecturer is the same person as my linear algebra lecturer
23:38:01 <HackEgo> Arrows are just strong monads in the category of profunctors.
23:38:13 <HackEgo> Morphisms are just elements of the Hom-set of a pair of objects.
23:38:21 <Taneb> How do profunctors form a category?
23:38:31 <oerjan> tswett: you mean arrows = morphisms, right?
23:38:56 <oerjan> `learn A morphism is just a natural transformation between two functors on 1.
23:38:59 <HackEgo> Learned 'morphism': A morphism is just a natural transformation between two functors on 1.
23:40:22 <vanila> `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 <HackEgo> 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:47 <oerjan> vanila: `learn doesn't work that way
23:41:05 <Taneb> 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:20 <HackEgo> ls: cannot access wisdom/zy*: No such file or directory
23:41:38 <tswett> Linear transformations and ring homomorphisms are objects of categories?
23:41:54 -!- vanila has left ("Leaving").
23:41:57 <tswett> `? something HackEgo doesn't know anything about
23:41:58 <HackEgo> something HackEgo doesn't know anything about? ¯\(°_o)/¯
23:42:27 <Taneb> tswett, morphisms of categories
23:42:41 <int-e> . o O ( `learn learn `learn does not work this way. )
23:42:56 -!- adu has joined.
23:43:22 <Taneb> tswett, which I guess makes them objects of another category? Category theory hurts my head sometimes
23:43:24 <HackEgo> ¯\(°_o)/¯ is a misspelling of ¯\(°_o)/¯
23:44:30 <tswett> Lemme see. A ring homomorphism could be seen as a group homomorphism, I guess.
23:44:40 -!- CakeMeat has joined.
23:44:46 <tswett> But going from the ring homomorphism to the group homomorphism forgets information.
23:45:13 <CakeMeat> my irc cloud account doesn't work
23:45:30 <Taneb> tswett, isn't the homomorphism just a function with a few restrictions?
23:45:53 -!- CakeMeat has quit (Client Quit).
23:46:13 <tswett> But turning the domain and codomain from rings into groups forgets information.
23:46:45 -!- CakeMeat has joined.
23:46:50 <Taneb> Is it possible for there to be two rings with the same set and addition?
23:47:24 <oerjan> there's clearly a forgetful functor from rings to groups, but i don't know that those are thought of as subcategories?
23:47:31 -!- adu has quit (Ping timeout: 255 seconds).
23:47:37 <Taneb> Hmm, I may be wrong then
23:47:46 <tswett> I think the integers with x added have the same addition group as the integers with sqrt(2) added.
23:48:09 <tswett> But the integers with sqrt(2) and the integers with sqrt(3).
23:48:26 <tswett> The addition group is Z^2 either way.
23:48:44 <int-e> tswett: but those are isomorphic; they don't have the same carrier.
23:49:00 <int-e> But for example, GF(2^2) has the same additive structure as (Z/2Z)^2.
23:49:03 <tswett> Well then, make them have the same carrier.
23:49:37 <tswett> As the homotopy type theorists say, if x is isomorphic to y, then x is y.
23:50:02 <int-e> (the latter dontes pairs of elements of Z/2Z with operations performed pointwise: (a,b)*(c,d) = (a*c,b*d))
23:50:50 <int-e> 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:52:04 <int-e> 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:26 <oerjan> CakeMeat: right now you don't sound like the kind of person elliott would want to respond to hth
23:52:28 <int-e> CakeMeat: It's "loosens", hth.
23:52:57 <CakeMeat> And this stupid client wonr let me log on
23:53:19 <CakeMeat> I just wanna contact him so I can leave this stupid client
23:54:16 <oerjan> CakeMeat: you can log on by sending private messages to nickserv
23:54:23 <int-e> Sorry, I just happen to think that irccloud is a really stupid idea.
23:54:44 <int-e> oerjan: that would require a registered nick :P
23:54:56 <oerjan> int-e: i think Lilax is registered...
23:55:15 <CakeMeat> there is NO nick serv system message on this
23:55:32 <CakeMeat> I can do /msg nickserv identify password
23:55:42 <CakeMeat> because /msg isn't a thing on this clienr
23:56:09 <int-e> "android irc client", but even so...
23:56:17 <oerjan> CakeMeat: that sounds very implausible
23:56:23 -!- Eolus has quit.
23:56:25 <CakeMeat> Nope won't let me log into lilax
23:56:34 <int-e> no "private message" or "direct message" feature?
23:56:37 -!- CakeMeat has changed nick to Lilax.
23:56:46 <oerjan> either there is a way to send private messages, or that client should be banned hth
23:57:07 -!- Eolus has joined.
23:58:18 -!- Eolus has changed nick to Guest80873.
23:58:25 <Taneb> I am going to bed now
23:58:57 <int-e> Hi Lilax, Eolus says he isn't you, what's your take on this matter of contention?
23:59:27 <Lilax> I logged out for a second and my account was taken
23:59:44 <Lilax> I know elliotts thing