00:00:22 -!- oerjan has joined.
00:01:28 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
00:04:35 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
00:23:40 -!- hppavilion[1] has joined.
00:28:41 * hppavilion[1] performs a corporectomy on \oren\
00:28:47 <hppavilion[1]> @metar PAMR
00:28:47 <lambdabot> PAMR 272253Z 00000KT 10SM BKN065 BKN090 M01/M11 A2941 RMK AO2 SLP960 T10061111
00:30:22 <hppavilion[1]> Er, a somatectomy
00:30:34 <Zarutian> where is PAMR?
00:31:42 <Zarutian> hppavilion[1]: you gotten under \oren\'s shell? (I am infereing from tectonics -> an tectomy having similiar origin with 'plates')
00:32:20 <fizzie> `icao PAMR
00:32:21 <HackEgo> Merrill Fld (MRI, PAMR)
00:32:21 -!- Zarutian has quit (Quit: Zarutian).
00:32:31 <hppavilion[1]> Zarutian: PAMR is within spitting distance of my house.
00:32:47 <hppavilion[1]> Zarutian: Hm, maybe there should be medicinal roots for computers
00:33:20 <hppavilion[1]> (I mean, obviously not really medicinal, but still
00:34:29 <hppavilion[1]> )
00:34:41 <hppavilion[1]> I'm going to start compiling a list
00:35:05 -!- uczy has quit (Remote host closed the connection).
00:36:47 -!- impomatic has quit (Ping timeout: 258 seconds).
00:44:36 <hppavilion[1]> -marp: 
00:44:36 <hppavilion[1]> Ad hoc modification to a local library to make it work which does not apply to other installations
00:44:36 <hppavilion[1]> .
00:50:06 <HackEgo> [wiki] [[Talk:Reversible Brainfuck]]  https://esolangs.org/w/index.php?diff=51462&oldid=51461 * Oerjan * (+1164) More groups and some infinite babbling
00:53:06 * oerjan fake group theory expert
00:53:21 -!- augur has joined.
00:57:34 <fizzie> Now is that fake (group theory), or (fake group) theory? 
00:58:01 <fizzie> I guess I should've included the 'expert' bit in there as well.
00:58:35 -!- augur has quit (Ping timeout: 264 seconds).
00:58:49 <fizzie> Could be a fake ((group theory) expert), a (fake (group theory)) expert or a ((fake group) theory) expert.
01:00:07 <Jafet> they're × all × equivalent × hth
01:01:27 <oerjan> up to natural equivalence only
01:34:54 <hppavilion[1]> fizzie: He's a [fake (group {theory] expert})
01:35:01 <hppavilion[1]> hth.
01:36:26 -!- augur has joined.
01:41:34 -!- augur has quit (Ping timeout: 258 seconds).
01:52:01 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
01:53:25 <HackEgo> [wiki] [[Tangle bracket language]]  https://esolangs.org/w/index.php?diff=51463&oldid=44677 * Hppavilion1 * (+598) Updated page; hopefully it explains the subject matter better.
02:05:44 <hppavilion[1]> Hm, I think I'm losing connection
02:16:49 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
02:20:10 -!- augur has joined.
02:24:28 -!- augur has quit (Ping timeout: 240 seconds).
02:25:09 -!- Bowserinator has quit (Ping timeout: 240 seconds).
02:25:29 -!- incomprehensibly has quit (Ping timeout: 240 seconds).
02:26:29 -!- pledis has quit (Ping timeout: 240 seconds).
02:26:37 -!- pledis has joined.
02:27:09 -!- Lymia has quit (Ping timeout: 240 seconds).
02:27:22 -!- incomprehensibly has joined.
02:29:29 -!- fungot has quit (Ping timeout: 240 seconds).
02:31:48 -!- Bowserinator has joined.
02:32:18 -!- Lymia has joined.
02:32:39 -!- fungot has joined.
02:38:17 <oerjan> fungooookay.
02:42:13 -!- tswett_to_go has joined.
02:42:29 <tswett_to_go> I've decided that from now on, I'm going to speak primarily in noun phrases.
02:43:07 <tswett_to_go> Haskell, Coq, Agda, Idris.
02:43:25 <tswett_to_go> Type systems. Dependent typing. Formal systems. Category theory.
02:43:38 <tswett_to_go> This podcast I listened to yesterday.
02:43:52 <tswett_to_go> This manner of speaking.
02:44:30 <tswett_to_go> Procrastination. Programming. Database query language. Databases.
02:44:45 <tswett_to_go> The various relationships between databases and category theory.
02:45:58 <tswett_to_go> This manner of speaking.
02:46:00 <tswett_to_go> Repetition.
02:47:53 <tswett_to_go> The thought, "Look, I can just cheat by sticking an entire sentence inside of a noun phrase."
02:48:08 <tswett_to_go> This exact thing that I'm typing right now.
02:52:50 -!- Marcela_Gandara has joined.
03:02:39 -!- augur has joined.
03:03:03 -!- hppavilion[0] has joined.
03:04:38 -!- Marcela_Gandara has quit (Ping timeout: 240 seconds).
03:05:35 -!- hppavilion[1] has quit (Ping timeout: 246 seconds).
03:07:28 -!- Marcela_Gandara has joined.
03:08:15 -!- augur has quit (Ping timeout: 268 seconds).
03:25:52 -!- ^v has quit (Remote host closed the connection).
03:26:00 -!- ^v has joined.
03:29:14 -!- Marcela_Gandara has quit (Read error: Connection reset by peer).
03:30:46 -!- Marcela_Gandara has joined.
03:45:47 -!- augur has joined.
03:48:09 -!- hppavilion[0] has quit (Ping timeout: 240 seconds).
03:51:20 -!- augur has quit (Ping timeout: 260 seconds).
03:53:09 -!- tromp has joined.
03:54:14 -!- hppavilion[1] has joined.
03:55:06 <hppavilion[1]> tswett: Did you make a bot that emulates you when you aren't around
04:05:05 <tswett_to_go> I am *NOT* a bot.
04:06:33 <tswett_to_go> `cat insanity
04:06:34 <HackEgo> cat: insanity: No such file or directory
04:06:38 <tswett_to_go> Hmm.
04:06:42 <tswett_to_go> `run find . -name insanity
04:06:46 <HackEgo> ​./wisdom/insanity
04:06:52 <tswett_to_go> `cat wisdom/insanity
04:06:52 <HackEgo> Unless you are boily, you are just imagining this wisdom entity.
04:08:58 <oerjan> `# You are just imagining this typo, too//`slwd insanity//s,it,r,
04:08:59 <HackEgo> insanity//Unless you are boily, you are just imagining this wisdom entry.
04:12:26 <tswett_to_go> Wisdom from the neural net:
04:12:28 <tswett_to_go> [[Noncommutative government of Australia]] and [[Alabama]] and [[Characters of Alabama]] and [[American Samoa]] and [[Alabama]] and [[Alabama American Australia | align=&quot;right&quot;
04:12:42 <tswett_to_go> My favorite country is definitely Alabama American Australia.
04:20:28 <rdococ> Hi.
04:20:42 <rdococ> Asstec civilization :P
04:26:43 -!- hppavilion[1] has quit (Read error: Connection reset by peer).
04:27:09 -!- hppavilion[1] has joined.
04:28:32 -!- ^v has quit (Ping timeout: 246 seconds).
04:29:12 -!- augur has joined.
04:30:49 -!- Marcela_Gandara has quit (Ping timeout: 256 seconds).
04:34:10 -!- augur has quit (Ping timeout: 260 seconds).
04:36:03 -!- Marcela_Gandara has joined.
04:37:47 <hppavilion[1]> Whoogh. My nomicial lispish language is working.
04:37:51 * hppavilion[1] dances stoically
04:38:00 -!- ^v has joined.
04:38:59 <rdococ> wut.
04:42:11 -!- hppavilion[1] has quit (Ping timeout: 246 seconds).
04:49:09 -!- Marcela_Gandara has quit (Read error: Connection reset by peer).
04:53:12 -!- doesthiswork has joined.
04:53:54 -!- oerjan has quit (Quit: Nite).
04:54:48 <doesthiswork> so I was thinking about negative concord vs double negation and I thought of a half negation
04:55:20 <doesthiswork> so to negate a sentence you have to stick in two half negations
04:55:58 <doesthiswork> I got it working but it requires four value logic
04:56:52 <doesthiswork> so that a sentence's true and its falsity can be independent of each other. 
04:57:12 <doesthiswork> s/true/truth
04:58:16 <doesthiswork> a half negation can work be exchanging the truth and falsity of a sentence and then negating the falsity
04:58:20 -!- hppavilion[1] has joined.
04:59:14 <doesthiswork> so two in a row just negate both truth and falsity and leave them in their original places
04:59:50 -!- augur has joined.
04:59:57 -!- augur has quit (Read error: Connection reset by peer).
05:00:44 -!- ^v has quit (Ping timeout: 246 seconds).
05:01:03 -!- augur has joined.
05:01:31 <tswett_to_go> Half-negation. Hmm.
05:02:28 -!- ^v has joined.
05:02:48 <doesthiswork> I was inspired by the old saying "two wrongs don't make a right but three lefts do"
05:06:39 <rdococ> quantum computing has that
05:06:41 <rdococ> I think
05:09:34 <tswett_to_go> Oh yeah.
05:09:43 <tswett_to_go> Lemme think, what is that.
05:10:20 <rdococ> anyway, we all know that four wrongs make an up
05:11:07 <tswett_to_go> What's the square root of the matrix [[0,1][1,0]]?
05:11:10 <rdococ> (and two ups makes a reverse)
05:11:12 <doesthiswork> Quantum computing probably does, since they talk about rotating qbits
05:11:50 <rdococ> tswett_to_go: depends what you're multiplying it with. but seeing it's a reverse identity matrix, I guess that's obvious
05:12:05 <rdococ> well, it might depend. might not.
05:12:48 <tswett_to_go> Wolfie says it's [[1,-i][-i,1]] times a constant.
05:12:51 <tswett_to_go> So...
05:12:53 <rdococ> hm
05:14:26 <tswett_to_go> (1+i)/2 * (|0⟩⟨0| - i |0⟩⟨1| - i |1⟩⟨0| + |1⟩⟨1|)
05:14:28 <tswett_to_go> Boom.
05:14:32 <tswett_to_go> There's your quantum half-not gate
05:14:35 <tswett_to_go> .
05:14:47 <doesthiswork> nifty
05:14:50 <rdococ> er
05:14:51 <rdococ> okay
05:15:20 -!- tromp has quit (Remote host closed the connection).
05:17:05 -!- hppavilion[1] has quit (Ping timeout: 260 seconds).
05:43:16 -!- augur has quit (Remote host closed the connection).
05:43:42 -!- ^v has quit (Ping timeout: 260 seconds).
05:46:02 -!- hppavilion[1] has joined.
05:49:01 -!- ^v has joined.
06:03:28 -!- ^v has quit (Quit: ZNC - http://znc.in).
06:03:53 -!- ^v has joined.
06:08:06 <hppavilion[1]> tswett_to_go: Better question: what's 2^[[0,1][1,0]]
06:13:53 -!- hppavilion[1] has quit (Ping timeout: 246 seconds).
06:14:23 -!- augur has joined.
06:15:48 -!- tromp has joined.
06:16:29 -!- ^v has quit (Ping timeout: 240 seconds).
06:20:28 -!- tromp has quit (Ping timeout: 240 seconds).
06:24:30 -!- ^v has joined.
06:34:17 <rdococ> is that even defined
07:13:50 -!- augur has quit (Remote host closed the connection).
07:14:43 -!- augur has joined.
07:15:52 -!- hppavilion[1] has joined.
07:17:31 -!- tromp has joined.
07:22:19 -!- tromp has quit (Ping timeout: 268 seconds).
07:22:56 -!- augur has quit (Remote host closed the connection).
07:24:46 -!- thegooper has joined.
07:25:20 -!- thegooper has left.
07:33:02 -!- dingbat has quit (Quit: Connection closed for inactivity).
07:43:25 -!- MoALTz has joined.
08:14:29 -!- ^v has quit (Ping timeout: 240 seconds).
08:15:24 -!- AnotherTest has joined.
08:16:28 -!- tromp has joined.
08:20:06 -!- ^v has joined.
08:20:56 -!- tromp has quit (Ping timeout: 246 seconds).
08:21:32 -!- ^v has quit (Excess Flood).
08:23:24 -!- ^v has joined.
08:37:51 -!- doesthiswork has quit (Quit: Leaving.).
08:56:11 -!- augur has joined.
09:17:29 -!- tromp has joined.
09:22:05 -!- tromp has quit (Ping timeout: 260 seconds).
09:27:41 -!- AnotherTest has quit (Ping timeout: 260 seconds).
09:29:45 -!- atslash has joined.
09:40:02 -!- hppavilion[1] has quit (Ping timeout: 246 seconds).
09:46:30 <Taneb> Good morning
09:47:12 <shachaf> G'Daneb
09:48:39 <Taneb> 2^x = e^(x*ln 2), right? And matrix exponentials are well-defined
09:48:50 <Taneb> So I guess one can work out 2^[[0,1][1,0]]
11:18:06 -!- tromp has joined.
11:22:35 -!- tromp has quit (Ping timeout: 246 seconds).
11:34:04 -!- boily has joined.
11:50:04 <boily> `wisdom
11:50:06 <HackEgo> john//John is not Hziulquoigmnzhah of Cykranosh, the dread spawn of Cxaxukluth, according to http://smbc-comics.com/index.php?id=4072
12:01:30 -!- atehwa has quit (Remote host closed the connection).
12:11:15 -!- LKoen has joined.
12:18:10 -!- augur has quit (Remote host closed the connection).
12:21:29 -!- Lord_of_Life has joined.
12:29:29 -!- boily has quit (Quit: ARMY CHICKEN).
12:50:31 <b_jonas> argh. ok, so some googling says that what I found is a genuine bug,
12:51:00 <b_jonas> where the debian kernel was upgraded without increasing its version number, which means it's *supposed* to have the same abi for modules, but actually doesn't,
12:51:17 <b_jonas> so indeed my older kernel doesn't match the newer modules, even if they have the same version number.
12:52:11 <b_jonas> I'll have to work this around in some way to run the newer kernel.
12:52:24 <b_jonas> I didn't even know they update kernel images without increasing the version number
12:52:45 <b_jonas> I should have suspected, because they so rarely increment the version number, but I did ask about that and they said they don't do that
12:52:49 <b_jonas> damn
12:59:40 -!- atehwa has joined.
13:02:51 -!- Lord_of_Life has quit (Excess Flood).
13:04:01 -!- tromp has joined.
13:05:14 -!- AnotherTest has joined.
13:05:59 -!- Lord_of_Life has joined.
13:08:06 -!- tromp has quit (Ping timeout: 240 seconds).
13:13:13 -!- erkin has joined.
13:19:09 -!- AnotherTest has quit (Ping timeout: 260 seconds).
13:39:30 -!- Zarutian has joined.
13:59:36 -!- augur has joined.
14:00:31 -!- doesthiswork has joined.
14:01:39 -!- doesthiswork has quit (Client Quit).
14:04:09 -!- AnotherTest has joined.
14:08:43 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
14:32:17 -!- Cale has quit (Ping timeout: 246 seconds).
14:34:35 -!- uczy has joined.
14:36:21 <uczy> What is the fastest way to bootstrap from an extremely simple esolang to a high level language VM?
14:38:10 <uczy> Something like https://esolangs.org/wiki/BytePusher
14:49:16 -!- Cale has joined.
14:53:57 <uczy> If I can compile C code to a series of mov instructions (https://github.com/xoreaxeaxeax/movfuscator) then the reverse use case should also be possible
15:00:51 <Zarutian> uczy: write an Forth inner interpreter in that esolang. Run something likse scheme.fs ontop and I think that the goal will have been met.
15:02:27 <b_jonas> eww, I hate bytepusher
15:02:28 -!- nycs has joined.
15:04:36 -!- Zarutian has quit (Quit: Zarutian).
15:10:06 -!- kiki` has changed nick to heartofdarkness.
15:16:02 <uczy> b_jonas: You'll hate BitBitJump even more
15:22:26 -!- David152 has left ("http://quassel-irc.org - Chat comfortably. Anywhere.").
15:32:40 -!- hakatashi has quit (Read error: Connection reset by peer).
15:33:07 -!- hakatashi has joined.
15:41:49 -!- uczy has quit (Remote host closed the connection).
15:44:31 <rdococ> Square root of a bit
15:58:09 -!- doesthiswork has joined.
16:25:35 -!- AnotherTest has quit (Ping timeout: 264 seconds).
16:31:08 -!- augur has quit (Remote host closed the connection).
16:31:40 -!- augur has joined.
16:36:11 -!- augur has quit (Ping timeout: 246 seconds).
16:37:56 -!- Bowserinator has quit (Changing host).
16:37:56 -!- Bowserinator has joined.
16:38:22 -!- Lord_of_Life has quit (Excess Flood).
16:42:59 -!- Lord_of_Life has joined.
16:45:17 -!- Phantom_Hoover has joined.
16:50:32 -!- oerjan has joined.
17:09:26 -!- hppavilion[1] has joined.
17:10:31 <oerjan> <Taneb> 2^x = e^(x*ln 2), right? And matrix exponentials are well-defined <-- afair you can apply any function that is holomorphic on the matrix's spectrum, in this case {-1,+1}. And since it's unitary you can extend that to continuous functions... well for matrices the spectrum is finite, so i guess that's all functions.
17:11:52 <oerjan> hm for the first part, it might need to be holomorphic in an open connected set containing the spectrum, or something. (a disk is certainly enough, then you have power series.)
17:12:25 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds).
17:12:44 <oerjan> (i think which connected set you choose might actually matter if there are branch cuts involved)
17:15:09 <oerjan> (hm, an annulus would give a laurent series)
17:15:21 <int-e> spectrum = set of eigenvalues?
17:15:25 <oerjan> yes
17:16:02 <int-e> (it's funny, I knew about "spectral radius" but I don't think I've seen "spectrum")
17:17:20 <oerjan> it's a more subtle concept in infinite-dimensional banach algebras, where you define it as the set of l such that lI - A is invertible.
17:17:28 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
17:18:33 <oerjan> and it's not necessarily finite, but always compact.
17:19:12 <int-e> lI <-- that's evil.
17:19:19 <oerjan> OKAY
17:19:29 <int-e> but shouldn't it be "not invertible"?
17:19:35 <oerjan> oops, right
17:20:34 <int-e> I like my linear algebra finite-dimensional and discrete. finite base fields are perfect.
17:20:54 <oerjan> OKAY. that's good, i was wondering if i was telling you things you already knew.
17:20:55 <int-e> (though obviously I'm not using spectral radii there)
17:21:01 <oerjan> oh.
17:21:09 <oerjan> well you could.
17:21:13 <oerjan> oh wait
17:21:19 <oerjan> finite base fields...
17:21:21 <int-e> finite fields are slightly unordered.
17:21:30 <int-e> disorderly?
17:21:51 <oerjan> hm _someone's_ bound to have investigated this stuff with p-adics
17:22:31 -!- hppavilion[1] has joined.
17:23:05 <int-e> I think I like "disorderly", at least for this channel.
17:24:22 <oerjan> OKAY
17:24:26 -!- Phantom_Hoover has joined.
17:25:15 <oerjan> `unicode LAMDA
17:25:18 <HackEgo> U+039B GREEK CAPITAL LETTER LAMDA \ UTF-8: ce 9b  UTF-16BE: 039b  Decimal: &#923; \ Λ (λ) \ Lowercase: U+03BB \ Category: Lu (Letter, Uppercase) \ Bidi: L (Left-to-Right) \  \ U+03BB GREEK SMALL LETTER LAMDA \ UTF-8: ce bb  UTF-16BE: 03bb  Decimal: &#955; \ λ (Λ) \ Uppercase: U+039B \ Category: Ll (Letter, Lowercase) \ Bidi: L (Left-to-Right) \
17:26:18 <oerjan> the eigenvalue stuff might still work for finite fields, maybe? determinants work for all commutative rings.
17:26:27 <HackEgo> [wiki] [[Special:Log/newusers]] create  * Btzy *  New user account
17:27:04 <oerjan> anyway, the l was supposed to be a lambda, but i was lazy.
17:27:58 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
17:31:35 -!- Phantom_Hoover has quit (Ping timeout: 268 seconds).
17:32:13 -!- Phantom_Hoover has joined.
17:37:22 -!- hppavilion[1] has joined.
17:38:53 <hppavilion[1]> Hm, the Clavinova I'm using has 5 buttons to switch instruments
17:39:18 <hppavilion[1]> 4 of the instruments are familiar, at least somewhat: Piano, Electric Piano, Harpsicord, and Pipe Organ
17:39:29 <hppavilion[1]> But one of them is "Clavitone", which AFAICT isn't a real instrument.
17:41:42 <fizzie> A clavichord is, though.
17:44:03 <fizzie> GM1 instrument 8 is officially called just "Clavi", but apparently it's short for Clavinet, which is a kind of clavichord.
17:44:47 <hppavilion[1]> fizzie: Oh!
17:44:57 <hppavilion[1]> fizzie: I noticed it actually just says "Clavi. Chord"
17:45:23 <hppavilion[1]> But there's a line break and the period is REALLY light; my brain skipped it because I thought it was just a speck of dust.
17:52:28 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
17:54:58 -!- hppavilion[1] has joined.
17:55:59 -!- atslash has quit (Quit: This computer has gone to sleep).
17:59:38 <int-e> oerjan: I didn't mind the use of l, I just had trouble distinguishing it from the I.
17:59:42 -!- hppavilion[1] has quit (Remote host closed the connection).
18:00:05 -!- hppavilion[1] has joined.
18:00:47 <oerjan> i could have used l1 :P
18:01:10 <oerjan> it's a perfectly servicably multiplicative unit, after all
18:01:19 <oerjan> *e
18:01:31 <shachaf> l1 is a p. good cache hth
18:02:03 <int-e> . o O ( eI - A <-- let's just pick "e" for "eigenvalue" *runs* )
18:02:23 -!- hppavilion[1] has left.
18:02:28 -!- hppavilion[1] has joined.
18:02:38 <hppavilion[1]> My 5 autohotkey scripts formed a glider in the tray.
18:02:38 <int-e> . o O ( It's a natural choice! )
18:02:40 <hppavilion[1]> It must be a sign.
18:02:41 <rdococ> now I need ideas for a new data type. again. :/
18:02:50 <hppavilion[1]> rdococ: Invervals.
18:03:00 <rdococ> Invervals?
18:03:09 -!- MDude has quit (Ping timeout: 240 seconds).
18:03:09 <rdococ> Anti-variables?
18:03:11 <hppavilion[1]> rdococ: Yeah.
18:03:15 <hppavilion[1]> rdococ: Uh... what?
18:03:17 <rdococ> Or integrariables?
18:03:37 <rdococ> Square root of an integral!
18:03:40 <hppavilion[1]> rdococ: Oh, no. Intervals as in a range of real numbers
18:03:49 <rdococ> Interval variables?
18:03:54 <rdococ> var x = 3 to 4;
18:04:23 <hppavilion[1]> rdococ: ⟨0 → 1⟩ is every real number from 0 to 1 inclusive
18:04:29 <rdococ> I get that.
18:04:29 <hppavilion[1]> That's an interval
18:04:39 <hppavilion[1]> rdococ: You might have seen it written the peasant way, as [0, 1]
18:05:13 <rdococ> Oh, I prefer (1 from 0). Now it's an intercal. :P
18:05:34 <rdococ> (1 ← 0)
18:05:44 <shachaf> Is that supposed to express an orientation?
18:06:41 <hppavilion[1]> shachaf: rdococ's notation with it backwards? Not sure.
18:06:49 <shachaf> All of these notations.
18:06:58 <oerjan> <hppavilion[1]> It must be a sign. <-- "get a life", he said, hypocritically.
18:06:59 <shachaf> Certainly your manifolds need an orientation.
18:07:22 <rdococ> 1
18:07:25 <rdococ> ↑
18:07:25 <rdococ> 0
18:07:57 <hppavilion[1]> oerjan: I had a life, but I sold it in exchange for someone's soul so I could trade the soul to a nice man I met at the crossroads
18:08:08 <hppavilion[1]> rdococ: You forgot the brackets.
18:08:39 <hppavilion[1]> ︵
18:08:39 <hppavilion[1]> 1
18:08:39 <hppavilion[1]> ↑
18:08:39 <hppavilion[1]> 0
18:08:39 <hppavilion[1]> ︶
18:09:06 <shachaf> This is not necessary.
18:09:29 <rdococ> But this is esoteric.
18:10:23 <hppavilion[1]> shachaf: Correct, but rdococ.
18:11:08 <rdococ> x but y = ??
18:11:23 <hppavilion[1]> rdococ: But intervals are an interesting data type that should be used more; see https://en.wikipedia.org/wiki/Interval_arithmetic
18:12:35 <hppavilion[1]> rdococ: x but y ≡ x -> y, x, ¬y ?
18:12:51 <rdococ> Er...
18:13:25 <rdococ> You would have to use "x but y" in place of "x and y" if y doesn't like x very much.
18:22:51 -!- oerjan has quit (Quit: Later).
18:23:12 <rdococ> partially settish arrays?
18:26:28 -!- Sgeo has quit (Ping timeout: 268 seconds).
18:28:38 <rdococ> {1=a, 2=b, 3=b, c=true}
18:56:17 -!- Lord_of_Life has quit (Excess Flood).
18:56:17 -!- FreeFull has quit.
19:00:59 -!- Lord_of_Life has joined.
19:02:37 -!- Lord_of_Life has quit (Excess Flood).
19:07:32 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
19:15:46 -!- MoALTz has quit (Quit: Leaving).
19:29:20 -!- atslash has joined.
19:30:58 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
19:41:28 -!- hppavilion[1] has joined.
20:04:58 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
20:18:46 -!- erkin has joined.
20:18:49 -!- hppavilion[1] has joined.
20:23:02 -!- Sgeo has joined.
20:24:01 <hppavilion[1]> ...well, I just accidentally identified with Nickserv using ` instead of /
20:24:14 <hppavilion[1]> So I sent my password to HackEgo in PM. Do I need to change it now?
20:25:08 <shachaf> `cat bin/msg
20:25:09 <HackEgo> cat: bin/msg: No such file or directory
20:25:39 <shachaf> Please keep your HackEgo accidental password typing to the public channel in the future.
20:32:06 <quintopia> hello
20:44:19 -!- PinealGlandOptic has joined.
20:46:09 -!- FreeFull has joined.
20:48:06 <fizzie> hppavilion[1]: I believe it does get logged into a file, so from that point of view, maybe.
20:48:48 <hppavilion[1]> fizzie: OK, I think I still have a couple other things with that password.
20:48:50 <hppavilion[1]> Great.
20:52:08 <hppavilion[1]> fizzie: ...I can't figure out how
20:53:11 <fizzie> 20:53 -NickServ(NickServ@services.)- Example:
20:53:11 <fizzie> 20:53 -NickServ(NickServ@services.)-     /msg NickServ SET PASSWORD swordfish
20:53:16 <hppavilion[1]> /msg NickServ SETPASS requires <account>, <key>, and <newpass>. The key is emailed to you before you change your password, but I don't know how to get the key sent
20:53:16 <hppavilion[1]> Oh
20:53:42 <fizzie> You would use SENDPASS & SETPASS if you had forgotten your existing password.
20:53:52 <fizzie> But since you can identify, you can just use SET PASSWORD.
20:54:07 <fizzie> It's not at all confusing that SETPASS and SET PASSWORD do entirely different things.
21:01:22 <shachaf> Using the same password for lots of things is scow.
21:01:46 <shachaf> Speaking of which, should I generate account passwords from a master password and account name?
21:01:51 <shachaf> If so, how should I do it?
21:01:59 <hppavilion[1]> There, using a 128-bit password.
21:02:45 <shachaf> I do it now but I use a bad algorithm.
21:02:52 <hppavilion[1]> shachaf: Yeah, I'm working on killing all the repeated passwords, because I just got a new password generator
21:03:31 <hppavilion[1]> I do have a convention to generate 20+n character passwords, where n is some easy-to-remember string related to the site (such as its name)
21:03:42 <hppavilion[1]> I use that system for my password passwords
21:03:59 <shachaf> n is a string or a number?
21:04:42 -!- LKoen has joined.
21:07:21 <\oren\> https://pbs.twimg.com/media/C7BlMNqWsAIV4o3.jpg:large
21:07:33 <\oren\> europe according to erdogan
21:16:04 -!- PinealGlandOptic has quit (Ping timeout: 260 seconds).
21:17:57 -!- Marcela_Gandara has joined.
21:24:15 -!- hppavilion[1] has quit (Remote host closed the connection).
21:24:44 -!- hppavilion[1] has joined.
21:26:20 -!- AnotherTest has joined.
21:28:15 <\oren\> I prefer the notation {x;0≤x≤1}
21:28:37 <\oren\> makes it perfectly clear what it is
21:31:33 <\oren\> or you could define it externally: let A be the smallest closed, connected subset of ℝ containing both 1 and 0.
21:32:13 -!- augur has joined.
21:34:58 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
21:37:03 -!- augur has quit (Ping timeout: 256 seconds).
21:46:07 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds).
21:46:17 <\oren\> test of skill: grep -r "url_pattern" . | grep -v "\.js" > wtf.txt 
21:46:54 -!- Phantom_Hoover has joined.
21:47:07 <\oren\> can you tell why this is so wrong?
21:47:14 -!- hppavilion[1] has joined.
22:07:14 -!- ibson has joined.
22:07:46 -!- ibson has quit (Client Quit).
22:19:38 -!- Zarutian has joined.
22:25:58 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
22:27:32 -!- hppavilion[1] has joined.
22:28:35 -!- Marcela_Gandara has quit (Ping timeout: 264 seconds).
22:36:24 -!- moonythedwarf has joined.
22:36:26 <moonythedwarf> O
22:37:20 <moonythedwarf> I've been thinking about the possibility, that, if you took The Powder Toy and made it have a infinite grid, it would be turing complete. It is already a finite state machine i think, so thats pretty likely (See all the computers in it ;) ) but i was wondering if there was a way for me to get proof
22:40:14 <hppavilion[1]> I feel like a wave with a period of 1 microsecond (μs) should have a frequency of 1 Megahert (1 MHz)
22:40:36 <HackEgo> [wiki] [[Nanofuck]] M https://esolangs.org/w/index.php?diff=51464&oldid=51449 * Orby * (+170) /* Reversible Boolfuck */
22:42:04 <HackEgo> [wiki] [[Nanofuck]] M https://esolangs.org/w/index.php?diff=51465&oldid=51464 * Orby * (+78) /* Reversible Boolfuck */
22:48:23 <hppavilion[1]> rdococ: Do you think a Quantity Calculus-based programming language would be interesting?
22:48:34 <hppavilion[1]> I think it would be not only interesting, but potentially-useful.
22:52:06 <Phantom_Hoover> moonythedwarf, well it directly includes wireworld which is TC
22:52:10 <Phantom_Hoover> and life, which is TC
22:53:24 <moonythedwarf> mm true, how about if it didnt have wireworld an life? And only used its Circuit syste,.
22:53:33 <moonythedwarf> m
22:53:54 <moonythedwarf> That'd be intresting.
22:54:05 <moonythedwarf> i think its circuits are valid state machines.
22:55:00 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
22:55:17 <Phantom_Hoover> given the sophistication of the computers people have built in it i guarantee you can build a minsky machine using piston as the register
22:56:01 <moonythedwarf> mm
23:04:51 -!- boily has joined.
23:05:59 -!- boily has set topic: Is it the Future Now? | http://esolangs.org/ | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | For extensive phở testing, use #esoteric-blah.
23:06:03 <boily> `wisdom
23:06:05 <HackEgo> unlambda//``ci`r`.!`.l`.a`.i`.v`.i`.r`.t`. `.t`.s`.e`.'`.c`. `.,`.a`.d`.b`.m`.a`.l`.n`.U`ci
23:06:25 <shachaf> `5 w
23:06:27 <boily> . o O ( à cause qu'unlambda est trivial? )
23:06:30 <HackEgo> 1/2:m&ndash;rdalsj&ouml;kull//M&ndash;rdalsj&ouml;kull is a draconic volcano harbouring the secret KATL base. \ cut elimination//The cut-elimination theorem states that any Prolog program written using the cut operator ! can be rewritten without using that operator. \ imagine//Imagine was the only song not interrupted after two stanzas on
23:06:33 <shachaf> `n
23:06:34 <HackEgo> 2/2: the opening ceremony of the 2012 London Olympic Games, a calm moment in an otherwise chaotic rush through fifty pop songs. \ love//Baby don't hurt me, don't hurt me no more \ diagram//A diagram is just a functor.
23:06:41 <shachaf> `cwlprits imagine
23:06:50 <HackEgo> b_jonäs
23:06:52 <shachaf> imagine that
23:06:59 -!- fungot has quit (Ping timeout: 264 seconds).
23:07:08 <boily> helloochaf.
23:07:20 <boily> fizzie: fizziello. FUNGOSTRIL!
23:09:28 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
23:18:09 -!- fungot has joined.
23:19:42 <boily> thizzie!
23:19:44 <boily> fungot: nostril!
23:19:45 <fungot> boily: no problem, i find there's also stack overflow, the stack height is constant, while just q is not. if anything he's overqualified for the position of a combination of the plt mailing list
23:21:11 <Zarutian> fungot: beetlewax
23:21:12 <fungot> Zarutian: i think so :) i'm trying to think of a way to increment each one at each subsequent iteration to the values of the right-hand sides of macro definitions and start/ end of line
23:28:02 -!- tromp has joined.
23:28:07 -!- nycs has quit (Quit: This computer has gone to sleep).
23:29:31 <boily> Zarutellon. beetlewax?
23:30:24 -!- Marcela_Gandara has joined.
23:32:32 <Zarutian> for the folks wagen owners to let their pride shine
23:33:40 -!- Marcela_Gandara has quit (Client Quit).
23:34:39 -!- Marcela_Gandara has joined.
23:37:12 <HackEgo> [wiki] [[Picofuck]] N https://esolangs.org/w/index.php?oldid=51466 * Orby * (+2709) Created page for Picofuck project
23:38:33 <HackEgo> [wiki] [[Talk:Picofuck]] N https://esolangs.org/w/index.php?oldid=51467 * Orby * (+522) Creating talk page
23:39:14 -!- Marcela_Gandara has quit (Read error: Connection reset by peer).
23:39:57 <HackEgo> [wiki] [[Picofuck]] M https://esolangs.org/w/index.php?diff=51468&oldid=51466 * Orby * (+30) /* PF languages */
23:41:23 <HackEgo> [wiki] [[Talk:Picofuck]] M https://esolangs.org/w/index.php?diff=51469&oldid=51467 * Orby * (-15) Fixing sloppy grammar :)
23:42:45 -!- oerjan has joined.
23:44:50 <oerjan> `which msg
23:44:51 <HackEgo> No output.
23:46:08 <izabera> so i have half an idea for a video game
23:46:19 <shachaf> `4 w
23:46:25 <HackEgo> 1/2:the five wisdoms//The first of the five wisdoms is that there is only one wisdom. \ egobot//EgoBot is my arch-nemesis. \ kanada//Your bankers' vain plazas never nutured no one / And your concrete expanses lay fallow in the sun / And your cities all collapsing while your corrupt mayors shrugviolation//Violation is the act of playing an
23:46:26 <Zarutian> izabera: lets here it! Is it an Astroid clone isnt it? ;-Þ
23:46:35 <Zarutian> s/here/hear/
23:46:40 <shachaf> `n
23:46:41 <HackEgo> 2/2: instrument in the viola family.
23:46:46 <izabera> not really <.<
23:47:02 <izabera> so you're a ball thingy
23:47:04 <shachaf> `? kanada
23:47:05 <HackEgo> Your bankers' vain plazas never nutured no one / And your concrete expanses lay fallow in the sun / And your cities all collapsing while your corrupt mayors shrug
23:47:06 <Zarutian> but seriously you tweeked my curiousity
23:47:17 <shachaf> noeol?
23:47:22 <izabera> Zarutian: you're a blue ball thingy and your opponent is a red ball thingy
23:47:34 <izabera> your initial mass is 100 units
23:47:42 <izabera> you shoot bullets to your opponent
23:47:56 <Zarutian> that deplates the mass a bit?
23:47:57 <izabera> these bullets are taken from your mass
23:47:59 <izabera> yeah
23:48:06 <izabera> and you shrink a bit every time you shoot
23:48:15 <izabera> and you're in a room with blue and red walls
23:48:27 <izabera> if a bullet hits a wall, it becomes the color of that wall
23:48:42 <izabera> and if it's blue you can pick it up and your mass grows a bit
23:48:48 <Zarutian> what happens when bullets hit a ball of the same colour?
23:49:02 <izabera> nothing, they get reassorbed
23:49:19 <izabera> when you shoot and hit your opponent, your bullet is destroyed and your opponent loses 2 mass units
23:49:34 <HackEgo> [wiki] [[Picofuck]]  https://esolangs.org/w/index.php?diff=51470&oldid=51468 * Orby * (+404) Defining RBF
23:49:49 -!- Marcela_Gandara has joined.
23:50:08 <izabera> if you reach 0 mass units you die and your opponent wins
23:50:10 <Zarutian> so the tactics is to get your opponent to shoot bullets that become your colour so you can gain mass to shoot them?
23:50:14 <oerjan> `cwlprits kanada
23:50:23 <HackEgo> km̈c
23:50:28 <oerjan> `dowg kanada
23:50:36 <HackEgo> 4467:2014-02-19 <km̈c> printf "Your bankers\' vain plazas never nutured no one / And your concrete expanses lay fallow in the sun / And your cities all collapsing while your corrupt mayors shrug" > wisdom/kanada
23:50:51 <oerjan> printf!
23:50:52 <Zarutian> izabera: I have a name for your game idea: Effective Mass
23:51:02 <izabera> mass effect ripoff
23:51:21 <oerjan> `` printf "\n" >>wisdom/kanada
23:51:25 <HackEgo> No output.
23:51:25 <izabera> i think the idea is somewhat similar to locoroco
23:51:28 <izabera> not sure if you know it
23:51:38 <Zarutian> never heard of it until now I think
23:51:39 <oerjan> `? kanada
23:51:41 <HackEgo> Your bankers' vain plazas never nutured no one / And your concrete expanses lay fallow in the sun / And your cities all collapsing while your corrupt mayors shrug
23:51:42 <izabera> but in locoroco you don't shoot
23:51:53 <oerjan> `cwlprits kanada
23:51:59 <HackEgo> [wiki] [[Works in progress]]  https://esolangs.org/w/index.php?diff=51471&oldid=44511 * Orby * (+82) Adding Picofuck
23:52:00 <HackEgo> oerjän km̈c
23:52:04 <oerjan> must have worked
23:52:21 <shachaf> you should test it by running `5 w repeatedly until it comes up again hth
23:52:41 <oerjan> O KAY
23:53:42 <shachaf> `5 w
23:53:47 <HackEgo> 1/2:progress bar//<fizzie> ▏ ▎ ▍ ▌ ▋ ▊ ▉ █ hth \ superexponential growth//Superexponential growth? SUPEREXPONENTIAL GROWTH?! HOLY CRAP!!! \ pspace//PSPACE is the complexity class of Problem SPACEs. It is the same as P, by an herbal reduction. \ zzo38mtg//http://zzo38computer.org/textfile/miscellaneous/magic_card/cards.txt
23:53:49 <shachaf> `n
23:53:50 <HackEgo> 2/2:\ in//In 1492 Columbus sailed the ocean blue.
23:53:51 <Zarutian> izabera: well, now hear me out. I have an mechanism idea for RPG-like social interaction game that is mostly offline or does not require low latency online connection.
23:53:57 <HackEgo> [wiki] [[Talk:Picofuck]]  https://esolangs.org/w/index.php?diff=51472&oldid=51469 * Orby * (+0) 
23:54:08 <shachaf> `dowg in
23:54:17 <HackEgo> 7445:2016-04-17 <b_jonäs> learn In 1492 Columbus sailed the ocean blue. \ 7444:2016-04-17 <b_jonäs> learn In your dreams, sucker!
23:54:30 <izabera> go on
23:54:37 <shachaf> `slwd in//s/Columbus/Jesus/
23:54:39 <HackEgo> in//In 1492 Jesus sailed the ocean blue.
23:55:06 <Zarutian> izabera: are you familiar with the idea of anti-objects? That is using emergent behaviour as an programming model?
23:55:20 <oerjan> herbal? i must be missing a pun.
23:55:30 <izabera> uh not sure, never heard of them
23:56:15 <Zarutian> izabera: one example is ghost pathfinding in a pacman clone. Each tile of the maze maintains pacman smell and tells its neighbouring tiles.
23:56:28 <shachaf> `dowg pspace
23:56:36 <HackEgo> 9284:2016-10-14 <alercäh> learn PSPACE is the complexity class of Problem SPACEs. It is the same as P, by an herbal reduction.
23:56:49 <oerjan> alercah: plz explain
23:57:27 <Zarutian> izabera: So the pacman smell diffuses through out the maze. What the ghost then simply do is to move to a neighbouring tile that has higher pac man smell than the tile they are on.
23:58:05 <oerjan> `? smell
23:58:07 <HackEgo> Smell is a sense, which is particularly strong in old factory sites.
23:58:45 -!- Marcela_Gandara has quit (Read error: Connection reset by peer).
23:59:17 <izabera> Zarutian: and how do you use this?
23:59:24 <Zarutian> izabera: what I thought of is to use a similiar mechanism to do path finding to exits inside an snell|room|map-part of an RPG and other such things of intrest to NPCs and possibly mobs.
23:59:53 <boily> `wisdom
23:59:55 <HackEgo> megalun//megalun is a chain of a million SCSI devices. FreeFull weighs 482 of them.
23:59:59 <HackEgo> [wiki] [[Special:Log/newusers]] create  * Programmer5000 *  New user account