00:00:43 int-e: I wouldn't know, I don't use emacs (or vim either, to avoid starting arguments :P) 00:01:27 Just use $EDITOR, nuff said. 00:01:53 <|oren\> ed is the standard editor 00:02:04 ill ask later.. 00:02:10 I *can* use ed to make simple edits. 00:03:03 http://i.imgur.com/SS87Vwe.png I regret trying ed 00:03:12 <|oren\> anyone who knows vi well can use ed if they remeber which commands are new in vi 00:03:16 CrazyM4n: q 00:03:32 CrazyM4n: possibly q! or Q if you actually managed to edit anything. 00:03:54 <|oren\> ed man! man ed 00:03:55 I was in /dev with no root I think I'm safe 00:04:24 yes, ed is world-renown for its informative error messages. 00:04:30 renowned. 00:04:35 <|oren\> use H hth 00:05:34 ctrl-d seems to work to quit too (unless you've managed to get into some weird mode first) 00:06:06 * olsner just made a two-line text file in ed! 00:06:11 <|oren\> the easiest editor is cat. sometimes i write whole programs with cat. 00:07:18 binary search is so annoying to implement hth 00:07:42 <|oren\> call bsearch hth 00:07:55 cat isn't a very good editor since you can't go back 00:08:01 (imo) 00:08:27 <|oren\> cluid: that is why you must make up for it by being a great programmer! 00:08:43 i sort of want to make an editor now 00:08:52 similar to cat but more advanecd 00:09:13 CrazyM4n: http://sprunge.us/RERS - it's just vi without the visual ;-) 00:09:15 cluid: you can go back on the same line 00:09:20 that's pretty advanced 00:09:21 wow! 00:09:24 I didny know that 00:09:32 yeah because terminals are line-buffered 00:09:34 <|oren\> using backspace 00:09:42 did I just boost your workflow 00:09:46 tripled your productivity 00:11:06 surely 'sed -i' is the ed-derivative of choice 00:12:34 int-e: Ed is actually, you know, kinda cool 00:12:43 It looks like it, at least 00:13:55 once I did some editing with ed just so I could say I did 00:14:28 it's a good very bad editor. if you'd like a very bad editor I recommend ed 00:14:37 <|oren\> ok, i am now working on a crude editor which i shall call kitten. 00:14:46 elliott, how does it compare to teco 00:15:13 uhh 00:15:16 #esoteric-text-editors 00:15:20 I think teco was less horrible to use but weirder 00:16:02 so i looked at the teco manual 00:16:04 <^G><^G>Deletes the entire command string 00:16:04 <^G>Types current line of command string 00:16:11 definitely two commands you want close together 00:16:39 the mud i played back in 1992 or so had an internal editor that was ed-like. that was my gateway drug to vi. 00:18:11 gateway drugs are meant to be towards worse things 00:18:24 OH 00:18:24 that's more like you kicked your meth habit to smoke weed 00:18:32 oerjan: was it an lpmud? 00:18:36 int-e: indeed 00:19:22 that ed actually produced helpful (well, sometimes) error messages :) 00:19:36 I just realized how many gateway drugs I must have taken to get to liking esolangs 00:21:31 <|oren\> Forth, Scheme and APL are on the edge... 00:21:33 CrazyM4n: completely scrambled your brain, man 00:22:22 |oren\: hm i may have known about all those (possible another lisp instead) before starting esolanging 00:22:24 Quick unrelated question - how do I get to emacs without a GUI (in the terminal) 00:22:35 I don't really think so 00:22:41 scheme seems like a completely reasonable programming language 00:22:50 and so does forth too, but for a very specialized purpose 00:22:51 CrazyM4n: emacs should be a command? 00:23:02 It starts the X version 00:23:06 APL of course was used quite practically but only long ago 00:23:29 CrazyM4n: DISPLAY= emacs perhaps? 00:23:32 RIP APL 00:23:36 emacs -nw 00:23:36 -!- mihow has quit (Quit: mihow). 00:23:45 ehthanks 00:23:47 *thanks 00:23:49 (i guess elliott gave the better option) 00:24:10 time to learn emacs 00:24:26 <|oren\> cluid: the point is the 00:24:37 Anyway, my gateway drug to programming was http://roblox.com/ (ofc) 00:24:49 <|oren\> "standard languages"are all ALGOL derivatives 00:25:06 -!- mihow has joined. 00:25:07 <|oren\> that is, at heart they are imperative 00:25:20 http://i.imgur.com/GI6YACB.png Aaa what did I do 00:25:26 scheme is an algol derivative 00:25:33 <|oren\> and they use a complex syntax 00:25:40 that's why they call it the algolrithmic language scheme 00:25:54 <|oren\> scheme is not really, because its syntax is lisp 00:26:33 <|oren\> it might have some distant borrowings, but at heart it is functional and lispy 00:26:51 |oren\: i take it you prefer FORTRAN syntax then *runs and hides* 00:27:06 or COBOL 00:27:07 I prefer assembly syntax /s 00:28:08 doesn't BCPL -> B -> C form its own lineage 00:28:27 <|oren\> oerjan: i actually like scheme, but i like it because it is different from the other languages i know 00:28:34 cluid: actually it's because scheme was generated by an algorithm 00:29:12 <|oren\> Phantom_Hoover: yes, but it ultimately derives from Fortran through ALGOL 00:29:31 sussman was the name of guy l steele's computer 00:29:56 <|oren\> but most modern ALGOL derivatives derive from C it's true 00:29:58 well, wp gives an algol -> cpl -> bcpl derivation anyway 00:30:16 lol elliott 00:30:20 (i've been reading too much hatcher, i keep trying to parse that as an exact sequence of programming languages) 00:30:46 Phantom_Hoover: so what's the kernel of algol 00:31:07 whatever they didn't put into cpl i guess 00:31:40 Phantom_Hoover: that would mean that bcpl consists of precisely the parts of cpl that were orthogonal to algol 00:31:47 (hence conjuring the spirits of the computer with our spells) 00:31:47 exactness means they threw away everything from algol when they made bcpl, yes 00:34:29 they should have called programs spells and then lint would be a spell checker 00:35:15 -!- mihow has quit (Quit: mihow). 00:35:16 <|oren\> oerjan: from now on i will refer to programs as spells 00:35:29 good, good 00:35:49 There are at least two canons where spells are effectively programs. 00:36:27 invoke 00:36:33 <|oren\> Suzumiya Haruhi no Yuutsu is one. 00:36:43 sicp isn't a canon 00:36:46 what am I saying, yes it is 00:36:59 no it's not, you can't shoot a canonball out of it 00:37:11 spell invocation canonically presented 00:38:50 by Caine Steelman 00:40:43 hm i'm severaly mixed up there 00:41:18 i cant decide what to work on 00:41:22 programmign related thing.. 00:42:20 -!- azazel_ has joined. 00:42:48 ugh how can you remove a program that came with an install script 00:43:09 run the installer backwards 00:43:16 Genius 00:44:20 Aaaand it did nothing 00:47:46 hm someone should make a solution for clean uninstalls once and for all 00:47:54 write all installers in burro hth 00:48:06 (uninstalls of uncooperative software, that is) 00:48:12 . o O ( this is why I typically install software in a dedicated subdirectory in /opt ... which I can then just remove completely.) 00:48:23 oerjan: it's called a virtual machine :P 00:48:39 Well, since I can't uninstall this at all 00:48:40 `welcome azazel_ 00:48:49 eek 00:48:49 azazel_: 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 irc.dal.net.) 00:48:50 I'm going to install the version form the repo and hope to god that it overwrites the last one 00:48:52 oh 00:49:03 what's the overhead like on running every installed program on a separate vm? 00:49:15 elliott: that sounds very course-grained 00:49:15 Phantom_Hoover: depends what kind of VM, honestly 00:49:18 @google qubes os 00:49:19 https://qubes-os.org/ 00:49:22 there's also things like 00:49:25 @google sandboxie 00:49:26 http://www.sandboxie.com/ 00:49:26 Title: Sandboxie - Sandbox software for application isolation and secure Web browsing 00:49:28 *coarse 00:49:29 How do you do that? Installing programs into a specific folder 00:49:30 (can't vouch for the security) 00:49:35 `relcomw azazel_ 00:49:36 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: relcomw: not found 00:49:36 oerjan: ah. I was wondering... 00:49:38 *c[aeiou]*rse 00:49:41 With proper paravirtualization, the computing overhead is minimal 00:49:45 darn you w 00:49:53 However, there is the human overhead 00:50:06 I use a chroot for some programs 00:50:06 `relcome azazel_ 00:50:06 Dang, overwriting it didn't do anything 00:50:08 Srs tho 00:50:08 ​azazel_: 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 irc.dal.net.) 00:50:10 that only abstracts away the filesystem 00:50:12 Thur 00:50:16 'abstracts' is the wrong word.. 00:50:17 Purdy 00:50:43 if all you care about is uninstalls you can just use linux namespace type things or even just chroots yeah 00:51:20 hah, lunatic monster... 00:51:27 i now pronounce chroot in my head as 'cheroot' 00:51:55 The revolutionary Che Root (now jailed) 00:52:00 `` elcomew azazel_ | rainwords 00:52:00 bash: elcomew: command not found 00:52:08 yes, we do have a lunatic monster to destroy. oh and a train that's wreaking havoc in the monastery. 00:52:14 `` emoclew azazel_ | rainwords 00:52:15 ​(.ten.lad.cri no ciretose# yrt ,aciretose fo dnik rehto eht roF) .>/gro.sgnalose//:ptth< :ikiw ruo tuo kcehc ,noitamrofni erom roF !tnemyolped dna ngised egaugnal gnimmargorp ciretose rof buh lanoitanretni eht ot emocleW :_lezaza 00:52:39 Im done 00:52:44 .>/gro.sgnalose//:ptth< 00:52:45 (my last two comments may not make sense if your name isn't oerjan.) 00:53:03 int-e: I figured out the context pretty quickly 00:53:12 bring back people talking about DF and homestuck in here without warning imo 00:53:17 That bot is amazing 00:53:25 Phantom_Hoover: Where’s the ‹e› come from? 00:54:06 phonetics, whimsy 00:54:58 int-e: bets on whether he intends to fulfil that promise 00:55:15 and if so, what's the catch 00:55:43 hm i guess he'd want the book back. 00:55:57 Im dumb 00:56:05 Phantom_Hoover: I say it without. Like “Groot” but with the ‹g› replaced by a ‹ch›. 00:56:07 Compared to you guys 00:56:20 ch like in bach root 00:56:24 azazel_, what is the dumbest thing you have ever done 00:56:51 Gotta think 00:57:06 Locked myself out of my house 00:57:24 that's it?? 00:58:06 Also in code i, Made an infinite looper in my bot and it spammed a site and i didnt put anything to stop it in and i got banned ;-; 00:58:09 what's yours cluid 00:58:25 oerjan: hmm, the book. where did the book end up? http://www.girlgeniusonline.com/comic.php?date=20141210 looks like a magic trick, lots of diversions and poof, the book is gone. 00:58:49 haha 00:58:52 im not sure 00:58:53 oerjan: anyway, I think there'll be a catch that has nothing to do with the book; perhaps he'll send somebody with her. 00:59:05 cluid: maybe it was forgetting it 00:59:06 * azazel_ watches from afar 00:59:10 oerjan: and by "will" I mean "intends to" 00:59:16 btw welcome back dulnes 00:59:22 the other day i left the bag with all my diving stuff on a harbour somewhere 00:59:28 still kicking myself for that 00:59:32 oerjan: because it's not clear to me yet that the monks will cooperate in this plan :) 01:01:34 yeah a monk rebellion does not seem unlikely 01:01:53 except, he does have an army there. 01:01:56 I should go back to the wiki and look at some haskell stuff cuz i want to be good in it. 01:02:07 so probably not too overtly. 01:03:04 oerjan: "fine distraction" ;) 01:04:08 Anyway, the outcome is wide open. First they'll have to catch that train, and that'll be more fun if as many sparks as possible are involved. :) 01:04:24 good point 01:04:57 backstabbing, later. 01:07:48 speaking of which, I wonder whether henkma will produce a 79 characters Collatz parity entry... 01:09:04 oh well i guess violetta took care of it, then. btw do you know if that monster on friday's page is a cameo from somewhere? it feels familiar. 01:09:19 (he has three more spaces in their than I have, and only one can be attributed to a ; in my code) 01:09:55 well i dunno, i haven't tried that one 01:10:19 or wait, i did 01:10:35 currently at 93 chars 01:14:21 oerjan: Oh cameo, I didn't think of that ... hmmm. 01:26:22 -!- callforjudgement has joined. 01:28:25 -!- ais523 has quit (Ping timeout: 264 seconds). 01:33:38 -!- cluid has quit (Quit: Leaving). 01:47:12 -!- CrazyM4n has quit (Quit: internet lag). 01:51:21 -!- dts|pokeball has quit (Ping timeout: 250 seconds). 01:53:25 -!- callforjudgement has quit (Read error: Connection reset by peer). 01:53:41 -!- callforjudgement has joined. 01:55:19 -!- bobobobo has joined. 02:03:44 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:07:11 -!- bb010g has joined. 02:10:36 `? category 02:10:37 Categories are just a special case of bicategories. 02:10:39 `? bicategory 02:10:40 Bicategories are just categories where composition is only associative up to an isomorphism. 02:10:46 that's not very useful hth 02:10:55 or even true? 02:14:42 <|oren\> it can't be true, i can tell that even though i know nothing about whatever this is 02:15:04 <|oren\> two things can't be special cases of each other 02:15:26 fortunately the bicategory entry doesn't say it's a special case of a category 02:16:12 <|oren\> it basically does? it says they are "just categories" except for some behaviour that is limited 02:16:57 in a category composition is really associative. in a bicategory it's only associative up to isomorphism, which is more general. 02:17:01 that's not my objection 02:17:13 -!- scarf has joined. 02:17:14 <|oren\> i see. 02:20:45 -!- callforjudgement has quit (Ping timeout: 265 seconds). 02:25:50 <|oren\> shachaf: it looks like WP says bicategories are "weak 2-categories". if that's the case and not all categories are 2-categories, then there are categories that aren't 2-categories, and therefore aren't bi-categories 02:26:03 -!- CrazyM4n has joined. 02:35:47 -!- adu has joined. 02:37:04 <|oren\> shachaf: am i on the right track here? 02:42:14 <|oren\> ok, so it appears there are two usages of "category", on means things only with arrows between classes, and one means things with arbitrary levels of meta-arrows between arrows. in either case, there are categories that aren't 2-categories 02:44:48 i vaguely think categories are 1-categories 02:45:30 -!- bobobobo has quit (Quit: Leaving). 02:50:00 HhOw do you keep annxiety attacks away? 02:50:30 Meditate? 02:50:41 Wrong chhanel ssory 03:07:26 . o O ( don't worry ) 03:08:21 -!- glguy_ has joined. 03:08:50 Malbolge seems to help with anxiety and stress 03:09:43 Im ok now. 03:09:57 And no CrazyM4n thats not helpful at all 03:11:16 -!- adu has quit (Quit: adu). 03:11:58 D: 03:16:58 It says on the wiki most difficult langauge ever created 03:17:02 -!- ais523 has joined. 03:17:08 -!- scarf has quit (Read error: Connection reset by peer). 03:20:44 <|oren\> By that logic, BASIC keeps anxiety attack away. 03:21:13 I was thinking of other infuriating things to do 03:21:27 And I thought of multi-platform bytecode polyglots 03:21:28 D: 03:33:38 too busy debugging to worry about anxiety attacks? 03:35:26 Im new to estoric stuff CrazyM4n and i have no idea what you just said 03:36:20 Bytecode, like the stuff executables are made out of 03:36:23 Compiled files 03:36:26 Like .exes 03:36:46 What if you hand created a .exe that works on multiple different architectures 03:37:03 Now that'd be anxiety inducing :P 03:37:13 [wiki] [[Deadfish]] M http://esolangs.org/w/index.php?diff=41476&oldid=41465 * Oerjan * (-5) /* StaPLe */ Remove extra spaces 03:38:03 CrazyM4n: one main problem might be different magic numbers. but i don't know. 03:39:53 -!- AndoDaan has joined. 03:40:08 Probably, but that'd have to be changed 03:40:16 [wiki] [[Truth-machine]] M http://esolangs.org/w/index.php?diff=41477&oldid=41472 * Oerjan * (+1) /* StaPLe */ Add one 03:40:47 There could be a loophole 03:41:05 Or, you can force linux to execute it by running chmod +x afaik 03:42:05 um that's not what chmod +x does 03:42:27 or rather, it _never_ executes it if it's not, so it has nothing to do with the format 03:43:16 Well 03:43:23 Yeah, but I'm pretty sure that it'll execute it anyway 03:43:28 If it's marked as executable 03:43:35 Let me try something 03:43:37 something like this has been discussed here before. iirc DOS .com files have no magic number 03:43:49 And people write .com files by hand, don't they? 03:44:00 CrazyM4n: Not often, but some people do, sure. 03:44:01 it happens 03:44:05 oerjan: Yep. 03:44:15 A .com file has no magic number and no real structure. 03:45:04 "programmer defined structure" 03:46:33 i expect windows may get away with it because it cares about file extensions for executables, unlike linux 03:47:05 -!- nys has quit (Quit: quit). 03:47:18 Oh yeah, com files were just instructions 03:47:24 That actually *could* work 03:49:01 `` echo fnord >test; chmod +x test; ./test 03:49:04 oerjan: Also, all *other* executable file formats actually have magic numbers on Windows. 03:49:07 So, I was gonna prove a point about every file on linux being maybe runnable 03:49:13 pikhq: ok 03:49:15 ​./test: line 1: fnord: command not found 03:49:17 So I tried chmod +x'ing a .png 03:49:27 oh duh 03:49:28 http://i.imgur.com/gqk8OIt.png I almost want to know what that bottom error means 03:49:30 *Almost* 03:49:46 CrazyM4n: the shell tries to run it as a shell script. 03:49:51 shiny https://en.wikipedia.org/wiki/Fat_binary#Combined_COM-style_binaries_for_CP.2FM-80_and_DOS 03:49:53 Oh, that's pretty normal weirdness. 03:49:55 I saw that 03:50:04 but iirc that doesn't work if it isn't run from a shell 03:50:08 oerjan: Actually, it's the libc. 03:50:14 pikhq: oh. 03:51:22 -!- adu has joined. 03:51:59 -!- glguy_ has quit (Quit: Part). 03:52:03 Basically, all the exec functions but execve run a program in the shell if they don't parse as normal executables. 03:52:12 CrazyM4n: i think you got some zalgo in your png hth 03:53:18 http://i.imgur.com/SWem1kZ.png S͉̜͓͉̳͕o̝͕̣̼͔ ̧͍̘̤̘ͅmu̖͇̳̤̤c͚̜̦̩͚̭̖h͙ ̝͈͈̟̬͖̬z̳͜a̛l͇͉͍͔̥̖̳g̮̤̙̤ͅǫ͖͍ 03:53:43 pikhq: at least that means there is a test for "normal executable" that may fail. 03:54:06 -!- glguy_ has joined. 03:55:34 -!- nisstyre has quit (Changing host). 03:55:34 -!- nisstyre has joined. 03:57:15 Yes. The kernel checks for an ELF header, the a.out header (if enabled), the #!, and any registered alternate binary formats. 03:57:33 And returns an error otherwise. 04:02:28 -!- adu has quit (Remote host closed the connection). 04:07:47 -!- Sprocklem has joined. 04:13:50 Eye sea watt yew did their 04:17:43 -!- glguy_ has quit (Quit: Computer has gone to sleep.). 04:19:25 -!- glguy_ has joined. 04:24:19 * pikhq loves that the kernel has alternate binary format support, FWIW 04:25:47 it has sooo many switches to disable. 04:35:38 -!- drdanmaku has quit (Ping timeout: 244 seconds). 04:35:52 -!- drdanmaku has joined. 04:36:00 -!- glguy_ has quit (Quit: Computer has gone to sleep.). 04:36:12 https://www.reddit.com/r/geek/comments/2pcyy0/letters_by_computer/ 04:39:16 aw dangit 04:39:27 I have my client to notify me whenever someone says "geek" 04:40:19 7-bit word D: 04:42:11 -!- oerjan has quit (Quit: Nite, dammit). 04:50:36 lol 04:52:38 You know I'm just gonna follow you around random channels and mention the word geek, now, GeekDude 04:52:47 >.< 04:53:06 I already get so many hilights from people mentioning geek squad in various help channels 04:53:28 heh 04:54:04 OH CRAP KSP BETA RELEASED TODAY 04:54:11 Time to waste my life away 04:54:15 :O 04:54:20 I've never played KSP 04:54:27 oh, also, I got my robots to do a new interesting thing 04:54:46 That interesting thing is? 04:55:52 Gosh you can't just leave me hanging 04:56:14 * GeekDude leaves CrazyM4n hanging 04:56:26 D: 04:56:44 Basically, I'm in the process of rewriting a very old piece of software 04:56:54 Said software was written for *shocker* Windows 98 04:57:03 I'm rewriting it for linux 04:57:36 Said software allows you to drive your little yellow LEGO Mindstorms RCX robot around remotely, with a webcam feed 04:58:05 I've got a php script that allows me to control the bot 04:58:18 and a passable webpage 04:58:27 so now I've just gotta figure out webcam stuff, and I'm golden 04:59:10 I can click a button on my website and make the robot move 04:59:22 I've got sliders for speed and duration 04:59:56 Sweet 05:00:00 so far the website looks like this https://db.tt/GcRRnQTx 05:00:15 The image on the left will be a feed from on the robot, the image on the right will be from overhead 05:00:16 Link to the original program? 05:00:33 -!- glguy_ has joined. 05:01:00 http://www.brickvista.com/features/redRover/redRover.html 05:01:30 Hmm 05:01:42 How are you rewriting it? 05:02:01 Are you disassembling it? Or intercepting the signals? Or what? 05:02:48 Careful study of existing reverse-engineered protocol specs 05:03:01 http://www.mralligator.com/rcx/ 05:04:13 Seems nifty 05:04:20 As far as I know, we're the last people actually using red rover 05:04:48 "we're"? Is this for some sort of research project or something? 05:05:08 Sortof 05:05:17 I have a long backstory if you wanna hear it 05:05:43 Sure 05:06:35 So, in 2010 I joined a "FIRST LEGO League" robotics team. The idea is that you build robots out of LEGO Mindstorms sets that do a certain set of tasks 05:07:02 Oh? So did I 05:07:16 through this, I met our (now sadly deceased) local LEGO fanatic 05:07:44 Before her passing, however, I became one of her biggest assistants 05:08:14 One of the things that she did was run the Red Rover on our local college website 05:08:39 However, we eventually lost funding and it was moved to one of my friends house 05:09:49 Since then, the original owner of the Red Rover setup has passed, as I mentioned above 05:11:43 I'd assume that model isn't really supported by anything anymore? 05:11:54 So now my friend and I are the official caretakers of the red rover 05:12:04 The RCX? 05:12:32 Interestingly enough, there are drivers for it included in the linux kernel 05:12:51 Specifically for it? Or just generic ones that work with it? 05:12:59 Specifically for it 05:13:09 Also, that story was actually pretty depressing 05:13:11 It's bizarre 05:13:29 So can't you just use those? Or look at their source, at least 05:14:20 The drivers just let you control the "IR Tower", but the actual information you send is up to yo 05:14:22 you* 05:14:38 Huh, that is quite weird 05:16:40 Anyways, seeing as windows 98 desktop is a relatively bad platform for a webserver, I figured it needed an overhaul of some kind 05:16:59 And since I actually have a bit of experience in web development, I figured I'd give it a go 05:18:49 Seems like quite a nice project 05:20:24 Seems like a very esoteric project to me 05:20:50 I'm also reminded of this XKCD https://xkcd.com/1095/ 05:22:10 Heh 05:22:40 Now we just need a group of one or two people focused on hacking the motors in it. 05:22:44 Specifically the motors. 05:23:55 well, the motors are pretty simple 05:24:08 They're literally just simple DC motors 05:24:12 not even servos :/ 05:24:19 http://aturingmachine.com/ 05:25:22 J_Arcane_: It won't let me connect 05:25:29 Ooo, I was just browsing the internet and found http://countercomplex.blogspot.com/2011/10/algorithmic-symphonies-from-one-line-of.html 05:25:46 I love stuff like this, creative coding-esq things 05:31:29 -!- Sprocklem has quit (Ping timeout: 250 seconds). 05:32:07 Welp, good night people 05:32:13 nitr 05:32:15 nightr 05:32:18 Goodnight* 05:32:42 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 05:32:53 -!- CrazyM4n has quit (Quit: "sleep"). 05:37:52 -!- AndoDaan has quit (Quit: bbl). 05:56:22 -!- ais523 has quit (Read error: Connection reset by peer). 05:56:34 -!- ais523 has joined. 06:42:56 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 07:03:14 The acoustics lab people had built a shout detector as a gift for a recent graduate, since one of his thesis papers was about shout detection. 07:03:17 It was built around an old army helmet (so that it's "robust"), and included a ring of LEDs around the rim. They lit up green when the wearer spoke, and red when he shouted, and there was also a loudspeaker that played out random samples from the shout corpus they had recorded for the paper when he shouted especially loudly. 07:03:22 All driven by a Raspberry Pi. We (a different research group in the same department) have a tradition of having some kind of a pun or a joke in the group gift, too, but that was a bit more elaborate than the norm. 07:04:44 :) 07:08:05 They also presented him with a "triploma". See, around here you get a diploma when you finish your master's degree, so it makes sense the doctoral degree includes a triploma. (I'm not sure when you get the monoploma.) 07:09:32 Bachelor's degree? 07:09:36 High school? 07:10:42 Probably something like that. 07:10:53 We didn't used to have separate bachelor's degrees. 07:13:04 in hebrew a bachelor's degree is called a "first degree" and a master's degree is called a "second degree" 07:13:18 so this triploma thing seems reasonable 07:13:19 My course at uni isn't separate but I think most in the UK are 07:13:30 Anyway I am off now to get dinner 07:14:24 These days they've "harmonized" things here to include a mandatory distinct bachelor's degree step here too. 07:14:37 Bah, fcolor has broken down again. 07:21:25 -!- glguy_ has quit (Quit: Quit). 07:38:19 -!- callforjudgement has joined. 07:41:09 -!- azazel_ has quit (Quit: Connection closed for inactivity). 07:42:05 -!- callforjudgement has quit (Read error: Connection reset by peer). 07:42:11 -!- scarf has joined. 07:43:26 -!- ais523 has quit (Ping timeout: 264 seconds). 07:43:48 -!- Patashu has joined. 08:24:28 https://www.youtube.com/watch?v=nZXW_8lHx-E 08:28:16 -!- scarf has quit. 08:49:50 -!- nisstyre has quit (Ping timeout: 265 seconds). 08:57:00 -!- mitchs_ has quit (Read error: Connection reset by peer). 08:57:28 -!- mitchs_ has joined. 09:12:29 -!- Phantom_Hoover has joined. 09:18:16 -!- nisstyre has joined. 09:57:29 -!- ais523 has joined. 10:00:03 -!- shikhin has joined. 10:00:27 -!- shikhin has changed nick to Guest31073. 10:01:17 -!- Guest31073 has changed nick to shikhout. 10:01:22 -!- shikhout has quit (Changing host). 10:01:22 -!- shikhout has joined. 10:01:35 -!- shikhout has changed nick to shikhin. 10:21:08 -!- glguy__ has joined. 10:47:48 [wiki] [[List of ideas]] http://esolangs.org/w/index.php?diff=41478&oldid=40775 * 195.74.132.98 * (+41) /* General Ideas */ fertilisation 10:49:59 -!- atslash has quit (Quit: This computer has gone to sleep). 10:52:47 -!- ais523 has quit. 10:55:01 [wiki] [[List of ideas]] http://esolangs.org/w/index.php?diff=41479&oldid=41478 * 195.74.132.98 * (+68) /* Based on dimensions */ 11:15:12 -!- boily has joined. 11:15:38 -!- atslash has joined. 11:20:41 -!- atslash has quit (Quit: This computer has gone to sleep). 11:31:42 http://wcook.blogspot.fi/2012/07/day-functional-programming-changed.html 11:34:07 [wiki] [[Talk:Ragaraja]] http://esolangs.org/w/index.php?diff=41480&oldid=33418 * Mauriceling * (+91) 11:37:58 -!- Phantom_Hoover has quit (Ping timeout: 258 seconds). 11:55:58 -!- Patashu has quit (Ping timeout: 256 seconds). 11:56:21 -!- Phantom_Hoover has joined. 11:57:49 -!- dianne has quit (Ping timeout: 244 seconds). 11:59:32 -!- dianne has joined. 12:11:21 -!- Sgeo_ has joined. 12:15:09 -!- Sgeo has quit (Ping timeout: 258 seconds). 12:15:29 -!- mitchs_ has quit (Ping timeout: 260 seconds). 12:15:29 -!- supay has quit (Ping timeout: 260 seconds). 12:15:39 -!- mitchs has joined. 12:15:55 -!- sebbu has quit (Ping timeout: 260 seconds). 12:17:16 -!- ocharles has quit (Ping timeout: 260 seconds). 12:17:20 -!- fungot has quit (Ping timeout: 260 seconds). 12:19:10 -!- ocharles_ has joined. 12:19:41 hellocharles_! 12:22:35 -!- boily has quit (Quit: HYPERGOLIC CHICKEN). 12:23:51 -!- zemhill has quit (Ping timeout: 260 seconds). 12:27:29 rello 12:28:08 -!- supay has joined. 12:32:17 -!- singingboyo has quit (*.net *.split). 12:35:17 -!- singingboyo has joined. 12:48:55 -!- |oren\ has quit (Ping timeout: 264 seconds). 12:58:19 -!- sebbu has joined. 12:58:19 -!- sebbu has quit (Changing host). 12:58:19 -!- sebbu has joined. 13:10:34 -!- cluid has joined. 13:15:21 is there something like pangrams based on pairs of letters? 13:16:51 I guess what I'm after is a text fragment in which every letter pair that appears in dictionary words (to be defined...) actually appears. 13:25:28 -!- GeekDude has joined. 13:34:17 -!- S1 has joined. 13:38:48 -!- oren has joined. 13:40:36 -!- Phantom_Hoover has quit (Ping timeout: 255 seconds). 13:50:55 -!- shikhout has joined. 13:51:14 -!- oren has quit (Ping timeout: 264 seconds). 13:51:17 -!- shikhout has changed nick to Guest54343. 13:54:20 -!- shikhin has quit (Ping timeout: 272 seconds). 14:04:00 I stumbled on this little game, where one gets to kern some words manually. http://type.method.ac/ 14:04:19 The Internet is a strange place. :) 14:07:20 -!- oerjan has joined. 14:10:02 I don't get this game 14:10:02 int-e: "Diphonetically complete." 14:10:05 (Not a real term, I just made it up, and anyhow you wanted graphemes instead of phonemes.) 14:10:09 What does to kern actually mean? 14:10:40 !blsq_uptime 14:10:40 14d 4m 3s 14:10:50 researchers are allowed to make up terms, it's their job 14:10:57 Oh now I get it 14:10:59 Also ITYM "one gets to kem some words" hth 14:13:47 S1: kerning basically means to adjust the spaces between letters of a word (to make it look evenly spaced to the human eye). This may involve things like moving an e following a T a bit below the T. 14:13:58 (disclaimer: I'm not a typographer) 14:14:23 don't listen to int-e he's an accomplished font designer 14:14:25 Yes. 14:14:30 Yes I got it. Got 66 out of 100 points 14:14:32 AV for instance. 14:14:37 fizzie: I don't know what "kem" means, so definitely no. 14:15:34 http://www.ironicsans.com/2008/02/idea_a_new_typography_term.html 14:15:50 oh my god 14:16:00 google messes with the kerning if you search for "kerning" or "keming" 14:16:11 elliott: thanks! 14:16:21 that does make sense actually. 14:17:10 I had 77/100, and I completely failed one of them. Not too impressive. 14:19:11 59/100. I should try again not on a tablet 14:19:23 elliott: I think I knew that. 14:21:41 -!- sebbu2 has joined. 14:22:00 -!- tromp has joined. 14:22:19 -!- sebbu2 has quit (Changing host). 14:22:19 -!- sebbu2 has joined. 14:22:59 Ooh, I got a 100/100 for one. (It's also a bit clunky on this tablet.) 14:23:05 elliott: I'm a bit disappointed though that the merchandise is not using an overlap of an r with an n... 14:23:14 -!- clog_ has joined. 14:23:20 -!- Phantom_Hoover has joined. 14:23:49 -!- glguy___ has joined. 14:24:59 why isn't the pronunciation guide for that link in ipa :( 14:27:51 83/100 as the final score. 14:28:50 not using ipa these days is the dictionary version of not using unicode. who's with me? 14:29:34 * oerjan prepares to swat those against. except shachaf. 14:30:50 oerjan: In that it's still inexplicably popular not to go IPA/Unicode? 14:31:15 -!- sebbu has quit (*.net *.split). 14:31:15 -!- glguy__ has quit (*.net *.split). 14:31:15 -!- clog has quit (*.net *.split). 14:31:15 -!- tromp__ has quit (*.net *.split). 14:31:16 -!- Lymia has quit (*.net *.split). 14:31:16 -!- ski has quit (*.net *.split). 14:31:26 -!- cluid has quit (Quit: Leaving). 14:31:58 fizzie: something like that. 14:32:25 -!- ski has joined. 14:33:03 E.g. I think Merriam-Webster is anti-IPA. 14:33:08 * oerjan dislikes it whenever he searches for the ipa pronunciation of a word and it doesn't show up in the search excerpt of any of the hits 14:33:44 fizzie: yes. i used to look at them anyway because they're otherwise pretty consistent but last i tried they've managed to make the _pronunciation guide_ unfindable. 14:34:32 -!- Lymia has joined. 14:34:49 iirc their argument is that english pronunciation varies too much by dialect, which i guess isn't entirely unreasonable. 14:34:59 I can't read IPA 14:35:14 I do better with the OED's system 14:35:24 "This pronunciation respelling key (prə-nun-see-ay-shən ree-spel-ing kee) is used in some Wikipedia articles to spell out the pronunciations of English words. It does not use special symbols or diacritics apart from the schwa, "ə", which is used (for example) for the a in about." 14:36:28 maybe I don't mean the OED proper 14:36:39 fizzie: is that managing not to mark the stress tdnh 14:37:22 oerjan: Yes, even though it has a notation for it. 14:37:38 Oh. 14:37:53 Copy-paste obliterated the small caps. 14:38:00 oh 14:38:04 It was there in the original. 14:38:16 good, good, maybe. 14:38:40 -!- Guest54343 has changed nick to shikhout. 14:38:46 -!- shikhout has quit (Changing host). 14:38:46 -!- shikhout has joined. 14:38:48 I prefer systems like that for general use, they're more accessible IMO 14:38:52 -!- shikhout has changed nick to shikhin. 14:38:54 I doubt I will ever learn IPA 14:40:27 Well, they do vaguely suggest having both. 14:41:25 just make a template that constructs both should be easy 14:42:56 (the great thing about being known for joking all the time is that you sometimes don't have to decide whether you're joking or not.) 15:16:53 -!- `^_^v has joined. 15:27:50 -!- Sprocklem has joined. 15:28:43 -!- clog_ has quit (Quit: ^C). 15:28:55 -!- clog has joined. 15:35:45 -!- oren has joined. 15:38:19 that was the hardest easy exam i've ever written. it is web programming, plus i was already familiar with php and javascript, and on top of it, it is an open book exam. However, that doesn't mean that it is easy to write PHP and JS with a frikkin PEN for an hour and a half! 15:38:37 -!- drdanmaku has joined. 15:38:46 Why can't e at least use typewriters? 15:39:20 just write in blackletter, that'll show them 15:40:25 i wrote in my standard chicken-scratch scrawl 15:41:19 -!- Sprocklem has quit (Ping timeout: 245 seconds). 15:43:00 fiendish 15:52:54 -!- S1 has quit (Read error: Connection reset by peer). 15:59:02 -!- cluid has joined. 16:04:36 -!- oren has quit (Ping timeout: 245 seconds). 16:08:13 PHP in intaglio 16:16:04 -!- polytone has quit (Quit: rebooting server). 16:16:55 -!- zemhill_ has joined. 16:18:13 -!- monotone has joined. 16:38:10 -!- mihow has joined. 16:42:27 -!- augur has quit (Remote host closed the connection). 16:42:54 -!- augur has joined. 16:46:21 1/win 48 16:46:57 -!- oren has joined. 16:47:21 -!- augur has quit (Ping timeout: 255 seconds). 16:54:15 -!- GeekDude has quit (Ping timeout: 245 seconds). 17:01:21 -!- GeekDude has joined. 17:06:56 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 17:07:17 -!- oerjan has quit (Quit: leaving). 17:12:12 -!- bb010g has quit (Quit: Connection closed for inactivity). 17:12:55 -!- atslash has joined. 17:15:59 -!- Sprocklem has joined. 18:04:23 -!- MoALTz has joined. 18:11:13 -!- augur has joined. 18:12:38 the modern latin alphabet is stupid. this whole time i thought they were hom clauses 18:13:04 when they were *horn clauses 18:13:49 -!- MoALTz has quit (Quit: Leaving). 18:15:35 -!- Phantom_Hoover has joined. 18:16:08 the joy of fractur 18:16:39 yes that is what led me to this realization. i set firefox to fractur 18:18:09 careful there, the nazis might come after you for that 18:19:34 actually any monospace font would help. the problem is that rn is indistinguishable from m in proportional sans fonts 18:20:00 isn't that a kerning thing? 18:20:12 ^ 18:20:17 it's not true of all fonts 18:22:17 https://i.imgur.com/zpd4XvF.png why would anyone need fraktur? normal text is perfectly readable 18:22:50 fraktur still looks cool even if unnecessary 18:23:45 well, most fonts then. it is certainly the case in FreeMono 18:24:02 elliott: is that zapfino? 18:24:07 yes 18:24:11 the bestest font 18:24:25 haha ist hat zapfino 18:24:39 no I lied the first time 18:24:41 (yes) 18:24:45 "Can someone give an example of the steepest descent that is not a gradient descent?" I could have sworn steepest descent was a specific type of gradient descent. isn't this question just wrong? 18:24:56 http://fc07.deviantart.net/fs70/f/2010/041/a/2/zapfino_phoenix_by_Nino2303.jpg my IRC client loks like this 18:26:06 https://i.imgur.com/cyigKDn.png this is getting worryingly tolerable 18:26:09 what if I actually use this 18:26:24 everyone is so elegant now 18:26:36 heheh 18:27:38 it's a shame the ridiculous ligatures don't work 18:27:44 someone make a terminal that can display those please 18:28:38 it is also a shame zapfino doesn't have <> chars 18:29:05 those look like fallbacks to me 18:29:27 I don't think they are 18:29:38 not sure 18:29:54 they look too small. + also 18:30:51 why the hell do different fonts, on the same point size, have completely different sizes? 18:30:53 -!- MoALTz has joined. 18:32:40 -!- AndoDaan has joined. 18:33:03 artist leeway 18:34:19 i want a terminal that rescales each character to fit in a box 18:40:57 have you tried zooming in until a single character is bigger than your monitor. if you can't do that, then you already have such a terminal. 18:42:07 i am getting used to { being ck, [ being ch, } being st and ] being tz. $ is a normal s. 18:42:38 elliott: that is disturbingly tolerable 18:42:51 ... I wish I was usingn an easier-to-configure terminal emulator 18:43:51 use xfce-terminal 18:44:03 -!- Sprocklem has quit (Ping timeout: 264 seconds). 18:46:37 http://ctrlv.in/474692 <-- see? if(c==27)ck c=ALT|getch(); st 18:48:15 oren: Why are you using such a broken font? 18:49:04 why is torbrowser not working when i try to search things on torrentz 18:49:06 this is awful 18:49:16 Melvar: it is fun to mess people up. someone looking over your shoulder is like What...the..fuck. 18:50:59 besides, it works fine if you have good syntax highlighting. 18:52:25 What does it make of a *real* ‘ſ’? 18:52:47 fallback to sans mono 18:54:41 Also ‘st’? 18:55:25 Or it might be ubuntu mono. http://ctrlv.in/474697 18:55:57 but you are like: 18:56:10 Ulfo st? 18:56:57 -!- oren has quit (Quit: Lost terminal). 18:57:50 -!- oren has joined. 18:59:49 Bell is a bad ISP 19:01:20 and nmcli doesn't work well 19:02:27 combine the two, it means i have to logout and login in order to switch wireless nets 19:03:24 *wireleß 19:07:37 -!- oren has quit (Quit: Lost terminal). 19:36:02 -!- augur has quit (Remote host closed the connection). 19:50:45 -!- shikhout has joined. 19:51:21 -!- shikhout has changed nick to Guest38946. 19:54:00 -!- shikhin has quit (Ping timeout: 258 seconds). 19:58:37 -!- Sprocklem has joined. 19:59:54 -!- FireFly has quit (Changing host). 19:59:54 -!- FireFly has joined. 20:04:41 -!- mihow has quit (Quit: mihow). 20:07:04 -!- Patashu has joined. 20:16:20 -!- augur has joined. 20:16:51 -!- atslash has quit (Quit: This computer has gone to sleep). 20:26:19 -!- Patashu has quit (Ping timeout: 240 seconds). 20:40:54 -!- oren has joined. 20:41:27 so i got fed up with the lack of profiles in xfce-terminal. 20:41:39 gnome-terminal ftw 20:48:51 -!- mihow has joined. 21:11:40 -!- oren has changed nick to |oren\. 21:12:15 * FreeFull uses roxterm 21:15:12 * |oren\ used a xaccuracy! 21:26:12 * |oren\ s Haxorus used Guillotine! 21:26:32 <|oren\> and that is how i lost a friend 21:30:23 <|oren\> back then there was no Fairy remember. 21:34:37 -!- MoALTz has quit (Quit: Leaving). 21:40:53 -!- CrazyM4n has joined. 21:45:47 <|oren\> yo 21:49:12 -!- glguy has quit (Quit: Part). 21:49:24 * FireFly looks up the song in the background of that screenshot 21:52:15 -!- glguy has joined. 21:52:30 -!- copumpkin has quit (Ping timeout: 272 seconds). 21:53:37 "f7ioe.c:31:: uavning: iuplicit oeclavation of function ftvuope Q-Dinplicit-fu" 21:53:47 ctrlv's OCR is not so happy about the font choice. 21:55:41 <|oren\> uavning? 21:56:09 "f7ibe.c:13:6: uavning: unufeb paviable y Q-vunufeb-oaviableg" 21:56:31 <|oren\> oh my god hahahaha 21:57:14 13:47 lelpav oven: why ave you ufing fuch a bvoten font 21:57:21 So bvoten. 21:59:32 -!- GeekDude has changed nick to GeekAfk. 22:00:02 <|oren\> coppvo ... 3 with 3 waf ufingn an eafiev-toconfiguve tevninal enulatov 22:01:50 -!- AndoDaan has quit (Quit: bbl). 22:03:17 -!- |oren\ has changed nick to oven. 22:03:42 -!- `^_^v has quit (Quit: This computer has gone to sleep). 22:05:07 it is much more hilarious if you read it out loud 22:08:05 -!- augur has quit (Remote host closed the connection). 22:08:10 [wiki] [[Special:Log/newusers]] create * Xbony2 * New user account 22:09:21 [wiki] [[User:Xbony2]] N http://esolangs.org/w/index.php?oldid=41481 * Xbony2 * (+143) Created page with "I'm xbony2. Hi. View my Github [https://github.com/xbony2 here], I mostly make minecraft mods, but play around with other things too sometimes." 22:11:09 It appears cursive is just as bad : http://ctrlv.in/474781 <-- manning: compauloon eetween oioned and unaioned Lnteoeu expneooiono 22:12:18 what would it do for zapfino? Elliot? 22:12:25 *elliott? 22:13:21 you have my screenshots, you can upload them to check if you want :p 22:14:09 for some reason i can't get it to take the image. 22:14:18 weird 22:14:21 probably too big or something? 22:14:27 it says "that type of image is not supported" 22:14:29 too zapfino 22:15:38 #define oioned signed 22:15:47 the nice thing about transparent terminals is that you can carefully arrange what people can squint nosily at behind them 22:16:23 well, mostly it is whatever i hppened to be listening too 22:17:57 yeah same. well here is me just running vi for no reason http://ctrlv.in/474785 22:17:58 i use youtube as a music player a lot of the time, (except when i need the internet bandwidth for something else) 22:20:03 elliott: the incongruousness (yay i can spell) of that screenshot is awsome 22:21:55 http://ctrlv.in/474788 im JUST using my conmputer 22:22:58 the best part of creating that screenshot was that installing emacs on my server also installed systemd 22:23:25 -!- oerjan has joined. 22:24:01 the other greatest part was the youtube recommendations. have you ever wanted to listen to a nightcore remix of late 90s eurodance hit blue by eiffel 65 for ten hours? well, 22:27:17 -!- dts|pokeball has joined. 22:27:44 -!- Sprocklem has quit (Ping timeout: 258 seconds). 22:36:00 i have listened to ten-hour videos, but not the kind that are ten hours of the same thing. https://www.youtube.com/watch?v=EIBou1U-Sq0 <-- I have listened to this several times 22:36:20 12 hours of the 90's eurodisco 22:36:53 it's not a real ten hour video if it contains ten hours of actual content 22:36:56 -!- augur has joined. 22:37:43 I'm kind of worried my server wouldn't reboot if I tried. it hasn't been rebooted in almost a year. I bet that kernel has so many holes in it 22:38:12 it has systemd and stuff now I guess if I tried to reboot it. a new era 22:38:50 one of my dad's servers hasn't been rebooted since 2003. 22:39:15 it runs AIX which i'm pretty sure doesn't even existanymore 22:40:00 does it, uh, do anything? 22:40:12 not running into a single kernel bug bad enough to need a reboot in that time is impressive 22:41:01 also not having any important security updates for the kernel, though I guess that would require anyone to care about AIX 22:41:05 it runs a system for topologists to announce conferences. it was hacked together in the early 1990's in Perl 4 by my dad 22:42:36 it doesn't run updates or any of that. it still runs perl 4 22:43:09 AIX is IBM, ergo it will never stop existing hth 22:43:48 the other server runs linux kernel 2.0 or something like that 22:44:04 that is the backup 22:54:12 Hi, e||1ott. 22:54:39 fizzie: close enough 22:56:09 The 'p's on the reverse-video Emacs menu bar seem to have been slightly problematic too. 22:56:20 "Ootions" "LisoInteraction" "Helo" 22:57:27 it also didnt recognise the Nightcore - Gangnam Style 10 hours at all 22:57:28 F- 23:24:08 -!- augur has quit (Remote host closed the connection). 23:26:42 -!- CrazyM4n has quit (Remote host closed the connection). 23:33:08 -!- GeekAfk has changed nick to GeekDude. 23:53:33 -!- Sprocklem has joined. 23:59:44 -!- dts|pokeball has quit (Read error: Connection reset by peer).