00:03:04 -!- MDead has joined. 00:04:50 -!- MDude has quit (Ping timeout: 272 seconds). 00:04:54 -!- MDead has changed nick to MDude. 00:45:01 -!- adu has joined. 01:21:22 I wrote on a paper my ideas about how to make upa better television set. 02:19:15 -!- salpynx has quit (Ping timeout: 260 seconds). 02:29:14 zzo38: oh? 02:29:37 -!- doesthiswork has quit (Ping timeout: 245 seconds). 02:34:01 Some stuff I wrote, such as, there is 4:3 display, and on the right is the buttons, IR receiver, status display, OSD switch, speaker, and also a remote control holder. 02:35:24 On the back, there is the sections of inputs: two Digi-RGB sections (each having Digi-RGB, left audio, right audio, and IMIDI), one composite section (composite, left audio, right audio), one component section (Y, Cr, Cb, left audio, right audio; there is also a mode to use the component section as a second composite section), and RF. 02:35:54 Also on the back is the reset switch, the IMIDI out port, the audio output (if you want to use external speakers), and several dip switches. 02:36:52 Do you think it is good? 02:37:24 seems pretty reasonable 02:37:29 why 4:3? 02:38:16 -!- doesthiswork has joined. 02:38:38 To take up less space, mainly. 02:38:56 If such a TV set is manufactured, it could come in both 4:3 and 16:9 versions, I suppose. 02:42:02 And then there would be the software features, such as caption scrollback, numeric command prefixes (similar to vi), adjustment of colour conversion matrix, etc. 02:46:06 -!- salpynx has joined. 02:50:04 -!- FreeFull has quit. 02:59:48 O, and there is also a ethernet port. This could be used for streaming video/audio, but Gopher and ViewData could possibly also be implemented. 03:02:26 you might be the only person on earth who wants a TV that can browse Gopher using a vi-like interface 03:02:34 but I'm not going to say you're wrong 03:02:38 follow your dreams 03:22:38 Also, I think ViewData was designed for television (according to a photograph I have seen, at least), so it will work well in this way. 04:40:56 [[Multi-Set Manipulator/Subset]] M https://esolangs.org/w/index.php?diff=65310&oldid=65263 * A * (+60) /* Natural numbers set not using the built-in N */ 04:50:57 What are all of the control codes for Viewdata anyways? 04:55:05 [[Multi-Set Manipulator/Smaller]] M https://esolangs.org/w/index.php?diff=65311&oldid=65308 * A * (+165) Extend this subset 04:59:51 [[Multi-Set Manipulator/Smaller]] M https://esolangs.org/w/index.php?diff=65312&oldid=65311 * A * (-3) /* Set-comparison instructions */ 05:11:02 [[Multi-Set Manipulator/Smaller]] M https://esolangs.org/w/index.php?diff=65313&oldid=65312 * A * (+7) 05:12:32 -!- doesthiswork has quit (Ping timeout: 245 seconds). 05:40:12 TVim: TV improved 06:10:58 salpynx: It's not just the example that's wrong. The translation of w1 is plain wrong, ever since this edit: https://en.wikipedia.org/w/index.php?title=Iota_and_Jot&diff=757746945&oldid=757746752 (the translation of w0 is correct, but not a simplification over [w0] = [w]SK). 06:15:04 salpynx: Referring to the esolang page on Jot, the whole point of the translation of w1 is that it operates on arguments to the right, combining two of them, so that [F{K}] = [F11100] = [F1110]SK = [F111]SKSK = [F11](SK)SK = [F1](SKS)K = [F](SKSK) = [F]K holds regardless of F. 06:16:59 salpynx: (That's one of the base cases of proving the identity [F{A}] = [F]A that the esolang wiki page mentions.\) 06:20:02 Oh, it seems I can edit today. Different IP :P 06:25:50 salpynx: Yes, I suppose, such thing can be "TV improved", maybe. And then, we will also have VCR/DVD improved. 06:26:22 kmc: higan 06:26:24 singing is tg 06:26:33 this is my fact of the day 06:57:15 [[Multi-Set Manipulator/Smaller]] M https://esolangs.org/w/index.php?diff=65314&oldid=65313 * A * (-19) 07:10:27 salpynx: So I've edited the page, let's see whether the edit survives Wikipedia's general disdain for "IPs". 07:10:57 [[Multi-Set Manipulator/Smaller]] M https://esolangs.org/w/index.php?diff=65315&oldid=65314 * A * (+7) 07:13:22 (Meh, these things always take me so long.) 07:33:27 -!- cpressey has joined. 08:08:46 -!- Lord_of_Life has quit (Ping timeout: 258 seconds). 08:11:24 -!- Phantom_Hoover has joined. 08:13:36 -!- Lord_of_Life has joined. 08:42:54 Good morning. How about a stack-based language that is statically typechecked by translating all operations to operations that push and pop type-values to the stack instead, and running that. 08:46:58 You need to be a bit careful if there's any non-trivial control flow 09:00:19 -!- wob_jonas has joined. 09:01:15 True. That's one of the things that makes it kind of interesting though. 09:03:11 If you have while loops, say, you can make sure the body is of type (A:Bool) -> B, with the condition B -> (A:Bool), for example 09:03:14 zzo38: as for that, I wonder, is there some widely supported standard for transmitting raw (uncompressed) digital audio through wires, sort of like DVI but for audio instead of video? and if so, why not? 09:03:14 it seems to me that everyone uses either analog audio (or even composite) or bluetooth audio. 09:05:16 and this is despite that we've had audio CD equipment for ages 09:06:24 Hmm, my scheme would restrict the language to being a LBA, I think (correspondign to simply typed lambda calculus)) 09:27:30 -!- cpressey has quit (Quit: rebooting). 09:45:08 [[Special:Log/newusers]] create * TheOnlyMrcat * New user account 09:47:00 -!- andrewtheircer has joined. 09:47:03 hi 09:50:28 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=65316&oldid=65247 * TheOnlyMrcat * (+238) /* Introductions */ 09:51:27 `welcome andrewtheircer 09:51:28 andrewtheircer: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 09:51:49 hi 09:52:00 You can say that again! 09:52:34 *cough* 09:52:39 GREETINGS FELLOW HUMANS 09:53:01 hi to you and hi to you, hackeso and shachaf 09:53:49 is it allowed to sing the creeper aw man song here 09:54:47 I believe it's permitted to sing into your microphone while in this channel. 09:54:54 I've certainly done so. 09:54:58 no 09:54:58 like 09:55:12 someone says "creeper" then another person says "aw man" 09:55:17 and then the rest of the lyrics 09:55:46 Taneb: Do you know things about QBF solvers, remind me? 09:56:06 Oh, I think reciting the lyrics into your microphone is also permitted. 09:56:12 well then i'll stop referencing a 7 year old song 09:56:38 Oh man, https://en.wikipedia.org/wiki/Polynomial_hierarchy has Sigma, Pi, and Delta, but no Sigma -| Delta -| Pi adjunction. 09:57:06 That's so confusing. The letter Δ should be banned for this use. 09:57:33 http://bit.do/brainfuckextensionplans check this out 09:58:58 Title: Rick Astley - Never Gonna Give You Up (Video) - YouTube 09:59:10 fuck 09:59:16 my rickroll failed 09:59:34 Please don't try to trick people like that. It's quite rude. 09:59:48 ok 10:00:06 there are two types of people in this world: those who listen to that on purpose 10:00:10 and those who don't 10:02:41 this chat has deceased 10:08:21 onions 10:10:12 -!- andrewtheircer has quit (Remote host closed the connection). 10:10:57 -!- xkapastel has quit (Quit: Connection closed for inactivity). 10:20:05 shachaf: I don not know things about QBF solvers 10:20:50 I barely know anything about anything, quite frankly. 10:20:59 Where can I find out about QBF solvers? 10:22:01 Hmm, I don't know much about QBF solvers. 10:22:15 -!- andrewtheircer has joined. 10:22:19 One good trick is to come to Berkeley and ask edwardk about them. 10:22:23 I would start at http://www.qbflib.org/qbfeval19.php 10:22:27 are you famous sha 10:22:41 in the eso community 10:22:44 I'm the most famous sha of them all. 10:22:45 (I've seen some QBF solver basics.) 10:22:46 Berkeley's all the way in Gloucestershire, though 10:22:50 It's practically on the west coast! 10:22:51 They call me SHA-256. 10:23:10 That's pretty far. 10:23:30 nice 10:23:38 have you made esos before 10:23:40 Hmm, actually they call me SHA-512/256. 10:24:02 Hmm, Berkeley was where vaccination was invented 10:24:25 I thought it was in China or something? 10:24:27 technically the word vaccine comes from antivaxxers of the time as they thought vaccines would turn you into a cow :p 10:24:48 (I guess the 2018 edition is more fruitful for now. But you should learn some tool names, which will lead to corresponding papers, which will be educational.) 10:25:08 what? 10:25:12 `? vaccine 10:25:12 vaccine? ¯\(°​_o)/¯ 10:25:13 `quote 10:25:14 737) U+2205 [∅] NO LETTER O ALLOWED 10:25:36 so is that where the legends about werecows come from? 10:25:50 ye 10:26:00 `quote 10:26:01 796) typed racket: anyone using a model m keyboard 10:26:05 Maybe solvers that just support two quantifiers or something are more interesting in practice. 10:26:11 Unlimited quantifiers seems pretty extreme. 10:26:17 do you program y'all 10:26:31 that explains why a mad scientist would become one 10:27:27 idea: eso based on onions 10:28:39 shachaf: the particular class is called 2QBF and has its own track at QBFEVAL.. 10:29:05 Makes sense. 10:29:22 2Q2BF 10:29:29 (Since the objective is to *decide* formulas there's no real difference between the \forall\exists and \exists\forall prefixes) 10:30:29 Presumably this is sigma_2 and pi_2 or something. 10:30:30 a 10:30:39 are you a mathematician 10:30:47 Yes. They're just dual of each other. 10:31:56 Are they left and right adjoint to some functor? twh 10:33:00 For that you need to ask somebody who cares about category theory. 10:33:23 My only objection is to this delta thing. 10:33:33 Delta should always mean diagonal or difference. 10:34:15 I suspect \Delta is for "deterministic" 10:34:32 or possibly "decision" 10:34:58 `quote q = 10:34:59 1288) (btw, "q = 1-p" should be the standard definition of q, IMO) 10:35:11 are you a bot hackeso 10:35:24 you all have very specific ideas on how the use of letters should be restricted 10:35:33 ...what if q is a state of an automaton though... 10:35:40 being a not-mathematician, i don't 10:37:31 That seems fine for a two-state automaton. 10:37:58 shallots 10:38:01 Actually, I guess using delta for diagonal is only a category thing? 10:38:13 What do normal people call f : a -> (a,a)? 10:38:41 shachaf: `dup` is the suggestion recently/currently discussed on the haskell libaries mailing list 10:38:45 @pl \a -> (a,a) 10:38:45 join (,) 10:39:04 *libraries 10:39:35 `diag` is a plausible name, of course. 10:39:36 ​/srv/hackeso-code/multibot_cmds/lib/limits: line 5: exec: diag`: not found 10:40:11 And yes, I would probably use a lower case delta in formal writing, if I needed a name. 10:40:26 Oh, right, people use lowercase delta for it rather than capital. 10:42:47 ayyy 10:43:01 idea: whitespace (the eso) but with added blank characters 10:59:33 -!- cpressey has joined. 11:02:35 hi chris 11:05:16 canned coochie 11:15:42 -!- Phantom_Hoover has quit (Ping timeout: 244 seconds). 11:17:42 !ping 11:59:55 int-e: that looks a lot better (Jot wikipedia edit) thank you! The article is trying to refer everything back to the Barker's iota combinator, and your last sentence does that. I was wondering if there was a simpler example to show w1, but I guess it's not that simple an operation. [w]S & [w]K are useful examples, and the intermediate steps are fol 11:59:56 lowable using the info on the page. Good stuff :) 12:00:08 hi sal 12:00:25 [[ACL]] M https://esolangs.org/w/index.php?diff=65317&oldid=65309 * YamTokTpaFa * (-25) /* History and Turing Completeness */ 12:02:08 hi 12:04:57 for opinions on what delta means in maths, how about 4? Some pretty decent mathematicians used that convention quite early on. 12:05:33 salpynx: thanks for the feedback! 12:08:31 I'll keep an eye on the page and defend your IP edit if needed :) 12:10:13 -!- andrewtheircer has quit (Remote host closed the connection). 12:16:28 -!- salpynx has quit (Remote host closed the connection). 12:21:07 -!- nfd has quit (Ping timeout: 246 seconds). 13:41:55 -!- heroux has quit (Ping timeout: 244 seconds). 13:50:40 Oh also 13:50:47 there's something I should say 13:51:19 I spent a weekend in London as a short family vacation. there was something that I found very confusing: 13:53:59 most bus stations had a street level map of its surroundings, which is great, but the problem is, they were all roated such that down on the map was the direction that the sign faced, rather than consistently south. 13:54:19 It drove me crazy because I saw the map oriented randomly in different directions every time. 13:54:47 It's hard to follow maps that way. 13:54:54 Means you don't need a compass to navigate 13:55:42 I think it's OK when you get used to it 13:56:11 If you get used to it, you no longer need the map signs in the bus stops 13:57:12 the fix is probably to buy a paper city map and ignore the maps on the signs (but still look at the other info on the signs, such as the name of the station and which bus lines stop there and towards where and how often) 13:57:32 I should have probably done that 13:59:44 I think being able to read a map oriented that way is a more transferable ability than you're suggesting 14:00:00 but I don't want to have to 14:00:07 why can't they just put normal maps up? 14:00:24 It's my fault, I should have bought a paper map and used it 14:00:29 What's a "normal map"? 14:01:11 A normal map is like the good maps we used to have 20 years ago, that are no longer possible to buy because not enough people pay for them to be worth economically to make *sigh* 14:01:30 even for Budapest they no longer exist 14:01:48 I am using a combination of a fresh map with the last good map that there was 14:03:26 the latter one is from 2001 14:03:59 or from 2009, I dunno 14:04:03 I'll have to check that at home 14:05:02 -!- Lord_of_Life has quit (Ping timeout: 245 seconds). 14:12:09 -!- Lord_of_Life has joined. 14:27:50 -!- atslash has quit (Quit: This computer has gone to sleep). 14:29:47 -!- andrewtheircer has joined. 14:30:16 -!- heroux has joined. 14:31:09 hi 14:42:08 [[Multi-Set Manipulator/String]] N https://esolangs.org/w/index.php?oldid=65318 * A * (+1589) Created page with "This is a string-based version of [[Multi-Set Manipulator/Subset]], as there are programming difficulties for using lists. This attempts to make Multi-Set Manipulator a pure..." 14:47:22 [[Multi-Set Manipulator/String]] M https://esolangs.org/w/index.php?diff=65319&oldid=65318 * A * (+75) 14:51:21 [[User talk:Gamer]] N https://esolangs.org/w/index.php?oldid=65320 * Andrew3335 * (+211) Created page with "It was really fun making that math paper language with you. Sorry if I'm really really late, but thanks for that endeavor. It was my best language so far (dotlang was a befung..." 14:59:39 -!- andrewtheircer has quit (Remote host closed the connection). 15:08:05 -!- wob_jonas has quit (Remote host closed the connection). 15:28:34 -!- xkapastel has joined. 15:32:44 -!- andrewtheircer has joined. 15:33:22 hi 16:00:01 -!- cpressey has quit (Quit: WeeChat 1.4). 16:37:58 -!- atslash has joined. 16:59:59 -!- b_jonas has joined. 17:02:14 -!- Phantom_Hoover has joined. 17:06:53 -!- FreeFull has joined. 17:16:31 -!- MDude has quit (Ping timeout: 246 seconds). 17:45:37 I had idea about something similar to a "do notation" like Haskell but to use with a preprocessor for JavaScript codes. Such as: const listMonad=(m,f)=>[].concat(...m.map(f)); const x=listMonad*>{ let a=yield [1,2,9]; let b=[3,4,5,7]; return a-b; }; 17:48:02 nice 17:48:16 hi zzo 17:50:33 you made recurseme right? 17:52:56 https://stackoverflow.com/questions/57376279/ thoughts abuot this? 17:53:13 -!- andrewtheircer has quit (Remote host closed the connection). 17:53:34 -!- andrewtheircer has joined. 17:53:34 texas 17:57:13 -!- ais523 has joined. 17:57:46 hi ais 17:58:02 andrewtheircer: thoughts 17:58:15 eh 17:58:17 i dunno 17:58:32 i used to be a programmer but now i know nothing 18:02:21 boot 18:07:51 ``` perl -e'while(<>) { if (/^----- ([0-9]+) /) { 13 == $1 and last; } elsif (/^[^ ]/) { m"^[(]?([\-\x27./A-Za-z]+)[!)+*]*\r?$" or die "syntax $_"; push @w,$1; } } print $w[rand@w]," " for 1..21; print "\n";' /hackenv/share/dict/12dicts/Lemmatized/2+2+3frq.txt 18:07:52 partial palm meter breathe near specific agreement beat striking liver qualify western above entity convince subject ranch viewer gas manager extensive 18:08:20 what are you trying to do 18:08:29 -!- andrewtheircer has quit (Remote host closed the connection). 18:08:43 printing random common words 18:09:01 -!- andrewtheircer has joined. 18:09:05 `words 21 18:09:06 ficising creed wportie michtfully cribarabe sain convidentwo vale dra tallatek zygeima acheth eilesita ally iii bcnchover woien devell baram donne ryon 18:09:23 `words 1 18:09:24 biecioul 18:09:24 and random mythic rare words 18:09:29 today's word is objection 18:09:45 how many time travelling esoteric languages've been done 18:21:37 -!- unlimiter has joined. 18:22:44 GARFIELD 18:25:17 check my link andrewtheircer 18:29:48 can't 18:30:40 why 18:30:57 i dunno 18:30:59 i'm actually 14 18:34:36 andrewtheircer: so? that's not an adult site, StackOverflow can be written from the age of 13, read by anyone 18:34:51 i don't actually program then 18:35:01 i friggen don't know the problem 18:35:20 -!- doesthiswork has joined. 18:37:08 -!- ais523 has quit (Quit: quit). 18:37:55 -!- andrewtheircer has quit (Remote host closed the connection). 18:53:26 -!- diverger has quit (Ping timeout: 272 seconds). 18:54:09 -!- diverger has joined. 19:02:17 -!- lldd_ has joined. 19:10:31 -!- sftp has quit (Quit: leaving). 19:32:11 In athletics sport, when do you suppose the traditional approach to high jump with a fixed bar will get replaced by a grid of lights and detectors so that the jumper doesn't have to bet on how high he jumps exactly where and in what directions, the detectors just figure out what the highest line is that he's jumped over? (A bar, lower than usual, can still be there as a guideline for approximately where 19:32:17 the detectors are.) 19:34:41 There can still be multiple attempts of jumps of course. 19:37:26 that is an interesting idea 19:38:05 I know that major league baseball is going to start using radar to judge whether a ball has gone through the strike zone or not 19:38:16 nice 19:39:40 I wonder if you could do something with long jump and hammer throw too so that it's automatically measured where exactly someone took the last step before the jump or threw from respectively and subtract it 19:39:57 and the umpire will still make a call but is expected to agree with the machine in typical cases 19:40:17 there'd still be some intervals of course, because of technical limitations, in all of those cases, but still it could help 19:40:40 heck, perhaps even for short distance running people would no longer have to start at exactly the same moment 19:40:59 and short distance swimming too 19:45:32 and of course put them in air conditioned buildings so that there's no wind and carefully controlled predictable temperature and air pressure and humidity, and make multiple different categories depending on what accleration the artificial gravitation generator is set to 19:56:02 hehe 19:57:20 -!- sftp has joined. 19:58:13 swimmers have always tried to swim in water of various temperatures, and of course for high level competitions in short distance swimming, they try to set a temperature close to ideal. the Mythbusters even did some attempt to try water with viscosity much higher than usual. but I think nobody experimented with swimming in lower than usual or higher than usual gravity yet. 20:01:08 yeah, it's kind of a hard thing to test, lots of water is kind of a pain to work with 20:01:23 and it shouldn't matter a whole lot, at least if you're submerged 20:01:50 since your density is basically the same as water's 20:02:07 Hooloovo0: sure, although sea water can be denser than normal 20:03:00 true, and a couple of lakes are saltier/denser still 20:05:03 yeah, the Dead Sea most famously, only it's in the Middle East where there are some ... political problems 20:09:25 -!- Lord_of_Life has quit (Ping timeout: 244 seconds). 20:12:29 hmm, it's actually not that different from the great salt lake's salinity https://en.wikipedia.org/wiki/List_of_bodies_of_water_by_salinity 20:12:49 -!- Lord_of_Life has joined. 20:13:53 Hooloovo0: I, um, might be biased and heard more of the former because it's closer to here 20:22:18 -!- lldd_ has quit (Quit: Leaving). 20:28:25 Do you play any Washizu mahjong or dark mahjong or any other kind of Fukumoto variants of mahjong? 20:28:52 I have never played any variant of mahjong including the normal one 20:32:59 Washizu mahjong requires most (but not all) of the tiles to be transparent (so that your opponent can see it too), but dark mahjong can use the ordinary equipment for mahjong. 20:34:04 by transparent, do you mean they're marked on the back too? 20:34:24 can you see them even in the wall/deck from where you're drawing the cards? 20:35:04 b_jonas: That is one way to implement it (I have seen this as a suggestion), but the set I have uses tiles that you can actually see through. 20:35:28 In Washizu mahjong the tiles are drawn from a bag (and you will wear a glove on that hand), so you can't see them before they are drawn. 20:36:23 -!- tromp has quit (Read error: Connection reset by peer). 20:36:59 -!- tromp has joined. 20:37:49 Dark mahjong is you are allowed to discard face-down, but doing so costs 1000 points. Opponent can try to make it face-up by a payment of 2000 points, but if the discarder then bets an additional 4000 points then it remains face-down. However, it is still allowed to call ron on that tile even though you cannot see it! If you do so correctly, then the score for your hand is doubled. 20:37:51 zzo38: I see. I'm just used to cards, not mahjong, which is why I find the idea of transparent strange, although admittedly there is one commercial card game with actually transparent plastic cards (called Swish IIRC) 20:38:05 ah, drawn from a bag, like in Scrabble. makes sense. 20:38:37 (Some rules for dark mahjong are still unclear though, such as how face-down discarding interacts with furiten.) 20:39:46 -!- tromp has quit (Read error: Connection reset by peer). 20:40:30 -!- tromp has joined. 21:45:24 -!- unlimiter has quit (Quit: WeeChat 2.5). 21:53:53 -!- salpynx has joined. 23:13:22 -!- nfd has joined. 23:35:05 -!- MDude has joined.