00:00:22 k 00:08:57 -!- oerjan has quit (Quit: Nite). 00:10:07 -!- arseniiv has quit (Ping timeout: 246 seconds). 00:37:35 any other comments about the specs before i re-paste? 00:42:27 https://paste.ee/p/tloTh updated repaste post Sgeo__'s suggestions... 00:43:27 replaces paste from 19:32:22 edt 01:16:46 -!- strangleloop has joined. 01:21:31 -!- strangleloop has quit (Ping timeout: 246 seconds). 01:28:33 -!- sprocklem has joined. 01:33:43 [[Language list]] https://esolangs.org/w/index.php?diff=65959&oldid=65957 * Trickbrain26 * (+15) /* T */ 01:34:53 [[Trickcode]] https://esolangs.org/w/index.php?diff=65960&oldid=65954 * Trickbrain26 * (-54) 01:36:43 https://paste.ee/p/Qek9M replaces the source code paste 01:40:13 [[Lazy evaluation]] https://esolangs.org/w/index.php?diff=65961&oldid=49764 * CatIsFluffy * (+14) 01:40:54 https://paste.ee/p/tloTh information and a sample program is here 01:51:38 Lykaina, consider adding it to the Esolangs wiki? (If you're willing to put into public domain). I think people often discuss languages themselves on the talk pages 01:52:20 (If you don't want to put into public domain, then making a page and linking should be fine) 01:52:35 not put the interpreter into public domain when i'm still improving the software 01:53:06 *I'm not 01:53:19 *I'm not putting 01:54:05 the language however... 01:55:49 when i'm ready 01:56:38 i want to see what features i can squeeze in 02:09:14 Blah, just discovered that in 2018, my https://esolangs.org/wiki/BF-RLE was replaced with a more general discussion. I'm not sure how to feel about this, I felt like "BF-RLE" named a specific encoding 02:11:51 This breaks zzo38's https://esolangs.org/wiki/GrainFimple spec unless GrainFimple's spec is updated to more precisely describe what is meant by BF-RLE 02:22:45 -!- hppavilion[1] has quit (Remote host closed the connection). 02:23:34 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=65962&oldid=65915 * Toel F * (+215) /* Introductions */ 02:23:43 [[Troll Online]] N https://esolangs.org/w/index.php?oldid=65963 * Toel F * (+404) Created page with "Troll Online is a programming language builded in c#. It can connect to internet. Documentation, interpreter and the source are in this github repository: https://github.com/t..." 02:26:27 [[Language list]] https://esolangs.org/w/index.php?diff=65964&oldid=65959 * Toel F * (+19) 02:30:47 [[Hello world program in esoteric languages]] https://esolangs.org/w/index.php?diff=65965&oldid=65929 * Toel F * (+55) 02:32:17 [[Hello world program in esoteric languages]] https://esolangs.org/w/index.php?diff=65966&oldid=65965 * Toel F * (+2) 03:02:39 -!- Lykaina has quit (Quit: leaving). 03:23:38 -!- stux- has quit (Quit: Aloha!). 03:23:52 -!- stux|away has joined. 03:49:53 [[Troll Online]] https://esolangs.org/w/index.php?diff=65967&oldid=65963 * Toel F * (+1) 04:08:17 -!- nfd9001 has joined. 04:28:12 -!- xkapastel has quit (Quit: Connection closed for inactivity). 06:10:48 [[Special:Log/newusers]] create * Euphoria * New user account 06:24:55 Do you like this? 06:25:29 kmc: hi kmc 06:25:35 non-interactive zero-knowledge proofs are tg 06:26:17 hi 06:26:30 non-interactive non-zero-knowledge non-proofs 06:27:30 non-interactive hugs 06:29:13 I prefer interactive hugs I think 06:30:18 me too 06:30:22 do you want an interactive hug 06:30:50 i would like 07:18:05 -!- cpressey has joined. 07:48:23 -!- Frater_EST has joined. 08:21:31 -!- Phantom_Hoover has joined. 08:21:44 -!- Phantom_Hoover has quit (Client Quit). 08:45:27 -!- Lord_of_Life has quit (Ping timeout: 245 seconds). 08:48:28 -!- Lord_of_Life has joined. 09:30:07 -!- Lykaina has joined. 09:31:33 https://paste.ee/p/FTqsX fixed typos in license and added copyright notice for spec notes + samples 10:05:25 Lykaina: sort of an esoteric computer architecture plus assembler? Do feel free to make an article on the wiki linking to it! 10:06:59 tg? 10:57:21 `? tg 10:57:23 TG is short for Turing-Gödel, the highest possible level of difficulty for a multiplayer game. At this level, it's undecidable whether you can manage to halt before losing or not. 10:57:33 this entry may be less useful than you might expect 10:57:45 int-e: that applies to most wisdom entries 10:58:11 it is way more useful than the monad one 10:58:15 `? monad 10:58:16 Monads are just monoids in the category of endofunctors. 10:58:20 You're right 11:19:15 `? kittegory 11:19:16 A kittegory is just a small category. 11:35:08 -!- arseniiv has joined. 11:48:11 -!- xkapastel has joined. 11:48:41 -!- Frater_EST has quit (Remote host closed the connection). 12:06:56 -!- Lord_of_Life has quit (Max SendQ exceeded). 12:07:29 -!- Lord_of_Life has joined. 13:29:11 > mconcat [\n -> [n+1], \n -> [n-1,n*2]] 4 13:29:14 [5,3,8] 13:32:18 > (\n -> mconcat [[n+1], [n-1,n*2]]) 4 13:32:21 [5,3,8] 13:51:11 @pl \x -> foldl (.) id (reverse x) [] 13:51:11 flip (foldl (.) id . reverse) [] 14:02:47 [[Garbage]] M https://esolangs.org/w/index.php?diff=65968&oldid=63882 * A * (-16) /* Syntax */ 14:05:41 [[Talk:Binary to unary conversion]] N https://esolangs.org/w/index.php?oldid=65969 * CarlosLuna * (+398) Asking for a general Unary to Binary conversion algorithm. 14:05:47 -!- howlands has joined. 14:10:28 -!- howlands has quit (Ping timeout: 245 seconds). 14:18:20 [[Trash]] N https://esolangs.org/w/index.php?oldid=65970 * A * (+1921) Created page with "[[Trash]] is an even simpler [[esoteric programming language]] that is designed to fullfill the CGCC definition of a programming language. ==Syntax== It is very simple (even s..." 14:19:42 [[Trash]] M https://esolangs.org/w/index.php?diff=65971&oldid=65970 * A * (+0) Typo 14:33:48 -!- nfd9001 has quit (Ping timeout: 245 seconds). 14:47:04 [[Lazy evaluation]] M https://esolangs.org/w/index.php?diff=65972&oldid=65961 * A * (+85) Not yet. 14:50:54 [[Lazy evaluation]] M https://esolangs.org/w/index.php?diff=65973&oldid=65972 * A * (+218) 14:53:53 [[Lazy evaluation]] M https://esolangs.org/w/index.php?diff=65974&oldid=65973 * A * (+123) 14:56:03 currently working on adding bitwise arithmatic 14:58:03 -!- cpressey has quit (Quit: A la prochaine.). 14:59:08 vote for name: totem vs echidna 14:59:35 Echidna 15:00:18 [[Lazy evaluation]] M https://esolangs.org/w/index.php?diff=65975&oldid=65974 * A * (+308) 15:03:43 * Lykaina votes for Echidna 15:07:40 -!- howlands has joined. 15:18:44 http://sif.lesidhetree.com/sara/echidna/spec_notes.pdf 15:18:56 that good? 15:23:10 Which number does this Befunge code output: 9184611256>\#+:#*9-#\_$.@ 15:23:44 i need to know wtf the captcha is talking about as well as the answer 15:24:44 correction: 9504611032>\#+:#*9-#\_$.@ 15:25:14 Lykaina: have you tried trying to find a befunge interpreter? 15:25:28 -!- howlands has quit (Ping timeout: 245 seconds). 15:25:32 don't know where to find one 15:26:20 i'm trying to register on the wiki 15:28:07 Did you try using a search engine such as Google to find a befunge interpreter? 15:29:46 I think there's one on this channel as well? 15:30:49 `! befunge "olleh">:#,_@ 15:30:50 hello 15:31:20 `! befunge 9504611032>\#+:#*9-#\_$.@ 15:31:21 100512662 15:31:40 [[Special:Log/newusers]] create * Lykaina * New user account 15:32:30 ty fizzie 15:32:33 FWIW, the https://esolangs.org/wiki/Befunge article's "External resources" section also has a lot of interpreters, including at least two online ones. 15:33:02 that is the weirdist captcha i have ever seen 15:33:15 We've had issues with spammers. 15:33:41 It used to be in Brainfuck, which I guess was a little more approachable? 15:34:09 And before/after that it was a quiz on languages. 15:34:57 All of those were defeated; I think we're maybe assuming by just using humans (to which the current one is vulnerable as well), since it seems unlikely anyone wrote custom code for solving the Brainfuck one, for a website this unpopular. 15:35:35 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=65976&oldid=65962 * Lykaina * (+166) /* Introductions */ 15:35:56 (That introduction requirement is another anti-spam barrier.) 15:38:47 [[Echidna]] N https://esolangs.org/w/index.php?oldid=65977 * Lykaina * (+76) Adding a placeholder for my language. 15:41:00 [[Language list]] https://esolangs.org/w/index.php?diff=65978&oldid=65964 * Lykaina * (+14) /* E */ adding Echidna to language list. 15:41:27 good? 15:45:05 [[Echidna]] https://esolangs.org/w/index.php?diff=65979&oldid=65977 * Lykaina * (+90) adding a link for current information 15:48:02 brb shower 15:56:28 [[Talk:Binary to unary conversion]] https://esolangs.org/w/index.php?diff=65980&oldid=65969 * CarlosLuna * (+1055) Adding an example of bounded Unary to Binary converter 16:01:06 back 16:08:29 -!- howlands has joined. 16:16:19 -!- b_jonas has joined. 16:16:33 I like the current captcha, and I could solve it without an interpreter 16:16:58 I figured out what the loop does, it's like making a base 9 number from those digits but there was some little twist 16:17:17 a brainfuck one would be harder 16:17:25 I'd probably need an actual interpreter for it 16:21:59 [[Talk:Binary to unary conversion]] https://esolangs.org/w/index.php?diff=65981&oldid=65980 * CarlosLuna * (-504) Improving the example of bounded Unary to Binary converter 16:24:09 [[Talk:Binary to unary conversion]] M https://esolangs.org/w/index.php?diff=65982&oldid=65981 * CarlosLuna * (+6) Adding boldface formatting 16:24:13 gtg 16:24:43 -!- Lykaina has quit (Quit: leaving). 16:40:28 -!- howlands has quit (Ping timeout: 245 seconds). 17:05:17 b_jonas: FWIW, the brainfuck one wasn't that bad. I think it produced a random string of the alphabet {a, b, c, d} by first forming the constant `a`, then having a sequence of +s, -s and .s with no loops. 17:07:55 And yes, it's a base 9 number except with 9 as a sentinel value and the digits backwards because of the stack. 17:08:10 `` dc -e '9i 230116405p' 17:08:11 100512662 17:22:16 fizzie: ok, that would work 17:22:59 fizzie: but does it subtract 9 from each digit before interpreting it in base 9? 17:23:43 No. Well, technically yes, but only for the 'if' condition on whether the digit was 9. 17:25:09 Flattened out, the relevant snippet is :9-_ aka dup-nine-minus-if; so the stack will have [x x-9] at the _ (where x is the original digit), the _ pops off the x-9 and the rest (\9*+) multiplies the accumulator by 9 and adds x to it. 17:25:51 It's reusing the 9 both for the 9-_ condition (when going left-to-right) and for the 9* of the accumulator (when going right-to-left). 17:26:27 but what does the ending with the dollar sign do? 17:26:48 That just drops off the extra 9. 17:27:30 The full stack at the if is [acc digit digit-9], the _ pops off digit-9 and the $ pops off digit (which in this case must've been 9, since digit-9 was zero) so that . prints the accumulator. 17:27:41 wait, let me look at the befunge rules, I don't remmeber them 17:28:24 ok, makes sense 17:28:44 It also uses one of the implicit infinite number of 0s under the bottom of the stack as the initial accumulator value. 17:29:04 ...or does it. I guess it doesn't. 17:29:20 Yeah, no, I confused myself. Of course it doesn't, it would hit that sentinel. 17:29:26 -!- howlands has joined. 17:29:48 It's just that the last digit (the 2 there) is considered the initial accumulator, not one of the base-9 digits, arguably. 17:30:58 yeah, that looks about right 17:31:19 [ 9 #. 8 4 6 1 1 2 5 6 17:31:20 b_jonas: 40751313 17:31:33 oh, backwards 17:31:35 [ 9 #. |. 8 4 6 1 1 2 5 6 17:31:36 b_jonas: 31480937 17:31:49 [ 9 #. |. 5 0 4 6 1 1 0 3 2 17:31:50 b_jonas: 100512662 17:35:11 Turns out the Brainfuck variant was mostly as I described, except with a bigger alphabet. It starts with a common initial prefix that loads 100 'd' (as 10*10), then generates a random sequence of X.X.X.X.X.X.X.X. where each of the Xs is uniformly randomly either "", "+" or "-", except the + or - is omitted if that would make the value less than 97 'a' or more than 122 'z'. 17:35:34 It's still pretty prone to creating strings from the beginning of the alphabet, since it starts from 'd' and does a random walk with a maximum step size of 1. 17:35:52 yeah 17:35:56 And in fact it can never reach 'z' because the longest sequence is 16. 18:20:11 -!- FreeFull has joined. 18:40:34 Has Dr. Seuss ever been involved in any lawsuits? 18:41:47 seems at least his estate was https://boingboing.net/2019/03/14/fair-use-vs-seuss.html 18:47:02 Oh so some people got to say "Dr. Seuss sues [...]" :) 19:00:45 [[Troll Online]] M https://esolangs.org/w/index.php?diff=65983&oldid=65967 * Dtuser1337 * (+3) Your page might suck, but i converted the example text to headings. 19:03:08 [[Hello world program in esoteric languages]] https://esolangs.org/w/index.php?diff=65984&oldid=65966 * Dtuser1337 * (+39) /* PUBERTY */ 19:09:00 [[Grid]] https://esolangs.org/w/index.php?diff=65985&oldid=65920 * Hakerh400 * (+122) Corrected the algorithm description 19:17:54 -!- xkapastel has quit (Quit: Connection closed for inactivity). 19:31:08 -!- imode has joined. 19:33:29 [[Unified HQ9+]] https://esolangs.org/w/index.php?diff=65986&oldid=59395 * Dtuser1337 * (+28) 19:34:06 [[Unified HQ9+]] https://esolangs.org/w/index.php?diff=65987&oldid=65986 * Dtuser1337 * (+26) 20:22:18 -!- imode has quit (Quit: WeeChat 2.5). 20:25:06 -!- Lykaina has joined. 20:27:33 hi 20:28:20 -!- xkapastel has joined. 20:30:03 i must apoligize for misleading everybody into thinking ops L and M in Echidna were functioning. In reality, I haven't even designed the code for those, much less written them. 20:31:00 but i'm working on it 20:33:55 i know the input. i know the intended output 20:42:23 L is done 20:42:35 but untested 20:47:01 -!- Lord_of_Life has quit (Ping timeout: 246 seconds). 20:49:03 -!- Lord_of_Life has joined. 20:55:33 same for M now 21:04:40 M isn't working right... 21:07:18 neither is L 21:15:36 since when does 0xff6a == 0xffb5? 21:15:43 grrr 21:20:50 and 0xAAAA xor 0x5555 = 0xFFFE ? 21:25:05 and 0xFFFF AND 0xFFFF = 0xFFFE ? 21:25:18 something weird is going on 21:27:29 -!- oerjan has joined. 21:29:38 0xFFFF AND 0xFFFF = 0xFFFE, 0xFFFE AND 0xFFFF = 0xFFFC ? where's the bug? I demand you show me, codeblocks 21:30:22 hi oerjan 21:34:08 fixed operation M 21:37:05 and L 21:39:34 that's two letters down 21:43:10 no 21:43:52 it was shifting the output to the left by 1 too much 21:47:17 updated Echidna's documentation file 21:49:24 it's a self-hosted pdf on the Echidna page. Not ready to be public domain. 22:00:44 I thought about morphism composition notations and about (more or less natural) notations for application of a linear operator or its adjoint to a (co)vector and found out I think a very funny thing 22:03:39 suppose A: U → V, B: V → W, v ∈ U, f ∈ W*, then if we agree to write Av for the application of A to v, it’s for a couple of reasons (regarding left and right modules, and also matrix notation) natural to write fB* for the application of B* to f. Now, 22:05:42 we can end with * altogether (we have a type system to back us!) and write fB. Then we can write fBAv, for example. And now notice that BA here can denote both B <<< A and B* >>> A* 22:06:05 this is fun 22:08:58 or not here, but standalone also. But invoking fBAv beforehand could appeal for this notation choice 22:09:45 (it reminds me of lenses now, and not without a reason) 22:09:58 bye I hope this was interesting 22:11:58 [[Echidna]] https://esolangs.org/w/index.php?diff=65988&oldid=65979 * Lykaina * (+137) adding a link for an interpreter. 22:13:32 can someone look at what i linked about echidna and help me figure out what kind of esolang it is? 22:14:08 I want to have a description on there at least. 22:14:52 -!- ais523 has joined. 22:15:01 it looks like an assembly language to me 22:15:02 hi ais523 22:15:09 hi 22:17:40 -!- arseniiv has quit (Ping timeout: 246 seconds). 22:19:12 -!- FreeFull has quit. 22:23:22 [[Echidna]] https://esolangs.org/w/index.php?diff=65989&oldid=65988 * Lykaina * (+106) a little description 23:01:08 Lykaina: so are the comparison, divide, modulus and shift right arithmetic instruction unsigned ones, and is there no signed less than instruction? 23:01:47 Lykaina: and are those bitwise instructions the only way to do an indirect load (as opposed to an indirect store, for which you have a specific instruction)? that will lead to a lot of use of those bitwise thingies with redundant arguments I think 23:02:42 it seems a bit odd that indirect load works that way, but you seem to allow immediate operands basically everywhere 23:02:48 it's a strange instruction set 23:02:49 b_jonas: you just reminded me of the "load data by rotating it ten times" trick that's sometimes used in Malbolge 23:05:18 Lykaina: also I find the spec a bit hard to read and unclear, but it's not as bad as some of the things we see on the wiki 23:05:18 ais523: Did you go to the thing? 23:05:37 what thing? 23:05:52 http://events.cs.bham.ac.uk/syco/strings3-syco5/ 23:06:02 no 23:06:16 I'm not all that interested in string diagrams 23:06:21 oh 23:06:25 and I'm fairly busy with other things at work 23:06:35 Hmm, what about compositional structures? 23:06:38 Anyway that makes sense. 23:06:41 I have been known to go to locally hosted conferences that I'm only tangentially interested in, but not this time 23:08:52 I only went to locally hosted conferences where I was actually at least somewhat interested in the topic at the time, but of course within conferences I listened to talks in which I'm not too interested, if there isn't a better talk available in another track, 23:09:20 and I definitely went to PhD dissertations where I wasn't interested in the topic, because those are social events for meeting friends and the thesis topic doesn't matter 23:13:00 PhD defences/vivas aren't public in the UK (I know this differs between countries) 23:13:05 it's just the candidate and the examiners 23:13:10 what the... 23:13:12 that's odd 23:13:20 they're always public here, they have to be 23:13:30 well, they'd be hard to watch because the examiners are supposed to have learned everything from the PhD thesis already 23:13:39 well, I think there may be closed ones if they're like connected to classified military stuff 23:13:46 so they jump straight into asking technical questions about it, there'd basically be no context for anyone else 23:14:50 so is there a formal celebration open to public after, or do the graduates skip right to the pub run? 23:14:55 I can see the argument in wanting the candidate to give a presentation on the topic of their PhD and defend that, I guess it comes down to whether it's more important to defend the principle or the details 23:15:24 you don't get the verdict right away, it comes by post a few weeks later after the examiners have discussed, and is normally several pages full of things they're concerned about and want correcting 23:15:45 then you make the corrections and resubmit 23:16:04 mind you, there is a closed part within the public defense, namely the part after all the questions when the committee discuss their decision, and for that part everyone else is ordered out of the room 23:16:11 when they're finally happy you get told you're accepted, and then there are mass graduation ceremonies you can go to if you want a big official celebration 23:16:16 I describe this in a comment, let me find the link 23:16:32 I think the UK method is pretty good at avoiding, say, fallacious proofs 23:16:46 especially if it's unclear how much effort they'll take to fiix 23:17:41 Does the UK still do snake fights? 23:18:33 Speaking of the UK, I'm a bit confusil about what's going on with parliament nowadays. 23:18:40 no idea; I have a suspicion they'd be illegal, which doesn't mean they wouldn't happen but does mean I'd be unlikely to be aware of them if they did 23:18:40 found it: http://www.madore.org/cgi-bin/comment.pl/showcomments?href=http%3a%2f%2fwww.madore.org%2f~david%2fweblog%2f2015-12.html%23d.2015-12-05.2340#comment-22088 23:19:12 I mean mandatory snake fights after your thesis defense. 23:19:21 I didn't have one of those 23:19:23 so probably not? 23:19:37 @google snake fight thesis defense 23:19:38 https://www.mcsweeneys.net/articles/faq-the-snake-fight-portion-of-your-thesis-defense 23:20:09 ais523: members of the committee get the thesis well in advance, suppoedly read it and understand it, and even send questions to the candidate at least a few days before the defense, 23:20:29 as for what's going on in parliament, right now nothing, Commons won't be back until Monday, Lords are asleep but will probably be approving the EUWA #6 tomorrow (they agreed to meet on Friday, which they normally don't, to get enough time to approve it) 23:20:54 what's happened over the past couple of days is more interesting 23:21:30 shachaf: about the parliament, I think because of conflicting promises, they have to sarifice two or three prime ministers every year, so that they can remain in the EU but have someone take the blame for the government not keeping their promise of exiting the EU 23:21:30 basically there's a new prime minister (because the old prime minister resigned, the new prime minister is appointed by the same party that the old one came from) 23:22:19 I understand the prime minister part, what I don't understand is in what way the queen was involved 23:22:29 -!- ais523 has quit (Remote host closed the connection). 23:22:42 -!- ais523 has joined. 23:22:46 shachaf: we don't have mandatory snake fights for PhD defenses here either 23:23:00 b_jonas: Odd. Maybe it's an American tradition. 23:23:02 there is some concern among MPs that he will attempt to leave the EU with no agreements in place, which became much greater when he announced that parliament would be prorogued (basically shut down) until mid-October, when there might not be time to agree on a course of action 23:24:02 The Finnish thesis defence has a /lectio præcursoria/ in the front, and IIRC it's typically the only part done in Finnish (because normally the opponents are from abroad, and the thesis is in English) and I think it's mostly there so that the candidate's family has something for them as well. 23:24:03 it's possible that some people fight snakes, because the less formal part of the celebration afterwards usually involves heavy drinking, but I'm quite sure it's not mandatory 23:24:21 the snake fight is not mandatory that is, the heavy drinking is 23:24:59 a while ago, because some of the Prime Minster's competitors in the (Conservative Party-internal) leadership debate had threatened to shut down parliament to prevent them interfering with Conservative plans for Brexit, a Northern Ireland-related bill got amended to force regular updates in Parliament on the situation in Northern Ireland, purely for the side effect of forcing Parliament to be open whilst not being offtopic 23:25:09 which is why Parliament can't be shut down until beyond mid-October 23:25:58 I went to one thesis examination while in Leuven for a while, and all the questioning part was in Flemish, which made it a little hard to follow for me. 23:26:04 anyway, the prorogation doesn't start until next week, and there's a clear majority among Members of Parliament (and Members of the House of Lords) that we shouldn't leave the EU without an agreement in place as to how it's done 23:26:13 shachaf: hmm, that FAQ says it can involve both venomous snakes and snakes with physical attacks 23:27:03 so they've been trying to rush through an emergency law to prevent it happening (known the European Union (Withrdawal) Act No. 6), and the Government (i.e. the Prime Minister + allies) have been trying to stop them 23:28:13 the problem is that sufficiently many MPs in the Conservative Party, together with almost all the MPs outside, disagree with the Prime Minister; this lead to some (~20) Conservatives voting against party line in order to get the EUWA #6 through, despite the Prime Minister threatening to throw them out of the party 23:28:20 Did the conservative party kick out all the people who voted against the act? 23:28:38 yes! and as a result they no longer have a majority, i.e. they have less than half of the MPs even if you count allies 23:28:40 ais523: would this be a normal summer break of the parliament, or a special break? 23:28:50 We had a "Brexit info" email at work for all UK employees today. The email just said the situation is "fluid" and that there's nothing new to report. 23:28:54 b_jonas: we just had our normal summer break (it ended on Tuesday) 23:29:04 Right, I understood they lost their majority but I wasn't sure whether they'd left themselves or were kicked out. 23:29:10 there's normally a small break over October, this is theoretically that break but it's been made way longer 23:29:23 I think they lost the majority even before the rebel alliance got kicked out? 23:29:26 shachaf: one left of their own accord, the others were kcked out 23:29:31 I know one person joined the liberal democrats but the rest (including the father of the house?) are now just independent? 23:29:32 Because of that one defection, right. 23:29:48 the rest are independent unless or until they join a party or form a new party 23:30:19 although I think many of them are planning to be independent until the next election and then leave politics (some want to stay but may have problems being elected with the Conservatives running against them) 23:30:27 but if the party kicks out their members, then don't they get replaced by other people on the party's list? 23:30:36 b_jonas: no, we elect MPs not parties 23:30:39 for parliament seats that is 23:30:42 hmm 23:30:54 getting rid of an MP is almost impossible, there are only two ways 23:31:32 strange 23:31:41 a) if the MP is convicted of a sufficiently serious crime, then a petition of 10% of their constituents can force a new election (but they can run for the election if they want to; so far this has proven to be a bad idea but it hasn't stopped some MPs trying) 23:32:01 b) MPs automatically get fired if they accept money from the Queen 23:32:22 isn't there also a new MP if the old one dies? 23:32:34 OK, yes, but I wouldn't recommend killing MPs 23:32:50 they don't have to be killed 23:32:51 point b) here is mostly used as a loophole for MPs to voluntarily step down, because they aren't legally allowed to resign; the Queen maintains a couple of useless jobs purely for the purpose of hiring MPs that want to resign 23:32:52 they can die otherwise 23:33:34 one of them is a job hunting down outlaws in the Chiltern Hills, which became irrelevant ages ago because a) we have police and b) outlaws don't really exist as a concept any more 23:33:40 so it's vacant execept when an MP needs to resign 23:33:51 it's not theoretical, because Antall József died while he was minister-president, and got replaced by a different minister-president because he died 23:34:06 Oh man. That's pretty good. 23:34:16 hehe 23:34:19 yes, that's indeed nice 23:34:30 anyway, the Commons passed through all the stages of the EUWA #6 in a single day, so now the Lords have to confirm it 23:34:31 I mean, we have had positions just to pay people, without a real job 23:35:07 there was an attempted filibuster but the Lords have a huge majority against the Prime Minister's position, so the filibusterers gave up at about 1:30am 23:35:22 They submitted 100 amedments to the bill, right? 23:35:37 (the opposition Lords were taking it seriously, though; they had a rota set up, and brought lots of food, sleeping bags, etc. to the House of Lords to make sure they could outlast their much smaller number of political opponents) 23:35:39 right 23:35:42 sl a 23:35:45 Did they give up on them? 23:35:55 *so an amendment can be dealt with in a few seconds if there's no real support or no real opposition to it 23:36:12 show of hands or voice vote, move on 23:36:27 "opposition lords" means opposed to the majority in the house of lords, or opposed to the government? 23:36:29 so for a filibuster to work, you need sufficiently many Lords on your side that the verdict is unclear 23:36:36 shachaf: opposed to the government 23:36:42 but if you don't elect parties, then how are the members of the parliament chosen? 23:37:06 or the lower house at least 23:37:19 the funny thing is, the Lords have a built in Conservative majority because they move so slowly, but (because they move slowly and the Conservatives have changed position rapidly recently) the Conservatives in the Lords are mostly opposed to the Prime Minister 23:37:35 It's kind of bizarre that filibusters are still a thing that nominally works, rather than being treated as bad faith. 23:37:41 b_jonas: basically we get a list of candidates for each constituency; if you're standing for a party that's listed on the ballot for information 23:38:30 ais523: and delegates from constituencies fill all places in the lower chamber? 23:38:43 shachaf: the UK version works fairly well I think? a) it only works in the Lords, not the Commons, and the Lords can't block a bill indefinitely, only delay it; b) it lets a really determined minority delay a bill for a while but you have to keep talking / keep voting / etc. so if the minority is too small you won't have the stamina, and if they aren't committed enough they won't bother 23:39:05 (the smaller the minority filibustering, the less effort it'll take from the majority to break the filibuster, as their anti-filibuster rota will be easy to set up) 23:39:12 b_jonas: right 23:39:36 hmm, I think the US has some such system too 23:39:46 but they have states, so it makes more sense 23:40:42 In the US senate it seems that people are slowly changing the rules to get rid of filibusters in various contexts. 23:40:53 the filibuster in this circumstance was pretty unique as the Lords need to get the EUWA #6 through before Parliament gets prorogued, which could happen on Monday (the prorogation order was vague as to the exact date, but it's some time next week) 23:41:25 doesn't the prorogation get delayed while people are actively filibustering? 23:41:55 I suspect the US congress is more pathological than the UK system. 23:42:00 if they can keep up for that long, that is, which isn't easy 23:42:13 so the pro-Government minority would only have to last a few days, but a) they were too small and b) they may have stopped due to optics (also, possibly there was a deal brokered between the two sides, but IIRC people are denying it) 23:42:20 b_jonas: no, the date's absolute 23:42:39 hmm 23:42:45 And it's nominally done by the monarch anyway, right? 23:42:57 fizzie: yes, but she has to follow the advice of the Prime Minister 23:43:31 or, well, "has to"; it's unlikely that the monarchy would dare break that particular convention, but laws don't technically apply to them, so in theory the Queen could do pretty much any thing 23:44:29 It's kind of funny how Borris (our local nickname) says the prorogation has nothing to do with Brexit, and how there's plenty of time to talk about Brexit when it's over. 23:44:46 "plenty of time" = about 2 weeks 23:44:54 which isn't enough to implement most suggested solutions 23:45:00 e.g. 2 weeks isn't enough time to hold an election 23:46:13 (shachaf: on the subject of elections, the prime minister attempted to call one after losing the EUWA #6 vote, but didn't have the votes even to do that; the opposition want to get EUWA #6 through first before calling an election, due to potential issues like using the election to dissolve Parliament for the /rest/ of the time before October 31…) 23:46:52 Is calling general elections common? 23:47:26 that's odd 23:48:09 it used to be that the prime minister could call elections unilaterally, and would do so when they thought they had the best chance of their party being re-elected / gaining a larger majority 23:48:47 electing a prime minister directly seems such an odd thing to do, exactly because it can get you into these strange situations where their government can't function because they don't have the support of the parliament 23:48:49 but then the Liberal Democrat / Conservative coalition government happened, and the Liberal Democrats were concerned that the Conservatives would just call an election as soon as they thought they could get rid of the Lib Dems 23:49:30 so as part of the "price" for the coalition, the Lib Dems passed a law that made it almost impossible to call an election unless a) everyone agreed on it or b) the Prime Minister lost their majority 23:50:14 now, b) has actually happened, but the opposition are delaying the official no-confidence vote (that tests if a majority exists) until after EUWA #6 goes through 23:50:22 ah 23:50:29 ok, it makes more sense that way 23:50:53 so everyone knows that the Prime Minister has lost their majority but it hasn't officially been tested, so they're still notionally in charge for the time being 23:51:09 so that's also why they need the filibuster? 23:51:33 the filibuster was an attempt to prevent EUWA #6 passing, but it's already failed 23:51:44 so EUWA #6 is quite likely to pass some time tomorrow 23:51:56 Also odd: this one/two/three-line whip thing, which apparently is the number of times the instruction is underlined. 23:52:10 yes 23:52:16 also zero, but that's equivalent to not whipping at all 23:52:17 You've got a charmingly quaint parliamentary system. 23:52:54 the actual numbers of lines aren't really defined 23:52:56 (Probably that's what happens when you've had one so long.) 23:53:23 Conservative MPs ignored three-line whips under Theresa May quite frequently and nothing happened to them, probably because she'd lost control of the party (and ended up having to resign) 23:54:09 meanwhile, in Boris Johnson's first vote, he threatened to expel anyone from the party who voted against it, and then actually did, but given the numbers he's probably /also/ lost control of (a different subset of) the party 23:55:46 so have the leaders of those who were expelled from the party started three new parties, each of them claiming to be the one true successor to the conservative party, which has lost its, uh, approval of the people or whatever fancy phrase they use 23:56:01 because that's how parties tend to die here 23:56:40 well, there was a party of breakaway MPs (and technically still is), who have changed their name at least twice since and have lost many MPs 23:56:44 so it's not doing too well 23:57:01 it's how Orbán got his continued rule basically, because every other significant party fell apart that way 23:57:05 the people expelled from the Conservatives recently are mostly still independents, but that's not surprising given how recent it was 23:57:33 might take some more months I guess 23:57:54 several MPs who have defected from Conservatives or Labour over Brexit have since joined the LIberal Democrats (traditional third party; the Scottish National Party are larger but don't get any real support outside Scotland) 23:58:14 I see 23:58:22 Also calling back to the thesis discussion, in Finland actually the bit that keeps things free of errors and the quality bar high enough is the "preliminary examination", which is done offline, takes some weeks, and all but guarantees that everyone who gets to the public examination stage will pass it. 23:58:44 fizzie: is there a mandatory fight with a snake? 23:58:58 fizzie: right, the preliminary examination stage is basically the entire thing for us 23:59:36 except that after it, the corrections period can be very long (the length depends on how many corrections there are and how large they are, but is normally 3 or 6 months if the thesis is well-received, more if it has major problems) 23:59:41 b_jonas: No, Finland isn't that known for snakes. We've got just that one poisonous one.