00:00:46 -!- oren has joined. 00:01:08 how do I un join a channel? 00:01:20 I joined #esteric by mistake 00:02:11 Also my internet was out earlier 00:02:59 why do power bars have switches that can be activated by wayward feet? 00:05:29 aha! /leave 00:09:54 -!- mauris has quit (Ping timeout: 260 seconds). 00:16:49 oren: Where are your backslashes. I barely recognize you without your backslashes. 00:45:50 -!- jaboja has quit (Ping timeout: 260 seconds). 00:49:58 -!- oren has changed nick to \oren\. 00:50:25 hppavilion[1]: note that it was a database *query language* based on category theory that I wanted to create. 00:50:37 If you want to make a database, use SQLite or something. 00:50:38 Anyway. 00:50:43 Yeah 00:50:50 Ah 00:51:03 The basic idea behind the category theory of databases... 00:51:34 Tables are objects. Columns (and things that behave like columns, such as chains of foreign keys) are arrows. 00:53:57 So far I've primarily been considering read-only databases. I'll want to think about writable databases, too, of course, but that'll make stuff more complicated. 00:55:09 Now, I guess it's probably best to imagine all this as taking place in the category Set. So, tables are simply thought of as being sets, and columns are simply functions. 00:55:36 A lot of concepts that are useful in databases turn out to be fundamental concepts in category theory. 00:57:30 A union of two queries is a "coproduct" (which really ought to just be called a "sum")... almost. The cartesian product of two queries is a product. 00:57:48 Adding a "where" clause gives you an "equalizer". 00:58:09 An inner join is the same thing as a "pullback". 00:58:48 Most excitingly, a SQL query of the form "SELECT FROM a_table, another_table, ... WHERE this = that, these = those, ..." is the same thing as a "limit". 00:58:59 Note that a limit in category theory isn't at all the same thing as a limit in... the rest of mathematics. 01:00:10 -!- ^^v has joined. 01:00:41 Though they're related, somehow, supposedly. 01:00:42 -!- mihow has quit (Quit: mihow). 01:00:42 tswett: err what 01:00:52 tswett: I'm not sure I follow at all. What are the head and tail of an arrow? 01:01:16 You know that an arrow is the same thing as a morphism, right? 01:01:27 The domain is the table containing the foreign key; the codomain is the table referenced by the foreign key. 01:06:45 ahh 01:06:53 that makes much more sense 01:28:55 @massages 01:40:16 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 01:47:53 -!- andrew has quit (Remote host closed the connection). 01:50:52 -!- andrew has joined. 02:07:58 -!- ^^v has quit (Ping timeout: 260 seconds). 02:23:46 -!- Frooxius has quit (Quit: *bubbles away*). 02:30:51 I'm considering making a language called "ASM for Pythonistas" 02:32:52 [wiki] [[MATL]] http://esolangs.org/w/index.php?diff=45740&oldid=45739 * 103.3.96.10 * (+2) /* Specification */ 03:02:25 -!- variable has quit (Quit: 1 found in /dev/zero). 03:20:13 Yep. Making it. 03:27:45 I would like to see a pseudoarithmetical operation for which the identity is 2. 03:27:54 If possible. At all. 03:30:57 Without just defining an operation such that the identity is 2. That's cheating. 03:40:10 -!- bb010g has joined. 03:52:06 -!- andrew has quit (Read error: Connection reset by peer). 03:52:37 -!- andrew has joined. 04:03:42 -!- hppavilion[1] has quit (Ping timeout: 260 seconds). 04:10:30 <\oren\> f(x,y) = x + y - 2 04:11:15 <\oren\> @tell hppavilion[1] f(x,y) = x+y-2 04:11:15 Consider it noted. 04:19:02 -!- hppavilion[1] has joined. 04:19:56 I had an idea for something eso- that could have serious uses in the real world in an actual way. 04:21:09 The name of the general concept is "Inappropriately Placed Assembly Languages", or "Inappropriately Placed Executables" if you prefer. 04:23:13 Basically, the idea is to write highly-efficient programs in ASM and a mid-level language like C or Rust that run a domain-specific bytecode, such as one for something PHP-like. The purpose of this is to make web languages compilable to highly efficient code as opposed to being interpreted, thus increasing the efficiency of infrastructure by 1000000000000000000000000000000000000000000000000000.00000006%. 04:23:24 Of course, this might be what's done already and I might just be an idiot. 04:25:00 what does... b_jonas think? 04:25:43 hppavilion[1]: are you talking about wasm? 04:25:55 hppavilion[1]: Is that a thing? 04:25:58 Shit. Again. 04:26:01 lifthrasiir: Is that a thing? 04:26:12 hppavilion[1]: in development but almost yes. 04:26:40 lifthrasiir: Oh, no, this is server-side. 04:26:48 ah 04:26:49 well. 04:27:04 but I guess wasm is not really bound to the web browser 04:27:16 It isn't, due to the nature of languages 04:27:28 Though based on the fact that is has an AST, I don't think it's really an ASM. 04:27:32 hppavilion[1]: to be clear, the status-quo JS interpreter already does so to some extent 04:27:49 the role of asm.js or wasm is to guarantee that (and to cut the parsing cost) 04:27:52 lifthrasiir: Does what so? 04:27:56 Ah, asm 04:28:04 .js 04:28:05 -!- MDude has changed nick to MDream. 04:28:41 My idea is for server-side stuff so that you can write something to the same effect as PHP, but faster and awesomer. 04:28:44 if you write a JS code sufficiently looks like low level code (in terms of code complexity; not to mean I/O or so), it does compile that to that level 04:29:24 a killer feature of (mod_)php is an opcode caching, isn't it? 04:29:26 lifthrasiir: But what do you think of the idea? 04:29:37 No clue what that is. 04:30:25 hppavilion[1]: php source code is parsed into an internal opcode which is interpretered. mod_php caches the first step (parsing) so that an unmodified php source code can be executed much faster. 04:31:48 lifthrasiir: Ah, that's cool. But being able to write ASM that does PHP would still be /so cool/ 04:32:14 or terrible? :p 04:32:53 lifthrasiir: Naw, pretty sure it'd be cool 04:34:14 What other weird ASMy things could I do.. 04:34:15 . 04:35:24 lifthrasiir: What level do you program on? High or low? 04:35:27 hppavilion[1]: I've once thought of a vectorized asm-like bytecode. 04:35:36 Vectorized? 04:36:33 hppavilion[1]: well, opcode interpretation is not very fast, but if you can delegate some specific task to a single opcode, that can be made faster 04:36:44 actually that's a recurring theme on the physical chip 04:36:56 (why do we have an AES round instruction on x86? :p) 04:36:57 I'm making an ASM called "ASM for Pythonistas", which I want to have features reminiscent of the high level while still being down low. I currently have one thing: Variable-length instructions. You have any suggestions? 04:37:16 Ah 04:37:48 anyway 04:38:12 I wanted to make a bytecode that is relatively easy to implement (no JIT, possibly a threaded impl, but not much) 04:38:25 and relatively fast when you use a right opcode 04:38:56 lifting (the first layer of) loops into opcodes seems to be a fine approach 05:59:30 I am attempting to produce the most complete catalogue of stack manipulation operations ever: https://docs.google.com/document/d/1Im3xnBO-CUeqLHWfpNfHhbfh5ZzgXvML4yFjPqXKdF0/edit# 05:59:35 lifthrasiir: Want to see 05:59:36 ? 05:59:47 at work, later :) 06:01:54 OK :) 06:05:56 -!- MC8 has quit (Ping timeout: 246 seconds). 06:06:19 -!- Wallacoloo has joined. 06:07:27 -!- Wallacoloo has left. 06:11:36 -!- hppavilion[1] has quit (Ping timeout: 250 seconds). 06:47:32 -!- tromp_ has joined. 06:50:20 -!- tromp has quit (Ping timeout: 276 seconds). 07:05:45 -!- MC8 has joined. 07:07:10 -!- hppavilion[1] has joined. 07:28:13 moral dilemma: jack works with children, let's say he's a kindergarten teacher 07:28:28 jack is found to be a pedo and he's sentenced to 20 years in prison 07:28:45 20 years later, jack wants his job back 07:29:00 would you hire him? 07:30:54 -!- MC8 has quit (Ping timeout: 260 seconds). 07:35:09 -!- hppavilion[1] has quit (Ping timeout: 245 seconds). 07:36:58 [wiki] [[Seriously]] N http://esolangs.org/w/index.php?oldid=45741 * Quintopia * (+14869) This took way too long. 07:39:01 -!- hppavilion[1] has joined. 07:45:58 -!- Patashu has joined. 07:49:36 -!- Patashu has quit (Remote host closed the connection). 07:49:58 -!- Patashu has joined. 07:52:51 -!- heroux has quit (Ping timeout: 260 seconds). 08:03:18 izabera: Let's go with /no/ 08:13:31 [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=45742&oldid=45687 * Quintopia * (+16) /* S */ 08:14:50 -!- mroman has joined. 08:14:51 fnord 08:20:15 -!- heroux has joined. 08:20:24 Hi, mroman! 08:31:22 I wnt to learn ASM. So naturally, I'm writing an Assembly language first then learning by writing in it. 08:37:40 -!- Welo has joined. 08:56:33 <^v> hppavilion[1], haha 08:56:55 <^v> if you really want to do ASM you should learn arm/thumb 08:56:57 ^v: Yep 08:57:00 I probably should 08:57:02 <^v> thats where the money is at 08:57:22 OR I could write my own ASM interpreter and learn that so I grasp the concepts, then get the nuances of individual ASMs later 08:57:43 ASM is easy. 08:58:21 <^v> mroman, lol... 08:58:45 What? 08:59:07 I mean the rules are easy 08:59:08 <^v> yeah until the platform you are on doesnt have gdb and has no emulator 08:59:14 like Brainfuck 08:59:26 but to do something in it is a little bit inconvenient. 09:00:45 asm is pretty easy 09:01:42 -!- Jafet has joined. 09:01:53 <^v> but which asm 09:01:55 <^v> xD 09:02:23 -!- Jafet has quit (Changing host). 09:02:23 -!- Jafet has joined. 09:02:35 <^v> like i have done a bit of x86 and there are 100,000,000 and a half ways to do everything 09:02:36 we learned nasm 09:02:51 <^v> oh like gmod GPUs? 09:02:58 <^v> that one is fun 09:09:50 -!- hppavilion[1] has quit (Ping timeout: 260 seconds). 09:33:30 -!- J_Arcane_ has joined. 09:35:02 -!- J_Arcane has quit (Ping timeout: 260 seconds). 09:35:10 -!- J_Arcane_ has changed nick to J_Arcane. 09:47:27 -!- andrew has quit (Remote host closed the connection). 09:52:26 -!- jaboja has joined. 09:53:06 -!- AnotherTest has joined. 09:53:10 -!- Welo has quit (Quit: Leaving). 09:55:08 -!- jaboja64 has joined. 09:55:31 -!- jaboja has quit (Read error: Connection reset by peer). 09:59:39 -!- MoALTz_ has joined. 10:02:34 -!- MoALTz has quit (Ping timeout: 260 seconds). 10:19:37 -!- mauris has joined. 10:30:44 -!- mauris has quit (Ping timeout: 250 seconds). 10:46:54 -!- AnotherTest has quit (Ping timeout: 260 seconds). 10:50:16 -!- AnotherTest has joined. 10:53:14 -!- ^v has quit (Remote host closed the connection). 10:56:14 -!- mauris has joined. 11:05:34 -!- Patashu has quit (Ping timeout: 260 seconds). 11:10:46 -!- oerjan has joined. 11:15:08 [wiki] [[MATL]] http://esolangs.org/w/index.php?diff=45743&oldid=45740 * Luis Mendo * (+0) /* Compiler */ 11:36:45 -!- boily has joined. 11:37:01 fternoily 11:39:18 bœrjan matin. 11:52:38 -!- mauris has quit (Ping timeout: 250 seconds). 12:15:26 -!- newsham has quit (Ping timeout: 265 seconds). 12:19:26 fungot: nostril. 12:19:27 boily: you can trivially write a screen-scraper to build a scheme48 image to start with 12:19:57 -!- newsham has joined. 12:26:18 Nostril is not a word I use very often 12:31:03 -!- boily has quit (Quit: FATAL CHICKEN). 12:42:45 fungot, how is mandril a word you use very often? 12:42:45 b_jonas: yes, also the sound is actually measured by how far it goes down for me too 12:47:14 -!- AnotherTest has quit (Ping timeout: 250 seconds). 12:48:26 fungot, can you scrub toilets? 12:48:27 b_jonas: using emacs? o_o we could make a pencil&paper implementation of whirl is just a nice ui/ interface paradigm for an os class, which the environment can then read my diary using just a normal linux kernel, dude. 12:48:34 heh 12:53:54 M-x-scrub-toilet 13:27:20 -!- MC8 has joined. 13:28:14 -!- atslash has joined. 13:57:48 is the GOT writable? 13:58:11 or is it made read-only once the runtime linker is done? 14:00:44 no idea. ask the libc people. 14:17:55 -!- TieSoul has joined. 14:23:26 -!- TieSoul has quit (Ping timeout: 260 seconds). 14:27:26 -!- TieSoul has joined. 14:38:18 -!- rdococ has joined. 14:49:09 -!- Taneb has changed nick to T_a_n_e_b. 14:50:08 -!- T_a_n_e_b has changed nick to Taneb. 15:07:12 fungot, when? 15:07:12 b_jonas: it can be 15:07:25 fungot: yes, but Christmas in which year? 15:07:26 b_jonas: well, there i can steal or guess ids of other users it's a problem 15:15:00 -!- MDream has changed nick to MDude. 15:38:00 -!- spiette has joined. 15:39:36 -!- AnotherTest has joined. 15:57:14 -!- oerjan has quit (Quit: Later). 16:04:27 fungot: fun? 16:04:27 mroman: but i would prefer installation via curses honestly... it's not really much gain. i realize how lucky i was to call car on a string 16:04:38 fungot: car on a string? 16:04:39 mroman: do you have a look at it tomorrow, since i still haven't finished drawing the original problem. :p 16:06:34 -!- jaboja64 has quit (Ping timeout: 260 seconds). 16:12:08 -!- Welo has joined. 16:16:18 fungot: sure I can give it a look. 16:16:18 mroman: c ya tommorow :( 16:22:59 -!- AnotherTest has quit (Ping timeout: 264 seconds). 16:39:34 -!- `^_^v has joined. 16:54:25 -!- Welo has quit (Quit: Leaving). 17:09:03 -!- jaboja has joined. 17:20:20 -!- rdococ has quit (Read error: Connection reset by peer). 17:21:13 -!- mroman has quit (Quit: Lost terminal). 17:29:40 -!- jaboja has quit (Read error: Connection reset by peer). 17:31:24 -!- jaboja has joined. 17:31:45 -!- gamemanj has joined. 17:37:47 -!- atslash has quit (Quit: This computer has gone to sleep). 17:52:18 -!- MoALTz_ has changed nick to MoALTz. 18:09:54 -!- hppavilion[1] has joined. 18:15:20 1602 characters so far, working on Armenian script. 18:15:45 what a hard script to fit in the bitmap. 18:21:25 -!- AnotherTest has joined. 18:22:00 -!- gamemanj has quit (Remote host closed the connection). 18:30:16 -!- bb010g has quit (Quit: Connection closed for inactivity). 18:32:41 I'm making an attempt to categorize all the operations in all of the languages. 18:33:25 s/ in / for /; s/languages/data structures/ 18:55:00 -!- Phantom_Hoover has joined. 18:59:21 -!- invitada- has joined. 19:02:15 "-- we have finalized all the necessary arrangement and your fund ($5.5USD)has been approve by the border directors of Uba Bank --" well, okay, but five and a half dollars isn't really that much to celebrate for. 19:03:26 Also they want $85 for a "transfer clearance certificate approval", which makes me think this isn't really a good deal I'm getting. 19:03:28 -!- invitada- has quit (Read error: Connection reset by peer). 19:03:55 OK, so I have Deque, Tape, and Trape in my database of DS operations 19:04:23 -!- invitada- has joined. 19:05:28 I've defined roughly 20-25 operations for the Deque, and can definitely think of some more 19:10:56 -!- Welo has joined. 19:17:09 -!- invitada- has quit. 19:19:13 -!- TodPunk has joined. 19:25:42 -!- Wallacoloo has joined. 19:25:56 -!- Wallacoloo has left. 19:27:40 -!- rdococ has joined. 19:29:48 -!- hppavilion[1] has quit (Ping timeout: 250 seconds). 19:31:40 -!- hppavilion[1] has joined. 19:41:36 In the manual of a fridge and freezer, what does this instruction mean? “Do not change the specifications of this appliance.” 19:42:01 There are translated versions of the manual to about nine languages if it helps. 19:53:27 do you have Dutch? 19:53:42 the English doesn't seem to make much sense 19:56:55 I have to do a speech for english on why my hobby is the best hobby 19:57:03 And my hobby is programming. 19:57:28 So I'm going to do a short speech then play Rebecca Black's "Friday" through windows's speech API 20:00:02 -!- rdococ has quit (Read error: Connection reset by peer). 20:01:06 b_jonas: Well if specification means the same thing here as it does in programming, I would assume it means don't hack into their factory computers and change the way it's manufactured 20:01:49 But it probably doesn't, so I assume that it just means don't mess with the device because they're anti-personal freedom to screw with your own fucking property 20:10:17 -!- Patashu has joined. 20:11:59 Patashellu! 20:13:52 -!- nycs has joined. 20:15:18 -!- `^_^v has quit (Ping timeout: 250 seconds). 20:15:28 -!- Patashu has quit (Remote host closed the connection). 20:16:17 -!- Patashu has joined. 20:16:18 -!- nycs has changed nick to `^_^v. 20:20:00 -!- glitchomatic has joined. 20:20:02 hello 20:28:04 -!- ^v has joined. 20:31:03 glitchellomatic! 20:35:11 hi 20:35:28 im currently building a humman act like numerical prossesor 20:35:41 so far im wondering where my error 20:43:29 -!- Patashu has quit (Ping timeout: 245 seconds). 20:47:25 -!- atslash has joined. 20:47:33 Welo: dutch seems to be “De specificatie van het apparaat mag niet worden veranderd.” 20:47:52 fantastic 20:47:57 that means exactly the same 20:48:25 I think that hppavilion[1] is right, and that they mean you shouldn't hack it 20:49:31 glitchomatic: Building a human act like numerical processor? You mean a numerical processor that behaves like a human? 20:49:45 what mean behave 20:50:28 in other word it is the main piece of a robot to react like a humman 20:50:40 the very middle one the center piece 20:51:02 its all number and equation symbol 20:51:07 there no word 20:51:20 for the main piece 20:51:37 but the secont one have word 20:51:50 and all relate to 1 number 20:51:54 the number 7 21:03:04 -!- diginet has quit (Ping timeout: 245 seconds). 21:04:03 -!- diginet has joined. 21:11:40 -!- gamemanj has joined. 21:29:26 It'd be cool if the universe was structured such that TMs could "recur" within one another, increasing computational class each time 21:29:52 Essentially, if, if you replaced the FSM of a TM's state with another TM, it got more powerful 21:33:53 -!- bb010g has joined. 21:34:03 -!- TieSoul has quit (Remote host closed the connection). 21:34:15 What happens if you restrict a TM such that the state FSM can only be a decision tree? 21:34:45 -!- Lord_of_Life has quit (Excess Flood). 21:36:36 -!- Lord_of_- has joined. 21:40:38 -!- jaboja has quit (Read error: Connection reset by peer). 21:43:25 -!- jaboja has joined. 21:43:42 -!- hppavilion[1] has quit (Ping timeout: 250 seconds). 21:46:33 -!- jaboja has quit (Read error: Connection reset by peer). 21:47:33 -!- jaboja has joined. 21:54:07 -!- Welo has quit (Quit: Leaving). 21:55:18 -!- glitchomatic has quit. 22:02:26 -!- FireFly has quit (Ping timeout: 240 seconds). 22:04:49 -!- `^_^v has quit (Quit: This computer has gone to sleep). 22:05:03 -!- FireFly has joined. 22:08:37 -!- OmkAAR has joined. 22:08:51 -!- Jettins has joined. 22:15:14 -!- gamemanj has quit (Ping timeout: 260 seconds). 22:18:59 -!- pdxleif has quit (Ping timeout: 260 seconds). 22:19:17 -!- pdxleif has joined. 22:23:29 -!- jaboja has quit (Ping timeout: 245 seconds). 22:33:29 -!- Guest49439 has quit (Ping timeout: 245 seconds). 22:43:30 -!- Jafet has quit (Ping timeout: 250 seconds). 22:44:07 -!- Jafet has joined. 22:46:13 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 22:52:01 -!- jaboja has joined. 23:33:50 -!- Jafet has quit (Quit: Leaving.). 23:40:22 -!- hppavilion[1] has joined. 23:42:11 I want to see HaskASM. Basically, a purely-functional assembly language. Somehow. 23:43:19 Probably just a Haskell that is all about dos registries 23:43:38 (bout doz registries no sta-ack) 23:47:15 maybe something like reduceron assembly 23:47:45 -!- Frooxius has joined. 23:50:28 -!- Jettins has left.