←2019-04-15 2019-04-16 2019-04-17→ ↑2019 ↑all
00:02:01 -!- brandonson has joined.
00:06:23 <oerjan> ah i found it
00:07:56 <oerjan> fizzie: can i change it to $1: Revision history like wikipedia?
00:11:33 <oerjan> https://en.wikipedia.org/wiki/MediaWiki_talk:History-title seems to be the discussion from when wikipedia changed it
00:12:38 <oerjan> well, one of the times, at least
00:14:10 <oerjan> the actual reordering seems to have happened in 2012
00:14:53 -!- nfd9001 has joined.
00:17:19 <oerjan> . o O ( did fizzie just go to bed? )
00:18:39 <fizzie> If it's easily changeable, sure.
00:20:20 <esowiki> [[MediaWiki:History-Title]] N https://esolangs.org/w/index.php?oldid=61134 * Oerjan * (+20) Putting the article title first like on Wikipedia seems more useful for tabbed browsing
00:20:27 <oerjan> whee
00:20:29 <int-e> <oerjan> . o O ( did fizzie just go to bed? ) <fizzie> If it's easily changeable, sure. <--- somewhat tempting quote, if only for the slight surreal note
00:20:40 <oerjan> go ahead
00:21:01 <oerjan> or do we have a rule against it
00:21:08 <oerjan> `? quoteformat
00:21:09 <HackEso> quoteformat is: <nick> message; * nick action; two spaces between messages; all elisions marked with [...] other than irrelevant intervening messages; for messages separated by elision, one space on each side, not two.
00:21:37 <oerjan> i think by the rules you must put [...] first :P
00:23:35 <oerjan> doesn't seem to have taken effect yet, although there may be some caching involved
00:26:26 <fizzie> https://esolangs.org/w/index.php?title=Special%3AAllMessages&prefix=history-title&filter=all&lang=en&limit=50 still shows the old string.
00:26:42 <fizzie> I wonder if we have $wgUseDatabaseMessages on or not.
00:28:30 <fizzie> It should be on by default, and I don't see an override. Not sure if there's a handy special page that could show the config somewhere.
00:30:14 <fizzie> (There is a message cache too, though.)
00:33:46 <fizzie> Maybe we'll: wait and see what'll happen.
00:38:27 <oerjan> good plan
00:45:32 <esowiki> [[Joke language list]] M https://esolangs.org/w/index.php?diff=61135&oldid=61091 * Oerjan * (+1) /* Brainfuck derivatives */ grm
00:47:28 <esowiki> [[Talk:Home Row]] https://esolangs.org/w/index.php?diff=61136&oldid=61106 * Oerjan * (+153) Undo blanking of another person's message
00:53:50 -!- xkapastel has quit (Quit: Connection closed for inactivity).
02:24:59 -!- shikhin has joined.
02:54:31 -!- Frater_EST has joined.
02:58:41 -!- Frater_EST has left.
03:18:31 -!- adu has joined.
04:01:00 -!- FreeFull has quit.
04:28:08 -!- shikhin has quit (Quit: leaving).
04:43:38 -!- shikhin has joined.
05:08:38 -!- shikhin has quit (Quit: leaving).
05:15:57 -!- adu_ has joined.
05:17:05 -!- adu has quit (Ping timeout: 250 seconds).
05:17:05 -!- adu_ has changed nick to adu.
05:35:09 <shachaf> Hmm, Infocom game source is posted at https://github.com/historicalsource
05:35:15 <shachaf> zzo38: Do you like this?
06:27:22 -!- dingwat has quit (Ping timeout: 250 seconds).
06:31:15 -!- ^[ has quit (Ping timeout: 258 seconds).
06:38:57 -!- ocharles has quit (Ping timeout: 252 seconds).
06:39:55 -!- mich181189 has quit (Ping timeout: 250 seconds).
06:43:19 -!- MDude has quit (Ping timeout: 250 seconds).
06:46:48 -!- MDude has joined.
06:50:20 -!- MDead has joined.
06:52:16 -!- mich181189 has joined.
06:52:56 -!- MDude has quit (Ping timeout: 250 seconds).
06:53:05 -!- MDead has changed nick to MDude.
06:54:30 -!- dingwat has joined.
06:57:46 -!- ^[ has joined.
06:59:51 -!- MDude has quit (Ping timeout: 255 seconds).
07:02:51 -!- ocharles has joined.
07:24:18 -!- MDude has joined.
07:29:05 -!- MDude has quit (Ping timeout: 246 seconds).
07:30:58 -!- MDude has joined.
07:33:02 -!- MDead has joined.
07:34:58 -!- MDead has quit (Read error: Connection reset by peer).
07:35:16 -!- MDude has quit (Ping timeout: 258 seconds).
07:35:40 -!- MDude has joined.
07:37:08 -!- MDead has joined.
07:38:42 -!- sebbu3 has joined.
07:40:11 -!- MDude has quit (Ping timeout: 252 seconds).
07:40:13 -!- MDead has changed nick to MDude.
07:42:33 -!- sebbu has quit (Ping timeout: 252 seconds).
07:59:00 -!- oerjan has quit (Quit: Nite).
08:18:59 -!- MDead_ has joined.
08:20:30 -!- MDude has quit (Ping timeout: 258 seconds).
08:30:51 <esowiki> [[List of ideas]] https://esolangs.org/w/index.php?diff=61137&oldid=61059 * Total Vacuum * (+112) /* Ideas for Names */
08:31:47 <esowiki> [[List of ideas]] https://esolangs.org/w/index.php?diff=61138&oldid=61137 * Total Vacuum * (+20) /* Ideas for Names */
08:32:46 <rain1> apparently it's an illegal upload by a notorious copyright infringer
08:33:54 -!- arseniiv has joined.
08:44:24 <esowiki> [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61139&oldid=61131 * A * (+0) /* Attempt by User:Helen */
08:49:19 <esowiki> [[List of ideas]] https://esolangs.org/w/index.php?diff=61140&oldid=61138 * Total Vacuum * (+39) /* Ideas for Names */
09:11:05 -!- wob_jonas has joined.
09:18:48 -!- AnotherTest has joined.
09:23:55 <esowiki> [[User:TuxCrafting]] https://esolangs.org/w/index.php?diff=61141&oldid=56864 * TuxCrafting * (+50)
09:29:32 <esowiki> [[User talk:TuxCrafting]] https://esolangs.org/w/index.php?diff=61142&oldid=59502 * TuxCrafting * (+190)
09:29:52 <esowiki> [[User:TuxCrafting]] M https://esolangs.org/w/index.php?diff=61143&oldid=61141 * TuxCrafting * (+8)
09:47:54 <esowiki> [[Bitch]] https://esolangs.org/w/index.php?diff=61144&oldid=61133 * A * (+25) There is aleady a proof in the talk page.
09:48:38 <esowiki> [[Esolang:Featured languages/Candidates]] https://esolangs.org/w/index.php?diff=61145&oldid=61079 * A * (-19) /* List of candidates */
10:02:36 -!- orpheu has joined.
10:03:03 <orpheu> Hi, I need help!
10:03:40 <rain1> hi
10:04:40 <orpheu> Someone sent this code to me: .... ..... .... .......... .... ......... ..... ... .... .... .... ........... .... ... .. ... ....... ..... ...... .... ...., ........ .. ...... ..... ....., .... ...! CCOA
10:05:02 <esowiki> [[List of ideas]] https://esolangs.org/w/index.php?diff=61146&oldid=61140 * Total Vacuum * (+318) /* Ideas for Names */
10:05:06 <orpheu> I've searched everywhere and can not figure out
10:05:46 <rain1> to co coa coa coa coa cow c^a coa coa coa coa ra coa con coa coa coa con coa coa coa con coa con coa coa coa coa□ccoa con coa coa coa coa con co
10:06:54 <orpheu> Can anyone help me or have an idea of what this code might be?
10:10:54 <orpheu> ...
10:20:30 <esowiki> [[Uf]] N https://esolangs.org/w/index.php?oldid=61147 * Total Vacuum * (+337) Created page with "{{infobox proglang |name=uf (forth, microforth) |paradigms=imperative |author=[[User:Total Vacuum|Total Vacuum]] |year=[[:Category:2019|2019]] |memsys=:Category:Stack-base..."
10:20:40 <esowiki> [[User:Total Vacuum]] https://esolangs.org/w/index.php?diff=61148&oldid=49750 * Total Vacuum * (+504)
10:37:49 <esowiki> [[Uf]] https://esolangs.org/w/index.php?diff=61149&oldid=61147 * Total Vacuum * (+485)
10:38:46 -!- nfd has joined.
10:39:22 -!- nfd has quit (Read error: Connection reset by peer).
10:39:46 -!- nfd has joined.
10:40:19 <orpheu> Someone sent this code to me: .... ..... .... .......... .... ......... ..... ... .... .... .... ........... .... ... .. ... ....... ..... ...... .... ...., ........ .. ...... ..... ....., .... ...! CCOA
10:40:21 -!- nfd9001 has quit (Ping timeout: 250 seconds).
10:44:04 <esowiki> [[List of ideas]] https://esolangs.org/w/index.php?diff=61150&oldid=61146 * Total Vacuum * (+31) /* Ideas for Names */
10:44:55 -!- orpheu has quit (Ping timeout: 256 seconds).
10:45:17 <esowiki> [[Uf]] https://esolangs.org/w/index.php?diff=61151&oldid=61149 * Total Vacuum * (-6)
10:52:16 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=61152&oldid=61051 * Total Vacuum * (+9)
11:21:24 <esowiki> [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61153&oldid=61139 * A * (+264) /* Attempt by User:Helen */
11:22:27 <esowiki> [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61154&oldid=61153 * A * (-1) Move decrementing idea
11:22:45 <esowiki> [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61155&oldid=61154 * A * (-4) /* Attempt by User:Helen */
11:25:24 <esowiki> [[Bitch]] https://esolangs.org/w/index.php?diff=61156&oldid=61144 * A * (+198) /* Turing-completeness */
11:26:38 <esowiki> [[Works in progress]] https://esolangs.org/w/index.php?diff=61157&oldid=60307 * A * (-19) Add bitch to get more help from other users.
11:34:09 <esowiki> [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61158&oldid=61155 * A * (+189) /* Attempt by User:Helen */
11:48:55 -!- fmease has joined.
12:00:52 -!- Frater_EST has joined.
12:01:19 -!- Frater_EST has left.
12:02:23 <esowiki> [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61159&oldid=61158 * A * (+19) /* Attempt by User:Helen */
12:09:29 -!- sebbu3 has changed nick to sebbu.
12:15:39 -!- tswett[m] has joined.
12:18:10 <esowiki> [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61160&oldid=61159 * A * (+84) Already Turing-complete!
12:20:28 -!- Cale has quit (Ping timeout: 245 seconds).
12:21:43 -!- Cale has joined.
12:22:50 <esowiki> [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61161&oldid=61160 * A * (+8) Z3 is unique, so I will add "the" to them.
12:28:44 <esowiki> [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61162&oldid=61161 * A * (+137) /* Attempt by User:Helen */
12:46:40 <esowiki> [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61163&oldid=61162 * A * (-137) /* Attempt by User:Helen */
12:47:04 <esowiki> [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61164&oldid=61163 * A * (-28) /* Attempt by User:Helen */
12:54:36 -!- Frater_EST has joined.
13:04:18 -!- Lord_of_Life has quit (Ping timeout: 252 seconds).
13:06:36 -!- Lord_of_Life has joined.
13:11:02 <esowiki> [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61165&oldid=61164 * A * (+37) /* Attempt by User:Helen */
13:15:43 <esowiki> [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61166&oldid=61165 * A * (+119) /* User:Helen - Implementing arithematic operations */
13:16:39 <esowiki> [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61167&oldid=61166 * A * (+87) /* User:Helen - Implementing arithematic operations */
13:22:57 -!- Frater_EST has left.
13:26:23 <esowiki> [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61168&oldid=61167 * A * (-7) /* Attempt by User:Helen */
13:26:56 <esowiki> [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61169&oldid=61168 * A * (+9) /* Attempt by User:Helen */
13:30:15 -!- probablymoony has joined.
13:31:06 -!- moony has quit (Ping timeout: 252 seconds).
13:31:47 <esowiki> [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61170&oldid=61169 * A * (-2352) /* User:A - Idea of a tape in the accumulator */
13:32:16 <esowiki> [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61171&oldid=61170 * A * (-109) /* User:A - Basic compilation */
13:43:22 -!- ineiros has quit (Ping timeout: 245 seconds).
13:43:53 <int-e> Hmm "software-managed [cache] coherence".
13:45:20 -!- ineiros has joined.
13:50:49 -!- mniip_ has joined.
13:51:05 <esowiki> [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61172&oldid=61171 * A * (+51) /* Attempt by User:Helen */
13:52:18 -!- mniip has quit (Ping timeout: 633 seconds).
13:53:04 -!- mniip_ has changed nick to mniip.
13:54:12 <esowiki> [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61173&oldid=61172 * A * (-47) /* Attempt by User:Helen */
13:54:50 -!- mniip has quit (Client Quit).
13:55:32 <esowiki> [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61174&oldid=61173 * A * (-53) /* Attempt by User:Helen */
13:56:13 -!- mniip has joined.
14:00:08 <esowiki> [[Bitch]] https://esolangs.org/w/index.php?diff=61175&oldid=61156 * A * (+26) /* Turing-completeness */
14:00:43 <esowiki> [[Bitch]] https://esolangs.org/w/index.php?diff=61176&oldid=61175 * A * (+4) /* Turing-completeness */
14:05:57 -!- tswett[m] has quit (Read error: Connection reset by peer).
14:05:59 -!- fmease has quit (Read error: Connection reset by peer).
14:06:36 <esowiki> [[Esolang talk:Featured languages/Candidates]] https://esolangs.org/w/index.php?diff=61177&oldid=57024 * A * (-167)
14:09:36 -!- danieljabailey has quit (Ping timeout: 255 seconds).
14:11:08 -!- danieljabailey has joined.
14:15:49 <esowiki> [[Bitch]] https://esolangs.org/w/index.php?diff=61178&oldid=61176 * A * (-47) /* Turing-completeness */
14:24:24 <esowiki> [[Bitch]] https://esolangs.org/w/index.php?diff=61179&oldid=61178 * A * (-181) /* Turing-completeness */
14:32:10 -!- fmease has joined.
14:38:52 -!- adu has quit (Quit: adu).
14:39:15 -!- adu has joined.
14:39:38 -!- adu has quit (Client Quit).
14:49:38 -!- tswett[m] has joined.
14:54:23 -!- tromp has quit (Remote host closed the connection).
14:55:18 <esowiki> [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61180&oldid=61174 * A * (-1) /* User:Helen - Implementing arithematic operations */
14:58:43 <esowiki> [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61181&oldid=61180 * Helen * (+203) /* Attempt by User:Helen */
15:02:02 <esowiki> [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61182&oldid=61181 * Helen * (+274) /* Attempt by User:Helen */
15:03:36 <esowiki> [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61183&oldid=61182 * A * (+212)
15:04:33 <esowiki> [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61184&oldid=61183 * Helen * (+6) /* Attempt by User:Helen */
15:07:36 <esowiki> [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61185&oldid=61184 * A * (+145) /* Proof that all loops are computationally equivalent */
15:08:51 <esowiki> [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61186&oldid=61185 * A * (+115) /* Proof that all loops are computationally equivalent */
15:09:08 -!- ^[ has quit.
15:09:34 -!- ^[ has joined.
15:10:54 <esowiki> [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61187&oldid=61186 * A * (+8) /* Proof that all loops are computationally equivalent */
15:13:37 -!- atslash has quit (Quit: Leaving).
15:15:58 <esowiki> [[Esolang:Featured languages/Candidates]] https://esolangs.org/w/index.php?diff=61188&oldid=61145 * A * (-50) /* List of candidates */
15:21:35 <wob_jonas> oerjan: I haven't heard of this Z3, but does it by chance have something to do with the two languages described in https://esolangs.org/wiki/Blindfolded_Arithmetic ?
15:23:12 <wob_jonas> hmm. apparently it's at least similar.
15:23:48 <esowiki> [[Blindfolded Arithmetic]] https://esolangs.org/w/index.php?diff=61189&oldid=59373 * B jonas * (+50) link [[Z3]]
15:27:14 -!- wob_jonas has quit (Remote host closed the connection).
15:29:24 -!- tromp has joined.
15:34:27 <esowiki> [[BTree]] N https://esolangs.org/w/index.php?oldid=61190 * TuxCrafting * (+2663) Created page with "'''BTree''' is an esoteric language invented by [[User:TuxCrafting]] where programs are formatted as binary trees. == Syntax == Programs are made of nodes, which contain one..."
15:50:13 -!- LKoen has joined.
15:57:26 <esowiki> [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61191&oldid=61187 * Helen * (+45) /* Incrementing */
16:00:53 <esowiki> [[BTree]] https://esolangs.org/w/index.php?diff=61192&oldid=61190 * TuxCrafting * (+133) categories
16:03:02 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=61193&oldid=61152 * TuxCrafting * (+12)
16:18:28 <esowiki> [[User:TuxCrafting]] https://esolangs.org/w/index.php?diff=61194&oldid=61143 * TuxCrafting * (+192)
16:47:37 <esowiki> [[BTree]] https://esolangs.org/w/index.php?diff=61195&oldid=61192 * TuxCrafting * (+104)
16:50:17 -!- Sgeo_ has joined.
16:53:39 -!- Sgeo has quit (Ping timeout: 252 seconds).
17:31:50 <esowiki> [[User:Total Vacuum]] https://esolangs.org/w/index.php?diff=61196&oldid=61148 * Total Vacuum * (+4) /* ideas */
17:34:14 <esowiki> [[List of ideas]] https://esolangs.org/w/index.php?diff=61197&oldid=61150 * Total Vacuum * (-27) /* Ideas for Names */
17:42:54 -!- b_jonas has joined.
18:34:56 <b_jonas> oerjan: am I associated with BANCStar so much that I ought not to propose it as a featured article on the wiki?
18:50:46 -!- Guest33 has joined.
18:53:11 -!- Guest33 has quit (Remote host closed the connection).
19:28:28 <esowiki> [[BANCStar]] https://esolangs.org/w/index.php?diff=61198&oldid=40697 * B jonas * (+296)
19:38:41 <esowiki> [[BANCStar]] https://esolangs.org/w/index.php?diff=61199&oldid=61198 * B jonas * (+45) /* Implementation */
19:58:34 <oren> given a large enough corpus of code in a language L, one can construct a turing-complete language @L where code is a list of references to lines of code in that corpus
19:59:01 <oren> foo.pl:230;bar.pl:30;...
19:59:02 <shachaf> ROP is more or less that.
20:02:27 <oren> now, imagine M@L,C to be the corpus in language M such that a program written in @L for the corpus C, would work when applied to it.
20:03:52 <b_jonas> `quote silliness
20:03:53 <HackEso> No output.
20:03:55 <oren> I think it is probably extremely hard to derive this corpus
20:04:33 <oren> even if both languages are simple imperative languages
20:09:48 <oren> translating a program line-for-line into a different language is hard, but M@L,C is harder, requires that each line behaves the same as its corresponding line in C, not only in it's context in C, but in any possible context
20:13:44 <b_jonas> my hon. and learned friend fungot, has fizzie been adding new markov models to you?
20:13:44 <fungot> b_jonas: the one who got you killed him for it?
20:14:17 <b_jonas> https://esolangs.org/logs/2014-06.html#lJIc
20:23:04 -!- nfd9001 has joined.
20:25:35 -!- nfd has quit (Ping timeout: 252 seconds).
20:25:50 <b_jonas> `addquote <shachaf> #define __NR_oldolduname 59 <olsner> fungot: what's your old old name? <fungot> olsner: they decided not to waste any brain cells storing obscure unix silliness).
20:25:50 <fungot> b_jonas: you and the pogo hammer. he transported, it saved a princess.
20:25:52 <HackEso> 1333) <shachaf> #define __NR_oldolduname 59 <olsner> fungot: what's your old old name? <fungot> olsner: they decided not to waste any brain cells storing obscure unix silliness).
20:26:12 <b_jonas> # quote from https://esolangs.org/logs/2014-06.html#lO1b
20:27:14 <olsner> ooh, fresh me-quote, I wonder how long ago it was that I actually said anything in here
20:27:18 <FireFly> ^style
20:27:18 <fungot> 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
20:27:30 <FireFly> olsner: well, now you just reset the counter
20:27:53 <olsner> FireFly: I figured the quote did anyway
20:28:31 <olsner> so ehm, quote me in 5 years and I'll try to remember not to respond
20:29:13 <b_jonas> what counter?
20:29:38 <b_jonas> oh, counter for how long it's been that you said anything here
20:31:51 -!- AnotherTest has quit (Ping timeout: 264 seconds).
20:39:47 <b_jonas> `? mario
20:39:48 <b_jonas> `? metroid
20:39:48 <HackEso> Mario is a classic PSPACE-complete problem invented by Nintendo.
20:39:49 <HackEso> metroid? ¯\(°​_o)/¯
20:39:51 <b_jonas> `? zelda
20:39:52 <HackEso> zelda? ¯\(°​_o)/¯
20:39:54 <b_jonas> `? link
20:39:55 <HackEso> link? ¯\(°​_o)/¯
20:40:51 <esowiki> [[User:Total Vacuum]] https://esolangs.org/w/index.php?diff=61200&oldid=61196 * Total Vacuum * (+205) /* ideas */
20:41:48 -!- FreeFull has joined.
20:44:29 <shachaf> b_jonas: Hmm?
20:45:02 <shachaf> Oh, 2014.
20:48:43 <b_jonas> shachaf: yeah, I was reading the logs for BANCStar
21:08:29 -!- brandonson has quit (Ping timeout: 252 seconds).
21:10:20 -!- brandonson has joined.
21:11:07 -!- shikhin has joined.
21:20:27 -!- uidr3 has joined.
21:24:13 -!- uidr3 has quit (Quit: ERC (IRC client for Emacs 26.1)).
21:27:55 -!- uidr3 has joined.
21:30:57 -!- uidr3 has quit (Client Quit).
21:35:40 <esowiki> [[BTree]] https://esolangs.org/w/index.php?diff=61201&oldid=61195 * TuxCrafting * (+444) woo, tc
21:44:41 -!- 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.”).
22:14:58 -!- MDead_ has quit (Quit: Going offline, see ya! (www.adiirc.com)).
22:15:16 -!- MDead_ has joined.
22:15:28 -!- MDead_ has quit (Remote host closed the connection).
22:15:51 -!- MDude has joined.
22:40:14 -!- b_jonas has quit (Quit: leaving).
22:49:45 -!- ais523 has joined.
22:50:36 <ais523> hmm, the Z3 on the wiki is confusing me, as there's a non-eso language called Z3 too
22:51:11 <ais523> or, well, "non-eso" is relative here, it's pretty eso compared to languages like Java, but it's intended for serious use
22:55:05 <shachaf> Presumably Zuse's Z3 came first.
22:57:17 <shachaf> SAT solvers are pretty neat.
22:57:24 <shachaf> And SMT solvers.
22:57:28 <shachaf> I'd like to learn all the fancy tricks they use.
23:37:13 -!- shikhin has quit (Quit: leaving).
23:37:41 <ais523> the docs for Microsoft's Z3 describe it as a "theorem prover", for some reason
23:40:08 <shachaf> Isn't it?
23:56:21 -!- imode-desktop has joined.
←2019-04-15 2019-04-16 2019-04-17→ ↑2019 ↑all