egg changed the topic of #principia to: Logs: https://esper.irclog.whitequark.org/principia | <scott_manley> anyone that doubts the wisdom of retrograde bop needs to get the hell out | https://xkcd.com/323/ | <egg> calculating the influence of lamont on Pluto is a bit silly…
egg|laptop|egg has joined #principia
raptop has joined #principia
egg|laptop|egg has quit [Remote host closed the connection]
Jesin has quit [Ping timeout: 189 seconds]
<queqiao-_> ⟨S​oviet Onion⟩ yee, I know him only from Hadamard gates though
<queqiao-_> ⟨(​ᴇxᴘᴇʀɪᴍᴇɴᴛᴀʟshells)⟩ https://en.wikipedia.org/wiki/Hadamard%27s_maximal_determinant_problem
<queqiao-_> ⟨S​oviet Onion⟩ thanks, got to know more about him
<queqiao-_> ⟨(​ᴇxᴘᴇʀɪᴍᴇɴᴛᴀʟshells)⟩ this is where the concept of the Hadamard matrix comes from https://en.wikipedia.org/wiki/Hadamard_matrix
<queqiao-_> ⟨S​oviet Onion⟩ ah, from which the gate comes from ultimately? Nice
<queqiao-_> ⟨(​ᴇxᴘᴇʀɪᴍᴇɴᴛᴀʟshells)⟩ in quantum computing, a hadamard gate is literally a gate that is represented by the Hadamard matrix [ (1, 1), (1, -1) ]
<queqiao-_> ⟨(​ᴇxᴘᴇʀɪᴍᴇɴᴛᴀʟshells)⟩ (well, normalized of course)
<queqiao-_> ⟨(​ᴇxᴘᴇʀɪᴍᴇɴᴛᴀʟshells)⟩ I zap myself for inconsistent capitalization
Jesin has joined #principia
egg|laptop|egg has joined #principia
<_whitenotifier> [Principia] rnlahaye opened pull request #3139: Fixed typo in readme. - https://git.io/JVbvE
<_whitenotifier> [Principia] pleroy commented on pull request #3139: Fixed typo in readme. - https://git.io/JVb1W
<_whitenotifier> [Principia] pleroy pushed 2 commits to master [+0/-0/±2] https://git.io/JVb1o
<_whitenotifier> [Principia] rnlahaye 29e41b4 - Fixed typo in readme. Hadamar -> Hadamard
<_whitenotifier> [Principia] pleroy 0b6a2cd - Merge pull request #3139 from rnlahaye/hadamard Fixed typo in readme.
<_whitenotifier> [Principia] pleroy closed pull request #3139: Fixed typo in readme. - https://git.io/JVbvE
_whitelogger has joined #principia
<queqiao-_> ⟨e​gg⟩ I am surprised no-one mentioned the Hadamard–de la Vallée Poussin theorem
<queqiao-_> ⟨S​oviet Onion⟩ I doubt Hadamard is much famous, like other famous mathematicians
egg|laptop|egg_ has joined #principia
egg|laptop|egg has quit [Ping timeout: 189 seconds]
egg|laptop|egg has joined #principia
egg|laptop|egg_ has quit [Ping timeout: 189 seconds]
egg|laptop|egg has quit [Read error: Connection reset by peer]
Majiir has quit [Read error: Connection reset by peer]
<queqiao-_> ⟨P​aculino (ŝi/ri/she/they)⟩ Well, there is a medium length wikipedia page/list of stuff named after Hadamard, so that's something.
egg|laptop|egg has joined #principia
egg|laptop|egg has quit [Remote host closed the connection]
egg|laptop|egg has joined #principia
egg|laptop|egg has quit [Remote host closed the connection]
egg|laptop|egg has joined #principia
egg|laptop|egg has quit [Remote host closed the connection]
egg|laptop|egg has joined #principia
egg|laptop|egg has quit [Remote host closed the connection]
raptop has quit [Ping timeout: 189 seconds]
raptop has joined #principia
egg|laptop|egg has joined #principia