←2021-09-13 2021-09-14 2021-09-15→ ↑2021 ↑all
00:06:33 <Sgeo> Suddenly I'm curious about linear transforms via matrices used for turing complete computation
00:07:55 <Sgeo> A matrix as a program that takes input and returns output wouldn't be TC.
00:08:10 <Sgeo> What would the computation class of that ... be, exactly?
00:10:41 <Sgeo> Is "total" a computation class, or are there subsets?
00:15:22 <keegan> there are lots of total functions that aren't linear
00:15:23 <Corbin> How is the matrix a program? Usually a single matrix multiplication is in P. Repeatedly exponentiating a matrix until it passes an arbitrary test is TC.
00:15:51 <keegan> a program consisting only of matrix multiplications can only implement linear functions
00:16:48 <Corbin> Depends on what we define as matrix coefficients, but yeah, FSVO "linear".
00:16:51 <keegan> but you can add some nonlinear operations and make it turing complete
00:16:54 <Sgeo> Could the meaning of dimensions be defined to be more than linear functions? e.g. Adding a dimension allows encoding translation as rotation (if I understand homogenous coordinates properly)
00:17:32 <keegan> rotating coordinates is a linear trnsformation
00:17:34 <keegan> https://en.wikipedia.org/wiki/Rotation_matrix
00:18:01 <Sgeo> But translating coordinates isn't, is it?
00:18:24 <keegan> no, that's a non-linear affine transformation
00:18:35 <Sgeo> I wonder what other non-linear transforms can be encoded by adding dimensions
00:19:01 <keegan> interesting question
00:19:10 <keegan> if you want a model of computation based on linear algebra then look at quantum computing
00:20:24 <keegan> the state of a quantum computer is a vector of complex numbers; the basic operations of a quantum computer are a) multiplication by a unitary matrix and b) measurement, which randomly collapses the state to one of the eigenvectors of the measurement operator, with probability depending on the state
00:20:30 <keegan> something like that
00:58:24 <Soni> we guess we can say we programmed a filesystem? https://soniex2.autistic.space/git-repos/htmlgdump.git/browse/refs/heads/deploy/tree/git-hooks/post-receive/
00:58:39 <Soni> filesystems are DFAs... that makes them programmable yeah?
01:06:28 <Soni> (and yes we're using this in production)
01:37:18 -!- src has quit (Ping timeout: 268 seconds).
02:10:26 <Sgeo> I was about to say it's all Apple's fault.... but https://developer.apple.com/documentation/webkitjs/webkitcssmatrix
02:10:41 <Sgeo> That looks like it matches math conventions. Unless Apple has matrices transposed
02:20:36 <Sgeo> DOMMatrix is officially an alias of obsoleted WebKitCSSMatrix, so...
03:13:56 -!- delta23 has quit (Quit: Leaving).
03:31:49 -!- sebbu has quit (Ping timeout: 252 seconds).
03:32:13 -!- sebbu has joined.
04:27:35 -!- Corbin has quit (Quit: zzz).
04:39:22 -!- Cale has quit (Ping timeout: 252 seconds).
06:11:36 <esolangs> [[Special:Log/newusers]] create * Wixette * New user account
06:14:23 -!- tromp has joined.
06:21:18 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=88051&oldid=88036 * Wixette * (+166)
06:22:08 <esolangs> [[User:Wixette]] N https://esolangs.org/w/index.php?oldid=88052 * Wixette * (+26) Created page with "https://github.com/wixette"
06:51:33 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
06:53:52 -!- dutch has quit (Ping timeout: 268 seconds).
07:07:38 -!- dutch has joined.
07:26:13 -!- tromp has joined.
07:42:19 -!- Sgeo has quit (Read error: Connection reset by peer).
08:06:03 -!- hendursa1 has joined.
08:08:45 -!- hendursaga has quit (Ping timeout: 276 seconds).
08:11:38 -!- Everything has joined.
08:59:15 -!- hanif has joined.
09:29:21 -!- hanif has quit (Ping timeout: 276 seconds).
09:36:06 -!- imode has quit (Ping timeout: 260 seconds).
10:05:15 <int-e> argl, alsamixer (in Debian, if that matters) has switched from a black background to the terminal's default background... so now it's almost unusable with a white background because there's a lot of yellow text
10:06:03 <int-e> (Debian unstable, to be precise)
10:07:19 <riv> the problems of the web, coming to your terminal
10:09:31 <int-e> it's not exactly a new problem in terminals... it's just that this program used to be fine... and now it isn't.
10:17:33 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
10:18:34 <riv> > Today's fun, customer says "Is it OK if we make 20k requests per hour to this endpoint". No problem, say we. I suppose making all 20k of those requests within the first minute and then waiting for 59m to do another batch still counts?
10:18:36 <lambdabot> <hint>:1:12: error: parse error on input ‘,’
10:40:43 <int-e> Oh it's configurable now, a fact that is pretty much undocumented. Back to normal: https://paste.debian.net/1211685/
12:04:09 -!- hanif has joined.
12:09:15 -!- hanif has quit (Ping timeout: 276 seconds).
12:09:17 -!- arseniiv has joined.
12:19:08 <esolangs> [[Haifuckqueue]] N https://esolangs.org/w/index.php?oldid=88053 * 4gboframram * (+1027) Created page with "'''haifuckqueue''' is a stack-based esolang created by [[User:4gboframram]] in September 2021. It is inspired by the concept of the traditional Japanese poem, the Haiku. Howev..."
12:37:20 -!- hanif has joined.
12:57:17 -!- src has joined.
13:13:44 <Soni> int-e: as a transparent terminal user, it's pretty awesome tbh
13:21:10 <Soni> (okay, not fully transparent, but anyway)
13:29:09 -!- shikhin has quit (Quit: Quittin'.).
13:30:53 -!- shikhin has joined.
13:31:47 -!- shikhin has changed hostmask to ~shikhin@offtopia/offtopian.
13:36:33 -!- src has quit (Ping timeout: 268 seconds).
13:39:19 <int-e> Soni: transparency is just increasing visual clutter for me
13:40:16 <esolangs> [[Haifuckqueue]] https://esolangs.org/w/index.php?diff=88054&oldid=88053 * 4gboframram * (+3332)
13:40:42 <Soni> programming with livestream/video/etc in background is kinda fun :p
13:41:37 <Soni> we can't really focus on both things so we usually either focus on the programming or the thing but, having it there does help with the programming when we do focus on it?
13:59:31 -!- src has joined.
14:17:58 -!- monoxane has quit (Ping timeout: 252 seconds).
14:19:53 <esolangs> [[Haifuckqueue]] https://esolangs.org/w/index.php?diff=88055&oldid=88054 * 4gboframram * (+2)
14:21:16 <esolangs> [[Haifuckqueue]] https://esolangs.org/w/index.php?diff=88056&oldid=88055 * 4gboframram * (+0)
14:23:30 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=88057&oldid=88038 * 4gboframram * (+19) /* H */
14:31:07 -!- monoxane has joined.
14:39:19 -!- Corbin has joined.
14:47:15 -!- spruit11_ has quit (Ping timeout: 268 seconds).
14:54:52 <esolangs> [[Haifuckqueue]] https://esolangs.org/w/index.php?diff=88058&oldid=88056 * 4gboframram * (+19)
14:58:54 -!- spruit11 has joined.
15:12:20 -!- Sgeo has joined.
15:30:06 -!- hanif has quit (Ping timeout: 276 seconds).
15:34:22 -!- tromp has joined.
15:36:12 -!- hendursa1 has quit (Quit: hendursa1).
15:36:38 -!- hendursaga has joined.
15:41:49 -!- Cale has joined.
16:27:09 -!- hanif has joined.
16:32:44 -!- imode has joined.
16:51:25 -!- laerling has joined.
17:02:43 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
17:07:06 -!- vyv has joined.
17:14:45 -!- hanif has quit (Ping timeout: 276 seconds).
17:15:10 -!- vyv has quit (Ping timeout: 240 seconds).
17:17:51 -!- hanif has joined.
17:23:43 <esolangs> [[List of ideas]] https://esolangs.org/w/index.php?diff=88059&oldid=88012 * 4gboframram * (+128) /* Joke/Silly Ideas */
17:44:27 -!- sprock has quit (Ping timeout: 268 seconds).
17:45:00 -!- tromp has joined.
17:46:37 <nakilon> 02:11:45 <Corbin> I worry about Discord culture sometimes.
17:47:16 <nakilon> "... more than one contributor over there has missed the idea"
17:47:44 <nakilon> as I said, Discord is in the first place a product targeted on people who are missing the ideas
17:48:19 <laerling> what idea(s)?
17:48:35 <nakilon> any
17:52:36 <hanif> i think its mostly the average age than anything
17:58:14 <Corbin> I know a couple people who moved IRC communities to Discord. One instructive example is from a university group; the average age would be in their 30s now. Personally I think it's about control; Discord emulates the feeling of private group chats with micromanaging moderators.
17:59:51 <laerling> When one of the main communities I was in was forced to move to Discord I felt like it was more due to the fancy shmancy UI with its bells and whistles. And maybe the easy-to-use voice chats, idk.
18:01:46 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
18:01:53 <nakilon> the university teachers/curators couldn't learn the /chanserv help?...
18:02:25 <nakilon> UI that is not configurable
18:02:50 <nakilon> can't sent fonts, can't set colors
18:02:53 <nakilon> *set
18:03:47 <nakilon> as I said, it was just made for LoL players when LoL developers could not make in game voice chat so they have outsourced it so that someone would make a website with some game integration
18:04:31 <nakilon> and then all LoL players' friends who were told there already are tools for text and voice communication invented decades ago joined them
18:04:41 <nakilon> *who were not told
18:07:16 <esolangs> [[RASEL]] M https://esolangs.org/w/index.php?diff=88060&oldid=88044 * Nakilon * (+0) it's 18 instructions, not 19 anymore
18:16:46 -!- FreeFull has joined.
18:25:29 <zzo38> A few with Discord now have a IRC bridge, though.
18:25:42 <hanif> maybe it's 'gamer culture' leaking in, people often are on more than one discord server, and many people are on gaming servers
18:33:12 -!- hanif has quit (Quit: quit).
18:33:18 -!- Everything has quit (Quit: leaving).
18:55:09 -!- tromp has joined.
18:58:19 -!- src has quit (Read error: Connection reset by peer).
18:59:17 -!- src has joined.
19:10:28 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
19:12:57 -!- riv has quit (Quit: Leaving).
19:13:10 -!- earendel has joined.
19:15:18 -!- riv has joined.
19:33:06 -!- oerjan has joined.
19:41:14 <esolangs> [[User:Zzo38]] https://esolangs.org/w/index.php?diff=88061&oldid=44407 * Zzo38 * (-8371) Clean
19:53:47 -!- tromp has joined.
20:03:10 -!- sprock has joined.
20:06:32 <esolangs> [[Special:Log/newusers]] create * Maikeru51 * New user account
20:07:22 <nakilon> hm, so to resolve the issue that searching for "brainfuck" it gives wrong article https://esolangs.org/w/index.php?search=brainfuck&title=Special%3ASearch&profile=default&fulltext=1
20:08:03 <nakilon> if I select my levenshtein distance to title then here https://esolangs.org/w/index.php?search=created+by+Stack+Exchange+users&title=Special%3ASearch&profile=default&fulltext=1 it prefers "list of ideas" more
20:08:32 <nakilon> (that's the case where it's supposed to find my containing text)
20:09:04 <nakilon> and the library I use to parse search results does not seem to see these text excerpts (
20:11:39 <nakilon> nvm, had some bug; with trying to find by exact match the "brainfuck" gives what you want
20:22:37 -!- velik has quit (Remote host closed the connection).
20:23:09 -!- velik has joined.
20:23:48 <esolangs> [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=88062&oldid=88051 * Maikeru51 * (+194) My introduction!
21:02:42 -!- Lord_of_Life has quit (Ping timeout: 265 seconds).
21:03:56 -!- Lord_of_Life has joined.
21:11:14 <nakilon> what are the ways to make your esolang used by others? which simplest abilities it has to provide? network access? exception handling? ncurses bindings?
21:18:30 <zzo38> I don't know, but it probably depend what is intending being used for, different programs might be used for different things.
21:19:27 <zzo38> Many kind of programs do not use any of those features
21:25:24 -!- sprock has quit (Ping timeout: 265 seconds).
21:26:38 -!- velik has quit (Remote host closed the connection).
21:27:05 -!- velik has joined.
21:34:57 <laerling> I think it just has to have an interesting original concept
21:36:15 <nakilon> there are many such languages but...
21:40:28 <fizzie> I feel like the secret to success in that is to make a language that's good for golfing somehow.
21:40:57 <zzo38> Yes, then it will be used for golfing.
21:41:12 <zzo38> At least, it is what I have seen too, I think
21:41:15 <nakilon> maybe it should be some useful utility that hasn't been implemented in any mainstream language yet (maybe because no one had an idea to make it just yet), so you could make such thing and push it homebrew or any similar repository
21:43:28 <nakilon> people don't golf in Piet I think; it has attracted people using colors
21:50:57 -!- riv has quit (Quit: Leaving).
21:52:17 -!- riv has joined.
22:08:50 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
22:22:51 -!- delta23 has joined.
22:42:06 -!- tromp has joined.
23:06:39 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
23:14:05 -!- oerjan has quit (Quit: Nite).
23:15:32 -!- hendursaga has quit (Remote host closed the connection).
23:15:58 -!- hendursaga has joined.
23:35:44 <esolangs> [[Illegal Characters]] N https://esolangs.org/w/index.php?oldid=88063 * 4gboframram * (+428) Created page with "{{wrongtitle|title=<nowiki>"{{{{{{{{{@@^^</nowiki>}} '"{{{{{{{{{@@^^' is a language which can be used to solve any code golfing problem, but with a slightly (depends on..."
23:38:25 <esolangs> [[Illegal Characters]] https://esolangs.org/w/index.php?diff=88064&oldid=88063 * 4gboframram * (+2)
23:40:07 <b_jonas> nakilon: one method is to make one of those simple toy languages, travel back in time like three or four decades when computer programming was hard and you had to like punch a Fortran program to tapes, and teach an introductory programming course to middle school kids where you teach them the basics of programming with a high level language. write a working interpreter for it, and actually run the kids'
23:40:13 <b_jonas> programs. kids are easy to have power over, so you can make them use your language.
23:44:36 <b_jonas> https://ljkrakauer.com/LJK/60s/emulcomp.htm
23:45:14 <b_jonas> but please for the sake of all that's dear, put a less-than compare instruction in it
23:45:21 <b_jonas> why does everyone make these things without a less-than instruction?
23:45:36 -!- arseniiv has quit (Ping timeout: 268 seconds).
23:45:36 <b_jonas> there's so many such examples
23:46:04 <b_jonas> tom7's wikiplia is one of the annoying ones, where you have to format the number and extract its first character to see if it's negative
23:47:01 <b_jonas> that's dated 1965, so it's 56 years ago, wow
23:49:33 <esolangs> [[Joke language list]] https://esolangs.org/w/index.php?diff=88065&oldid=87345 * 4gboframram * (+43) /* General languages */
23:52:54 <zzo38> I don't have a time travel (and I doubt nakilon has, either), but that won't stop you to try to make up such programming languages anyways if you like to do.
23:53:12 <zzo38> Also, I did try to write to Tom7 (on Saturday) but have no response.
←2021-09-13 2021-09-14 2021-09-15→ ↑2021 ↑all