< 1573430448 246326 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1573430453 670335 :moonheart08!~moony@hellomouse/dev/moony QUIT :Ping timeout: 268 seconds < 1573430571 142204 :moony_!~moony@hellomouse/dev/moony QUIT :Read error: Connection reset by peer < 1573430749 177850 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1573431759 977397 :moony_!~moony@hellomouse/dev/moony JOIN :#esoteric < 1573432036 977571 :moony_!~moony@hellomouse/dev/moony QUIT :Ping timeout: 240 seconds < 1573432534 975899 :moony_!~moony@hellomouse/dev/moony JOIN :#esoteric < 1573432797 24153 :moony_!~moony@hellomouse/dev/moony QUIT :Ping timeout: 240 seconds < 1573434495 877382 :moony_!~moony@hellomouse/dev/moony JOIN :#esoteric < 1573435893 858750 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`5 < 1573435895 448489 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1/2:1168) * Sgeo remembers when he believed VRML could never have gravity. Now VRML is dead. (And has gravity) \ 271) I think I managed to make Stack Overflow work on gopher, now. \ 1038) <+kmc> we are amused <+kmc> the royal +v \ 123) Never ever use a quote which contains both the words "aloofness" and "gel" (verb). \ 208) This is good if you are a wheat plant but bad if you like eating wheat seeds < 1573435896 476203 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`n < 1573435897 212457 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :2/2:. < 1573435905 580674 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh no < 1573435914 707535 :moony_!~moony@hellomouse/dev/moony PRIVMSG #esoteric :I took a peek at Seclusion. < 1573435922 129565 :moony_!~moony@hellomouse/dev/moony PRIVMSG #esoteric :Now one of my favorite esolangs < 1573436036 729200 :moony_!~moony@hellomouse/dev/moony PRIVMSG #esoteric :Suprisingly compact for a turing tarpit < 1573436236 516897 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1573436247 154047 :int-e!~noone@int-e.eu PRIVMSG #esoteric :How does aloofness gel with quotes... < 1573436261 195920 :moony_!~moony@hellomouse/dev/moony PRIVMSG #esoteric :hi int-e < 1573436272 264710 :int-e!~noone@int-e.eu PRIVMSG #esoteric :moornyng < 1573436295 45758 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? int-e < 1573436295 859328 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :int-e är inte svensk. Hen kommer att spränga solen. Hen står för sig själv. Hen gillar inte färger, men han gillar dissonans. Er hat ein Hipster-Spiel gekauft. < 1573436344 283588 :int-e!~noone@int-e.eu PRIVMSG #esoteric :let's nuke all the nickname wisdom entries and start from scratch. > 1573436369 209280 PRIVMSG #esoteric :14[[07Esolang:General disclaimer14]]4 10 02https://esolangs.org/w/index.php?diff=67011&oldid=64350 5* 03Moon 5* (+41) 10Was there ever a time where this contained useful content? < 1573436414 444807 :moony_!~moony@hellomouse/dev/moony PRIVMSG #esoteric :Answer: no < 1573436443 772980 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How does two watched literals work with backtracking? < 1573436498 665353 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The thing I imagine doing for 2WL is: You have a queue of literals that are forced to true. When you do unit propagation, you find new literals that are in unit clauses, and push them onto your queue. < 1573436524 865445 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But when you backtrack, do you just discard part of your queue depending on the backtrack level? I don't think that's what people do. < 1573436535 521052 :int-e!~noone@int-e.eu PRIVMSG #esoteric :queue?! < 1573436540 900758 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Not a queue? < 1573436551 477124 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I don't see a queue. < 1573436575 940224 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You think you just set the literals to true directly? < 1573436594 118073 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I feel like you must have a queue or a stack or something. < 1573436606 725827 :moony_!~moony@hellomouse/dev/moony PRIVMSG #esoteric :Also, i've been considering setting up my own mediawiki wiki for general CS < 1573436613 727812 :moony_!~moony@hellomouse/dev/moony PRIVMSG #esoteric :things < 1573436624 654835 :moony_!~moony@hellomouse/dev/moony PRIVMSG #esoteric :(Damn you enter key I wasn't done) < 1573436644 931178 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: The trail is a stack to me. But it's not immediately connected to the watched literals. < 1573436655 277818 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The trail is just the regular stack, that's not what I mean. < 1573436672 777832 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I see no queues in 2WL at all. < 1573436713 122865 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Say you're in some state where you have the clauses (x | y) & (x | z) < 1573436745 836610 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You end up with ¬x. Now you have to infer y and z. Right? < 1573436757 443727 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh, that's where the queue is. < 1573436764 762321 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Then you need to find all the clauses that have ¬y and ¬z as their watched literals. < 1573436769 125412 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Yeah, fair enough. < 1573436831 511447 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And yes, I expect you discard the queue when you find a conflict. You don't touch the 2WL lists either; you have to ensure that every (non-unit) clause is on two lists as you process the literals. < 1573436848 715348 :Sgeo__!~Sgeo@ool-18b982ad.dyn.optonline.net PRIVMSG #esoteric :I was wrong, VRML is not dead: http://create3000.de/x_ite/getting-started/ < 1573436860 86446 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I know you don't need to undo 2WL when you backtrack, which is a neat trick. < 1573436867 697155 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But do you just discard the entire queue? < 1573436875 381561 :int-e!~noone@int-e.eu PRIVMSG #esoteric :sure < 1573436888 399783 :int-e!~noone@int-e.eu PRIVMSG #esoteric :you've found a conflict... you don't need more < 1573436994 234092 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Let me see. Say you have the clause (¬y | x)... < 1573436995 723764 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, I see. < 1573437006 353461 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(I expect you could keep going in hope of finding a nicer conflict clause? But the moment you find a conflict you violate the 2WL invariant that watched literals are not on the trail...) < 1573437024 26036 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can just scrap the whole queue because this was all the propagation step, and the conflict was implied by the initial choice of ¬x. < 1573437048 597090 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There are no decisions made while the queue is nonempty, of course. < 1573437102 701236 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Which probably doesn't matter, but you probably need to be careful not to put a literal and its complement on the trail, at which point conflicts become very much meaningless. It seems messy.) < 1573437137 947284 :int-e!~noone@int-e.eu PRIVMSG #esoteric :You'll still want to keep the processed literals for conflict analysis. < 1573437156 883939 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I started implementing this queue as some kind of circular buffer thing but then I saw what minisat does: < 1573437167 510155 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :They just store the queue on the trail itself, right after all the literals in the trail. < 1573437187 130636 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Then they just adjust the trail end index forward as they pop things off the queue onto the trail. < 1573437192 406836 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So much better. < 1573437217 51854 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Sgeo__: I'm afraid that things don't die anymore... they go out of fashion but linger on. People will just build compatibility layers like the one you linked to. < 1573437268 240552 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: Of course that is where you put the queue... which is why I didn't see it at first. < 1573437286 55845 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right, it's really just the unprocessed part of the trail. < 1573437293 501654 :Sgeo__!~Sgeo@ool-18b982ad.dyn.optonline.net PRIVMSG #esoteric :Technically it's not implementing the VRML spec faithfully. There's also an X3D spec that's a next version VRML, that's still being worked on. < 1573437301 65319 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But I didn't think of it that way at first! < 1573437308 635998 :Sgeo__!~Sgeo@ool-18b982ad.dyn.optonline.net PRIVMSG #esoteric :https://github.com/create3000/x_ite/issues/50 < 1573437377 904124 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Sgeo__: you seem to care a lot about VRML < 1573437406 152769 :Sgeo__!~Sgeo@ool-18b982ad.dyn.optonline.net PRIVMSG #esoteric :I spent some of my childhood in Cybertown, which used VRML, and before then I read a book about VRML < 1573437575 887685 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? chu space < 1573437576 891624 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :A Chu space is just a matrix. Taneb invented them, then Chu stole his invention. < 1573437583 2417 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? matrix < 1573437584 126551 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :A matrix is just a matrix. People use them to communicate. Taneb invented them. < 1573437778 168328 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So the better way to think of this is that some suffix of the trail is "unpropagated" and still needs to be processed. < 1573437917 507774 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? solidity < 1573437918 677342 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Solidity is an esolang for writing contracts. It has good support for secure linear algebra. < 1573437967 972449 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Man, one time I was trying to come up with a clever pun about finance and linear algebra relating to how liquidity behaves nonlinearly. < 1573437971 641056 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But I never made it work. < 1573438141 824664 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :today on schlock mercenary: heavy punning < 1573438185 906214 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`5 w < 1573438188 151860 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1/1:bf//See: brainfuck \ portugoose//Peça ganso assado com natas. \ europe//Europe is the national anthem of the Republic of Kosovo. \ dereduntantation//Dereduntantation is the process of making things less redundant. It is typically done with either regexes or regular expressions. \ theory//To be theory is to be like a theorem, but inferior. < 1573438318 309245 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`cwlprits portugoose < 1573438320 135776 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :boil̈y < 1573438332 300425 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that checks out < 1573438345 336952 :xkapastel!uid17782@gateway/web/irccloud.com/x-ujjrebgpnldmdryb QUIT :Quit: Connection closed for inactivity < 1573441147 959666 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1573443122 381426 :int-e!~noone@int-e.eu PRIVMSG #esoteric :poultry < 1573443420 606178 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Is the solidity entry in any way connected to the matrix of solidity? < 1573443468 123532 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :obviously hth < 1573443470 83013 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@tell oerjan today on schlock mercenary: heavy punning <-- I feel that "Hurtz" would make an excellent unit for punnery. < 1573443470 147569 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1573443530 303119 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: Is it? I mean I'll admit that it is highly suggestive. But that doesn't prove a thing. < 1573443541 906906 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote solidity < 1573443543 82821 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :239) enjoy being locked in your matrix of solidity < 1573443554 666378 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"secure linear algebra"? < 1573443637 108923 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Using multiplication by zero and other forms of cancellation for information hiding. < 1573443742 846851 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Information deletion is a really good method of information hiding. < 1573443794 516842 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 276 seconds < 1573443828 772000 :int-e!~noone@int-e.eu PRIVMSG #esoteric :lattice-based crypto is the other angle I thought of but it doesn't readily connect to finance < 1573443892 829770 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :crypto stands for cryptocurrency so obviously it's always connected to finance hth < 1573443930 307560 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: you should take that message to ##crypto ... it's a good test for whether the ops are around. < 1573443956 701777 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I found this ridiculous article earlier... https://cointelegraph.com/news/bobby-lee-500k-bitcoin-price-flippening-of-gold-will-come-by-2028 < 1573443979 133063 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :speaking of crypto, got any hot ICO tips for me < 1573444052 171724 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Not really. I'm a casual observer at best. < 1573444053 485626 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i sure want to, uh, hodl < 1573444064 354863 :int-e!~noone@int-e.eu PRIVMSG #esoteric :you *will* yolo < 1573444067 865196 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :p. sure my coins are going to the moon < 1573444077 806875 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`coins < 1573444079 259387 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​08thisheacoin 09cacecoin 02millecoin 06olythcoin 13bloopcoin 04isabcoin 07concoin 08paviacoin 09ctnrmcoin 02vassiblecoin 06yatmoscoin 13arrorcoin 04tlwnncoin 07pogocoin 08cutakaelikencompcoin 09caivcoin 02explatcoin 06ezacoin 13osmetacoin 04purehcoin < 1573444086 257368 :int-e!~noone@int-e.eu PRIVMSG #esoteric :YOLO is the only ground truth in all of crypto. < 1573444103 623113 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm investing in bloopcoin! < 1573444108 754715 :int-e!~noone@int-e.eu PRIVMSG #esoteric :HODL is how you become a mule in the ongoing money laundering scheme. < 1573444139 735021 :int-e!~noone@int-e.eu PRIVMSG #esoteric :https://www.kalzumeus.com/2019/10/28/tether-and-bitfinex/ was fascinating to read < 1573444160 996311 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :money laundering? now you're talking cryptography < 1573444171 799128 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :("cryptography" also stands for cryptocurrency hth) < 1573444188 496931 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Yeah, troll. < 1573444202 583214 :int-e!~noone@int-e.eu PRIVMSG #esoteric :You already know how to troll me, and that wasn't it. < 1573444253 154604 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`grwp fnord < 1573444254 669748 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :fizzie:fizzie is not fnord with a monad but the king of #esoteric, see https://zem.fi/static/img/square_fizzie_320px_white.jpg \ indonesia:Indonesia is a large island country in Asia and the world's most populous muslim country. Its major export is rayon textile from the Indonesian fnord. < 1573444283 161549 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh no. < 1573444291 705717 :int-e!~noone@int-e.eu PRIVMSG #esoteric :That's a twolerable number. < 1573444297 11090 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think it's clear enough this is intended in good fun and not to cause any actual irritation? < 1573444301 95378 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If it did then I should stop. < 1573444376 623656 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Hmm. I don't know. Maybe I've seen a few too many "crypto" discussions on ##crypto to find it genuinely funny. < 1573444398 294003 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That makes sense. < 1573444585 66080 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :My impression is that you also think most regular finance is sort of a scam, though. < 1573444646 16240 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Sorta. But it's regulated... and intertwined with basically everything. So it's far more predictable. < 1573444801 774998 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 QUIT :Quit: I seem to have stopped. < 1573444904 787153 :Taneb!~Taneb@runciman.hacksoc.org JOIN :#esoteric < 1573445003 102649 :int-e!~noone@int-e.eu PRIVMSG #esoteric :BTC is cute and small in comparison. Oh and I can lightly treat it as a joke because I'm not invested in it. You can identify the role and interests of individuals. Bobby Lee, for example, is co-founder and CEO of BTCC, a chinese bitcoin exchange. So predicting a bright future for BTC is in his interest. < 1573445359 991996 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Say, are the YAFGC "related comics" just a randomly generated list of previous episodes... < 1573445379 49408 :int-e!~noone@int-e.eu PRIVMSG #esoteric :...I noticed, for the first time, that the list changes when you reload the same page. < 1573445418 24175 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(I did notice before that they are usually not very related to the current strip.) < 1573446816 69849 :Sgeo_!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1573446986 926206 :Sgeo__!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1573447929 272385 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1573448981 223261 :moony_!~moony@hellomouse/dev/moony QUIT :Read error: Connection reset by peer < 1573448997 892491 :moony_!~moony@hellomouse/dev/moony JOIN :#esoteric < 1573449266 870692 :moony_!~moony@hellomouse/dev/moony QUIT :Ping timeout: 240 seconds < 1573449394 765737 :moony_!~moony@hellomouse/dev/moony JOIN :#esoteric < 1573450692 648032 :moony_!~moony@hellomouse/dev/moony QUIT :Ping timeout: 268 seconds < 1573450750 86302 :moony_!~moony@hellomouse/dev/moony JOIN :#esoteric < 1573451170 966351 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :`coins < 1573451173 584431 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​04doublecoin 07colacoin 08quecoin 09neccoin 02optealphilcoin 06goto++coin 13longsertcoin 04pofecoin 07l00tcoin 08puesspaghcoin 09galliiecoin 02ycoin 06athcoin 13sitioncoin 04concoin 07subjeccoin 08cutercoin 09dzicoin 02hactropolymoncoin 06whis=thacoin < 1573451249 832016 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh right. That's the ICO list shachaf wanted. < 1573451308 905676 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@thanks kmc < 1573451308 941864 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :you are welcome < 1573451313 113975 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`thanks kmc < 1573451313 777445 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Thanks, kmc. Tmc. < 1573451342 519720 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: < 1573451342 597774 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: these unique items make us invincible! dance!! for ayla eat? oh...i feel faint. just as you touch, so throw away. thankful for that? for my, daughter! just like crono! < 1573451351 274446 :int-e!~noone@int-e.eu PRIVMSG #esoteric :^style < 1573451351 321659 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :Available: agora alice c64 ct* darwin discworld enron europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp ukparl youtube < 1573451362 930644 :int-e!~noone@int-e.eu PRIVMSG #esoteric :^style irc < 1573451362 966891 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams) < 1573451373 316093 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: < 1573451373 466606 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: so some kind of byte code, i might even prefer it fast, you know < 1573451438 796229 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :im curious about the enron dialect, from the released audio :) < 1573451458 635758 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :"grandmas not gonna have any power this week" < 1573451972 528574 :tromp_!~tromp@2a02:a210:1585:3200:b584:176f:1863:d5d9 JOIN :#esoteric < 1573452122 899975 :tromp!~tromp@ip-213-127-58-134.ip.prioritytelecom.net QUIT :Ping timeout: 240 seconds < 1573452591 294691 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 265 seconds > 1573452768 95604 PRIVMSG #esoteric :14[[07Baba Is You14]]4 10 02https://esolangs.org/w/index.php?diff=67012&oldid=66147 5* 03YamTokTpaFa 5* (+9) 10/* External Resources */ fixed categorization > 1573452938 770759 PRIVMSG #esoteric :14[[07ASCII14]]4 10 02https://esolangs.org/w/index.php?diff=67013&oldid=65107 5* 03YamTokTpaFa 5* (+35) 10Added link to WP article > 1573453090 423002 PRIVMSG #esoteric :14[[07Nuts14]]4 10 02https://esolangs.org/w/index.php?diff=67014&oldid=65948 5* 03YamTokTpaFa 5* (-15) 10name fixed > 1573454883 224540 PRIVMSG #esoteric :14[[07L33t14]]4 10 02https://esolangs.org/w/index.php?diff=67015&oldid=63848 5* 03YamTokTpaFa 5* (+31) 10 < 1573456473 84251 :tromp!~tromp@ip-213-127-103-151.ip.prioritytelecom.net JOIN :#esoteric < 1573456586 518155 :tromp_!~tromp@2a02:a210:1585:3200:b584:176f:1863:d5d9 QUIT :Ping timeout: 276 seconds < 1573458144 532094 :tromp_!~tromp@2a02:a210:1585:3200:7584:72d3:8a6c:4a9d JOIN :#esoteric < 1573458144 846213 :tromp!~tromp@ip-213-127-103-151.ip.prioritytelecom.net QUIT :Read error: Connection reset by peer < 1573458392 981831 :nfd9001!~nfd9001@c-67-183-33-240.hsd1.wa.comcast.net JOIN :#esoteric < 1573461733 505434 :b_jonas!~x@catv-176-63-14-77.catv.broadband.hu PRIVMSG #esoteric :oerjan: anyway, I didn't mean that you should update Sárvik, that was just a sidetrack. I mean https://esolangs.org/logs/2017-01-29.html#l7j and the channel has acquired new active regulars < 1573462103 297419 :sftp!~sftp@unaffiliated/sftp QUIT :Ping timeout: 265 seconds < 1573462612 595639 :hppavilion[1]!~omegasome@172.98.86.92 JOIN :#esoteric < 1573462981 73944 :sftp!~sftp@unaffiliated/sftp JOIN :#esoteric < 1573463307 599206 :hppavilion[1]!~omegasome@172.98.86.92 QUIT :Ping timeout: 250 seconds < 1573463669 367478 :b_jonas!~x@catv-176-63-14-77.catv.broadband.hu QUIT :Quit: leaving < 1573466655 685149 :hppavilion[1]!~omegasome@172.98.86.92 JOIN :#esoteric < 1573467484 990772 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric < 1573473205 920053 :hppavilion[2]!~omegasome@172.98.86.92 JOIN :#esoteric < 1573473211 360488 :hppavilion[2]!~omegasome@172.98.86.92 QUIT :Client Quit < 1573473701 894550 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru JOIN :#esoteric < 1573474281 460593 :hppavilion[1]!~omegasome@172.98.86.92 QUIT :Remote host closed the connection < 1573474813 345450 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :oh nice, i didn't know fungot has an oots style < 1573474813 449207 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :myname: pattern match on it with someone else for a second < 1573474824 138405 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :okay. < 1573474991 504652 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Come on, don't be so rude. < 1573474991 593360 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :fizzie: in perl you'd write "" instead of " ( display... < 1573476335 77037 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: ... < 1573476335 287015 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: i forgot to get rid of some cells exhibit. glad to be of any significance is in maine. < 1573477059 583885 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Try to come up with one of those weirdly relevant replies every once in a while, will you? < 1573477059 791668 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :fizzie: you can store and retrieve the strings in the array :) you mean to brainfuck or befunge rot13? you would need to be made < 1573477070 325913 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't think that counts. < 1573477670 66673 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot doesn't do requests < 1573477670 225173 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: that may have been a giveaway... busy. all that is involved with yasos is individual objects there's no concept of hygiene < 1573477731 25474 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Not relevant but pretty coherent. < 1573478081 872115 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1573478178 859513 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :" Try to come up with one of those weirdly relevant replies" => he did: https://esolangs.org/logs/2019-11-07.html#l1d < 1573478697 96693 :moony_!~moony@hellomouse/dev/moony QUIT :Ping timeout: 240 seconds < 1573480121 988381 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1573481821 535063 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric < 1573482497 142407 :nfd9001!~nfd9001@c-67-183-33-240.hsd1.wa.comcast.net QUIT :Ping timeout: 240 seconds < 1573484711 961107 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 246 seconds < 1573487081 645681 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1573487931 871974 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :^style < 1573487931 872026 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp ukparl youtube < 1573487943 331097 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :I suspected it < 1573488073 290693 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :for me, “to brainfuck or befunge rot13” is a find < 1573488097 485558 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :fungot, how old your irc base again? < 1573488097 527211 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :arseniiv: did i just read < 1573488126 465329 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :fungot: yeah, you did, but you wrote too little < 1573488126 646625 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :arseniiv: why ehird in particular? there must be. how do you have a bottle of liquid plumber < 1573488141 96233 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :you got me < 1573488188 178479 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :fungot: please inspire me at least < 1573488188 350377 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :arseniiv: i never hold grudges against people whom i refer to them later. this is a test"). < 1573488207 393860 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :this doesn’t help at all, though it consoles a bit < 1573488292 349146 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :liquid plumber i guess is a specific flavor of soylent green < 1573488357 774609 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think the years are included in the style description. < 1573488359 839101 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :^style irc < 1573488359 875312 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams) < 1573488364 896365 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, apparently not. < 1573488372 411350 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's pretty old, though. < 1573488402 555781 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :fungot: what do you know about the Restaurant? < 1573488402 747509 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :arseniiv: stop it, i suppose that would work with scheme48 on windows? fnord, when audio driver problems will probably be < 1573488440 663943 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :fungot: but I don’t want to stop, I’ve only just begun! < 1573488454 871712 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :(oh?) < 1573488478 368115 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :fungot: sorry, did I break you accidentally? < 1573488488 995789 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :oh!!! < 1573488515 962183 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :I’m sorry my dear < 1573488561 578756 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :oh no, did fungot break? < 1573488561 752034 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :imode: tracing it by hand for safety?" yes... yes they can.... at last < 1573488564 443752 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :nope. < 1573488582 312081 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :strange. Dear fungot, did you accidentally ban me? < 1573488582 472029 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :arseniiv: i was writing replace for a fnord bus on empty roads, even fnord plays in the eu < 1573488589 734747 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :rate limiting, maybe. < 1573488642 552279 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :imode: are they that sophisticated? I’ll never stop wondering < 1573488653 708293 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :ACTION shrugs. < 1573488655 97184 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :probably! < 1573488685 943161 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :fungot: that being dealt with, would you at last give me a piece of advice? < 1573488686 62754 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :arseniiv: i think i like pbrain and brainfork, there should be exactly be impressing me all the screen for an hour. < 1573488715 431416 :int-e!~noone@int-e.eu PRIVMSG #esoteric :arseniiv: "vice"? < 1573488739 191615 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :don’t think that’s a good advice at all < 1573488744 786801 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :int-e: ? < 1573488767 540076 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :you mean, that was simply an ad? < 1573488774 115166 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :maybe < 1573488792 592132 :int-e!~noone@int-e.eu PRIVMSG #esoteric :arseniiv: it was a piece of advice < 1573488825 279851 :int-e!~noone@int-e.eu PRIVMSG #esoteric :or more accurately a piece of "advice". < 1573488840 819849 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :ah < 1573488890 181584 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :fungot: what’s your opinion o quoting styles? < 1573488890 306731 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :arseniiv: http://en.wikipedia.org/ wiki/ steerpike' reminds me of the illusion < 1573488912 429358 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :so you don’t have an opinion yourselves < 1573489014 291241 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Remote host closed the connection < 1573489265 646283 :zeroFlow!~textual@cpc76256-cosh15-2-0-cust587.6-1.cable.virginm.net JOIN :#esoteric < 1573489290 337189 :zeroFlow!~textual@cpc76256-cosh15-2-0-cust587.6-1.cable.virginm.net QUIT :Client Quit < 1573489648 666358 :zeroFlow!zeroFlow@gateway/vpn/privateinternetaccess/zeroflow JOIN :#esoteric < 1573489669 790508 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes, there's a "at most N consecutive replies to the same nickname in a row" limit, with N somewhere around 3 to 4. < 1573489694 376706 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :makes sense. < 1573490068 851706 :imode!~linear@unaffiliated/imode QUIT :Quit: WeeChat 2.6 < 1573490162 920575 :heroux!sandroco@gateway/shell/insomnia247/x-nlqtximtujxgepxk QUIT :Ping timeout: 240 seconds < 1573490376 785135 :Melvar!~melvar@dslb-084-057-075-096.084.057.pools.vodafone-ip.de QUIT :Quit: WeeChat 2.4 < 1573490403 571108 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1573491036 762347 :Melvar!~melvar@dslb-084-057-075-096.084.057.pools.vodafone-ip.de JOIN :#esoteric < 1573491101 671920 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :fizzie: ah > 1573491383 554101 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Ashtons 5* 10New user account < 1573491389 941411 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Fun. _mm_sll_epi16, _mm_sll_epi32 and _mm_sll_epi64 shift in bit units. _mm_slli_si128 shifts in byte units (there's an alias _mm_bslli_si128). _mm_slli_epi8 does not exist. < 1573491410 583907 :int-e!~noone@int-e.eu PRIVMSG #esoteric :who comes up with these instruction sets... > 1573491480 841960 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=67016&oldid=66918 5* 03Ashtons 5* (+225) 10added my intro < 1573491910 712044 :Melvar!~melvar@dslb-084-057-075-096.084.057.pools.vodafone-ip.de QUIT :Ping timeout: 268 seconds < 1573491935 151827 :Melvar!~melvar@dslb-084-057-075-096.084.057.pools.vodafone-ip.de JOIN :#esoteric < 1573492297 811464 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(These came up while optimizing http://paste.debian.net/1115796/ ... which I have no use for at all.) < 1573493100 380154 :Frater_EST!adrianbibl@172.242.0.73 JOIN :#esoteric < 1573494697 254556 :Frater_EST!adrianbibl@172.242.0.73 PART :#esoteric < 1573494755 793755 :heroux!sandroco@gateway/shell/insomnia247/x-ucuqvppoefjbqqnf JOIN :#esoteric < 1573497334 924662 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving < 1573497870 843797 :zeroFlow!zeroFlow@gateway/vpn/privateinternetaccess/zeroflow QUIT :Quit: zeroFlow < 1573498501 596067 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1573498508 873693 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu JOIN :#esoteric < 1573498595 645556 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric < 1573498666 411761 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :int-e: yes, the ones that shift in bit units shift only within words (that are 16, 32, or 64 bit wide); the ones that shift in byte units shift the entire 128-bit register; the latter is mostly obsolete because we just use full permute instructions now, either way is just as slow; the former are also partly obsolete as we now have variable shift instructions that shift each word by a different amount as < 1573498672 425064 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :given by the words of another register < 1573498697 368156 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :there certainly are some overlap in the usage of these, but they are different enough instructions < 1573498704 52287 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :that they're all called "shift" is a pity < 1573499185 271862 :zseri!~zseri@ip4d158302.dynamic.kabel-deutschland.de JOIN :#esoteric > 1573500059 531222 PRIVMSG #esoteric :14[[07Nine14]]4 N10 02https://esolangs.org/w/index.php?oldid=67017 5* 03CMinusMinus 5* (+1155) 10Created page with "'''Nine''' ('''N'''ext L'''ine''') is an esoteric programming language, created by [[User:CMinusMinus]]. ==Instructions== {| class="wikitable sortable" |- ! Instruction !! Act..." > 1573500251 717713 PRIVMSG #esoteric :14[[07Nine14]]4 10 02https://esolangs.org/w/index.php?diff=67018&oldid=67017 5* 03CMinusMinus 5* (+141) 10 < 1573500267 21280 :zeroFlow!~zeroFlow@cpc76256-cosh15-2-0-cust587.6-1.cable.virginm.net JOIN :#esoteric < 1573500308 111598 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Quit:   > 1573500356 769266 PRIVMSG #esoteric :14[[07Nine14]]4 10 02https://esolangs.org/w/index.php?diff=67019&oldid=67018 5* 03CMinusMinus 5* (+17) 10 < 1573500516 984357 :zeroFlow!~zeroFlow@cpc76256-cosh15-2-0-cust587.6-1.cable.virginm.net QUIT :Ping timeout: 240 seconds < 1573500649 485205 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :hey hey suppose we have a finite digraph (possibly with self-loops) and we start with I[0] the set of all sink vertices, then each time we set I[n+1] := I[n] ∪ (all vertices with outcoming edges only to vertices of I[n]). When I[n] settles (the graph is finite), what do we get? I suspect this set has a nice name < 1573500784 748718 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :(though as I[n] ⊂ I[n+1], we can take even an infinite graph and just take a limit of I afterwards, maybe of an ordinal-valued sequence) < 1573500823 752427 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :hm it reminds me induction < 1573500849 901571 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :(I swear I didn’t name I after “induction”) < 1573501094 607088 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :arseniiv: I don't think you get anything particularly interesting or nice < 1573501180 900408 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :this occurs when I try to decide if an algebraic type is inhabited; the vertices are types and t → u when a value of u is absolutely needed to construct a value of t < 1573501183 75923 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :arseniiv: there's a decomposition theorem for digraphs, where the digraph is made of strongly connected components aka strong components, any two node in the same strong component are reachable from each other both ways, and no two strong component is reachable from each other both ways, < 1573501195 574847 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :so if you contract the strong component, you get a digraph without a loop < 1573501237 464432 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :in your case, you start from sink vertices, which are exactly the sink strong components that have only one node, and then take all nodes (or all strong components) reachable from those backwards < 1573501248 814844 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :hmm wait, that's not what you said < 1573501259 141758 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :sorry, wait a moment < 1573501266 546242 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :yeah, that’s more peculiar :) < 1573501271 664802 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :"I[n+1] := I[n] ∪ (all vertices with outcoming edges only to vertices of I[n])" < 1573501294 919290 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :for a vertex v to be added, we need that for all v → w, w be in I[n] < 1573501301 842277 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :yes, that's fewer nodes < 1573501355 670177 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :the set of nodes you get in the end won't even have directed loops among them < 1573501400 757917 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :(my hypothesis that lim I consists precisely of all inhabited types, for the semantics given above) < 1573501453 544605 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :arseniiv: no way < 1573501515 282329 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :at least it should be a necessary condition? < 1573501524 309518 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :arseniiv: consider data R where { {- uninhabited -} }; data S where { {- uninhabited -} }; data A = P R | Q S; < 1573501538 225366 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :neither R nor S is absolutely needed to construct A, and yet A is uninhabited < 1573501553 513639 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :b_jonas: ah, now I remember, thanks! < 1573501561 200656 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :I considered that but forgot < 1573501573 64793 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :now I think maybe I need to work constructor-wise < 1573501686 150313 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :I’ll write if I succeed on this way < 1573502122 384635 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :arseniiv: how many type system extensions do you have? is this still plain algebraic types, or do you have type parameters or even more? < 1573502155 646221 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :b_jonas: plain ones, no parameters < 1573502169 519324 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :I believe if you have just plain algebraic types, then you can find out precisely which types are inhabited < 1573502193 591961 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :if you add enough type system extensions, eventually your compile time becomes Turing-complete, and then or before, you can only prove some of your uninhabited types uninhabited < 1573502209 66333 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :that's still useful for optimizations, and it's not usually a problem that you can't prove an uninhabited type uninhabited, mind you < 1573502220 791941 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :so it's still worth to have basic checks for that in a compiler < 1573502236 805470 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :you may even remember when I talked to myself here about proving generalized Minsky machines TC for exactly those type definitions which give us infinitely many values < 1573502295 624535 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :b_jonas: yeah, I agree with what you said too < 1573502310 876498 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :arseniiv: that sounds plausible, because those types can simulate natural numbers, and counter machines with enough registers are turing-complete, < 1573502326 360215 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :whereas if you only have types that have finitely many values, then your state space is finite < 1573502358 16293 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :now I have sat and written a proof that indeed infinitude of values is equivalent to TCness, but now I want an icing on a cake showing how to decide if there are infinite values syntactically < 1573502382 925898 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :high chance of rain tomorrow, says the weather prediction. ok. < 1573502388 54185 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :yeah, precisely what I written out < 1573502395 701124 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :(not about the rain) < 1573502412 439965 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :decide if there are infinitely many values? yes, that's probably also possible < 1573502427 441869 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :b_jonas: have your climate snow or rain usual at this time of the year? < 1573502472 245096 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :it's sort of like deciding if a regular language is finite given an NFA < 1573502483 57075 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :yes, it should rain < 1573502484 395975 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :b_jonas: I think that limiting I set is the answer, even, but I haven’t yet continued with proving it in peace so I don’t yet know for sure < 1573502491 380832 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :but two weeks ago was too dry < 1573502506 903825 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :last week was better, I glad we got the rain finally < 1573502528 531018 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :and in the evening too, when I'm on the street, which is always funnier < 1573502570 545340 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :I used to say that I take pleasure in the uncomfortableness that other people experience in the heavy rain, but I decided I shouldn't phrase it like that, < 1573502582 324200 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :and instead say that I'm happy that I'm lucky enough that the rain doesn't hurt me < 1573502606 907173 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :and here is a rain-snow threshold, zeroes by night or by day depending on fortune < 1573502620 77661 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :nah, it's too warm for that yet < 1573502623 148377 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :I do quite like being a bit under a warm rain, that is in the summer maybe < 1573502646 650591 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :though I don’t like drying things afterwards so I’m almost not doing that < 1573502673 903009 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :sure, warm rain is even better, because the air here in Europe is dry enough that everything dries quickly < 1573503093 987038 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net QUIT :Quit: leaving < 1573505357 18648 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net QUIT :Ping timeout: 240 seconds < 1573505375 789573 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net JOIN :#esoteric < 1573505579 645162 :ddmm_!atrapmatri@gateway/shell/matrix.org/x-ylixakuirvfenvwr JOIN :#esoteric < 1573505708 407342 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :Are people who worked on eso-os still alive? < 1573505933 653797 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net QUIT :Ping timeout: 268 seconds < 1573506685 82772 :zseri!~zseri@ip4d158302.dynamic.kabel-deutschland.de QUIT :Quit: zseri > 1573506685 488026 PRIVMSG #esoteric :14[[07Nuts14]]4 10 02https://esolangs.org/w/index.php?diff=67020&oldid=67014 5* 03YamTokTpaFa 5* (+12) 10 < 1573506717 435446 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu QUIT :Quit: leaving > 1573507102 295620 PRIVMSG #esoteric :14[[07RETURN14]]4 10 02https://esolangs.org/w/index.php?diff=67021&oldid=65571 5* 03YamTokTpaFa 5* (+49) 10 > 1573507189 69025 PRIVMSG #esoteric :14[[07DeathScript14]]4 10 02https://esolangs.org/w/index.php?diff=67022&oldid=44912 5* 03YamTokTpaFa 5* (+49) 10 > 1573507503 204645 PRIVMSG #esoteric :14[[07User:YamTokTpaFa/sandbox314]]4 10 02https://esolangs.org/w/index.php?diff=67023&oldid=65154 5* 03YamTokTpaFa 5* (+243) 10 < 1573508999 433768 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net JOIN :#esoteric < 1573509353 30555 :moony_!~moony@hellomouse/dev/moony JOIN :#esoteric < 1573510003 749323 :aloril!~aloril@mobile-access-2e8456-205.dhcp.inet.fi QUIT :Ping timeout: 268 seconds < 1573510412 418214 :arseniiv!~arseniiv@94.41.11.15.dynamic.ufanet.ru PRIVMSG #esoteric :that approach worked in the end, though without a graph due to alternative requirements of constructors < 1573510825 734922 :aloril!~aloril@mobile-access-b04807-156.dhcp.inet.fi JOIN :#esoteric < 1573511476 984942 :moony_!~moony@hellomouse/dev/moony QUIT :Ping timeout: 240 seconds < 1573512685 874585 :hppavilion[1]!~omegasome@172.98.86.92 JOIN :#esoteric < 1573513591 604169 :Melvar!~melvar@dslb-084-057-075-096.084.057.pools.vodafone-ip.de QUIT :Ping timeout: 250 seconds < 1573513615 175552 :Melvar!~melvar@dslb-084-057-075-096.084.057.pools.vodafone-ip.de JOIN :#esoteric < 1573514246 341251 :Frater_EST!adrianbibl@172.242.0.73 JOIN :#esoteric < 1573514560 547522 :xkapastel!uid17782@gateway/web/irccloud.com/x-gjnsdqmwsuawtsol JOIN :#esoteric < 1573514579 958256 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1573515321 732842 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@messages-foul < 1573515321 809819 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :int-e said 19h 57m 31s ago: today on schlock mercenary: heavy punning <-- I feel that "Hurtz" would make an excellent unit for punnery. < 1573515391 96913 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? solidity < 1573515392 583565 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Solidity is an esolang for writing contracts. It has good support for secure linear algebra. < 1573516010 922819 :hppavilion[1]!~omegasome@172.98.86.92 QUIT :Ping timeout: 240 seconds