00:12:15 -!- J_Arcane has quit (Ping timeout: 248 seconds). 00:29:47 -!- hilquias has quit (Remote host closed the connection). 00:38:33 -!- mauris has quit (Ping timeout: 265 seconds). 00:47:40 -!- fr4nt1c has quit (Quit: Leaving). 01:20:18 -!- J_Arcane has joined. 01:33:17 -!- boily has quit (Quit: SHELVE CHICKEN). 01:54:28 FireFly: Why does TIS-100 make my cursor blink? 01:54:31 v. annoying tdnh 01:55:32 I guess in the 80s you didn't get to choose, so 01:59:43 My mouse cursor is blinking. 01:59:48 Even when I switch focus away from the game. 02:04:49 huh. 02:04:53 Doesn't do that for me 02:12:11 -!- GeekDude has joined. 02:21:11 -!- pikhq has quit (Read error: Connection reset by peer). 02:27:23 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 02:42:43 -!- variable has joined. 03:05:27 -!- Wallacoloo has joined. 03:19:11 -!- nys has quit (Quit: quit). 03:23:42 -!- hilquias has joined. 04:07:39 -!- f|`-`|f has changed nick to |f`-`|f. 04:14:30 So I wonder if you could write an operating system kernel in Rust. 04:14:36 How hard could it be? 04:14:54 There are two primary things I'm worried about. 04:15:05 First, I don't know if it's feasible to write Rust code that doesn't make any system calls. 04:15:19 A kernel doesn't get to make system calls. Not allowed. 04:15:46 Second, I don't know how to get the compiler to produce output in the correct format. 04:22:43 -!- password2 has joined. 05:06:05 -!- variable has quit (Quit: 1 found in /dev/zero). 05:15:51 -!- Wallacoloo has quit (Ping timeout: 250 seconds). 05:31:06 -!- ZombieAlive has quit (Remote host closed the connection). 05:31:43 `@ newsham ? gazspaczo 05:31:44 newsham: gazspaczo iz a hungarian szoup, tradizsonally szerved cold for hot szummer dayz 05:35:48 -!- password2 has quit (Remote host closed the connection). 05:39:31 -!- lleu has quit (Ping timeout: 276 seconds). 05:55:38 -!- zadock has joined. 06:02:52 -!- zadock has quit (Remote host closed the connection). 06:10:57 "Theorem 1. For any conventional third-generation computer, an effective VMM may be constructed if the set of sensitive instructions for that computer is a subset of the set of privileged instructions. 06:10:57 " 06:11:10 That seems like the sort of thing that would be difficult to add retroactively 06:12:40 > (magic, magic 1 2 3) 06:12:42 (0,3) 06:12:48 :t magic 06:12:49 Slack a => a 06:13:11 > magic 1 06:13:13 1 06:13:14 > magic 2 06:13:16 1 06:13:22 > magic 5 0 06:13:24 2 06:13:31 interesting 06:13:37 not v. magic 06:13:38 :src magic 06:14:00 I don't know what I was expecting. A dead dove, maybe. 06:14:36 how does that work 06:14:51 :t magic 1 06:14:53 Slack t => t 06:14:53 > magic 'a' 'b' 06:14:55 2 06:15:02 > magic undefined 06:15:04 1 06:15:17 obviously, t is always int? 06:15:43 Or x -> Int or x -> y -> Int 06:15:46 > magic 1 'a 06:15:47 Syntax error on 'a 06:15:47 Perhaps you intended to use TemplateHaskell 06:15:48 In the Template Haskell quotation 'a 06:15:48 > magic 1 'a' 06:15:49 2 06:15:58 t is never Int 06:17:07 > 1 + magic 06:17:09 1 06:17:26 > [1,magic] 06:17:27 [1,0] 06:17:30 > ['1',magic] 06:17:31 No instance for (Slack Char) arising from a use of ‘magic’ 06:17:31 In the expression: magic 06:17:31 In the expression: ['1', magic] 06:17:42 :t [1,magic] 06:17:43 Slack t => [t] 06:18:04 Integer? 06:18:16 :t [1::Int,magic] 06:18:17 No instance for (Slack Int) arising from a use of ‘magic’ 06:18:17 In the expression: magic 06:18:17 In the expression: [1 :: Int, magic] 06:18:21 :t [1::Integer,magic] 06:18:21 > magic :: Integer -- hth 06:18:23 [Integer] 06:18:23 0 06:18:29 > (magic 1) `mod` (magic 1 2 3) 06:18:31 1 07:01:53 -!- fungot has quit (Ping timeout: 276 seconds). 07:08:44 > printf "%d" (magic 'A') 07:08:46 No instance for (Show a0) 07:08:46 arising from a use of ‘show_M854909516733692471611434’ 07:08:46 The type variable ‘a0’ is ambiguous 07:30:52 -!- J_A_Work has joined. 07:44:45 -!- sebbu2 has joined. 07:45:26 -!- sebbu2 has quit (Changing host). 07:45:27 -!- sebbu2 has joined. 07:47:31 -!- sebbu has quit (Ping timeout: 272 seconds). 08:26:59 -!- Patashu has joined. 08:47:12 -!- ais523 has joined. 08:50:01 -!- FreeFull has quit (Ping timeout: 264 seconds). 08:51:26 -!- FreeFull has joined. 08:51:39 fnord 08:58:27 -!- AnotherTest has joined. 09:15:11 @type magic 09:15:12 Slack a => a 09:15:15 @type Slack 09:15:16 Not in scope: data constructor ‘Slack’ 09:15:16 Perhaps you meant variable ‘slack’ (line 152) 09:15:19 @info Slack 09:15:19 Slack 09:15:49 > (5 :: Slack Integer) 09:15:51 Expected a type, but ‘Slack Integer’ has kind ‘Constraint’ 09:15:51 In an expression type signature: Slack Integer 09:15:51 In the expression: (5 :: Slack Integer) 09:25:53 -!- zadock has joined. 09:31:16 -!- x10A94 has joined. 10:08:52 -!- Patashu has quit (Remote host closed the connection). 10:09:12 -!- Patashu has joined. 10:30:26 -!- ais523 has quit (Quit: meeting). 10:33:58 -!- ZombieAlive has joined. 10:43:54 -!- lleu has joined. 11:02:04 -!- Herbalist has quit (Ping timeout: 250 seconds). 11:10:51 -!- llue has joined. 11:15:52 -!- zadock has quit (Quit: Leaving). 12:01:22 -!- FreeFull has quit (Quit: BBL). 12:10:41 -!- nys has joined. 12:15:58 -!- fowl has quit (Ping timeout: 248 seconds). 12:16:35 -!- fungot has joined. 12:22:27 -!- Patashu has quit (Ping timeout: 255 seconds). 12:24:44 -!- FreeFull has joined. 12:33:38 -!- oerjan has joined. 12:38:28 -!- llue has quit (Quit: That's what she said). 12:46:54 -!- sebbu2 has changed nick to sebbu. 12:48:43 [wiki] [[Special:Log/newusers]] create * LegionMammal978 * New user account 12:51:46 * oerjan looks at new wiki nick suspiciously 12:54:54 Rasterfahndung - computer-aided search for wanted persons whereby the data of a large number of people are checked against existing data in a database 12:55:01 that's how leo translates Rasterfahndung 12:56:09 * oerjan has no idea of context 12:56:38 de.wikipedia to the rescue 12:58:09 -!- Herbalist has joined. 12:59:34 "dragnet investigation" seems to be another translation 13:01:03 "A dragnet is any system of coordinated measures for apprehending criminals or suspects; including road barricades and traffic stops, widespread DNA tests, and general increased police alertness." 13:01:25 although Rasterfahndung doesn't really involve road blocks or the like 13:01:31 i'm not sure whether ... right 13:01:36 it seemed more limited. 13:01:48 we use it for computer-assisted searching through databases 13:02:00 * oerjan also doesn't have the stamina to read that much in german. 13:02:26 You have a huge database of people 13:02:26 german word of the year in 1980 13:02:45 and you are looking for a person that has certain traits (like uhm scar over left eye) 13:02:52 and you check that against this huge database of people 13:04:02 You only have a "profile" of the criminal 13:04:06 which is usually very vague 13:06:25 the controversy is of course, that by doing that you suspect every person in that database to be a criminal 13:06:48 which is contrary to presumption of innocence 13:07:32 mhm 13:07:34 every person that comes out of this search is a "suspect until proven that he's innocent" 13:08:24 even though you have no indication to suspect him except that he's 50-60, recently immigrated from russia and owns a business 13:09:58 I don't fully get that, though. 13:11:05 I'm not really pro surveillance of the public though 13:13:21 but collecting every persons DNA at birth has some advantages :) 13:14:00 Indeed. You can charge for health insurance much more accurately. 13:14:37 Well, that would be against what they are for. 13:14:44 -!- GeekDude has joined. 13:15:05 It's not your fault that you have a higher likelihood of getting cancer than somebody else 13:15:09 -!- J_A_Work has quit (Quit: J_A_Work). 13:15:16 so making you pay more for that increased risk isn't "social". 13:16:58 well... it will be hard to determine what exactly is one's fault and what not 13:17:28 but the social system works by "healthy people" paying for "sick people" 13:17:42 not "healthy people" paying for themselves and "sick peopel" paying for themselves 13:18:10 given that people that drink and smoke don't have to pay more than those who don't. 13:18:31 Falling down the stairs drunk is technically your fault, so why do I have to pay for that? 13:18:55 The effects of alcohol are well known and despite this knowledge you chose to drink 13:19:09 * oerjan would have expected smokers to pay more, these days. 13:19:12 which indicates that you were ok taking the risks and therefore have a higher responsibility. 13:19:29 no idea if they do, i'm sitting safely here in single payer country 13:20:06 Humans are stupid anyway. 13:20:19 Going on a vandalism streak because their favorite ice hockey team lost in a game 13:20:33 like that would be in any way a.) change the outcome b.) make sense c.) do good 13:21:17 Yet everybody wonders why there's war going on in the world. 13:21:52 hm do teams get punished for that sort of thing? i recall racist remarks by supporters at football matches tends to 13:22:06 but maybe not outside arena stuff 13:22:13 They get punished for it sometimes, yes. 13:22:17 Like "ghost matches" 13:22:42 Those are matches that are played without any audience. 13:23:04 but usually the teams/clubs deny responsibility 13:23:23 which makes sense somehow because it's not really their fault that some people do stupid things after a match. 13:23:25 googling ghost match seemed to turn up something else, something about gambling fraud 13:23:41 It's called Geisterspiel and I took the liberty to translate it as "ghost match" 13:23:44 :D 13:24:12 https://en.wikipedia.org/wiki/Behind_closed_doors_%28sport%29 13:24:25 (https://de.wikipedia.org/wiki/Geisterspiel) 13:24:43 -!- mauris has joined. 13:25:09 Yet everybody wonders why there's war going on in the world. <-- you know, if we could make _only_ the stupid people fight... 13:26:00 fight as in war? 13:26:03 or as in hooligans? 13:26:11 war was the thought 13:26:30 Well, if someone stupid attacks you your choices are pretty limited 13:26:33 run away or fight back 13:26:41 that's the bad part 13:27:00 well what i mean is, the stupid people usually force a lot of others to fight for them. 13:27:09 although attacking someone to steal resources isn't technically stupid 13:27:15 it's selfish :) 13:27:47 unless you count some forms of selfishness as stupid 13:27:50 (which I would) 13:27:53 stupid in the socratic sense 13:28:44 I always thought people that take the bible literally are somewhat stupid 13:28:54 but now I'm reading a book about the history and background of the bible 13:28:54 well the point of military alliances is pretty much make sure that attacking you _is_ stupid, i guess. 13:28:59 *+to 13:29:09 Yeah. 13:29:13 -!- TieSoul has joined. 13:29:26 It's a good strategy to scare people out of attacking you 13:29:59 That's what nukes are for I guess. 13:30:12 and bio-weapons 13:30:56 You could just say "Well, if you attack me I'll release this virus into the wild. It'll do a lot of damage to other countries as well but that's on you!" 13:32:14 oerjan: and to secure resources. 13:32:15 as usual, the problem is the people crazy enough to do it anyway 13:32:32 and trades. 13:32:35 Such as access to oil or so 13:32:41 mhm 13:33:15 I'm not sure why China protects North-Korea 13:33:43 I guess they are trading certain things that benefit both 13:34:05 or maybe it's just historic. 13:35:09 hm. Seems they use it for military purposes as well 13:35:17 since South Korea and the US go hand in hand. 13:35:32 i thought the general assumption was "because if it collapses, things will get really ugly across the border" 13:36:08 also, china has a lot of trade with south korea these days, so that border too 13:36:19 -!- `^_^v has joined. 13:36:31 basically, not even south korea wants north korea to collapse these days 13:36:43 Of course not. 13:36:48 That would financially ruin them. 13:37:40 either that or it will become a humanitarian disaster 13:38:21 It might actually be better for SK if NK stays independent, poor and peaceful 13:38:53 i don't see why the "poor" is necessary. they could change to a more chinese model. 13:39:05 True. 13:39:15 But if they would merge now, it would cost a ton 13:40:02 ideally they would become democratic and remain largeley independent but become more and more open 13:40:27 but that takes decades 13:41:19 I think that was one of the strategies back in uhm 13:41:20 1970? 13:42:02 i think the problem is too many people in north korea have blood on their hands so a non-ugly direct transition to democracy is implausible. 13:42:26 i 13:42:36 -!- ais523 has joined. 13:43:04 'm also suspecting china has the same problem, to a lesser degree 13:43:14 But China is democratic? 13:43:22 ...wat 13:43:34 Officially 13:43:49 it's sort-of democratic, but the government gets to choose which candidates are allowed to run 13:44:12 doesn't count unless you have freedom of expression enough that the dirty laundry that eventually needs to be brought out, can be 13:44:21 there are some sort of elections 13:44:33 ...north korea also has elections hth 13:44:42 I honestly haven't really looked that much into china's politics 13:44:48 I should do that. 13:44:57 ah 13:45:00 "Democratic centralism" 13:45:07 they even have a few tiny minority parties 13:45:32 both almost indinguishable from the state party, but still. 13:46:29 There's the Local's People Congress 13:46:33 which is directly elected somehow 13:46:34 in a direct comparison, freedom of expression is more important than democracy, i think. 13:47:25 -!- Herbalist has quit (Ping timeout: 256 seconds). 13:47:36 "Independent candidates are strongly discouraged and face government intervention in their campaigns." :D 13:47:40 oh well 13:48:02 of course. we had elections all the time even way back, if you count elections where you have only once option to tick and your vote is public. 13:48:32 public just in case you forgot to tick, i take 13:49:23 -!- Herbalist has joined. 13:49:23 -!- Herbalist has quit (Changing host). 13:49:23 -!- Herbalist has joined. 13:49:47 then there's the opposite trick: elections where you can vote for anyone and you don't face retribution depending on your choice and the votes are secret, but they're so secret even the aggregate results are not public or used for any decision, the government just makes up results without counting the votes. 13:50:08 -!- variable has joined. 13:50:21 fancy 13:50:53 that second trick was never fashionable here though. 13:52:07 It helps to use a very complicated election system to disguise this scheme. 13:52:10 obviously the night vale electoral system is the ideal system 13:52:11 Oh wait, that's just democracy. 13:53:42 b_jonas: here in the US conttol of elections is handed over to hackers and voting machine manufacturers 13:53:52 control 13:54:30 I like the UK's method of counting ballots 13:54:37 it's pretty hard to interfere with 13:54:43 i guess they figure said hackers and manufacturers couls just as easily favor either candidate, so it all comes out in the wash 13:54:54 could 13:59:40 [wiki] [[List of ideas]] http://esolangs.org/w/index.php?diff=43346&oldid=43249 * 188.238.248.144 * (+124) /* Mathematics */ 14:07:15 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 14:11:29 -!- copumpkin has joined. 14:14:48 -!- fowl has joined. 14:23:43 -!- Lorenzo64 has joined. 14:24:44 -!- Lorenzo64 has quit (Max SendQ exceeded). 14:25:54 -!- Lorenzo64 has joined. 14:30:47 We could just toss a toin 14:31:00 I mean 14:31:08 Voting can be seen as a random process 14:31:13 People randomly select who wins 14:31:22 so why not just toss a freaking coin and save millions of dollars 14:32:43 `quote random elephant 14:32:52 mroman_: it's random of course, but it's hard to determine the probabilities in any way that many people would find as satisfying or fair 14:32:59 296) AV is better than first-past-the-post, like every voting system apart from the Random Elephant Stomping method 14:33:00 Well, voting isn't meant to be purely random 14:33:15 mroman_: also, there's some science fiction story about this, isn't there? 14:33:45 Coins are fair. 14:33:50 b_jonas: the only fair voting mechanism known to be completely immune to tactical voting is to count all the votes, then pick a candidate with probability equal to the proportion of the votes they got 14:33:50 There's usually around 50:50 chance 14:34:03 :t magic 14:34:04 Not in scope: ‘magic’ 14:34:24 I think some other functions of the number of votes work as well as identity, but identity's the easiest to prove 14:34:35 -!- contrapumpkin has joined. 14:34:51 FreeFull: It is to an observer, or isn't it. 14:34:56 I know it's not random. 14:35:08 but for an outside obverser it's random-ish. 14:35:12 *observer 14:35:50 ais523: it gets more complicated when you want to elect not one candidate, but a whole parliment of them 14:36:05 The question though remains if it would matter much if it *were* random 14:36:14 b_jonas: I actually came up with a really good voting method for that 14:36:26 you get each candidate to choose a location in the country at which they'll stand (just a single point) 14:36:39 candidates can form parties if they wish 14:36:39 Maybe I'm just too much of an existential nihilist. 14:36:46 people vote for parties 14:37:00 mroman_: found it, the story is "Franchise" by Isaac Asimov 14:37:05 http://www.asimovreviews.net/Stories/Story088.html 14:37:19 mroman_: Well, if it is going to be random, you need to choose the candidates randomly from the populationtoo 14:37:28 then you calculate a number n of votes that each seat is "worth" such that if a party gets jn votes, it gets j seats in parliament; n is as low as possible without exceeding parliament's capacity 14:37:36 b_jonas: Sounds like a cool plot. 14:37:45 and the candidates you pick from each party are determined by where their highest concentrations of votes were 14:37:49 -!- copumpkin has quit (Ping timeout: 252 seconds). 14:37:53 (haven't worked out the details of that) 14:38:21 FreeFull: people vote for candidates 14:38:34 but the machine determines the winner randomly from the candidates 14:38:50 or the congress/parliament recommends candidates 14:38:54 ais523: don't you have to determine goals too, as well as a method? 14:38:54 either way is fine 14:39:03 congress/parliament recommending candidates is probably cheaper 14:39:03 then you form constituencies such that each elected member has their own consitutency, and constituencies from the same party don't overlap but from different parties do; each party's constituencies collectively cover the whole country 14:39:06 so I'd recommend that 14:39:06 see, the problem is 14:39:10 mroman_: That could lead to disastrous results 14:39:19 What if someone like Nigel Farage becomes the head of government 14:39:24 FreeFull: Who's that? 14:39:27 say you vote in an election, you might even vote for the winning side, but a candidate from the losing side wins your constituency 14:39:47 https://en.wikipedia.org/wiki/Nigel_Farage 14:39:53 mroman_: UK independence party guy 14:40:02 in any system where each constituency has only one voter, I can contact my MP and complain about a law that's going through 14:40:16 and they can't do anything about it because they're on the opposition and so were going to vote against anyway 14:40:52 If you choose candidates from the population at random, you have a smaller chance of someone like Nigel Farage getting into a position of power 14:41:13 but some random guy isn't a good politician 14:41:25 Choosing one randomly from a congress/parliament makes more sense 14:41:44 Ideally the chosen person doesn't have "full power" 14:41:53 FreeFull: that totally sounds like http://www.xkcd.com/977/ "You think we wouldn't have so many problems if we'd just elect _normal_ people to Congress instead of Politicians." 14:42:01 It's like 14:42:07 people vote people into congress 14:42:20 then you select randomly who's the president 14:42:49 Like um 50 people 14:42:56 (including the president) 14:43:00 but the president has 20 votes 14:43:05 so in total there are 69 votes 14:43:25 well 14:43:27 no way 14:43:41 I like the swiss system anyway 14:43:58 if you only elect 50 people, and of those, only 10 actually show up in the parliment most days, then the president can do anything 14:44:00 people vote people that vote for the Bundesrat and the President 14:45:11 -!- Herbalist has quit (Read error: Connection reset by peer). 14:45:29 Don't the Swiss have a referendum for everything that's actually important? 14:45:35 We do. 14:45:41 That sounds good 14:46:12 -!- Herbalist has joined. 14:46:20 -!- Herbalist has quit (Changing host). 14:46:20 -!- Herbalist has joined. 14:46:29 There's the National- and Ständerat which vote for the 7 Bundesräte 14:46:56 and the Räte also make laws and stuff 14:47:11 but you can interveine with referendums if necessary 14:47:14 that's a good systems 14:47:28 They can do stuff on their own as long as they don't mess up too much 14:47:36 and if they do you have some way of intervention 14:48:01 and if you want to change something you can use the Volksinitiative 14:48:56 That's why I think it's a near-perfect system as far as democracy goes 14:49:05 it's very democratic but not overly democratic 14:49:22 (overly democratic meaning people have to vote for everything, which is completely unpractical) 14:50:10 -!- ais523 has quit. 14:50:22 However, the downside of this system is of course, that you can vote for things like "we want no foreigners" 14:50:26 and if it passes, that's the way it is 14:50:43 democracy doesn't imply humanity. 14:51:11 I hate when people think that. 14:51:28 It's just not true. 14:51:58 -!- GeekDude has joined. 14:53:55 mroman_: Unfortunately, we don't have a machine that spews out perfect morally-good dictators 14:54:11 I'm a perfect dictator. 14:54:30 I'd just shoot everybody who's not on my side. 14:54:43 Then all votes will be correct. 14:55:00 No, obviously I wouldn't shoot everybody who's not on my side 14:55:16 Then the US would think I oppress my people 14:55:20 and that it's an unfair system 14:55:49 The idea is to be a "social dictator" 14:56:05 there are some ground-rules like uhm "religions have to live together" 14:56:12 and everybody who has a problem with that will be shot. 14:56:38 also every criminal will be shot. 14:56:40 obviously 14:56:51 Don't want criminals in my social country. 14:57:28 If you vandalise public property after an ice hockey match you will definitely be shot 14:57:48 If you beat up a random person you'll be shot 14:58:06 I call it "Peace by Force" 14:58:51 -!- copumpkin has joined. 14:59:03 The problem is - in general - that a single person can do a lot of harm to lots of other persons. 14:59:10 Like if you live in a flat with flat mates 14:59:36 if 29 of the people you live with always clean up their dirt but one makes everything dirty on purpose 14:59:42 the whole flat-experience will suck 15:00:10 and there's no solution to that problem other than to get rid of that person who doesn't cooperate 15:00:55 and that's really "a truth". 15:01:29 The power of someone not cooperating is much higher than the power of others. 15:01:43 That's why society fails. 15:02:07 Well... not fails but is flawed the way it has to be 15:02:44 -!- contrapumpkin has quit (Ping timeout: 265 seconds). 15:07:59 But there, you have 29 people who can clean up dirt, but only clean their own. 15:08:00 The only reason they don't clean up the one's guy's dirt just to have a cleaner flat to live in is that they see this as attracting freeloaders. 15:09:05 Which it does, but still I think it should be taken into consideration as a factor. 15:09:19 -!- hppavilion1 has joined. 15:10:35 The thing with having such harsh laws is that it gives enforcers and loxal beurocrats a lot of power to get people killed. 15:10:39 Hello peoples 15:10:48 Hi hppavillion 15:10:56 Hi! 15:12:26 MOAR MARKUP 15:12:28 -!- ais523 has joined. 15:13:41 Hi ais523 15:13:46 hi 15:15:02 I'm trying to figure out how to make an esoteric Befunge-style Markup language 15:15:04 [wiki] [[Ttml]] http://esolangs.org/w/index.php?diff=43347&oldid=41901 * 107.77.85.48 * (+31) EsoMULang Category 15:15:41 Oops 15:15:43 Wasn't logged in 15:18:41 So 15:18:56 I managed to make a Turing-complete Markup Languag 15:18:56 e 15:18:57 Don't see that every day 15:19:19 -!- Herbalist has quit (Ping timeout: 246 seconds). 15:20:59 -!- variable has quit (Ping timeout: 272 seconds). 15:23:07 -!- Herbalist has joined. 15:23:20 -!- staffehn has quit (Quit: No Ping reply in 180 seconds.). 15:23:27 -!- staffehn has joined. 15:27:41 MDude: That's true. 15:27:58 but the fact is still, that one person can significantly ruin the other 29 people's live 15:28:02 and he can do so very easily 15:28:29 or somebody who rapes one person a month 15:28:39 he can make a lot of people's live worse 15:29:02 one single person can have a much higher negativ impact than many people can have a positive impact. 15:30:51 -!- staffehn has quit (Quit: No Ping reply in 180 seconds.). 15:31:07 -!- staffehn has joined. 15:35:08 -!- ais523 has quit. 15:45:26 -!- ais523 has joined. 16:00:53 -!- oerjan has quit (Quit: Later). 16:14:12 Yeah, bit I don't see how a dictator is any better at solving that problem than mob rule. 16:15:22 Plus there's other ways in which it takes only one person to make a positive impact. 16:16:51 a dictatorship would work, it's just hard to figure out who should be the dictator that would make it work 16:17:03 it won't work for most people chosen as a dictator 16:19:00 It could work, but I don't see how it'd be ideal. 16:20:05 -!- ais523 has quit. 16:20:23 -!- ais523 has joined. 16:22:40 -!- Lorenzo64 has quit (Read error: Connection reset by peer). 16:36:44 -!- Herbalist has quit (Read error: Connection reset by peer). 16:38:33 -!- Herbalist has joined. 16:40:22 -!- ais523 has quit. 16:41:23 -!- ais523 has joined. 16:45:53 -!- password2 has joined. 16:46:08 -!- password2 has quit (Max SendQ exceeded). 16:46:55 -!- password2 has joined. 16:48:45 -!- nys has quit (Quit: quit). 16:50:46 Long-standing dictatorships, such as Singapore. 16:50:56 -!- ais523 has quit. 16:52:49 dictatorships are easy 16:52:54 like Vetinari x Vimes. done 16:55:40 -!- ais523 has joined. 16:56:56 We don't have a Vetinari or Vimes 16:58:52 FreeFull: how do you know? Vimes has worked on an important mission in incognito at least once. 16:59:12 -!- gamemanj has joined. 17:03:48 -!- hppavilion1 has quit (Ping timeout: 246 seconds). 17:10:00 -!- ais523 has quit. 17:10:50 -!- ais523 has joined. 17:11:37 -!- ais523 has quit (Client Quit). 17:13:10 -!- ais523 has joined. 17:27:01 -!- Herbalist has quit (Quit: WeeChat 1.2). 17:30:35 -!- ais523 has quit. 17:31:15 -!- ais523 has joined. 17:31:19 -!- ais523 has quit (Changing host). 17:31:20 -!- ais523 has joined. 17:40:49 -!- password2 has changed nick to password3. 17:41:45 -!- nycs has joined. 17:42:35 -!- ais523 has quit. 17:43:43 -!- `^_^v has quit (Ping timeout: 252 seconds). 17:44:15 -!- ais523 has joined. 17:47:16 -!- password3 has quit (Ping timeout: 272 seconds). 17:52:25 -!- ais523 has quit (Ping timeout: 250 seconds). 17:57:31 -!- ais523 has joined. 18:08:06 -!- zadock has joined. 18:16:07 -!- TieSoul has quit (Remote host closed the connection). 18:28:36 -!- mihow has joined. 18:28:37 -!- Sprocklem has quit (Ping timeout: 246 seconds). 18:34:54 `olist 992 18:34:55 olist 992: shachaf oerjan Sgeo FireFly boily nortti 18:39:48 -!- Melvar` has joined. 18:39:57 -!- idris-bot has quit (Ping timeout: 248 seconds). 18:41:07 -!- idris-bot has joined. 18:41:34 -!- mihow has quit (Quit: mihow). 18:42:23 -!- Melvar has quit (Ping timeout: 264 seconds). 18:50:38 -!- Sprocklem has joined. 18:51:49 -!- mihow has joined. 18:54:59 -!- FreeFull has quit (Quit: BBS). 19:12:37 -!- FreeFull has joined. 19:13:29 -!- Melvar` has changed nick to Melvar. 19:17:50 -!- paul2520 has quit (Ping timeout: 272 seconds). 19:19:00 -!- fungot has quit (Ping timeout: 276 seconds). 19:22:41 -!- x10A94 has quit (Read error: Connection reset by peer). 19:31:04 -!- nortti has changed nick to lirael. 19:31:14 -!- lirael has changed nick to nortti. 19:48:28 -!- atrapado has joined. 19:51:00 -!- atrapa has joined. 19:51:12 -!- atrapado has quit (Disconnected by services). 19:51:22 -!- atrapa has changed nick to atrapado. 19:51:32 -!- zadock has quit (Quit: Leaving). 19:53:35 -!- zadock has joined. 19:57:48 -!- atrapado has quit (Ping timeout: 264 seconds). 19:58:30 -!- ais523 has quit. 19:58:35 -!- callforjudgement has joined. 19:58:42 -!- callforjudgement has changed nick to ais523. 20:00:04 -!- atrapado has joined. 20:32:42 -!- ais523 has quit (Remote host closed the connection). 20:32:55 -!- ais523 has joined. 20:42:47 -!- callforjudgement has joined. 20:44:14 -!- ais523 has quit (Read error: Connection reset by peer). 20:56:40 -!- zadock has quit (Quit: Leaving). 21:00:37 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 21:02:28 -!- Patashu has joined. 21:06:37 -!- callforjudgement has quit (Ping timeout: 248 seconds). 21:10:03 -!- gamemanj has quit (Ping timeout: 265 seconds). 21:26:05 -!- mihow has quit (Quit: mihow). 21:32:37 -!- nycs has quit (Quit: This computer has gone to sleep). 21:32:53 where is fizzie tdnh 21:36:05 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 21:39:43 -!- mihow has joined. 21:39:44 `? tdnh 21:39:45 tdnh does not help 21:39:52 I dunno. 21:41:07 tswett does not help 21:41:19 -!- Patashu has quit (Ping timeout: 252 seconds). 21:42:52 -!- tromp_ has quit (Read error: Connection reset by peer). 21:43:17 All right, time to start working on this operating system. 21:43:26 This kernel, rather. 21:43:34 Written, of course, in Rust. 21:46:52 -!- tromp_ has joined. 21:48:26 There, I have a file called libkernel.so. 21:50:48 -!- oerjan has joined. 22:03:56 -!- boily has joined. 22:07:49 eyliob 22:08:40 bonajreour! 22:09:23 hi y'all 22:10:08 llewerafahcahs 22:10:36 ? 22:11:02 * oerjan leaves shachaf to ponder 22:11:17 presumably it means something like shachaf are well 22:11:23 but what do wells have to do with it 22:11:35 you have to dig deeper hth 22:12:07 @brain are you pondering what i'm pondering? 22:12:07 What can I do for fun, Pinky? That's it! I'll send several 22:12:07 bills to Senate for ratification, then veto them all! 22:12:21 hmm 22:12:27 @pinky are you pondering what i'm pondering? 22:12:27 I think so, Brain, but don't you need a swimming pool to play Marco Polo? 22:13:14 oerjan: help 22:14:43 it's a uaetnamtrop hth 22:15:46 the contortions you're observing are oerjan trying to be helpful without actually giving a straight answer 22:16:03 shocking 22:16:18 or maybe trying to give a straight answer without actually being helpful 22:16:19 hard to tell 22:16:33 anyway what happened to saying hi 22:16:48 shachaf: generally in our channel at least one letter is shared between the words hth 22:17:04 shachaf: saying hi is so 2013 22:17:19 oerjan: yes yes i understood 22:17:23 but i don't get it 22:17:31 that word usually means the opposite of hi 22:17:38 are you hinting that i should leave or that you're leaving 22:17:45 which is why it's written backwards hth 22:18:48 boily: can you mapole some sense into oerjan twh 22:18:55 just watch the red dwarf "backwards" episode, that should make everything clear hth 22:19:58 experience shows that beating sense into me only works very temporarily hth 22:20:28 (this also applies to admonitions) 22:22:56 shachaf: don't mind if I do. 22:23:10 * boily elopams oerjan 22:23:38 * oerjan temporarily turns into an absolute jerk 22:23:52 AAAAAAAAAH! 22:24:01 * boily mapole mapole mapole. "ABORT! ABORT!" 22:24:19 a mapole double negation 22:24:36 basically, reversing the mapolarity 22:25:17 I think I have it. A man talking sense to himself is no madder than a man talking nonsense not to himself. Or just as mad. Or just as mad. And he does both. So there are you. Stark raving sane. 22:26:07 why should i take advice from dead people tmns 22:26:20 `? tmns 22:26:21 tmns? ¯\(°​_o)/¯ 22:26:32 oh, that makes no sense 22:26:38 `learn tmns makes no sense. 22:26:38 to be distinguished from tmnh, that might not help 22:26:41 Learned 'tmn': tmns makes no sense. 22:26:48 ...hm 22:27:07 `` mv wisdom/tmn{,s} 22:27:09 No output. 22:28:20 `learn tmnh stands for teenage mutant ninja hths. 22:28:22 Learned 'tmnh': tmnh stands for teenage mutant ninja hths. 22:28:26 -!- zzo38 has left. 22:28:32 -!- zzo38 has joined. 22:28:38 You should fix `learn command don't remove the "s" it can cause problems 22:29:20 zzo38: no it's a feature so you can look up either singular or plural. 22:30:04 `? tmns 22:30:05 tmns makes no sense. 22:30:12 That isn't even the way to do plurals though, it is oversimply, and just because end with "s" doesn't make it a plural either 22:30:36 zzo38: the problem is there is no regular rule in more complicated cases 22:30:54 Yes, you have to do it manually instead 22:30:55 what if everyone just used le/rn 22:30:57 zzo38: it's a heuristic rule, most of the time it works right. 22:31:16 sometimes it doesn't, but that would be the case the other way too. 22:31:28 But there is a more complicated algorithm that work better to convert singular to plurals; other way around don't work so well at all 22:32:23 but then we'd have to rename all the wisdoms. 22:32:25 Even with a database you won't be able to tell if the word is already in plural format or not, and if so, what the proper singular form is. 22:32:36 and it would break for uncountable nouns. 22:33:03 also it's not meant to be perfect. 22:33:13 fungot should be able to tell us if a word is singular, dual or plural. 22:33:28 just my luck. Sir Fungellot is still MIA... 22:33:50 basically, `learn attempts to reduce the chance i need to fix up other people's mistakes. 22:46:49 -!- boily has quit (Quit: PHOTOGENIC CHICKEN). 22:51:37 -!- atrapado has quit (Quit: Leaving). 22:53:23 I'm just gonna, like, assume that rustc is producing code that can run on bare metal. 22:54:40 it might not necessarily be good for the metal. 22:59:32 Quite. 23:21:55 -!- gde33 has quit (Ping timeout: 246 seconds). 23:24:23 -!- gde33 has joined. 23:29:59 -!- mihow has quit (Quit: mihow). 23:30:24 -!- mihow has joined. 23:31:26 -!- mihow has quit (Client Quit). 23:35:37 -!- hilquias has quit (Ping timeout: 246 seconds). 23:53:52 All right. I have a feeling that generally you can't or shouldn't use a linker on .so files. 23:56:14 -!- mihow has joined.