00:00:26 -!- Phantom_Hoover has quit (Remote host closed the connection).
00:22:13 -!- Essadon has quit (Quit: Qutting).
00:36:42 -!- defterade has joined.
00:41:45 -!- defterade has quit (Remote host closed the connection).
00:46:07 -!- atslash has quit (Quit: This computer has gone to sleep).
01:01:25 -!- baggar113 has joined.
01:02:20 -!- MDude has joined.
01:04:11 -!- baggar113 has quit (Remote host closed the connection).
01:09:14 <zzo38> Oops I found another bug in SQLite that it segfaults if the argument to sqlite3_declare_vtab() specifies a "INTEGER PRIMARY KEY" column and also "WITHOUT ROWID". (Although, it is possible to work around by changing it to "INT PRIMARY KEY", but still it is a bug)
01:11:02 -!- oerjan has joined.
01:46:07 <zzo38> Now I made a SQLite extension that for example you can write: create virtual table out using audiopipe('aplay -t raw -c 1 -f S32_LE -r 44100' signed integer mono); insert into out select value,sin(value*tau()*440/44100)*.9 from range(0,44099,1); and you can make the tone audible.
01:46:50 <oerjan> <shachaf> Are there any languages on the wiki with names like "User:Oerjan" or "Special: Search"? <-- i don't think the latter is possible to create under that article name
01:47:12 <oerjan> unless fizzie hacks something, i guess
01:47:15 <shachaf> oerjan: I meant "Special:Search" but I was typing on my phone.
01:47:26 <zzo38> (This assumes your computer is small-endian and "int" size is 32-bits)
01:48:01 <oerjan> but Special: is special, so you cannot create ordinary articles there
01:49:26 <oerjan> hm was there an esolang in Talk:
01:50:52 <oerjan> hm maybe not, but there's https://esolangs.org/wiki/Talk_talk:Turing_tarpit
01:52:17 <oerjan> i guess : is allowed in article names when what's before isn't a namespace.
01:53:01 <shachaf> i propose a Real Fast Nora's Hair Salon 3: namespace hth
01:56:52 <esowiki> [[Amycus]] https://esolangs.org/w/index.php?diff=57647&oldid=57644 * Oerjan * (-96) /* Amycus Severus */ This seems to have been renamed
02:01:43 <esowiki> [[Talk:Amycus]] https://esolangs.org/w/index.php?diff=57648&oldid=57630 * Zzo38 * (+290)
02:01:51 <esowiki> [[User talk:Star651]] M https://esolangs.org/w/index.php?diff=57649&oldid=57633 * Oerjan * (+50) /* Um. */ Unsigned
02:49:45 -!- pimlu has joined.
03:05:17 -!- rodgort has quit (Quit: Leaving).
03:09:37 -!- rodgort has joined.
03:23:06 -!- MDead has joined.
03:23:48 -!- MDude has quit (Ping timeout: 252 seconds).
03:23:53 -!- MDead has changed nick to MDude.
03:44:38 -!- pimlu has quit (Ping timeout: 245 seconds).
04:35:57 -!- pimlu has joined.
05:11:42 -!- tromp has joined.
05:15:47 -!- tromp has quit (Ping timeout: 240 seconds).
06:06:19 -!- tromp has joined.
06:10:28 -!- tromp has quit (Ping timeout: 245 seconds).
06:40:25 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
06:49:07 -!- tromp has joined.
06:53:13 -!- nisstyre25 has joined.
06:53:21 -!- tromp has quit (Ping timeout: 252 seconds).
06:58:04 -!- nisstyre25 has quit (Remote host closed the connection).
07:00:17 <esowiki> [[Shorten your Brainfuck code]] https://esolangs.org/w/index.php?diff=57650&oldid=56875 * A * (+67)
07:00:41 <esowiki> [[Shorten your Brainfuck code]] https://esolangs.org/w/index.php?diff=57651&oldid=57650 * A * (+4) ...
07:02:52 <esowiki> [[Shorten your Brainfuck code]] https://esolangs.org/w/index.php?diff=57652&oldid=57651 * A * (+26) Title not good enough
07:05:56 -!- xkapastel has quit (Quit: Connection closed for inactivity).
07:10:25 <esowiki> [[Shorten your Brainfuck code]] https://esolangs.org/w/index.php?diff=57653&oldid=57652 * A * (+69) /* Big width loops(for easier byte printing) */
07:12:28 -!- oerjan has quit (Quit: Nite).
07:14:26 -!- tromp has joined.
07:17:01 -!- copumpkin has joined.
07:21:43 -!- copumpkin has quit (Ping timeout: 245 seconds).
07:23:45 <esowiki> [[Shorten your Brainfuck code]] https://esolangs.org/w/index.php?diff=57654&oldid=57653 * A * (+60) /* Big width loops(for easier byte printing) */
07:24:05 <esowiki> [[Shorten your Brainfuck code]] https://esolangs.org/w/index.php?diff=57655&oldid=57654 * A * (+2) /* Big width loops(for easier byte printing) */
07:24:40 <esowiki> [[Shorten your Brainfuck code]] https://esolangs.org/w/index.php?diff=57656&oldid=57655 * A * (+30) /* Big width loops(for easier byte printing) */
07:29:04 -!- MDude has quit (Ping timeout: 244 seconds).
07:29:38 <esowiki> [[Shorten your Brainfuck code]] https://esolangs.org/w/index.php?diff=57657&oldid=57656 * A * (+44) /* Big width loops(for easier byte printing) */
07:49:43 -!- moei has quit (Read error: Connection reset by peer).
07:50:17 -!- moei has joined.
07:53:47 -!- pikhq has quit (Ping timeout: 240 seconds).
08:04:35 -!- pikhq has joined.
09:16:38 -!- jakew has joined.
09:19:32 -!- jakew has quit (Remote host closed the connection).
09:35:25 -!- AnotherTest has joined.
10:21:57 -!- pimlu has quit (Ping timeout: 272 seconds).
10:38:30 -!- Phantom_Hoover has joined.
10:53:26 -!- pimlu has joined.
10:57:00 -!- nfd9001 has quit (Ping timeout: 252 seconds).
10:57:27 -!- nfd9001 has joined.
11:42:19 -!- Patzy17 has joined.
11:44:13 -!- arseniiv_ has joined.
11:50:42 -!- pimlu has quit (Ping timeout: 252 seconds).
11:51:18 -!- Patzy17 has quit (Ping timeout: 245 seconds).
12:20:12 -!- pimlu has joined.
12:24:27 -!- pimlu has quit (Ping timeout: 252 seconds).
12:30:25 -!- xkapastel has joined.
12:32:22 <wob_jonas> zzo38: in Amycus,where you write succ(<<>: (succ → <e: m>)>) = <succ(e): m>;, does that mean succ(<<>: p>) = <succ(e): m> where <e: m> = succ(p); ?
12:32:38 <wob_jonas> zzo38: because I think that's more easy to understand than the view pattern
12:44:25 <wob_jonas> shachaf: yes, but you can still try to give that name to a language, and document it under a different page name with a "technical reasons" hatnote. that's the usual workaround.
12:45:23 <wob_jonas> also, random tidbit, on en.wikipedia, we can't create page names starting with "M:tG" because "M:" is an interwiki prefix for meta.wikimedia.org
12:48:46 -!- SopaXorzTaker has joined.
12:50:50 <FireFly> Although it probably wouldn't be an appropriate page name either way (for policy reasons rather than technical ones, though)
13:00:14 <wob_jonas> FireFly: en.wikipedia has have lots of local redirects starting with "W:" or "T:" or a few other letters that aren't interwiki links actually
13:00:45 <wob_jonas> "W:" for abbreviated names in Project:, "T:" for abbreviated names in Template: etc
13:02:22 <wob_jonas> FireFly: certain two or three letter combos with colon are much riskier, because new languages of wikipedia get started all the time, and get two or three letter interwiki prefixes most of the time, whereas new one-letter abbreviations are rare
13:03:17 <wob_jonas> Though some of those shortcuts might predate interwikimedia links in en.wikipedia
13:13:02 -!- fredrikh1 has joined.
13:15:50 -!- fredrikh1 has quit (Remote host closed the connection).
13:25:18 -!- atslash has joined.
13:26:45 <wob_jonas> In fact, I suspect Wiktionary didn't get a one-letter shortcut because they didn't want to disrupt all the existing "T:" links everywhere
13:37:13 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
14:31:46 -!- arseniiv_ has left.
14:31:58 -!- arseniiv has joined.
14:38:19 -!- Sgeo_ has joined.
14:39:04 -!- Sgeo has quit (Ping timeout: 272 seconds).
14:42:27 -!- LKoen has joined.
14:46:45 -!- atslash has quit (Quit: This computer has gone to sleep).
14:54:53 -!- atslash has joined.
15:06:16 -!- Essadon has joined.
15:08:00 -!- pimlu has joined.
15:11:54 -!- copumpkin has joined.
15:12:45 -!- pimlu has quit (Ping timeout: 252 seconds).
15:26:32 <zzo38> It is what I mean; change it if you want to
15:37:56 -!- TSS3000RO17 has joined.
15:38:38 -!- TSS3000RO17 has quit (Remote host closed the connection).
15:41:40 -!- pimlu has joined.
15:45:47 -!- pimlu has quit (Ping timeout: 240 seconds).
15:50:50 -!- pimlu has joined.
15:55:24 -!- pimlu has quit (Ping timeout: 244 seconds).
16:02:38 -!- SopaXorzTaker has quit (Quit: Leaving).
16:11:23 <esowiki> [[Special:Log/newusers]] create * YouXplode * New user account
16:19:31 <esowiki> [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=57658&oldid=57543 * YouXplode * (+170) Added introduction stuff
16:21:03 <esowiki> [[Flip]] M https://esolangs.org/w/index.php?diff=57659&oldid=34279 * YouXplode * (+104) Added another external resource.
16:22:04 <esowiki> [[Flip]] M https://esolangs.org/w/index.php?diff=57660&oldid=57659 * YouXplode * (+28) Messed up earlier
16:25:04 -!- XorSwap has quit (Quit: the creeping crawling chaos will return.).
16:25:39 -!- S_Gautam has joined.
16:26:04 -!- ATMunn has quit (Quit: lol rip).
16:27:38 -!- ATMunn has joined.
16:35:54 -!- ais523 has joined.
16:41:31 <ais523> re: namespaces, it'd be nice if : was an escape character /everywhere/
16:41:57 <ais523> e.g. you could put a colon at the start of any article name to put it into the main namespace
16:42:21 <ais523> although then you'd have to change the existing :Category: syntax for linking to a category without incoporating the article into the category
16:42:45 <ais523> (that said, the [[Category:Languages]] syntax is pretty nonorthogonal as it is)
16:55:28 -!- pimlu has joined.
16:59:48 -!- pimlu has quit (Ping timeout: 252 seconds).
17:02:22 -!- Pilate29 has joined.
17:04:24 -!- Pilate29 has quit (Killed (Sigyn (Spam is off topic on freenode.))).
17:17:59 -!- SopaXorzTaker has joined.
17:18:06 -!- SopaXorzTaker has quit (Remote host closed the connection).
17:19:14 -!- XorSwap has joined.
17:55:57 -!- wob_jonas has joined.
17:57:34 <esowiki> [[Amycus]] https://esolangs.org/w/index.php?diff=57661&oldid=57647 * B jonas * (+4) /* Implementing */
18:00:37 <wob_jonas> ais523: [[:Category:foo]] is just one of the uses, there's also [[:File:foo]] to link instead of embed. what if you used the character < or > in double-bracket links instead of trying to change how : works?
18:01:08 <ais523> embedding of an image should be {{File:foo}}
18:01:14 <ais523> as that's pretty much just a transclusion
18:02:03 <wob_jonas> ais523: yes, but it's too late to change that in Mediawiki. {{File:Foo}} already transcludes the page for the media.
18:02:17 <ais523> it's too late to change most of htis
18:02:28 <ais523> but you could probably do it correctly if you designed a wikimarkup syntax from scratch
18:02:53 <ais523> you should probably have different names for the image and the image description page…
18:04:11 <wob_jonas> the image isn't even a page. it's in a totally different dimension from the desc page. mediawiki actually allows you to create just the desc page in File: ns with no versions of the file uploaded (yet)
18:20:05 -!- SopaXorzTaker has joined.
18:27:36 <zzo38> Is there a MediaWiki extension to embed SQL codes into a page? If no virtual tables are enabled then only the data specified by other SQL codes in that page or transcluded into that page are used, but some virtual tables may be enabled that can be used to access other stuff too such as other wiki pages and history and so on. You can then use the WIKI_TABLE aggregate function to make a table, and you can also specify queries that aren't included in
18:28:32 <zzo38> Another extension I was interested in is a extension to use TeX codes without texvc, instead using a custom format file (that I wrote) to disable some functions (so that it cannot read or write any external files or use \special).
18:28:58 <wob_jonas> zzo38: dunno. look at what external stuff the lua extension can access.
18:30:50 <zzo38> (I have not checked if the PHP interface for SQLite allows you to set an authorizer callback or set limits, or to load extensions or define your own virtual tables and aggregate functions.)
18:31:24 <wob_jonas> zzo38: why is SQLite relevant? is it even used anywhere in MediaWiki?
18:31:41 <wob_jonas> I think mediawiki uses some other database as its backend
18:32:04 <zzo38> I think it supports SQLite as an option (I am not sure; I don't remember).
18:33:44 <zzo38> I also don't know if the other database backends even have a authorizer callback or can create in memory databases or virtual tables (although if the same backend is used for the user SQL codes as the MediaWiki storage database then you might not need virtual tables).
18:34:22 <wob_jonas> many database backends have a users and permissions system instead of an authorizer callback
18:34:39 <wob_jonas> and you can add custom views and functions to add authorized things
18:35:10 <zzo38> Yes, I knew about custom views
18:35:17 <zzo38> And can you associate RDF data with a MediaWiki article with any extension?
18:35:52 <wob_jonas> you can try one of https://meta.wikimedia.org/wiki/IRC_channels
18:56:17 -!- pimlu has joined.
18:56:38 <zzo38> Do you think the window functions in SQLite is good? I think there is many use of it. But, you cannot nest window functions or use them in a aggregate query or in a UPDATE statement; although there are ways to work around all of these things (by using subqueries, or in the case of UPDATE, to use REPLACE INTO instead, if it is suitable to what you are making; to use this with virtual tables you must implement REPLACE for those virtual tables).
18:58:08 <wob_jonas> zzo38: I don't really know. it seems like a compatibility thing that one paying customer of sqlite3 required for porting scripts from some other database engine, because half of the docs is about crazy compatibility rules, not like any sane design sqlite would add on its own
18:58:49 <zzo38> Maybe that is why they put it in; I don't know.
18:59:13 -!- SopaXorzTaker has quit (Remote host closed the connection).
18:59:58 <wob_jonas> but https://sqlite.org/windowfunctions.html#history is straight about the comaptibility
19:00:28 -!- pimlu has quit (Ping timeout: 245 seconds).
19:02:56 <zzo38> There is a few problem with the documentation, such as that there does not seem to be a link to that document from the documents about the SQL syntax.
19:05:19 -!- S_Gautam has quit (Quit: Connection closed for inactivity).
19:06:17 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
19:14:54 -!- MDude has joined.
19:15:44 <moony> Designing a homebrew computer is fun
19:16:00 <moony> maybe i should hook it up to IRC once i finally build it and it's functioning
19:16:14 <zzo38> Yes, and I had some of my own ideas of designing a computer too (but have not implemented it, or even completed the design)
19:17:16 <moony> i already decided the main CPU, a MC68030FE33C
19:17:27 <moony> and am working on the DMA/Blitter device
19:17:51 <moony> which will be mapped somewhere directly before RAM starts
19:29:21 <zzo38> Do you know of input, and video modes, and audio?
19:32:08 -!- Phantom_Hoover has quit (Remote host closed the connection).
19:33:43 -!- nfd has joined.
19:37:18 -!- nfd9001 has quit (Ping timeout: 252 seconds).
19:38:38 -!- nfd has quit (Ping timeout: 272 seconds).
19:44:21 -!- Phantom_Hoover has joined.
20:08:57 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
20:12:05 -!- Phantom_Hoover has joined.
20:12:05 -!- Phantom_Hoover has quit (Changing host).
20:12:05 -!- Phantom_Hoover has joined.
20:15:00 -!- zaiko11 has joined.
20:17:39 -!- zaiko11 has quit (Remote host closed the connection).
20:27:26 -!- pimlu has joined.
20:31:57 -!- 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.”).
21:56:09 -!- arseniiv has quit (Ping timeout: 252 seconds).
22:02:28 -!- nfd9001 has joined.
22:08:48 -!- AnotherTest has quit (Ping timeout: 252 seconds).
22:11:20 -!- AnotherTest has joined.
22:20:34 -!- AnotherTest has quit (Ping timeout: 240 seconds).
22:33:01 -!- Lyka has joined.
22:33:11 <Lyka> what do you think of this language? https://paste.ee/p/Z929D
22:34:25 <Lyka> this is the only place i know to ask
22:34:50 <Lyka> and i have been greeted with unjust hostility about it
22:36:42 <zzo38> I suppose it look like OK
22:37:35 <Lyka> i was wondering if it qualified as esoteric
22:38:24 <Lyka> so i could discuss it here
22:39:26 <zzo38> I don't know, but maybe there should be added notation for labels and for comments.
22:42:25 <Lyka> have a pre-pre-parser remove them
22:44:18 <Lyka> (it's complicated to run)
22:59:39 -!- Phantom_Hoover has quit (Remote host closed the connection).
23:00:02 -!- danieljabailey has quit (Quit: ZNC 1.6.5+deb2build2 - http://znc.in).
23:00:17 -!- danieljabailey has joined.
23:23:36 -!- Lyka has left ("ByrdIRC").
23:33:20 -!- tromp has quit (Remote host closed the connection).
23:49:00 -!- tromp has joined.
23:53:07 -!- tromp has quit (Ping timeout: 240 seconds).