00:02:49 Now I am sad 00:03:27 yeah 00:03:28 it is sad 00:04:01 -!- edwardk has quit (Quit: Computer has gone to sleep.). 00:09:15 -!- Patashu_ has joined. 00:09:15 -!- Patashu has quit (Disconnected by services). 00:13:30 Can we start having a stricter policy against that sort of thing? 00:14:17 offensive jokes must be this funny |-----------------| to share 00:14:22 i don't remember how it went back then 00:15:04 at present I'm not able to enforce such a policy, for personal / psychological reasons 00:15:16 if other ops wish to do so then it is fine with me 00:15:25 basically I feel like I will be part of the problem no matter what I do :/ 00:15:32 lol 00:16:15 :\ 00:16:25 ban everyone, OKAY 00:16:57 but I think it's probably bad to have a policy that some ops can't enforce 00:16:57 i don't even remember why it wasn't enforced back then. 00:16:59 :D 00:17:14 which ops can't enforce it? 00:17:39 me, I just said 00:17:41 quintopia: PAY ATTENTION 00:17:46 OR YOU WILL BE BANNED 00:17:49 I don't care and I think if those people leave due to such thing they are probably their own fault, although also whoever wrote such thing should be careful too (in order to avoid such thing), even if you have free speech too. 00:18:22 kmc: i don't understand why you couldn't enforce it 00:18:57 wait was it quintopia who started it back then 00:19:14 Maybe you disagree how funny/offensive they are? It can be possible 00:19:22 -!- edwardk has joined. 00:19:26 depending on what you mean VERY PROBABLY 00:19:54 quintopia: because these days whenever I think about social justice things it triggers intense depressive symptoms 00:20:13 i'm really sad and bitter about all of it 00:20:21 i can understand that 00:20:37 zzo38: there are people who cannot emotionally handle these kind of jokes, due to past trauma or whatever. 00:20:44 about people being sexist/racist/homophobic assholes, about the psychological warfare tactics of the people who fight them online, about my own role in systems of oppression 00:21:29 darn now i have to stop reading you before i get depressive symptoms 00:21:52 it's a war fought by dehumanization and by attacking the idea of empathy 00:23:01 this is also why i really really need to stop using twitter 00:23:13 so let's make dehumanization and attacking the idea of empathy the bannable offence. also, triggering despressive symptoms. 00:23:30 which reminds me of the recent goodmath post http://www.goodmath.org/blog/2014/05/11/depression-and-arrogant-assholes/ 00:23:47 (he's also posted about sexism previously iirc) 00:24:00 Can someone remind me who's an op in here? 00:24:57 alas, i am not authorized to ask chanserv 00:25:27 oerjan: I know, that some people don't handle this kind of jokes. That isn't your fault, but those people who don't handle it, should have the right to complain 00:25:42 Taneb: me, fizzie, ais523, kmc and elliott are the active ones 00:25:49 quintopia: But maybe some people are depressed of strange thing 00:25:58 oerjan, OK, thanks 00:26:19 Bike: wait you aren't? 00:26:30 /msg chanserv flags #esoteric 00:26:35 or are you just being sarcastic 00:26:48 You are not authorized to perform this operation. 00:27:06 And, you should need argument of absolutely everything anyways, including (but not limited to), dehumanization, empathy, free speech, goodmath post, me, you, etc. 00:27:29 ic. i never noticed that required authorization. 00:27:29 i don't know if that's the good way to look shit up though 00:27:49 it's so that you can run channels as if you're the KGB i guess 00:28:01 Try CS ACCESS #esoteric LIST that works for me 00:28:21 ah, thank you. 00:29:46 that's funny, those give identical results afaict 00:30:01 presumably you have privilege 00:30:03 check it 00:30:07 (i m o) 00:30:49 well of course i do. 00:31:29 it's just funny that it makes a command require authorization if it gives the same result as an unauthorized one 00:32:16 although i guess it's also possible you _don't_ see the same result as i. 00:32:59 I ought to sleep at some point. 00:33:28 excellent plan 00:34:22 "And until then, until then, until they've reason to think I've a shot at redemption, until then, I'm not talking" 00:36:44 -!- edwardk has quit (Quit: Computer has gone to sleep.). 00:38:47 I wish for all of you to find happiness in unlikely places. Goodnight. 00:39:03 same to you Taneb 00:39:05 good night :) 00:39:34 lol bike 00:39:53 im trying to remember the name of that joke programming language 00:40:28 found it https://gitorious.org/c-plus-equality/c-plus-equality/ 00:41:55 -!- kmc has left. 00:44:01 I made up a ORD, CHR, ORD_U, CHR_U function to replace the UNICODE and CHAR function in SQL, and I have figured out the followings: 00:44:11 ORD(CHR_U(10000000)) makes 248, ORD_U(CHR_U(10000000)) makes 10000000, ORD_U(CHAR(10000000)) makes 65533, UNICODE(CHAR(10000000)) makes 65533, UNICODE(CHR_U(10000000)) makes 10000000, UNICODE(CHR_U(100000000)) makes 100000000, ORD_U(CHR_U(100000000)) makes 100000000, ORD_U(CHR_U(0)) makes 0, UNICODE(CHR_U(0)) makes 65533, UNICODE(CHAR(0)) makes NULL, ORD_U(CHAR(0)) makes NULL. 00:44:16 ORD_U(CHR_U(64138178286)) makes 64138178286, UNICODE(CHR_U(64138178286)) makes -286331154, UNICODE(CHAR(64138178286)) makes 65533, ORD_U(CHAR(64138178286)) makes 65533, ORD_U(CHAR(99999999999)) makes 65533, and ORD_U(CHR_U(99999999999)) results in an error message. 00:44:21 Is this better or not? 00:45:53 The C+= mentions "Now hosted on Gitorious, as GitHub, BitBucket, and Google all prove to be too misogynistic to support a feminist programming language." I don't think it necessarily means it is misogynistic, but, my own opinion is that you should be allowed to make such program if you want to, whether or not it is feminist or anything else whatever 00:47:37 zzo38, there was enough whining that they took it down from github 00:47:53 haha seriously 00:49:10 zzo38, but, in feminist spirit, they (c+=) have to say that its because those sites are misogynistic 00:49:40 O, OK, yes they can say that if they want 01:01:13 oh my. 01:01:14 sti::cout of_the_following "Hello, feminists!\n". //Frankly I feel that line escape codes could be problematic 01:01:35 preceded by: / // "std" is sooooo old-fashioned. we use "sti" nowadays. 01:01:35 //cout should be removed immediately as the two letters "co" obviously represent the beginning of a phallus. 01:01:47 -!- hk3380 has quit (Ping timeout: 276 seconds). 01:13:14 -!- zzo38 has quit (Remote host closed the connection). 01:59:19 -!- hk3380 has joined. 02:20:05 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 02:37:15 -!- Frooxius has quit (Ping timeout: 258 seconds). 03:13:57 -!- hk3380 has quit (Ping timeout: 252 seconds). 03:22:02 -!- ^v has joined. 03:22:55 -!- augur has joined. 03:33:14 -!- Bike has quit (Ping timeout: 276 seconds). 03:37:29 -!- oerjan has quit (Quit: Nythe). 03:40:13 -!- Bike has joined. 04:05:47 -!- shikhin has joined. 04:29:26 -!- Bike has quit (Ping timeout: 259 seconds). 04:30:10 -!- Bike has joined. 04:34:34 -!- Sorella has quit (Quit: It is tiem!). 04:34:38 -!- Bike has quit (Ping timeout: 240 seconds). 04:36:56 -!- Bike has joined. 04:45:10 -!- Frooxius has joined. 04:59:32 -!- scoofy has quit (Excess Flood). 04:59:56 -!- scoofy has joined. 05:12:23 -!- shikhin has quit (Ping timeout: 255 seconds). 05:20:40 -!- tromp has joined. 05:24:30 "George Westinghouse promptly bought Tesla's patents, employed Tesla to develop them, and assigned C. F. Scott to help Tesla, Tesla leaving for other pursuits in 1889.[23][30][33][34][35][36][37][37][38][38][39][40] [41][42][43][44]" 05:24:47 -!- tromp has quit (Client Quit). 05:25:08 "are you sure" 05:28:56 Ugh, got sunburned. Is a single day of sunburn as bad as a single day of smoking? 05:29:16 I don't know what my risk is 05:31:26 -!- tromp has joined. 05:31:42 Doesn't seem to be blistering 05:31:49 Just red 05:33:43 Might not be as big an issue as lack of sleep... which is systemic for me, so more comparable to smoking cigarettes regularly 05:40:59 Sgeo: But lack of sleep can't cause cancer. 05:41:33 Can it let a cancer that would otherwise be destroyed be viable? If lack of sleep is bad for immune system... 05:41:36 Sgeo: not nearly as bad 05:41:51 Sgeo: melanoma is easy to treat if caught early 05:42:50 and it's the really dangerous kind of skin cancer 05:44:22 -!- edwardk has joined. 05:46:19 -!- edwardk has quit (Remote host closed the connection). 06:01:24 firefox can render webpages in 3D 06:02:54 https://mdn.mozillademos.org/files/3625/3dview.png 06:03:13 Grab a deck and plug in to cyberspace 06:32:26 -!- tromp has quit (Remote host closed the connection). 06:44:39 -!- edwardk has joined. 06:45:27 -!- ^v has quit (Quit: http://i.imgur.com/Akc6r.gif). 07:02:59 -!- tromp has joined. 07:03:05 -!- Bike has quit (Ping timeout: 255 seconds). 07:04:01 -!- password2 has joined. 07:07:31 -!- tromp has quit (Ping timeout: 252 seconds). 07:15:13 -!- augur has quit (Ping timeout: 252 seconds). 07:24:49 -!- augur has joined. 07:27:58 -!- conehead has quit (Quit: Computer has gone to sleep). 07:30:00 -!- edwardk has quit (Read error: Connection reset by peer). 07:30:41 -!- edwardk has joined. 08:36:17 -!- KingOfKarlsruhe has joined. 08:49:56 -!- Slereah_ has joined. 08:52:35 -!- Slereah__ has joined. 08:53:18 -!- Slereah has quit (Ping timeout: 258 seconds). 08:55:26 -!- Slereah has joined. 08:55:37 -!- Slereah_ has quit (Ping timeout: 276 seconds). 08:58:40 -!- Slereah__ has quit (Ping timeout: 258 seconds). 09:01:24 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 09:05:28 Morning, #esoteric! 09:05:42 Mornin' 09:20:18 -!- KingOfKarlsruhe has quit (Read error: Connection timed out). 09:33:42 -!- impomatic has joined. 10:12:37 -!- MindlessDrone has joined. 10:24:48 -!- shikhin has joined. 10:25:31 -!- edwardk has quit (Quit: Computer has gone to sleep.). 10:28:04 -!- nooodl has joined. 10:44:45 -!- Phantom_Hoover has joined. 10:59:23 -!- yorick has joined. 11:09:46 -!- password2 has quit (Ping timeout: 258 seconds). 11:13:07 -!- hk3380 has joined. 11:35:53 -!- Slereah_ has joined. 11:36:04 http://blog.coinbase.com/post/85758038492/10-of-free-bitcoin-for-college-students 11:36:25 `coins 11:36:27 boaracoin azumarkcoin bigcoin balackcoin incolcoin dipucoin homeoncoin zetacoin revcoin revillacoin ploycoin pertacoin syllcoin bfficidcoin rockcoin versexumcoin interandrecoin revilcoin eiccancoin singcoin 11:36:43 -!- Slereah has quit (Ping timeout: 240 seconds). 11:38:18 -!- shikhin has quit (Quit: Lost terminal). 11:43:13 -!- shikhin has joined. 12:09:05 -!- oerjan has joined. 12:18:23 -!- MoALTz has quit (Ping timeout: 258 seconds). 12:20:20 -!- MoALTz has joined. 12:20:47 -!- Slereah has joined. 12:24:17 -!- Slereah_ has quit (Ping timeout: 264 seconds). 12:24:18 @tell Sgeo Can it let a cancer that would otherwise be destroyed be viable? If [...] is bad for immune system... <-- YES WORRYING ABOUT THINGS ALL THE TIME PROBABLY CAN DO THAT HTH 12:24:18 Consider it noted. 12:25:04 (and while i'm joking, i still think it's probably true.) 12:29:26 sadly the top google hit is this http://www.dailymail.co.uk/health/article-2099567/Hypochondriacs-dont-live-long-research-suggests-persons-outlook-affects-lifespan.html 12:29:41 (sad because it's daily mail) 12:31:52 but good because it refers to an actual study. 12:33:56 yay 1000 SO rep! 12:34:17 (what do you mean it's not that much) 12:40:10 That's like loads compared to me 12:40:15 I'd consider my health as "poor" too 12:40:31 without reference to how other people's health is 12:40:43 compared to other people's health it's probably in the lower normal range :) 12:41:14 If your vision has these weird "worm"-like structures in it you'd consider your vision as bad 12:41:28 until you notice that lots of other people have it too 12:41:43 mroman: um well if you have them all the time i guess... 12:42:01 eye floaters? 12:42:06 They don't magially disappear ;) 12:42:15 they don't? 12:42:20 no 12:42:44 hm i guess i'm not having them, then. although i've certainly seen occasional things moving in there. 12:43:06 http://upload.wikimedia.org/wikipedia/commons/b/b2/Floaters.png 12:43:13 it's just like your nose. 12:43:19 Eventually you stop noticing them 12:43:32 it also dependents on background color/light 12:43:37 but they will always be there 12:43:56 and suddenly you notice them again 12:44:07 -!- Slereah_ has joined. 12:44:23 well i guess. i've always noticed them better when looking at blue sky. 12:45:07 occasionally one will float into the middle of the eye, but otherwise i don't notice much 12:45:21 *of the field of vision 12:45:31 If it's just one :) 12:45:39 right 12:45:53 -!- Frooxius has quit (Ping timeout: 264 seconds). 12:46:06 it's hard counting them though 12:46:06 no more than a handful, at any rate. 12:47:04 -!- Slereah has quit (Ping timeout: 240 seconds). 12:49:40 -!- AnotherTest has joined. 12:50:00 I need to sort out my diet 12:50:15 and by health I meant physical health 12:50:26 Taneb: You didn't look fat on your talk 12:50:31 mroman, other way 12:50:34 ah 12:50:38 so an anti-diet 12:50:45 Sort of 12:51:35 Like, since Friday morning all I've ate was a bowl of soup and a chocolate bar 12:51:51 Not good. 12:52:07 sounds about the same amount I drank since last friday :) 12:52:27 are all geeks either too fat or too slim 12:52:50 I don't think any of us pay much attention to what we're eating 12:52:52 No 12:52:59 If you classify me as a geek then no 12:53:09 * oerjan eyes mroman suspiciously 12:53:21 I mean, on Thursday, I had a pub's special burger which is about 8 inches tall 12:54:00 I'm quite sporty 12:54:08 * oerjan sips his perfectly healthy orange juice 12:56:13 if the rest of my meals were as healthy as breakfast, i'd be all set. 12:56:30 oerjan, easy. Only eat breakfast. 12:57:01 I used to go rock climbing twice a week 12:57:04 Taneb: but then i get sugar and caffeine withdrawal D: 12:58:35 (curiously, my caffeine drinks are sugar free. i've just slipped on the actual sweets.) 12:58:46 -!- boily has joined. 13:00:06 I've got to have an early night tomorrow. 13:00:10 Got a 9:30 exam. 13:00:20 On Tuesday 13:01:14 going to sleep early is the most paradoxical thing of things 13:01:20 i cannot do early nights. i just end up not sleeping and lying in bed freezing. 13:01:39 you'd think the earlier you go to bed the longer you sleep and the longer you sleep the more fit you'll be in the morning 13:01:42 which is one part of the reason why i have this >24 hour slippage. 13:03:54 freezing in bed? don't you have, like, bedsheets, covers, linen, woolly stuff to keep you warm? 13:04:55 boily, he's in Norway. 13:04:57 boily: those don't help. in fact i'm likely to spend a while feeling too hot, then suddenly too cold. 13:05:04 Nothing hels. 13:05:07 *helps. 13:05:23 my body has strange temperature regulation. 13:07:04 -!- MindlessDrone has quit (Ping timeout: 258 seconds). 13:08:55 -!- nucular has joined. 13:09:05 -!- nucular has quit (Changing host). 13:09:05 -!- nucular has joined. 13:12:18 -!- metasepia has joined. 13:13:03 ~metar ENVA 13:13:04 ENVA 181250Z VRB02KT CAVOK 22/06 Q1014 NOSIG RMK WIND 670FT 20010KT 13:13:11 WROOM 13:13:40 i'll have to change to my summer jacket 13:14:41 ~metar CYUL 13:14:41 CYUL 181300Z 25010KT 30SM FEW035 FEW150 10/02 A3020 RMK CU1AC1 CU TR AC TR SLP226 13:14:48 we live in interesting times... 13:15:04 *MWAHAHAHA* 13:15:07 oh and btw, we want our warm weather back plzkthx 13:15:27 you darned scheming evil Norwegian! 13:15:40 I need to get some food, shower, do like loads of laundry... 13:15:49 Get my life together, that kind of thing 13:17:17 no, spammer, i don't get more likely to open your "AWAITING YOUR QUICK RESPONSE" message if you send it 3 times in succession. 13:21:47 -!- MindlessDrone has joined. 13:29:20 sorry, make that 4. 13:29:41 also it wasn't actually all caps, it just felt that way. 13:30:59 <-- pretty quick if you ask me. 13:31:14 i s'pose 13:31:41 I'm getting spam with subjects like "FROM MRS.AWAH SULE" 13:32:04 and "UTD Living โรงแรมอพาร์ทเมน" 13:34:54 I feel like going outside and maybe getting food or something 13:35:21 Taneb: an ancient impulse 13:35:31 bring your spear 13:35:43 I don't have a spear, will a pencil do? 13:35:58 if it's big enough? 13:36:55 'The pen is mightier than the sword if the sword is very short, and the pen is very sharp.' 13:37:22 I here a fire alarm comi... there it is 13:37:59 you can hear them in advance? fancy. 13:39:37 when dous haskell get implicit maps 13:39:39 *does 13:40:01 What does that mean? 13:40:03 -!- Sorella has joined. 13:40:06 well 13:40:22 sqrt takes an int 13:40:33 and if a list is provided, it shall map over the list 13:40:57 i.e. the operation is applied to every element of the list automatically 13:42:15 5 13:42:56 * oerjan awaits to see whether main = print $ [x | x <- [1..], x == 0] overflows the stack 13:44:27 > [x | x <- [1..], x == 0] 13:44:31 mueval-core: Time limit exceeded 13:44:44 mroman: you can define the instances to make it do that. but it would be confusing to newbies. 13:45:04 oerjan: You mean 13:45:13 a Num instance for Num a => [a]? 13:45:47 yes, although for sqrt (which does _not_ take an Int btw) you need Floating or thereabout 13:45:50 *+s 13:45:57 @src Floating 13:45:57 class (Fractional a) => Floating a where 13:45:57 pi :: a 13:45:57 exp, log, sqrt, sin, cos, tan :: a -> a 13:45:57 asin, acos, atan, sinh, cosh, tanh, asinh, acosh, atanh :: a -> a 13:45:57 (**), logBase :: a -> a -> a 13:46:19 hm no stack overflow yet. 13:46:37 i assume it would have showed up already 13:47:00 (mana vipers and shock serpents? what has DCSS come to?) 13:47:05 not having implicit maps made Burlesque suck a little bit 13:47:16 that and having a Pretty type and having no variables 13:47:26 I came to the conclusions that purely stack based languages suck 13:49:19 every function that takes two arguments should implicitly map or zip over lists 13:49:37 i.e [1,2] + 1, 1 + [1,2] and [1,2] + [2,3] 13:52:40 -!- shikhin has quit (Ping timeout: 240 seconds). 13:54:13 oerjan, it starts ringing in this part of the building last 13:54:54 -!- shikhin has joined. 13:56:11 I also went to the little Middle-Eastern/Indian/something supermarket that's like 20 meters down the road and bought something that, accompanied with some bread, would make a nice meal 13:56:31 -!- tromp has joined. 14:03:10 excellent 14:03:35 Maybe in a bit I'll go down the the co-op and buy some bread 14:07:54 Did I tell you that the other day when I was trying to get hang of Rust (again) I managed to write a non-idempotent "isPrime" function 14:08:22 i am not sure "idempotent" applies to isPrime functions in any case. 14:08:41 Then the word I was thinking about 14:09:15 you mean it broke on a second run? 14:09:19 Sometimes. 14:09:37 i guess that's idempotent if you think imperatively. 14:09:41 It did with, say, "15" 14:09:43 *non-idempotent 14:10:42 I don't think it could produce false negatives, though 14:11:03 oh wait it used a randomized method i assume 14:11:12 Nah, it was just broken 14:11:16 oh 14:11:32 It was using trial division, and caching some of the known primes 14:11:47 known primes such as 51 14:11:52 -!- mhi^ has joined. 14:12:30 -!- tromp has quit (Remote host closed the connection). 14:12:32 It had the invariant that the cache would contain the beginning of the list of primes (that held) 14:13:01 But if the largest known prime was larger than the square root of the number being checked, it would start after that number 14:13:39 So it would go... 14:13:43 Is 15 prime? 14:14:06 s/larger/smaller/ 14:14:24 The largest known prime is 2. 2*2 = 4 < 15. 14:14:59 the odd one out 14:15:15 Let's check 3. 3*3 = 9 < 15. 2 does not divide 3. Therefore 3 is prime. 3 divides 15. 15 is not prime. 14:15:17 Is 15 prime? 14:15:34 The largest known prime is 3. 3 * 3 = 9 < 15. 14:15:38 it is in base 8. 14:16:11 Let's check 4. 4*4 = 16 > 15. No more to check. 15 is prime. 14:16:21 That's not right 14:16:28 if 3 were the largest prime then 15 would be prime, so 3 is not the largest prime and we learned nothing about 15. 14:16:30 FreeFull: you don't say 14:16:35 It's left 14:16:44 :P 14:16:45 int-e, largest prime I've remembered. 14:16:49 Also you should be using RPN 14:16:56 Raspberry Pi Notation? 14:17:11 3 divides 15, so why would 15 be prime? 14:17:19 15 isn't prime because it's the difference of two squares. Any number that's the difference of two squares isn't prime. 14:17:40 impomatic: 3 = 4-11 14:17:41 int-e, because it started checking at 4 14:17:42 impomatic: 3 = 4-1 14:17:42 FreeFull: shouldn't poles prefer forwards PN, anyway 14:17:52 Naaaah 14:18:02 impomatic: any odd number is the difference of two squares 14:18:03 int-e, because my algorithm was horribly flawed 14:18:22 RPN is easier to implement 14:18:50 int-e: Any sufficiently large number that's the difference of two squares isn't prime. 14:19:40 int-e: Any sufficiently large number that's the difference of two non-consecutive squares isn't prime. 14:20:20 hey no fair fixing your statement while we're writing up the counterexample 14:20:27 LOL 14:20:56 impomatic: and now you can drop "sufficiently large" 14:21:23 int-e: Any number that's the difference of two non-consecutive squares isn't prime. 14:21:35 (I could now say that 3 = 2^2 - (-1)^2, but that's just a cheap trick.) 14:21:40 wtf another fire alarm 14:21:43 This is alarming 14:21:56 int-e: Any number that's the difference of two non-consecutive positive squares isn't prime. 14:24:19 int-e: Any number that's the difference of two non-consecutive positive powers isn't prime. 14:26:02 3^4 - 4^3 = 17 14:26:20 int-e, they're consecutive, and they're different powers 14:28:13 > 5^3 - 2^4 -- I was really after the different exponents 14:28:14 109 14:28:15 -!- hk3380 has quit (Ping timeout: 252 seconds). 14:30:30 hm. 14:30:32 about primes 14:30:40 if p mod n == x 14:30:51 then (p - x) mod n == 0? 14:31:35 mathematicians define a = b (mod n) if n divides (a-b). 14:34:33 Prime numbers, such as 57 14:34:53 The Grothendieck prime? 14:35:40 can't blame him much, except for being divisible by 3 and 19 it really does look like a prime number. 14:37:36 mroman: True for all p , n and x 14:37:49 If I know that 3 divides 219, and two divides 220 and 222 14:37:54 does that tell me something about 221? 14:38:10 except that 3 also divides 222 probably 14:38:18 -!- Patashu_ has quit (Ping timeout: 258 seconds). 14:38:19 It tells you 3 doesn't divide 221 14:38:20 yes, 221 is coprime to 6 then 14:38:41 FreeFull: exactly 14:38:55 but I guess that has further implications 14:40:30 Aₕₒₐₓ 14:40:44 is unicode supposed to make sense? 14:41:13 No 14:42:07 mroman: 221 has a prime factor that's 2 modulo 3. 14:42:38 int-e: how so? 14:42:51 that's true for any n = 2 (mod 3) 14:43:10 because with only factors = 1 (mod 3) you cannot get a product = 2 (mod 3). 14:44:14 hm. 14:44:26 is a*b `mod` n == (a `mod` n) * (b `mod` n)? 14:44:48 no. 14:44:54 * ((a `mod` n) * (b `mod` n)) `mod` n? 14:44:56 to be precise 14:44:57 2*2 = 4 != 1 14:45:12 yes. 14:45:22 yes to the correction? 14:45:25 yes. 14:45:29 hm. 14:45:29 ok 14:46:33 a = a' (mod n) and b = b' (mod n) imply a*b = a'*b' (mod n) 14:48:33 To deal with the `mod` operator mathematically, one can work with the identity (or congruence) a = a `mod` n (mod n) and the fact that a = b (mod n) implues a `mod` n = b `mod` n. 14:49:30 then a*b = (a `mod` n) * (b `mod` n) (mod n) and indeed a*b `mod` n = (a `mod` n) * (b `mod` n) `mod` n. 14:53:59 ⒪⒣ ⒯⒣⒤⒮ ⒤⒮ ⒫⒠⒭⒡⒠⒞⒯ ⒡⒪⒭ ⒨⒠ (since I like parentheses so much) 14:54:26 `unicode GREEK LETTER CAPITAL THETA 14:54:27 No output. 14:54:37 `unicode THETA 14:54:37 U+0398 GREEK CAPITAL LETTER THETA \ UTF-8: ce 98 UTF-16BE: 0398 Decimal: Θ \ Θ (θ) \ Lowercase: U+03B8 \ Category: Lu (Letter, Uppercase) \ Bidi: L (Left-to-Right) \ \ U+03B8 GREEK SMALL LETTER THETA \ UTF-8: ce b8 UTF-16BE: 03b8 Decimal: θ \ θ (Θ) \ Uppercase: U+0398 \ Category: Ll (Letter, Lowercase) \ Bidi: L (Left-to-Right) \ 14:55:14 Θ 14:55:18 ah. 14:55:53 hm 14:56:12 if I know p `mod` n == 1 and p `mod` (x*n) == -1 14:56:49 then n=1 or n = 2. 14:57:21 what? 14:57:23 no 14:57:27 why would it? 14:57:45 -!- nooodl_ has joined. 14:57:53 p `mod` (x*n) `mod` n = p `mod` n, so 1 = -1 (mod n), n divides 2. 14:58:38 (hmm. I really dislike the infix operator. When is `mod` ever negative?) 14:58:45 > 1 `mod` (-2) 14:58:46 -1 14:58:51 ah. 14:59:17 so n = 2, and x < 0. 15:01:04 -!- nooodl has quit (Ping timeout: 240 seconds). 15:01:05 -!- tromp has joined. 15:01:21 That's not like mathematical modular arithmetic 15:01:48 > 1 `mod` (-3) 15:01:50 -2 15:02:03 it's just an odd choice of representatives 15:03:14 what if I know that q `mod` n == -1 with a given n 15:03:15 Chrome popup blocker: Blocks the tab I meant to open but lets an ad open in a new tab 15:03:16 Did you know that two's complement is just normal Z/2^wZ with the upper half shifted around 15:03:31 Ah! I know why Haskell does it that way. It's because a `div` b = floor(a / b), and the remainder has to match that definition ((a `div` n) * n + a `mod` n = a). 15:03:32 Now wondering if maybe the link was set to the ad and the page I wanted opened via Javascript 15:03:51 then I can create the sequence [-1 `mod` n, -1 `mod n` + n, -1 `mod n` + n + n] and so forth 15:04:08 > rem <$> [1,-1] <*> [2,-2] 15:04:10 [1,1,-1,-1] 15:04:30 Jafet: of course :) 15:04:49 until I would be > sqrt(q) 15:04:53 So there isn't actually a remainder function specified as 0 <= r < |q| 15:05:20 And `mod` and `rem` are distinct, `rem` is based on a division that rounds towards infinity. 15:05:31 you can use \x y -> x `mod` abs y 15:05:38 I thought rem was underspecified. 15:05:47 could be 15:05:47 For speeeeed 15:06:01 but that's what I see in practice anyway 15:09:49 I think mod is defined in terms of rem 15:11:53 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds). 15:12:00 http://codepad.org/HMmnOEc2 15:12:03 ^- like that 15:12:15 somewhere in that list should be a factor of 589 15:13:13 > 589 `mod` 119 15:13:15 113 15:13:15 > 589 `mod` 19 15:13:16 0 15:15:06 > 589 `mod` 4 15:15:08 1 15:15:24 > 589 `mod` 14 15:15:26 1 15:17:23 but that only works as it should if there is a q `mod` n == -1 15:17:23 -!- edwardk has joined. 15:17:30 otherwise it fails horribly 15:18:13 s p b = maximumBy (comparing snd) $ [(p `mod` n, n)|n <- [2..b]] <-- always picks the last element of the list 15:18:21 I have no clue what you're doing there. 15:20:05 other ideas: cycle [x] == repeat x; zipWith (*) [0..] (repeat x) == map (*x) [0..]; map (+ y) $ map (* x) [0..] == iterate (+ x) y. 15:20:54 Jafet: both rem and mod are well defined in haskell, to match with quot and div respectively. 15:21:10 oh 15:21:11 int-e: oh 15:21:13 damn 15:21:35 but div/mod happen to do what mathematicians prefer, and quot/rem what x86 does. 15:21:38 *happens 15:22:32 that explains why it wasn't working :) 15:22:54 "‘quot‘ is integer division truncated toward zero, while the result of ‘div‘ is truncated toward negative infinity." 15:23:37 hm wel 15:23:39 *hm well 15:24:29 -!- Phantom_Hoover has joined. 15:24:59 mroman: btw when you write fst (s p b) and snd (s p b) it is entirely possible that s p b is evaluated twice. 15:27:36 You really have to search until you find a q `mod` n = -1 15:28:38 -!- hk3380 has joined. 15:30:02 are you trying to generalise the trick with the prime factor = 2 (mod 3)? If so, that really only works modulo 3 and modulo 4, because then there are only two coprime residues. 15:31:53 int-e: yeah. Trying to 15:32:08 but 15:32:25 I can't :D 15:33:28 the other assumption was that 15:33:34 if (a*b) `mod` 18 == x 15:33:45