←2016-04-21 2016-04-22 2016-04-23→ ↑2016 ↑all
00:06:21 -!- earendel has quit (Ping timeout: 268 seconds).
00:08:11 -!- hppavilion[1] has joined.
00:08:24 <hppavilion[1]> Is there an solang for mad scientific computing yet?
00:08:27 <hppavilion[1]> *Esolang
00:12:52 <hppavilion[1]> Huh, no google results for mad scientific computing in the first place
00:13:52 <fowl> Mad scientists are being persecuted
00:14:06 <oerjan> shocking
00:14:14 <oerjan> trust no one, keep your death ray handy
00:15:07 <oerjan> madthematica
00:15:18 <oerjan> or madple
00:15:54 <hppavilion[1]> oerjan: Perhaps those
00:16:04 <oerjan> steer away from madlab, it's crap
00:16:10 <hppavilion[1]> oerjan: But I think it needs to be an esolang to qualify as a mad scientific computing language
00:16:28 <hppavilion[1]> oerjan: What about Octavaporizer?
00:16:45 <hppavilion[1]> (in the former message, the "mad" biassociates with both "scientific" and "language")
00:16:57 <oerjan> hppavilion[1]: i think we both failed to find a suitable pun for that one hth
00:17:02 <hppavilion[1]> oerjan: Yeah.
00:17:05 <hppavilion[1]> oerjan: Agreed.
00:17:27 <hppavilion[1]> oerjan: It's weird how normal scientific computing yields itself so easily to mad science puns.
00:17:47 <oerjan> MadPL
00:18:10 <oerjan> it's like APL, but more Zalgo
00:18:14 -!- earendel has joined.
00:18:35 <oerjan> extra dimensions leaking everywhere
00:18:57 <hppavilion[1]> oerjan: Yeah, probably
00:20:29 -!- centrinia has quit (Remote host closed the connection).
00:21:38 -!- lambda-11235 has joined.
00:27:14 -!- Sprocklem has quit (Quit: [).
00:27:33 -!- Sprocklem has joined.
00:28:11 <oerjan> `echo hi
00:28:34 <HackEgo> hi
00:28:38 <oerjan> `unidecode 👨❤️👨
00:28:43 <HackEgo> U+1F468 MAN \ UTF-8: f0 9f 91 a8 UTF-16BE: d83ddc68 Decimal: &#128104; \ 👨 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals) \ \ U+2764 HEAVY BLACK HEART \ UTF-8: e2 9d a4 UTF-16BE: 2764 Decimal: &#10084; \ ❤ \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals) \ \ U+FE0F VARIATION SELECTOR-16 \ UTF-8: ef b8 8f UTF-16BE:
00:28:45 <hppavilion[1]> `ping
00:28:46 <HackEgo> pong
00:28:52 <hppavilion[1]> oerjan: ^^^
00:29:51 <oerjan> `unidecode ❤️👨
00:29:53 <HackEgo> U+2764 HEAVY BLACK HEART \ UTF-8: e2 9d a4 UTF-16BE: 2764 Decimal: &#10084; \ ❤ \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals) \ \ U+FE0F VARIATION SELECTOR-16 \ UTF-8: ef b8 8f UTF-16BE: fe0f Decimal: &#65039; \ ️ \ Category: Mn (Mark, Non-Spacing) \ Bidi: NSM (Non-Spacing Mark) \ \ U+1F468 MAN \ UTF-8: f0 9f 91 a8 UTF-16BE:
00:30:22 -!- centrinia has joined.
00:30:30 <oerjan> `unidecode ❤👨
00:30:38 <HackEgo> U+2764 HEAVY BLACK HEART \ UTF-8: e2 9d a4 UTF-16BE: 2764 Decimal: &#10084; \ ❤ \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals) \ \ U+1F468 MAN \ UTF-8: f0 9f 91 a8 UTF-16BE: d83ddc68 Decimal: &#128104; \ 👨 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals)
00:45:24 -!- Zoroaster has joined.
00:52:13 <boily> `relcome Zoroaster
00:52:20 <HackEgo> Zoroaster: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
00:53:13 <Zoroaster> Ah, sorry, it's just a backup name. I might've pinged out and auto-logged in with this
00:53:33 <oerjan> i've seen it before
00:53:34 <boily> and who might you be usually?
00:53:45 <oerjan> hm
00:54:15 <Zoroaster> Ah, I think my phone is the culprit
00:54:26 * oerjan recognizes the username but cannot remember the nick
00:54:43 -!- Kaynato has quit.
00:54:47 -!- Zoroaster has changed nick to Kaynato.
00:54:49 <Kaynato> There we go
00:55:00 <oerjan> oh it was you
01:08:09 <boily> `relcome Kaynato
01:08:14 <HackEgo> Kaynato: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
01:08:20 <Kaynato> Thanks.
01:14:37 -!- tromp has joined.
01:22:34 -!- mad has joined.
01:29:03 <boily> `` mv wisdom/blaeg wisdom/blæg
01:29:08 <HackEgo> No output.
01:39:32 <oerjan> `? blæg
01:40:02 <HackEgo> blaeg is a color that cannot exist under the current understanding of physics. It is used on the #esoteric flag, along with ultraviolet and whatever is convenient. It is a nullary color, meaning that it can be mixed with itself to produce the primary colors.
01:47:25 -!- Phantom_Hoover has quit (Remote host closed the connection).
01:52:32 <hppavilion[1]> boily: No, blaeg is spelled like that. Well, technically, it has letters in it that make you go insane from looking at them, which I left out, but...
01:52:54 <boily> ^^
01:53:12 <hppavilion[1]> ❤ is now my favoritely-named Unicode character
01:55:28 <hppavilion[1]> IMHO, blackboard bold should be its own font
01:59:15 <boily> Taneb: more genders, more or less?
02:00:44 -!- vanila has quit (Quit: Leaving).
02:03:34 <boily> DING ♪ PDF update!
02:03:47 <boily> now with ~5% less overfull hboxen!
02:07:51 <hppavilion[1]> boily: But I like my hboxen to be overflow...
02:08:00 <hppavilion[1]> I find it gives a certain kick to the flavor
02:09:19 <boily> did you know that a study found that overflowing hboxen are the leading cause of lines suffering from Acute Page Cropping Syndrome?
02:11:49 <hppavilion[1]> The Five Boxing Wizards Jumped Quickly
02:12:05 <hppavilion[1]> boily: LIES. SHOW ME YOUR CITATIONS.
02:12:41 -!- XorSwap has joined.
02:13:53 <boily> YOU HAVE NO PROOF I HAVE NO CITATIONS LA LA LA LA LA LA LA!
02:14:31 <hppavilion[1]> <font name="Times New Roman"><i>This is stupid!</i></font>
02:19:39 -!- hppavilion[1] has quit (Ping timeout: 250 seconds).
02:24:29 -!- adu has joined.
02:48:23 <FreeFull> `? blög
02:48:41 <HackEgo> blög? ¯\(°​_o)/¯
02:48:49 <FreeFull> HackEgo took a while to respond there
02:49:29 <boily> FrelloFull! that was abnormally fast for HackEgo.
02:50:23 -!- carado has quit (Ping timeout: 268 seconds).
02:51:01 -!- boily has quit (Quit: CRICKET CHICKEN).
02:51:27 -!- adu has quit (Quit: adu).
03:04:07 -!- lambda-11235 has quit (Read error: Connection reset by peer).
03:41:37 -!- zzo38 has joined.
03:48:00 -!- hppavilion[1] has joined.
03:49:08 -!- XorSwap has quit (Quit: Leaving).
03:50:56 <hppavilion[1]> Given only the generators repeat(x), chain(x...), and cycle(listOfValues), and some other generator that you pretty much need to have that I didn't think of, construct something that isn't boring.
03:51:41 <prooftechnique> What's chain do?
04:03:55 -!- nisstyre_ has quit (Ping timeout: 252 seconds).
04:22:36 <hppavilion[1]> http://smbc-comics.com/index.php?id=2227
04:22:45 <hppavilion[1]> prooftechnique: It concatenates the sequences, bascially
04:27:03 -!- hppavilion[1] has quit (Ping timeout: 250 seconds).
04:35:27 -!- variable has joined.
04:40:01 -!- nisstyre_ has joined.
04:53:41 -!- Elronnd has changed nick to Ellbereth.
04:54:01 -!- Ellbereth has changed nick to Elronnd.
05:20:39 <oerjan> attack of the girl genius poster interruption
05:27:10 -!- Kaynato has quit (Ping timeout: 244 seconds).
05:28:46 -!- tromp_ has quit (Read error: Connection reset by peer).
05:29:09 -!- tromp_ has joined.
05:36:51 -!- bb010g has joined.
05:42:40 -!- tromp__ has joined.
05:43:49 -!- tromp_ has quit (Remote host closed the connection).
06:15:32 -!- oerjan has quit (Quit: Nite).
06:39:51 -!- hppavilion[1] has joined.
06:42:36 -!- variable has quit (Ping timeout: 246 seconds).
06:57:51 -!- hppavilion[1] has quit (Ping timeout: 250 seconds).
07:03:22 -!- nisstyre_ has quit (Ping timeout: 260 seconds).
07:10:39 -!- nisstyre_ has joined.
07:12:19 -!- heroux has joined.
07:13:24 -!- rdococ has joined.
07:19:21 -!- tromp has quit (Remote host closed the connection).
07:56:47 -!- mad has quit (Quit: Pics or it didn't happen).
08:19:50 -!- tromp has joined.
08:24:04 -!- tromp has quit (Ping timeout: 252 seconds).
08:55:36 -!- AnotherTest has joined.
09:32:04 -!- centrinia has quit (Ping timeout: 244 seconds).
09:49:56 -!- nisstyre_ has quit (Ping timeout: 250 seconds).
10:20:28 -!- tromp has joined.
10:23:35 -!- nisstyre_ has joined.
10:24:33 -!- tromp has quit (Ping timeout: 240 seconds).
11:03:05 -!- fizzie has changed nick to dr_fizzie.
11:03:33 -!- elephanter has joined.
11:16:25 -!- impomatic_ has joined.
11:35:42 -!- boily has joined.
11:55:56 <boily> @metar CYUL
11:55:56 <lambdabot> CYUL 221026Z 13008KT 10SM -RA FEW008 BKN012 OVC050 12/11 A2982 RMK SF1SF5SC2 SLP101
12:04:12 <dr_fizzie> @metar EFHK
12:04:13 <lambdabot> EFHK 221050Z VRB02KT 9999 -SHRA FEW010 SCT025CB BKN050 04/01 Q1003 NOSIG
12:04:37 <dr_fizzie> Sounds more than -SHRA from where I am.
12:05:30 <boily> dr_fizziello. you're a doctor now?
12:09:17 <dr_fizzie> As of yesterday, but I only got the email today.
12:09:33 <dr_fizzie> And won't get the fancy-looking papers until June.
12:11:44 <dr_fizzie> Plus our university doesn't have the traditional sword, unlike the neighbours. :/
12:12:37 <boily> oooooh! :D
12:12:48 <boily> doctor in mathematics?
12:14:51 <dr_fizzie> Well, it's a "D.Sc. (Tech)", from the Department of Signal Processing and Acoustics, but it's really just more speech recognition stuff.
12:16:36 <dr_fizzie> Very math-light, really.
12:22:22 <boily> neat.
12:22:57 -!- boily has quit (Quit: SPORTIVE CHICKEN).
12:34:01 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
12:34:37 -!- copumpkin has joined.
12:37:24 -!- tromp has joined.
12:42:18 -!- tromp has quit (Ping timeout: 276 seconds).
12:49:05 -!- elephanter has left.
12:56:35 -!- carado has joined.
13:18:09 -!- J_Arcane has quit (Ping timeout: 268 seconds).
13:36:45 -!- int-e has set topic: Recommended by doctors! | The international hub of esoteric programming | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | http://esolangs.org/ | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | Note: people with cloaks will be treated as if they're from Kaliningrad (not Königsberg).
13:37:49 <int-e> (congrats fizzie)
13:38:01 -!- tromp has joined.
13:42:03 -!- tromp has quit (Ping timeout: 240 seconds).
13:43:45 -!- adu has joined.
13:44:09 -!- adu has quit (Client Quit).
13:47:45 -!- carado has quit (Ping timeout: 268 seconds).
13:52:22 <Taneb> Congratulations, dr_fizzie
13:52:32 <Taneb> Wait 5 or so years for me to catch up, please
14:10:52 -!- impomatic_ has quit (Quit: http://corewar.co.uk).
14:22:00 -!- FreeFull has quit (Quit: Rebooting).
14:22:11 -!- Kaynato has joined.
14:24:59 -!- FreeFull has joined.
14:30:42 -!- Kaynato has quit (Ping timeout: 244 seconds).
14:40:35 -!- carado has joined.
15:11:35 -!- Kaynato has joined.
15:18:27 -!- spiette has joined.
15:20:28 -!- augur has quit (Remote host closed the connection).
15:28:47 -!- augur has joined.
15:30:10 -!- jaboja has joined.
15:46:09 -!- jaboja has quit (Ping timeout: 246 seconds).
15:54:39 -!- tromp has joined.
15:57:49 -!- Kaynato has quit (Ping timeout: 252 seconds).
15:59:43 -!- tromp has quit (Ping timeout: 268 seconds).
16:03:39 -!- jaboja has joined.
16:04:04 -!- Kaynato has joined.
16:05:45 <dr_fizzie> Okay, but what exactly should I not do while waiting?
16:05:52 <dr_fizzie> (And thanks.)
16:17:32 <Taneb> The main thing to not do is make fun of me for not having a doctorate
16:17:40 <Taneb> (it's my medium term plan)
16:30:34 -!- Reece` has joined.
17:16:47 <shachaf> `olist 1034
17:17:28 <HackEgo> olist 1034: shachaf oerjan Sgeo FireFly boily nortti b_jonas
17:26:43 <b_jonas> shachaf: thanks
17:28:42 -!- Kaynato has quit (Ping timeout: 246 seconds).
17:32:40 -!- Kaynato has joined.
17:40:03 <zzo38> `idontknowlist
17:40:05 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: idontknowlist: not found
17:54:07 <zzo38> What is your opinion about my farbfeld utilities?
18:06:33 <shachaf> I've never heard of your farbfeld utilities.
18:09:03 <zzo38> A webpage is available at http://zzo38computer.org/fossil/farbfeld.ui/
18:09:22 <zzo38> You can also direct download by http://zzo38computer.org/prog/farbfeld.zip
18:10:39 -!- Caesura has joined.
18:13:54 -!- Kaynato has quit (Ping timeout: 244 seconds).
18:18:15 <shachaf> zzo38: That's some pretty fancy JavaScript UI.
18:18:48 -!- rodgort has quit (Remote host closed the connection).
18:19:11 -!- rodgort has joined.
18:19:18 <zzo38> shachaf: I put some of the JavaScript codes in because it was impossible to edit the HTML directly
18:19:27 -!- Caesura has quit (Ping timeout: 246 seconds).
18:20:03 <zzo38> It still works fine without JavaScript, although some of the accesskeys are not available, and the diagram for branches is not available.
18:45:42 -!- gamemanj has joined.
18:54:08 <zzo38> Is it possible to use Do-Not-Track with Apache?
18:55:22 -!- hppavilion[1] has joined.
18:56:49 -!- hppavilion[1] has set topic: Recommended by pi out of 5 doctors! | The international hub of esoteric programming | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | http://esolangs.org/ | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | Note: people with cloaks will be treated as if they're from Kaliningrad (not Königsberg).
19:03:28 -!- Caesura has joined.
19:15:05 -!- gremlins has joined.
19:15:54 -!- Reece` has quit (Ping timeout: 244 seconds).
19:42:41 -!- hppavilion[1] has quit (Ping timeout: 250 seconds).
19:52:54 -!- jaboja has quit (Ping timeout: 246 seconds).
20:01:41 -!- hppavilion[1] has joined.
20:04:39 -!- centrinia has joined.
20:09:10 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
20:11:18 -!- hppavilion[1] has joined.
20:20:40 <rdococ> hppavilion[1]
20:21:43 <rdococ> ...
20:21:47 <rdococ> this is bull
20:21:54 <rdococ> https://en.wikipedia.org/wiki/Bechdel_test
20:22:55 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
20:23:13 <rdococ> the more <insert a defining trait here> characters there are in a film, the less you value each <insert a defining trait here> character
20:23:25 <rdococ> infact, the more of anything there is in anything, the less you value each thing
20:23:55 <gamemanj> In practice there's no exact test that defines bias. But at least people can try to avoid bias, surely?
20:24:27 <gamemanj> The trouble is, with any specific test, it's too easy to write to the letter but not the spirit.
20:24:28 <rdococ> what's wrong with bias? a film is a film - if it's only about men then it's not hurting anyone
20:25:42 <zzo38> I think it is fine whatever they want to make the movie about, although you shouldn't make all of them the same thing!
20:25:48 <rdococ> if it's about males fighting or competing for a female, then it's actually discriminating against the males.
20:26:19 <zzo38> But if a lot of different people make movies, then there will be a lot of different movies and therefore will be less problem.
20:26:44 <rdococ> my theory stands that males are valued less due to their more common appearance, like inflation in economics
20:27:03 -!- hppavilion[1] has joined.
20:27:15 <rdococ> in nature - males compete for female attention
20:27:22 <rdococ> like as if they have to prove something
20:27:41 <rdococ> it sickens me to the very core
20:28:27 <rdococ> most villains are male, male villains get less sympathy than female ones, male heroes are more common, promoting the idea that males are stronger than females, even though that's not necessarily true
20:29:28 <rdococ> males in general get less sympathy
20:29:40 <rdococ> you guys still there?
20:30:10 <gamemanj> It's a complete mess.
20:30:15 <gamemanj> In general. On both sides.
20:30:35 <gamemanj> Best solution is to stay away from those kinds of arguments.
20:30:52 <rdococ> sure, in some films, females are portrayed as rewards or trophies, but that only glorifies them
20:31:33 <zzo38> I don't care, but I would hope that many different people can many many different kind of movie; you should not make them all same way otherwise it isn't worth as much
20:32:03 <shachaf> rdococ: what if you found another channel for this
20:32:15 <rdococ> shachaf, do you have any suggestions?
20:32:34 <shachaf> one that i'm not in
20:32:56 <rdococ> you're only in one channel
20:43:05 * int-e sees three channels that shachaf is in
20:43:35 <int-e> (and that ist is incomplete)
20:43:47 <int-e> `? ist
20:44:01 <HackEgo> ist? ¯\(°​_o)/¯
20:44:06 <int-e> `learn An ist is an incomplete list.
20:44:18 <HackEgo> Learned 'ist': An ist is an incomplete list.
20:44:46 <shachaf> dol um ber ist
20:47:00 <b_jonas> So people on the streets of our beautiful city usually just throw their cigarette butts and other trash on the street, even if there's a trashcan very close to them. I wonder if they just believe a pure garbage collection approach is more efficient in the end than the pure reference counting approach I prefer, in which I keep track of which items I need for what and if I no longer need one I throw it to the trash immediately.
20:47:50 <gamemanj> b_jonas: create_object 1 ; create_object 2 ; link_object 1 2 ; link_object 2 1
20:48:59 <b_jonas> gamemanj: yes, I do sometimes have objects that get stuck forever in a referenced state despite that I never use them
20:49:29 -!- jaboja has joined.
20:50:04 <gamemanj> pure reference counting is fine given immutable objects.
20:50:51 <b_jonas> gamemanj: yeah, but the objects are not immutable: some objects in my fridge go rotten without me touching them, so I don't notice that they're no longer useful until too late.
20:54:30 <gamemanj> For mutable objects, it's still possible to use refcounts, as long as a circular reference never occurs.
20:57:43 <int-e> b_jonas: perhaps by the time the city becomes uninhabitable, people will have moved on to the next one...
20:58:01 <int-e> ...that's how I picture a copying garbage collector in this analogy.
20:58:42 -!- Caesura has quit (Ping timeout: 246 seconds).
20:59:01 <gamemanj> To be honest, I'd prefer a system which is managed enough to keep track of references, but asks the program to GC them.
20:59:17 <int-e> but what would Baker's treadmill look like?
21:01:31 <gamemanj> A city, continuously reshaping, restructuring...
21:02:15 <gamemanj> Area being created where there was none before, areas being thrown about, swapped, restructured, yet the participants act as this is normal...
21:02:22 <gamemanj> What would that be called?
21:02:34 <int-e> . o O ( A city. )
21:03:10 <gamemanj> . o O ( Hey, words go into these? )
21:03:21 <zzo38> Do not throw your cigarettes end on the floor the cockroaches will have cancer
21:04:03 <gamemanj> Well, good news! I don't smoke. And I intend to keep things that way.
21:04:28 <zzo38> I also do not smoke and do not want to smoke
21:06:22 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
21:06:25 <gamemanj> Besides, I'm sure there's much more productive ways of giving cockroaches cancer.
21:17:24 <b_jonas> `? oregano
21:17:26 <HackEgo> oregano? ¯\(°​_o)/¯
21:17:48 <int-e> gamemanj: it's supposed to be a thought bubble... I use it for shaky ideas that I wouldn't know how to defend properly but still find cute enough to share
21:18:09 <b_jonas> int-e: yes, a copying garbage collector worked well for me: when I moved to this apartment, there were a lot of items that I just didn't bring here.
21:21:15 -!- hppavilion[1] has joined.
21:27:30 <hppavilion[1]> Given that metallic n = (n+sqrt (n^2+4))/2, find the n such that metallic n = pi
21:29:37 -!- jaboja has quit (Ping timeout: 260 seconds).
21:36:25 <int-e> 2*sinh(log(atan(1))+log(4))
21:51:56 -!- gremlins has quit (Ping timeout: 244 seconds).
21:58:04 -!- gamemanj has quit (Ping timeout: 252 seconds).
21:58:36 -!- jaboja has joined.
22:06:19 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
22:07:24 -!- impomatic has joined.
22:08:02 <impomatic> Hi, does anyone know why the logs on codu are down? :-/
22:09:12 <impomatic> Also for any BOX-256 fans (int-e / phantom_hoover?) I've written a Forth interpreter! http://corewar.co.uk/box256/pandora.htm :-)
22:13:18 <shachaf> impomatic: I don't know why, but I know that the tunes logs are up.
22:32:42 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
22:33:12 -!- spiette has quit (Ping timeout: 246 seconds).
22:40:59 -!- Phantom_Hoover has joined.
23:03:40 <newsham> https://gist.github.com/marcan/347faf7fa09802016d0c253699132539
23:05:17 -!- HackEgo has quit (Ping timeout: 260 seconds).
23:12:23 -!- HackEgo has joined.
23:18:31 <int-e> impomatic: hmm, are the two @3C in U< correct? IIUC, they should be @34
23:23:43 -!- FreeFull has quit (Ping timeout: 268 seconds).
23:27:09 -!- lambda-11235 has joined.
23:31:03 -!- oerjan has joined.
23:34:16 -!- J_Arcane has joined.
23:41:21 -!- Kaynato has joined.
23:42:37 -!- hppavilion[1] has joined.
23:42:38 <hppavilion[1]> I seem to be forming an idea as to how to make an artificial intelligence
23:42:49 <hppavilion[1]> It's based on modal logic programming
23:47:36 <Phantom_Hoover> you might also want to invent a time machine that goes to the early 60s
23:47:49 <hppavilion[1]> Phantom_Hoover: That's the AI's job
23:48:23 <hppavilion[1]> You combine Alethic Logic (necessary/possible), Deontic Logic (may/should), Temporal logic (time), and a logic I'm making called Want-Need Fulfillment (it's right there in the name), as well as limited forms of Epistemic (knowledge) and (maybe) Doxastic Logic (belief)
23:49:03 <hppavilion[1]> And it has a concept of actor possession (A owns i) and action (A performs a)
23:50:17 <oerjan> hppavilion[1]: you realize Phantom_Hoover was being sarcastic? (also, i was trying hard not to make a similar comment, but dropped it because i wasn't sure exactly _which_ previous decade of ai failure you were reinventing.)
23:50:25 <hppavilion[1]> oerjan: Yes.
23:50:43 <hppavilion[1]> oerjan: Probably the 60s.
23:51:18 <hppavilion[1]> oerjan: It includes machine learning features (induction results in beliefs under the Doxastic logic)
23:51:19 <oerjan> wait, i'm contradicting myself
23:51:27 * oerjan disappears in a puff of logic
23:52:51 <hppavilion[1]> oerjan: The idea is more for a management AI than for a sentient AI, at least for now
23:53:47 <oerjan> i'm sure the 60s would have loved an AI with an a priori possession concept for fighting the communists
23:54:00 <hppavilion[1]> oerjan: Yes, I thought of that xD
23:54:01 -!- jaboja has quit (Remote host closed the connection).
23:54:16 <hppavilion[1]> oerjan: It's not about possession so much as about "has"
23:54:24 <hppavilion[1]> Like "Bob has food"
23:54:55 <oerjan> hppavilion[1]: make it the 50s and you can include a priori race theory hth
23:54:56 <hppavilion[1]> But also "Donald Trump has a shitton of money"
23:55:04 <hppavilion[1]> oerjan: Sure, why not
23:55:50 <hppavilion[1]> The "limits" on the Doxastic and Epistemic logics are that the only actor that it can analyze the knowledge/beliefs of is itself, at least in certain applications
23:55:57 <hppavilion[1]> Because otherwise things probably wouldn't go well
23:56:34 <hppavilion[1]> oerjan: The purpose of this is it's more about making a thing that you put in control of resource distribution than it is about making a thing that is alive
23:57:01 <hppavilion[1]> oerjan: Also, I'm pretty sure we still had race theory in the 60s in 'murica
23:57:15 <oerjan> well for some of it.
23:58:14 <hppavilion[1]> oerjan: I think MLKj was the 60s, and he didn't magically fix everything immediately, so...
23:59:30 <oerjan> well of course people didn't all change at once.
23:59:43 <oerjan> but that's when the laws were changed.
←2016-04-21 2016-04-22 2016-04-23→ ↑2016 ↑all