> 1590710604 250430 PRIVMSG #esoteric :14[[07Meander14]]4 M10 02https://esolangs.org/w/index.php?diff=73035&oldid=40142 5* 03DmilkaSTD 5* (+17) 10User:
> 1590710676 977856 PRIVMSG #esoteric :14[[07Crazy14]]4 M10 02https://esolangs.org/w/index.php?diff=73036&oldid=66392 5* 03DmilkaSTD 5* (+11) 10- User:
> 1590710901 652132 PRIVMSG #esoteric :14[[07User talk:TehZ14]]4 10 02https://esolangs.org/w/index.php?diff=73037&oldid=34795 5* 03DmilkaSTD 5* (+139) 10
> 1590711045 956157 PRIVMSG #esoteric :14[[07Minebit14]]4 10 02https://esolangs.org/w/index.php?diff=73038&oldid=49761 5* 03DmilkaSTD 5* (+5) 10- User: + M
> 1590711112 30415 PRIVMSG #esoteric :14[[07Minebit14]]4 M10 02https://esolangs.org/w/index.php?diff=73039&oldid=73038 5* 03DmilkaSTD 5* (-5) 10t
> 1590711147 254574 PRIVMSG #esoteric :14[[07Minebit14]]4 M10 02https://esolangs.org/w/index.php?diff=73040&oldid=73039 5* 03DmilkaSTD 5* (+5) 10-t
> 1590711692 283324 PRIVMSG #esoteric :14[[07Brainmaker14]]4 10 02https://esolangs.org/w/index.php?diff=73041&oldid=73027 5* 03DmilkaSTD 5* (-48) 10I was ignorant
> 1590711745 410090 PRIVMSG #esoteric :14[[07Brainmaker14]]4 10 02https://esolangs.org/w/index.php?diff=73042&oldid=73041 5* 03DmilkaSTD 5* (+48) 10mess
> 1590711794 744829 PRIVMSG #esoteric :14[[07Brainmaker14]]4 10 02https://esolangs.org/w/index.php?diff=73043&oldid=73042 5* 03DmilkaSTD 5* (-64) 10Sorry ;-;
< 1590712216 12437 :arseniiv_!~arseniiv@136.169.205.185 JOIN :#esoteric
< 1590712362 98984 :arseniiv!~arseniiv@95.105.5.215.dynamic.ufanet.ru QUIT :Ping timeout: 246 seconds
< 1590712584 892743 :arseniiv_!~arseniiv@136.169.205.185 QUIT :Ping timeout: 272 seconds
< 1590716167 954281 :ArthurSt1ong!~ArthurStr@46-133-103-183.mobile.vf-ua.net QUIT :Ping timeout: 246 seconds
< 1590718661 56238 :TellsTogo!b2751b2c@178-117-27-44.access.telenet.be JOIN :#esoteric
< 1590719023 941476 :ArthurStrong!~ArthurStr@46-133-103-183.mobile.vf-ua.net JOIN :#esoteric
< 1590720529 149426 :adu!~arobbins@c-73-129-154-238.hsd1.md.comcast.net JOIN :#esoteric
< 1590726702 268432 :tromp!~tromp@2a02:a210:ca3:2800:39a5:d7db:7b8e:ee59 QUIT :Remote host closed the connection
> 1590729788 82666 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03SummerGlau 5*  10New user account
> 1590730926 261020 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=73044&oldid=72891 5* 03SummerGlau 5* (+240) 10Introducing Summer Glau
> 1590730986 866396 PRIVMSG #esoteric :14[[07Rockstar14]]4 10 02https://esolangs.org/w/index.php?diff=73045&oldid=60530 5* 03SummerGlau 5* (+95) 10Add the excellent NDC conference video link (timing to Rockstar sequence but all the conference is great to see!)
< 1590731683 460123 :LKoen!~LKoen___@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr JOIN :#esoteric
< 1590732978 443007 :tromp!~tromp@2a02:a210:ca3:2800:582d:b238:18de:e5f6 JOIN :#esoteric
< 1590733091 361608 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer
< 1590736140 990026 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 256 seconds
< 1590736306 948572 :ArthurStrong!~ArthurStr@46-133-103-183.mobile.vf-ua.net QUIT :Ping timeout: 246 seconds
< 1590736754 933121 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 JOIN :#esoteric
< 1590736794 37668 :AdrameleK!AdrameleK@cpe-65-31-94-40.wi.res.rr.com JOIN :#esoteric
< 1590738379 859708 :b_jonas!~x@catv-176-63-12-32.catv.broadband.hu QUIT :Read error: Connection reset by peer
< 1590739458 98099 :tromp_!~tromp@2a02:a210:ca3:2800:e801:449d:2cfc:39ba JOIN :#esoteric
< 1590739695 527780 :tromp!~tromp@2a02:a210:ca3:2800:582d:b238:18de:e5f6 QUIT :Ping timeout: 272 seconds
< 1590739787 190141 :cpressey!~cpressey@88.144.95.15 JOIN :#esoteric
< 1590740563 421364 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1590740992 881901 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric
< 1590741038 378681 :adu!~arobbins@c-73-129-154-238.hsd1.md.comcast.net QUIT :Quit: adu
< 1590741287 852267 :cpressey!~cpressey@88.144.95.15 PRIVMSG #esoteric :On the subject of semigroups. You can take the quotient of a semigroup by an equivalence relation to get another semigroup. The notation is: S/~ is the quotient semigroup of S.
< 1590741334 317000 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :Yes
< 1590741334 418374 :cpressey!~cpressey@88.144.95.15 PRIVMSG #esoteric :But what if S/~ has more structure that just a semigroup?  Can you say, "S/~ is the quotient group of the semigroup S"?
< 1590741345 926461 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :Hmm
< 1590741359 756600 :cpressey!~cpressey@88.144.95.15 PRIVMSG #esoteric :I mean, I'm sure you *can*, but to what extent do you have to explain the situation
< 1590741370 164400 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :I'd say "C/~ is a quotient semigroup of the semigroup S that happens to have a group structure"
< 1590741392 641153 :cpressey!~cpressey@88.144.95.15 PRIVMSG #esoteric :That makes sense.
< 1590741412 227859 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :I once had a semigroup theory lecture interrupted by a fire
< 1590741659 482709 :cpressey!~cpressey@88.144.95.15 PRIVMSG #esoteric :Oh dear.  I do hope those two events were mostly coincidental.
< 1590741677 686956 :cpressey!~cpressey@88.144.95.15 PRIVMSG #esoteric :Would hate to think of a group of arsonists with something against abstract algebra.
< 1590741978 138862 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :Nah, it was a kitchen fire in a cafeteria nearby
< 1590742031 114484 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :Still, was rather exciting at the time
< 1590742135 75895 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 QUIT :Remote host closed the connection
< 1590742191 320550 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :hey cpressey I finished reading "A tantalising introduction to semigroups" today
< 1590742254 752645 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :yes in group theory we do G/N quotient by a normal subgroups
< 1590742290 389386 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :in semigroup theory we quotient by compatable relations the kernel relation is defined for any homomorphism between semigroups
< 1590742620 34386 :cpressey!~cpressey@88.144.95.15 PRIVMSG #esoteric :The reason I'm interested is because I want to write a better explanation of Burro.  If B is the set of Burro program texts and ~ is the equivalence relation "represents the same Burro program", then B/~ is the set of Burro programs.  B is a monoid but B/~ is a group.
< 1590743033 312569 :cpressey!~cpressey@88.144.95.15 PRIVMSG #esoteric :Because B/~ is a group, for every program a in B/~ there exists a unique program b in B/~ s.t. a*b=e, where * is composition and e is the null program.
< 1590743189 280582 :cpressey!~cpressey@88.144.95.15 PRIVMSG #esoteric :This induces: For every program text a in B there exists a program text b in B such that a/~ * b/~ = e/~ -- so to speak.
< 1590743468 686900 :cpressey!~cpressey@88.144.95.15 PRIVMSG #esoteric :run(a)*run(b)=run("") might be a clearer way to express that.  Or indeed [[a]]*[[b]]=[[]].
< 1590743509 318105 :cpressey!~cpressey@88.144.95.15 PRIVMSG #esoteric :It's the evaluation function that induces the equivalence relation, after all.
< 1590744482 875214 :cpressey!~cpressey@88.144.95.15 QUIT :Quit: WeeChat 1.9.1
< 1590744800 889240 :cpressey!~cpressey@88.144.95.15 JOIN :#esoteric
< 1590744885 745026 :cpressey!~cpressey@88.144.95.15 PRIVMSG #esoteric :Weird. Half the internet just died for me. GitHub, DuckDuckGo, BBC -- none of them work. But my site still does, and other smaller sites.
< 1590744889 813897 :cpressey!~cpressey@88.144.95.15 PRIVMSG #esoteric :And IRC still does!
< 1590745080 30420 :TellsTogo!b2751b2c@178-117-27-44.access.telenet.be QUIT :Ping timeout: 245 seconds
< 1590745156 116259 :cpressey!~cpressey@88.144.95.15 PRIVMSG #esoteric :Google and Slack are down, too. But, like, my bank's site is still up.
< 1590745160 839360 :cpressey!~cpressey@88.144.95.15 PRIVMSG #esoteric :Is anyone else seeing this?
< 1590745212 56840 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :yen
< 1590746104 209475 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net QUIT :Read error: Connection reset by peer
< 1590746192 928364 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 JOIN :#esoteric
< 1590747174 766672 :cpressey!~cpressey@88.144.95.15 PRIVMSG #esoteric :esolangs.org is still up, that's good
< 1590747232 276869 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :That's the only important website
< 1590747811 401862 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 260 seconds
< 1590748062 730070 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net JOIN :#esoteric
< 1590748299 634952 :xavo[m]!undersco1@gateway/shell/matrix.org/x-ftvkerfmuakirxky PART #esoteric :"Kicked by @appservice-irc:matrix.org  : Idle for 30+ days"
< 1590748435 280290 :cpressey!~cpressey@88.144.95.15 PRIVMSG #esoteric :It all appears to back up now
< 1590748966 26320 :arseniiv_!~arseniiv@136.169.205.185 JOIN :#esoteric
< 1590749428 362202 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1590749602 24152 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1590749702 914379 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 256 seconds
< 1590749703 58704 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life
< 1590750203 382062 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: leaving
< 1590753316 814891 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 QUIT :Remote host closed the connection
< 1590753608 254964 :cpressey!~cpressey@88.144.95.15 QUIT :Quit: WeeChat 1.9.1
< 1590753636 518296 :S_Gautam!uid286066@gateway/web/irccloud.com/x-ybfxehyjczhlqjvt JOIN :#esoteric
< 1590753643 801949 :S_Gautam!uid286066@gateway/web/irccloud.com/x-ybfxehyjczhlqjvt QUIT :Changing host
< 1590753643 802004 :S_Gautam!uid286066@unaffiliated/gautams JOIN :#esoteric
< 1590753643 903280 :S_Gautam!uid286066@unaffiliated/gautams QUIT :Changing host
< 1590753643 903329 :S_Gautam!uid286066@gateway/web/irccloud.com/x-ybfxehyjczhlqjvt JOIN :#esoteric
< 1590754726 970143 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 272 seconds
< 1590754742 612602 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric
< 1590755357 547670 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 258 seconds
< 1590755459 896391 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric
< 1590755599 973765 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric
< 1590755616 850186 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :<cpressey> Weird. Half the internet just died for me. ← perhaps your DNS server died? then you'd only be able to visit sites for which your browser had the IP address cached
< 1590755669 862391 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(or where the IP address had been cached by some other part of your network stack)
< 1590755732 375758 :int-e!~noone@int-e.eu PRIVMSG #esoteric :hmm. Does Not Serve
< 1590755974 128660 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :My naive sudoku DPLL solver was much faster than my somewhat less naive DPLL SAT solver at solving sudoku puzzles.
< 1590755984 730246 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :At first I was frustrated by it, but then I realized my encoding was bad:
< 1590756022 860582 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I gave it constraints like "at least one of each digit in each row", where I should have given it "at most one" instead, since that was truer to what the direct solver was doing.
< 1590756063 836056 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :would giving /both/ constraints make it faster or slower?
< 1590756089 491906 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :my intuition says that the more constraints you can give a SAT solver, the better; but I don't know whether that's true for algorithms used by SAT solvers in practice
> 1590756179 727925 PRIVMSG #esoteric :14[[07Brainmaker14]]4 M10 02https://esolangs.org/w/index.php?diff=73046&oldid=73043 5* 03PythonshellDebugwindow 5* (-5) 10eso styles
> 1590756220 923849 PRIVMSG #esoteric :14[[07Meta Turing-complete14]]4 M10 02https://esolangs.org/w/index.php?diff=73047&oldid=30899 5* 03PythonshellDebugwindow 5* (+23) 10
< 1590756223 626494 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I suspect it's mostly true, unless the clauses are pretty useless.
< 1590756241 974269 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't know that these "at least" clauses are very useful.
< 1590756383 333016 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Also, my naive sudoku solver was fast on the few instances I tried it on, but when I tried it on a bunch more it took as much as 70 seconds.
< 1590756478 49726 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(I wrote it in Python in about 20 minutes a few months ago, it's not meant to be fast or anything.)
< 1590756507 998326 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I wonder whether random variable ordering + Luby restarts would speed it up a lot. Probably?
< 1590756612 159992 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this reminds me of the time when there was a spontaneous unofficial competition to write Polarium solvers
< 1590756616 108380 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the winner turned out to be a SAT solver
< 1590756625 106872 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :configured to understand Polarium
< 1590756646 604387 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's pretty promising.
< 1590756726 620735 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(the rules of Polarium: you have an m by n grid, the cells at the border are all gray, the others are each either black or white; you need to come up with a continuous non-self-intersecting path of squares connected at their edges, starting and ending anywhere, that for each horizontal row on the grid, either goes through every black square on the row but no white squares, or through every white square on the grid but no black squares)
< 1590756803 718242 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Every white square on the grid?
< 1590756823 597388 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err, on the row
< 1590756825 40166 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not the grdi
< 1590756827 403768 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :sorry
< 1590756875 936165 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it strikes me that there's no particular reason why puzzles should confine themselves to gray squares at the border but nowhere else, but that seems to be the convention
< 1590757016 260959 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is it http://bach.istc.kobe-u.ac.jp/copris/puzzles/polarium/index.html ?
< 1590757057 217038 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I should make my SAT solver good.
< 1590757068 480843 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I bet it's not that much more work to make it acceptable.
< 1590757195 14900 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that appears to be a solver for the same puzzle, although it appears to have been created independently of our competition
< 1590757213 900199 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes, it was created before the competition started
< 1590757687 462345 :cpressey!~cpressey@88.144.95.15 JOIN :#esoteric
> 1590759057 906138 PRIVMSG #esoteric :14[[07EE14]]4 M10 02https://esolangs.org/w/index.php?diff=73048&oldid=68687 5* 03PythonshellDebugwindow 5* (+77) 10cats, rm empty heaer
< 1590759248 977676 :adu!~arobbins@c-73-129-154-238.hsd1.md.comcast.net JOIN :#esoteric
> 1590759304 47597 PRIVMSG #esoteric :14[[07Eul14]]4 M10 02https://esolangs.org/w/index.php?diff=73049&oldid=58446 5* 03PythonshellDebugwindow 5* (+18) 10/* You can learn more about Eul at github */
> 1590759315 356162 PRIVMSG #esoteric :14[[07Eul14]]4 M10 02https://esolangs.org/w/index.php?diff=73050&oldid=73049 5* 03PythonshellDebugwindow 5* (-1) 10/* Example programs */
> 1590759489 159544 PRIVMSG #esoteric :14[[07Hash function14]]4 M10 02https://esolangs.org/w/index.php?diff=73051&oldid=61050 5* 03PythonshellDebugwindow 5* (+7) 10
< 1590760273 989095 :adu!~arobbins@c-73-129-154-238.hsd1.md.comcast.net QUIT :Ping timeout: 264 seconds
< 1590760418 37472 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: quit
< 1590760485 3336 :adu!~arobbins@c-73-129-154-238.hsd1.md.comcast.net JOIN :#esoteric
< 1590760497 384178 :adu!~arobbins@c-73-129-154-238.hsd1.md.comcast.net QUIT :Client Quit
> 1590760964 586205 PRIVMSG #esoteric :14[[07ON THE WAY TO WHO KNOWS WHERE14]]4 M10 02https://esolangs.org/w/index.php?diff=73052&oldid=55745 5* 03PythonshellDebugwindow 5* (-34) 10rm reduntant header
> 1590760972 737956 PRIVMSG #esoteric :14[[07ON THE WAY TO WHO KNOWS WHERE14]]4 M10 02https://esolangs.org/w/index.php?diff=73053&oldid=73052 5* 03PythonshellDebugwindow 5* (+3) 10
< 1590761098 783725 :zseri!~zseri@ytrizja.de JOIN :#esoteric
< 1590761420 881223 :LKoen!~LKoen___@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr QUIT :Read error: Connection reset by peer
< 1590761453 47168 :LKoen!~LKoen___@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr JOIN :#esoteric
< 1590761458 663430 :LKoen!~LKoen___@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr QUIT :Read error: Connection reset by peer
< 1590761515 45597 :LKoen!~LKoen___@81.255.219.130 JOIN :#esoteric
< 1590762013 343107 :S_Gautam!uid286066@gateway/web/irccloud.com/x-ybfxehyjczhlqjvt QUIT :Quit: Connection closed for inactivity
< 1590763002 169346 :tromp!~tromp@2a02:a210:ca3:2800:d845:4b4c:3dfe:997c JOIN :#esoteric
< 1590763207 135123 :tromp_!~tromp@2a02:a210:ca3:2800:e801:449d:2cfc:39ba QUIT :Ping timeout: 265 seconds
< 1590763294 95431 :tromp!~tromp@2a02:a210:ca3:2800:d845:4b4c:3dfe:997c QUIT :Ping timeout: 265 seconds
> 1590763397 465232 PRIVMSG #esoteric :14[[07Forbin14]]4 10 02https://esolangs.org/w/index.php?diff=73054&oldid=72998 5* 03PythonshellDebugwindow 5* (+2335) 10/* Overview */ more to go
< 1590763672 55024 :tromp!~tromp@2a02:a210:ca3:2800:d845:4b4c:3dfe:997c JOIN :#esoteric
< 1590764002 78477 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric
> 1590764948 539857 PRIVMSG #esoteric :14[[07Forbin14]]4 M10 02https://esolangs.org/w/index.php?diff=73055&oldid=73054 5* 03PythonshellDebugwindow 5* (+62) 10
< 1590765443 513332 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net QUIT :Read error: Connection reset by peer
< 1590766379 707851 :tromp!~tromp@2a02:a210:ca3:2800:d845:4b4c:3dfe:997c QUIT :Remote host closed the connection
< 1590766522 530126 :b_jonas!~x@catv-176-63-11-231.catv.broadband.hu JOIN :#esoteric
< 1590767014 868257 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric
< 1590767715 12080 :imode!~linear@unaffiliated/imode JOIN :#esoteric
< 1590768083 996884 :cpressey!~cpressey@88.144.95.15 QUIT :Quit: WeeChat 1.9.1
< 1590768157 76666 :arseniiv_!~arseniiv@136.169.205.185 PRIVMSG #esoteric :linear algebra isn’t free of foundational issues even in interesting parts: “for U a subspace of V there exists a subspace U′ ⊂ V st U ⊕ U′ = V” requires axiom of choice
< 1590768160 604038 :arseniiv_!~arseniiv@136.169.205.185 NICK :arseniiv
< 1590768251 854204 :arseniiv!~arseniiv@136.169.205.185 PRIVMSG #esoteric :“Hom(U, V) is nonempty for any subspace U of V” too
< 1590768451 892104 :arseniiv!~arseniiv@136.169.205.185 PRIVMSG #esoteric :I stumbled upon these when proving that the only linear operators commuting with any other are scalar ones: if the space has no structures on it and is not finite-dimensional, we’ll need either U′ or a map from above to complete two operators making counterexamples to the two exhaustive cases when an operator fails to be a scalar one
< 1590768503 888209 :arseniiv!~arseniiv@136.169.205.185 PRIVMSG #esoteric :the proof modulo invocation of those “foundational-issue-y” facts is almost trivial and neat
< 1590768521 928848 :b_jonas!~x@catv-176-63-11-231.catv.broadband.hu PRIVMSG #esoteric :arseniiv: I heard that you need the axiom of choice to prove that vector spaces have a vector space basis, but not that you already need it for that first statement
< 1590768539 881385 :b_jonas!~x@catv-176-63-11-231.catv.broadband.hu PRIVMSG #esoteric :but I guess it makes sense in hindsight
< 1590768551 355200 :b_jonas!~x@catv-176-63-11-231.catv.broadband.hu PRIVMSG #esoteric :hmm wait
< 1590768584 204584 :b_jonas!~x@catv-176-63-11-231.catv.broadband.hu PRIVMSG #esoteric :dunno
< 1590768683 785002 :arseniiv!~arseniiv@136.169.205.185 PRIVMSG #esoteric :b_jonas: I was said AC is needed for the ⊕ thing at least
< 1590768704 789547 :arseniiv!~arseniiv@136.169.205.185 PRIVMSG #esoteric :and hopefully they are interchangeable…
< 1590768735 320633 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :I find it interesting that in ZF¬C, there's a vector space without a basis
< 1590768832 426767 :arseniiv!~arseniiv@136.169.205.185 PRIVMSG #esoteric :Taneb: ah! You reminded I wanted to see what that scalar operator theorem turns into in this case. It seems there should exist an “all-commuting” operator which isn’t scalar?
< 1590769451 681725 :arseniiv!~arseniiv@136.169.205.185 PRIVMSG #esoteric :hm this way it feels too strong. I think it should be just “may exist”? even in ZF¬C, not just in ZF
< 1590769903 164008 :tromp!~tromp@2a02:a210:ca3:2800:d845:4b4c:3dfe:997c JOIN :#esoteric
< 1590770914 485045 :ArthurStrong!~ArthurStr@46-133-103-183.mobile.vf-ua.net JOIN :#esoteric
< 1590771283 884213 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds
< 1590771359 814579 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric
< 1590771535 715984 :AdrameleK!AdrameleK@cpe-65-31-94-40.wi.res.rr.com PART :#esoteric
< 1590771967 54395 :b_jonas!~x@catv-176-63-11-231.catv.broadband.hu PRIVMSG #esoteric :`learn_append california//. WARNING: The area of California is made of chemicals known to the State of California to cause cancer and birth defects or other reproductive harm.
< 1590771968 468738 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Usage: le/rn_append keyword//Text you'd like to append.
< 1590771978 251978 :b_jonas!~x@catv-176-63-11-231.catv.broadband.hu PRIVMSG #esoteric :`le/rn_append california//. WARNING: The area of California is made of chemicals known to the State of California to cause cancer and birth defects or other reproductive harm.
< 1590771980 899626 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Learned 'california': California is pronounced "Caliphate-ornery-I-A" . WARNING: The area of California is made of chemicals known to the State of California to cause cancer and birth defects or other reproductive harm.
< 1590771987 239595 :b_jonas!~x@catv-176-63-11-231.catv.broadband.hu PRIVMSG #esoteric :no, drop that space
< 1590772011 845466 :b_jonas!~x@catv-176-63-11-231.catv.broadband.hu PRIVMSG #esoteric :``` sed -i 's/" ./"./' /hackenv/wisdom/california
< 1590772013 937719 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​/hackenv/wisdom/california//California is pronounced "Caliphate-ornery-I-A". WARNING: The area of California is made of chemicals known to the State of California to cause cancer and birth defects or other reproductive harm.
< 1590772020 532027 :b_jonas!~x@catv-176-63-11-231.catv.broadband.hu PRIVMSG #esoteric :`? california
< 1590772022 913470 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :California is pronounced "Caliphate-ornery-I-A". WARNING: The area of California is made of chemicals known to the State of California to cause cancer and birth defects or other reproductive harm.
> 1590772763 407937 PRIVMSG #esoteric :14[[07Minebit14]]4 M10 02https://esolangs.org/w/index.php?diff=73056&oldid=73040 5* 03PythonshellDebugwindow 5* (-5) 10style guide says user should have visible prefix
> 1590772812 840785 PRIVMSG #esoteric :14[[07Screwtape14]]4 M10 02https://esolangs.org/w/index.php?diff=73057&oldid=47306 5* 03PythonshellDebugwindow 5* (+23) 10
< 1590772946 72808 :b_jonas!~x@catv-176-63-11-231.catv.broadband.hu PRIVMSG #esoteric :`tty
< 1590772946 763840 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :not a tty
< 1590773123 814621 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds
< 1590774383 470028 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 260 seconds
< 1590775211 951113 :Frater_EST!adrianbibl@172.242.0.73 JOIN :#esoteric
< 1590775889 769971 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric
> 1590775991 492461 PRIVMSG #esoteric :14[[07User talk:PythonshellDebugwindow14]]4 N10 02https://esolangs.org/w/index.php?oldid=73058 5* 03DmilkaSTD 5* (+186) 10Created page with "== So wait == You vote for the User:Username, but I vote for just Username. That means we are enemies :--~~~~"
> 1590776004 404523 PRIVMSG #esoteric :14[[07User talk:PythonshellDebugwindow14]]4 10 02https://esolangs.org/w/index.php?diff=73059&oldid=73058 5* 03DmilkaSTD 5* (+4) 10
< 1590776034 429885 :Frater_EST!adrianbibl@172.242.0.73 PART :#esoteric
< 1590776148 63078 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :In LLVM, what are the differences between "freeze i1 undef" and the @llvm.experimental.widenable.condition intrinsic?
> 1590776542 170696 PRIVMSG #esoteric :14[[07Css script14]]4 10 02https://esolangs.org/w/index.php?diff=73060&oldid=70746 5* 03DmilkaSTD 5* (+46) 10
< 1590776798 996595 :Frater_EST!adrianbibl@172.242.0.73 JOIN :#esoteric
> 1590776807 715631 PRIVMSG #esoteric :14[[07Daoyu14]]4 M10 02https://esolangs.org/w/index.php?diff=73061&oldid=67990 5* 03Kaynato 5* (+12) 10Daoyu is homoiconic.
< 1590777163 811203 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds
> 1590777281 773734 PRIVMSG #esoteric :14[[07StubScript14]]4 10 02https://esolangs.org/w/index.php?diff=73062&oldid=68178 5* 03DmilkaSTD 5* (+59) 10
< 1590778110 784599 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric
> 1590778490 504179 PRIVMSG #esoteric :14[[07Fscratch14]]4 N10 02https://esolangs.org/w/index.php?oldid=73063 5* 03DmilkaSTD 5* (+316) 10Created page with "Fscratch is a language made by [https://scratch.mit.edu/users/herohamp/ herohamp] in a website called Scratch, and it's been ported to this wiki by [[User:DmilkaSTD|DmilkaSTD]..."
> 1590778538 712134 PRIVMSG #esoteric :14[[07Fscratch14]]4 10 02https://esolangs.org/w/index.php?diff=73064&oldid=73063 5* 03DmilkaSTD 5* (+27) 10
> 1590778971 975618 PRIVMSG #esoteric :14[[07Fscratch14]]4 10 02https://esolangs.org/w/index.php?diff=73065&oldid=73064 5* 03DmilkaSTD 5* (+423) 10
> 1590779023 416602 PRIVMSG #esoteric :14[[07Fscratch14]]4 10 02https://esolangs.org/w/index.php?diff=73066&oldid=73065 5* 03DmilkaSTD 5* (-2) 10
< 1590779496 677652 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Quit: quit
< 1590779840 471226 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 JOIN :#esoteric
< 1590780760 211143 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 QUIT :Remote host closed the connection
< 1590780958 545436 :user24!~user24@2a02:810a:1440:7304:569:180e:268c:fcfd JOIN :#esoteric
< 1590781448 206707 :user24!~user24@2a02:810a:1440:7304:569:180e:268c:fcfd QUIT :Remote host closed the connection
> 1590781548 865158 PRIVMSG #esoteric :14[[07Fscratch14]]4 10 02https://esolangs.org/w/index.php?diff=73067&oldid=73066 5* 03DmilkaSTD 5* (+1353) 10
< 1590781675 995514 :Frater_EST!adrianbibl@172.242.0.73 PART :#esoteric
> 1590781730 189818 PRIVMSG #esoteric :14[[07Fscratch14]]4 M10 02https://esolangs.org/w/index.php?diff=73068&oldid=73067 5* 03PythonshellDebugwindow 5* (+4) 10/* Item data type */
> 1590782426 152230 PRIVMSG #esoteric :14[[07Fscratch14]]4 10 02https://esolangs.org/w/index.php?diff=73069&oldid=73068 5* 03DmilkaSTD 5* (+1056) 10
< 1590783810 463528 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1590783872 26287 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 246 seconds
< 1590783981 568958 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life
< 1590785031 984300 :arseniiv_!~arseniiv@136.169.200.160 JOIN :#esoteric
< 1590785190 11119 :arseniiv!~arseniiv@136.169.205.185 QUIT :Ping timeout: 246 seconds
< 1590785316 43247 :rain1!~debian@unaffiliated/rain1 QUIT :Ping timeout: 246 seconds
< 1590785895 337574 :ArthurSt1ong!~ArthurStr@128-124-42-228.mobile.vf-ua.net JOIN :#esoteric
< 1590786009 536250 :ArthurStrong!~ArthurStr@46-133-103-183.mobile.vf-ua.net QUIT :Read error: Connection reset by peer
> 1590786402 628607 PRIVMSG #esoteric :14[[07Forbin14]]4 10 02https://esolangs.org/w/index.php?diff=73070&oldid=73055 5* 03PythonshellDebugwindow 5* (+981) 10
> 1590787736 451098 PRIVMSG #esoteric :14[[07SpaghettiScript14]]4 M10 02https://esolangs.org/w/index.php?diff=73071&oldid=73018 5* 03UltimateProGrammer 5* (+115) 10Add implementation to page
< 1590788675 974076 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 JOIN :#esoteric
< 1590788911 112630 :tromp!~tromp@2a02:a210:ca3:2800:d845:4b4c:3dfe:997c QUIT :Remote host closed the connection
< 1590789467 993534 :tromp!~tromp@2a02:a210:ca3:2800:d845:4b4c:3dfe:997c JOIN :#esoteric
< 1590790526 697165 :LKoen!~LKoen___@81.255.219.130 QUIT :Remote host closed the connection
> 1590791596 124084 PRIVMSG #esoteric :14[[07User talk:PythonshellDebugwindow14]]4 10 02https://esolangs.org/w/index.php?diff=73072&oldid=73059 5* 03Ais523 5* (+1012) 10r to DmilkaSTD
> 1590791631 732126 PRIVMSG #esoteric :14[[07Fscratch14]]4 M10 02https://esolangs.org/w/index.php?diff=73073&oldid=73069 5* 03Ais523 5* (-10) 10unpipe cross-namespace link
> 1590791708 950573 PRIVMSG #esoteric :14[[07BF-ASM:814]]4 M10 02https://esolangs.org/w/index.php?diff=73074&oldid=69540 5* 03Ais523 5* (-20) 10unpipe cross-namespace link
> 1590791752 537991 PRIVMSG #esoteric :14[[07(HA)pple waITING14]]4 M10 02https://esolangs.org/w/index.php?diff=73075&oldid=72156 5* 03Ais523 5* (-11) 10unpipe cross-namespace link
< 1590792796 987554 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1590792934 486538 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 240 seconds
< 1590792969 796907 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life
< 1590794251 250467 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric
< 1590794316 127520 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 QUIT :Remote host closed the connection
< 1590796146 894113 :arseniiv_!~arseniiv@136.169.200.160 QUIT :Ping timeout: 272 seconds