←2015-06-28 2015-06-29 2015-06-30→ ↑2015 ↑all
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 <shachaf> FireFly: Why does TIS-100 make my cursor blink?
01:54:31 <shachaf> v. annoying tdnh
01:55:32 <FireFly> I guess in the 80s you didn't get to choose, so
01:59:43 <shachaf> My mouse cursor is blinking.
01:59:48 <shachaf> Even when I switch focus away from the game.
02:04:49 <FireFly> huh.
02:04:53 <FireFly> 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 <tswett> So I wonder if you could write an operating system kernel in Rust.
04:14:36 <tswett> How hard could it be?
04:14:54 <tswett> There are two primary things I'm worried about.
04:15:05 <tswett> First, I don't know if it's feasible to write Rust code that doesn't make any system calls.
04:15:19 <tswett> A kernel doesn't get to make system calls. Not allowed.
04:15:46 <tswett> 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 <shachaf> `@ newsham ? gazspaczo
05:31:44 <HackEgo> 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 <Sgeo> "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 <Sgeo> "
06:11:10 <Sgeo> That seems like the sort of thing that would be difficult to add retroactively
06:12:40 <shachaf> > (magic, magic 1 2 3)
06:12:42 <lambdabot> (0,3)
06:12:48 <Sgeo> :t magic
06:12:49 <lambdabot> Slack a => a
06:13:11 <Sgeo> > magic 1
06:13:13 <lambdabot> 1
06:13:14 <Sgeo> > magic 2
06:13:16 <lambdabot> 1
06:13:22 <Sgeo> > magic 5 0
06:13:24 <lambdabot> 2
06:13:31 <myname> interesting
06:13:37 <shachaf> not v. magic
06:13:38 <Sgeo> :src magic
06:14:00 <Sgeo> I don't know what I was expecting. A dead dove, maybe.
06:14:36 <myname> how does that work
06:14:51 <Sgeo> :t magic 1
06:14:53 <lambdabot> Slack t => t
06:14:53 <myname> > magic 'a' 'b'
06:14:55 <lambdabot> 2
06:15:02 <Sgeo> > magic undefined
06:15:04 <lambdabot> 1
06:15:17 <myname> obviously, t is always int?
06:15:43 <Sgeo> Or x -> Int or x -> y -> Int
06:15:46 <Sgeo> > magic 1 'a
06:15:47 <lambdabot> Syntax error on 'a
06:15:47 <lambdabot> Perhaps you intended to use TemplateHaskell
06:15:48 <lambdabot> In the Template Haskell quotation 'a
06:15:48 <Sgeo> > magic 1 'a'
06:15:49 <lambdabot> 2
06:15:58 <shachaf> t is never Int
06:17:07 <Sgeo> > 1 + magic
06:17:09 <lambdabot> 1
06:17:26 <Sgeo> > [1,magic]
06:17:27 <lambdabot> [1,0]
06:17:30 <Sgeo> > ['1',magic]
06:17:31 <lambdabot> No instance for (Slack Char) arising from a use of ‘magic’
06:17:31 <lambdabot> In the expression: magic
06:17:31 <lambdabot> In the expression: ['1', magic]
06:17:42 <Sgeo> :t [1,magic]
06:17:43 <lambdabot> Slack t => [t]
06:18:04 <Sgeo> Integer?
06:18:16 <Sgeo> :t [1::Int,magic]
06:18:17 <lambdabot> No instance for (Slack Int) arising from a use of ‘magic’
06:18:17 <lambdabot> In the expression: magic
06:18:17 <lambdabot> In the expression: [1 :: Int, magic]
06:18:21 <Sgeo> :t [1::Integer,magic]
06:18:21 <Deewiant> > magic :: Integer -- hth
06:18:23 <lambdabot> [Integer]
06:18:23 <lambdabot> 0
06:18:29 <myname> > (magic 1) `mod` (magic 1 2 3)
06:18:31 <lambdabot> 1
07:01:53 -!- fungot has quit (Ping timeout: 276 seconds).
07:08:44 <Jafet> > printf "%d" (magic 'A')
07:08:46 <lambdabot> No instance for (Show a0)
07:08:46 <lambdabot> arising from a use of ‘show_M854909516733692471611434’
07:08:46 <lambdabot> 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 <mroman_> fnord
08:58:27 -!- AnotherTest has joined.
09:15:11 <mroman_> @type magic
09:15:12 <lambdabot> Slack a => a
09:15:15 <mroman_> @type Slack
09:15:16 <lambdabot> Not in scope: data constructor ‘Slack’
09:15:16 <lambdabot> Perhaps you meant variable ‘slack’ (line 152)
09:15:19 <mroman_> @info Slack
09:15:19 <lambdabot> Slack
09:15:49 <mroman_> > (5 :: Slack Integer)
09:15:51 <lambdabot> Expected a type, but ‘Slack Integer’ has kind ‘Constraint’
09:15:51 <lambdabot> In an expression type signature: Slack Integer
09:15:51 <lambdabot> 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 <HackEgo> [wiki] [[Special:Log/newusers]] create * LegionMammal978 * New user account
12:51:46 * oerjan looks at new wiki nick suspiciously
12:54:54 <mroman_> 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 <mroman_> that's how leo translates Rasterfahndung
12:56:09 * oerjan has no idea of context
12:56:38 <oerjan> de.wikipedia to the rescue
12:58:09 -!- Herbalist has joined.
12:59:34 <mroman_> "dragnet investigation" seems to be another translation
13:01:03 <mroman_> "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 <mroman_> although Rasterfahndung doesn't really involve road blocks or the like
13:01:31 <oerjan> i'm not sure whether ... right
13:01:36 <oerjan> it seemed more limited.
13:01:48 <mroman_> 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 <mroman_> You have a huge database of people
13:02:26 <oerjan> german word of the year in 1980
13:02:45 <mroman_> and you are looking for a person that has certain traits (like uhm scar over left eye)
13:02:52 <mroman_> and you check that against this huge database of people
13:04:02 <mroman_> You only have a "profile" of the criminal
13:04:06 <mroman_> which is usually very vague
13:06:25 <mroman_> the controversy is of course, that by doing that you suspect every person in that database to be a criminal
13:06:48 <mroman_> which is contrary to presumption of innocence
13:07:32 <oerjan> mhm
13:07:34 <mroman_> every person that comes out of this search is a "suspect until proven that he's innocent"
13:08:24 <mroman_> 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 <mroman_> I don't fully get that, though.
13:11:05 <mroman_> I'm not really pro surveillance of the public though
13:13:21 <mroman_> but collecting every persons DNA at birth has some advantages :)
13:14:00 <Jafet> Indeed. You can charge for health insurance much more accurately.
13:14:37 <mroman_> Well, that would be against what they are for.
13:14:44 -!- GeekDude has joined.
13:15:05 <mroman_> 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 <mroman_> so making you pay more for that increased risk isn't "social".
13:16:58 <mroman_> well... it will be hard to determine what exactly is one's fault and what not
13:17:28 <mroman_> but the social system works by "healthy people" paying for "sick people"
13:17:42 <mroman_> not "healthy people" paying for themselves and "sick peopel" paying for themselves
13:18:10 <mroman_> given that people that drink and smoke don't have to pay more than those who don't.
13:18:31 <mroman_> Falling down the stairs drunk is technically your fault, so why do I have to pay for that?
13:18:55 <mroman_> 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 <mroman_> which indicates that you were ok taking the risks and therefore have a higher responsibility.
13:19:29 <oerjan> no idea if they do, i'm sitting safely here in single payer country
13:20:06 <mroman_> Humans are stupid anyway.
13:20:19 <mroman_> Going on a vandalism streak because their favorite ice hockey team lost in a game
13:20:33 <mroman_> like that would be in any way a.) change the outcome b.) make sense c.) do good
13:21:17 <mroman_> Yet everybody wonders why there's war going on in the world.
13:21:52 <oerjan> hm do teams get punished for that sort of thing? i recall racist remarks by supporters at football matches tends to
13:22:06 <oerjan> but maybe not outside arena stuff
13:22:13 <mroman_> They get punished for it sometimes, yes.
13:22:17 <mroman_> Like "ghost matches"
13:22:42 <mroman_> Those are matches that are played without any audience.
13:23:04 <mroman_> but usually the teams/clubs deny responsibility
13:23:23 <mroman_> which makes sense somehow because it's not really their fault that some people do stupid things after a match.
13:23:25 <oerjan> googling ghost match seemed to turn up something else, something about gambling fraud
13:23:41 <mroman_> It's called Geisterspiel and I took the liberty to translate it as "ghost match"
13:23:44 <mroman_> :D
13:24:12 <mroman_> https://en.wikipedia.org/wiki/Behind_closed_doors_%28sport%29
13:24:25 <mroman_> (https://de.wikipedia.org/wiki/Geisterspiel)
13:24:43 -!- mauris has joined.
13:25:09 <oerjan> <mroman_> 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 <mroman_> fight as in war?
13:26:03 <mroman_> or as in hooligans?
13:26:11 <oerjan> war was the thought
13:26:30 <mroman_> Well, if someone stupid attacks you your choices are pretty limited
13:26:33 <mroman_> run away or fight back
13:26:41 <mroman_> that's the bad part
13:27:00 <oerjan> well what i mean is, the stupid people usually force a lot of others to fight for them.
13:27:09 <mroman_> although attacking someone to steal resources isn't technically stupid
13:27:15 <mroman_> it's selfish :)
13:27:47 <mroman_> unless you count some forms of selfishness as stupid
13:27:50 <mroman_> (which I would)
13:27:53 <oerjan> stupid in the socratic sense
13:28:44 <mroman_> I always thought people that take the bible literally are somewhat stupid
13:28:54 <mroman_> but now I'm reading a book about the history and background of the bible
13:28:54 <oerjan> well the point of military alliances is pretty much make sure that attacking you _is_ stupid, i guess.
13:28:59 <oerjan> *+to
13:29:09 <mroman_> Yeah.
13:29:13 -!- TieSoul has joined.
13:29:26 <mroman_> It's a good strategy to scare people out of attacking you
13:29:59 <mroman_> That's what nukes are for I guess.
13:30:12 <mroman_> and bio-weapons
13:30:56 <mroman_> 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 <mroman_> oerjan: and to secure resources.
13:32:15 <oerjan> as usual, the problem is the people crazy enough to do it anyway
13:32:32 <mroman_> and trades.
13:32:35 <mroman_> Such as access to oil or so
13:32:41 <oerjan> mhm
13:33:15 <mroman_> I'm not sure why China protects North-Korea
13:33:43 <mroman_> I guess they are trading certain things that benefit both
13:34:05 <mroman_> or maybe it's just historic.
13:35:09 <mroman_> hm. Seems they use it for military purposes as well
13:35:17 <mroman_> since South Korea and the US go hand in hand.
13:35:32 <oerjan> i thought the general assumption was "because if it collapses, things will get really ugly across the border"
13:36:08 <oerjan> 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 <oerjan> basically, not even south korea wants north korea to collapse these days
13:36:43 <mroman_> Of course not.
13:36:48 <mroman_> That would financially ruin them.
13:37:40 <mroman_> either that or it will become a humanitarian disaster
13:38:21 <mroman_> It might actually be better for SK if NK stays independent, poor and peaceful
13:38:53 <oerjan> i don't see why the "poor" is necessary. they could change to a more chinese model.
13:39:05 <mroman_> True.
13:39:15 <mroman_> But if they would merge now, it would cost a ton
13:40:02 <mroman_> ideally they would become democratic and remain largeley independent but become more and more open
13:40:27 <mroman_> but that takes decades
13:41:19 <mroman_> I think that was one of the strategies back in uhm
13:41:20 <mroman_> 1970?
13:42:02 <oerjan> 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 <oerjan> i
13:42:36 -!- ais523 has joined.
13:43:04 <oerjan> 'm also suspecting china has the same problem, to a lesser degree
13:43:14 <mroman_> But China is democratic?
13:43:22 <oerjan> ...wat
13:43:34 <mroman_> Officially
13:43:49 <ais523> it's sort-of democratic, but the government gets to choose which candidates are allowed to run
13:44:12 <oerjan> 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 <mroman_> there are some sort of elections
13:44:33 <oerjan> ...north korea also has elections hth
13:44:42 <mroman_> I honestly haven't really looked that much into china's politics
13:44:48 <mroman_> I should do that.
13:44:57 <mroman_> ah
13:45:00 <mroman_> "Democratic centralism"
13:45:07 <oerjan> they even have a few tiny minority parties
13:45:32 <oerjan> both almost indinguishable from the state party, but still.
13:46:29 <mroman_> There's the Local's People Congress
13:46:33 <mroman_> which is directly elected somehow
13:46:34 <oerjan> 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 <mroman_> "Independent candidates are strongly discouraged and face government intervention in their campaigns." :D
13:47:40 <mroman_> oh well
13:48:02 <b_jonas> 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 <oerjan> 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 <b_jonas> 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 <oerjan> fancy
13:50:53 <b_jonas> that second trick was never fashionable here though.
13:52:07 <Jafet> It helps to use a very complicated election system to disguise this scheme.
13:52:10 <quintopia> obviously the night vale electoral system is the ideal system
13:52:11 <Jafet> Oh wait, that's just democracy.
13:53:42 <quintopia> b_jonas: here in the US conttol of elections is handed over to hackers and voting machine manufacturers
13:53:52 <quintopia> control
13:54:30 <ais523> I like the UK's method of counting ballots
13:54:37 <ais523> it's pretty hard to interfere with
13:54:43 <quintopia> 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 <quintopia> could
13:59:40 <HackEgo> [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 <mroman_> We could just toss a toin
14:31:00 <mroman_> I mean
14:31:08 <mroman_> Voting can be seen as a random process
14:31:13 <mroman_> People randomly select who wins
14:31:22 <mroman_> so why not just toss a freaking coin and save millions of dollars
14:32:43 <ais523> `quote random elephant
14:32:52 <b_jonas> 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 <HackEgo> 296) <elliott> AV is better than first-past-the-post, like every voting system apart from the Random Elephant Stomping method
14:33:00 <FreeFull> Well, voting isn't meant to be purely random
14:33:15 <b_jonas> mroman_: also, there's some science fiction story about this, isn't there?
14:33:45 <mroman_> Coins are fair.
14:33:50 <ais523> 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 <mroman_> There's usually around 50:50 chance
14:34:03 <oerjan> :t magic
14:34:04 <lambdabot> Not in scope: ‘magic’
14:34:24 <ais523> 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 <mroman_> FreeFull: It is to an observer, or isn't it.
14:34:56 <mroman_> I know it's not random.
14:35:08 <mroman_> but for an outside obverser it's random-ish.
14:35:12 <mroman_> *observer
14:35:50 <b_jonas> ais523: it gets more complicated when you want to elect not one candidate, but a whole parliment of them
14:36:05 <mroman_> The question though remains if it would matter much if it *were* random
14:36:14 <ais523> b_jonas: I actually came up with a really good voting method for that
14:36:26 <ais523> you get each candidate to choose a location in the country at which they'll stand (just a single point)
14:36:39 <ais523> candidates can form parties if they wish
14:36:39 <mroman_> Maybe I'm just too much of an existential nihilist.
14:36:46 <ais523> people vote for parties
14:37:00 <b_jonas> mroman_: found it, the story is "Franchise" by Isaac Asimov
14:37:05 <b_jonas> http://www.asimovreviews.net/Stories/Story088.html
14:37:19 <FreeFull> mroman_: Well, if it is going to be random, you need to choose the candidates randomly from the populationtoo
14:37:28 <ais523> 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 <mroman_> b_jonas: Sounds like a cool plot.
14:37:45 <ais523> 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 <ais523> (haven't worked out the details of that)
14:38:21 <mroman_> FreeFull: people vote for candidates
14:38:34 <mroman_> but the machine determines the winner randomly from the candidates
14:38:50 <mroman_> or the congress/parliament recommends candidates
14:38:54 <b_jonas> ais523: don't you have to determine goals too, as well as a method?
14:38:54 <mroman_> either way is fine
14:39:03 <mroman_> congress/parliament recommending candidates is probably cheaper
14:39:03 <ais523> 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 <mroman_> so I'd recommend that
14:39:06 <ais523> see, the problem is
14:39:10 <FreeFull> mroman_: That could lead to disastrous results
14:39:19 <FreeFull> What if someone like Nigel Farage becomes the head of government
14:39:24 <mroman_> FreeFull: Who's that?
14:39:27 <ais523> 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 <FreeFull> https://en.wikipedia.org/wiki/Nigel_Farage
14:39:53 <mauris> mroman_: UK independence party guy
14:40:02 <ais523> 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 <ais523> 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 <FreeFull> 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 <mroman_> but some random guy isn't a good politician
14:41:25 <mroman_> Choosing one randomly from a congress/parliament makes more sense
14:41:44 <mroman_> Ideally the chosen person doesn't have "full power"
14:41:53 <b_jonas> 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 <mroman_> It's like
14:42:07 <mroman_> people vote people into congress
14:42:20 <mroman_> then you select randomly who's the president
14:42:49 <mroman_> Like um 50 people
14:42:56 <mroman_> (including the president)
14:43:00 <mroman_> but the president has 20 votes
14:43:05 <mroman_> so in total there are 69 votes
14:43:25 <mroman_> well
14:43:27 <b_jonas> no way
14:43:41 <mroman_> I like the swiss system anyway
14:43:58 <b_jonas> 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 <mroman_> 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 <FreeFull> Don't the Swiss have a referendum for everything that's actually important?
14:45:35 <mroman_> We do.
14:45:41 <FreeFull> 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 <mroman_> There's the National- and Ständerat which vote for the 7 Bundesräte
14:46:56 <mroman_> and the Räte also make laws and stuff
14:47:11 <mroman_> but you can interveine with referendums if necessary
14:47:14 <mroman_> that's a good systems
14:47:28 <mroman_> They can do stuff on their own as long as they don't mess up too much
14:47:36 <mroman_> and if they do you have some way of intervention
14:48:01 <mroman_> and if you want to change something you can use the Volksinitiative
14:48:56 <mroman_> That's why I think it's a near-perfect system as far as democracy goes
14:49:05 <mroman_> it's very democratic but not overly democratic
14:49:22 <mroman_> (overly democratic meaning people have to vote for everything, which is completely unpractical)
14:50:10 -!- ais523 has quit.
14:50:22 <mroman_> However, the downside of this system is of course, that you can vote for things like "we want no foreigners"
14:50:26 <mroman_> and if it passes, that's the way it is
14:50:43 <mroman_> democracy doesn't imply humanity.
14:51:11 <mroman_> I hate when people think that.
14:51:28 <mroman_> It's just not true.
14:51:58 -!- GeekDude has joined.
14:53:55 <FreeFull> mroman_: Unfortunately, we don't have a machine that spews out perfect morally-good dictators
14:54:11 <mroman_> I'm a perfect dictator.
14:54:30 <mroman_> I'd just shoot everybody who's not on my side.
14:54:43 <mroman_> Then all votes will be correct.
14:55:00 <mroman_> No, obviously I wouldn't shoot everybody who's not on my side
14:55:16 <mroman_> Then the US would think I oppress my people
14:55:20 <mroman_> and that it's an unfair system
14:55:49 <mroman_> The idea is to be a "social dictator"
14:56:05 <mroman_> there are some ground-rules like uhm "religions have to live together"
14:56:12 <mroman_> and everybody who has a problem with that will be shot.
14:56:38 <mroman_> also every criminal will be shot.
14:56:40 <mroman_> obviously
14:56:51 <mroman_> Don't want criminals in my social country.
14:57:28 <mroman_> If you vandalise public property after an ice hockey match you will definitely be shot
14:57:48 <mroman_> If you beat up a random person you'll be shot
14:58:06 <mroman_> I call it "Peace by Force"
14:58:51 -!- copumpkin has joined.
14:59:03 <mroman_> The problem is - in general - that a single person can do a lot of harm to lots of other persons.
14:59:10 <mroman_> Like if you live in a flat with flat mates
14:59:36 <mroman_> if 29 of the people you live with always clean up their dirt but one makes everything dirty on purpose
14:59:42 <mroman_> the whole flat-experience will suck
15:00:10 <mroman_> and there's no solution to that problem other than to get rid of that person who doesn't cooperate
15:00:55 <mroman_> and that's really "a truth".
15:01:29 <mroman_> The power of someone not cooperating is much higher than the power of others.
15:01:43 <mroman_> That's why society fails.
15:02:07 <mroman_> 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 <MDude> But there, you have 29 people who can clean up dirt, but only clean their own.
15:08:00 <MDude> 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 <MDude> 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 <MDude> 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 <hppavilion1> Hello peoples
15:10:48 <MDude> Hi hppavillion
15:10:56 <hppavilion1> Hi!
15:12:26 <hppavilion1> MOAR MARKUP
15:12:28 -!- ais523 has joined.
15:13:41 <hppavilion1> Hi ais523
15:13:46 <ais523> hi
15:15:02 <hppavilion1> I'm trying to figure out how to make an esoteric Befunge-style Markup language
15:15:04 <HackEgo> [wiki] [[Ttml]] http://esolangs.org/w/index.php?diff=43347&oldid=41901 * 107.77.85.48 * (+31) EsoMULang Category
15:15:41 <hppavilion1> Oops
15:15:43 <hppavilion1> Wasn't logged in
15:18:41 <hppavilion1> So
15:18:56 <hppavilion1> I managed to make a Turing-complete Markup Languag
15:18:56 <hppavilion1> e
15:18:57 <hppavilion1> 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 <mroman_> MDude: That's true.
15:27:58 <mroman_> but the fact is still, that one person can significantly ruin the other 29 people's live
15:28:02 <mroman_> and he can do so very easily
15:28:29 <mroman_> or somebody who rapes one person a month
15:28:39 <mroman_> he can make a lot of people's live worse
15:29:02 <mroman_> 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 <MDude> Yeah, bit I don't see how a dictator is any better at solving that problem than mob rule.
16:15:22 <MDude> Plus there's other ways in which it takes only one person to make a positive impact.
16:16:51 <b_jonas> a dictatorship would work, it's just hard to figure out who should be the dictator that would make it work
16:17:03 <b_jonas> it won't work for most people chosen as a dictator
16:19:00 <MDude> 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 <Jafet> Long-standing dictatorships, such as Singapore.
16:50:56 -!- ais523 has quit.
16:52:49 <coppro> dictatorships are easy
16:52:54 <coppro> like Vetinari x Vimes. done
16:55:40 -!- ais523 has joined.
16:56:56 <FreeFull> We don't have a Vetinari or Vimes
16:58:52 <b_jonas> 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 <shachaf> `olist 992
18:34:55 <HackEgo> 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 <shachaf> where is fizzie tdnh
21:36:05 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
21:39:43 -!- mihow has joined.
21:39:44 <tswett> `? tdnh
21:39:45 <HackEgo> tdnh does not help
21:39:52 <tswett> I dunno.
21:41:07 <shachaf> 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 <tswett> All right, time to start working on this operating system.
21:43:26 <tswett> This kernel, rather.
21:43:34 <tswett> Written, of course, in Rust.
21:46:52 -!- tromp_ has joined.
21:48:26 <tswett> There, I have a file called libkernel.so.
21:50:48 -!- oerjan has joined.
22:03:56 -!- boily has joined.
22:07:49 <oerjan> eyliob
22:08:40 <boily> bonajreour!
22:09:23 <shachaf> hi y'all
22:10:08 <oerjan> llewerafahcahs
22:10:36 <shachaf> ?
22:11:02 * oerjan leaves shachaf to ponder
22:11:17 <shachaf> presumably it means something like shachaf are well
22:11:23 <shachaf> but what do wells have to do with it
22:11:35 <oerjan> you have to dig deeper hth
22:12:07 <shachaf> @brain are you pondering what i'm pondering?
22:12:07 <lambdabot> What can I do for fun, Pinky? That's it! I'll send several
22:12:07 <lambdabot> bills to Senate for ratification, then veto them all!
22:12:21 <shachaf> hmm
22:12:27 <shachaf> @pinky are you pondering what i'm pondering?
22:12:27 <lambdabot> I think so, Brain, but don't you need a swimming pool to play Marco Polo?
22:13:14 <shachaf> oerjan: help
22:14:43 <oerjan> it's a uaetnamtrop hth
22:15:46 <shachaf> the contortions you're observing are oerjan trying to be helpful without actually giving a straight answer
22:16:03 <oerjan> shocking
22:16:18 <shachaf> or maybe trying to give a straight answer without actually being helpful
22:16:19 <shachaf> hard to tell
22:16:33 <shachaf> anyway what happened to saying hi
22:16:48 <oerjan> shachaf: generally in our channel at least one letter is shared between the words hth
22:17:04 <oerjan> shachaf: saying hi is so 2013
22:17:19 <shachaf> oerjan: yes yes i understood
22:17:23 <shachaf> but i don't get it
22:17:31 <shachaf> that word usually means the opposite of hi
22:17:38 <shachaf> are you hinting that i should leave or that you're leaving
22:17:45 <oerjan> which is why it's written backwards hth
22:18:48 <shachaf> boily: can you mapole some sense into oerjan twh
22:18:55 <oerjan> just watch the red dwarf "backwards" episode, that should make everything clear hth
22:19:58 <oerjan> experience shows that beating sense into me only works very temporarily hth
22:20:28 <oerjan> (this also applies to admonitions)
22:22:56 <boily> 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 <boily> AAAAAAAAAH!
22:24:01 * boily mapole mapole mapole. "ABORT! ABORT!"
22:24:19 <oerjan> a mapole double negation
22:24:36 <oerjan> basically, reversing the mapolarity
22:25:17 <shachaf> <GUIL> I think I have it. A man talking sense to himself is no madder than a man talking nonsense not to himself. <ROS> Or just as mad. <GUIL> Or just as mad. <ROS> And he does both. <GUIL> So there are you. <ROS> Stark raving sane.
22:26:07 <oerjan> why should i take advice from dead people tmns
22:26:20 <shachaf> `? tmns
22:26:21 <HackEgo> tmns? ¯\(°​_o)/¯
22:26:32 <shachaf> oh, that makes no sense
22:26:38 <oerjan> `learn tmns makes no sense.
22:26:38 <shachaf> to be distinguished from tmnh, that might not help
22:26:41 <HackEgo> Learned 'tmn': tmns makes no sense.
22:26:48 <oerjan> ...hm
22:27:07 <shachaf> `` mv wisdom/tmn{,s}
22:27:09 <HackEgo> No output.
22:28:20 <oerjan> `learn tmnh stands for teenage mutant ninja hths.
22:28:22 <HackEgo> Learned 'tmnh': tmnh stands for teenage mutant ninja hths.
22:28:26 -!- zzo38 has left.
22:28:32 -!- zzo38 has joined.
22:28:38 <zzo38> You should fix `learn command don't remove the "s" it can cause problems
22:29:20 <oerjan> zzo38: no it's a feature so you can look up either singular or plural.
22:30:04 <tswett> `? tmns
22:30:05 <HackEgo> tmns makes no sense.
22:30:12 <zzo38> 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 <oerjan> zzo38: the problem is there is no regular rule in more complicated cases
22:30:54 <zzo38> Yes, you have to do it manually instead
22:30:55 <shachaf> what if everyone just used le/rn
22:30:57 <oerjan> zzo38: it's a heuristic rule, most of the time it works right.
22:31:16 <oerjan> sometimes it doesn't, but that would be the case the other way too.
22:31:28 <zzo38> 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 <oerjan> but then we'd have to rename all the wisdoms.
22:32:25 <zzo38> 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 <oerjan> and it would break for uncountable nouns.
22:33:03 <oerjan> also it's not meant to be perfect.
22:33:13 <boily> fungot should be able to tell us if a word is singular, dual or plural.
22:33:28 <boily> just my luck. Sir Fungellot is still MIA...
22:33:50 <oerjan> 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 <tswett> I'm just gonna, like, assume that rustc is producing code that can run on bare metal.
22:54:40 <oerjan> it might not necessarily be good for the metal.
22:59:32 <tswett> 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 <tswett> 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.
←2015-06-28 2015-06-29 2015-06-30→ ↑2015 ↑all