00:09:16 <oren> installing touhou 14
00:09:28 <oren> and a few other games
00:11:45 -!- doesthiswork has joined.
00:12:07 <hppavilion[1]> If they were to add a fourth langauge to the browser-based Web Design Trio, what do you think it'd do>
00:15:06 -!- rdococ has joined.
00:20:30 -!- Phantom_Hoover has quit (Ping timeout: 244 seconds).
00:22:26 -!- Phantom_Hoover has joined.
00:27:35 <oerjan> @tell izabera <izabera> 1. BGBBB 2. GBGBBB 3. GBBBBB <-- well obviously _not_ 2. my hunch is 1 but i don't see how to conclusively prove it without calculation.
00:28:17 <shachaf> http://www.mrbillsadventureland.com/reviews/m-n/neverhoodR/BOBBY.jpg
00:29:23 <oerjan> shachaf: i'm sorry but neither orange nor yellow was included hth
00:30:05 <shachaf> now i can't tell whether you played the neverhood or what
00:31:05 <shachaf> ok well there's a puzzle where the correct answer is a sequence of five colors
00:31:24 <shachaf> and it says BOBBY on the machine
00:31:28 <oerjan> those are not all five colors hth
00:34:13 <oren> black orange black black yellow
00:34:48 <oren> is that a mana cost?
00:49:09 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
00:49:33 <oren> That is shown on my Ansi codes page
00:49:58 <oren> http://www.orenwatson.be/ansi.htm
00:50:20 <oerjan> @tell Taneb <Taneb> I think UK and Sweden have an explicit opt-out so they never need to switch <-- denmark, not sweden, although sweden is using tricks to avoid it.
00:50:44 <oren> can canada join the eu?
00:50:53 <oren> our currency is in the shit
00:51:05 -!- adu has joined.
00:52:04 <oerjan> if the eu wanted to accept them...
00:52:16 <oerjan> but right now, that seems unlikely.
00:53:21 <oerjan> they're still keeping that nominal "european" requirement.
00:53:43 <shachaf> maybe canada can join the uk
00:53:52 <oren> shachaf: GOOD IDEA!
00:54:16 -!- lleu has joined.
00:54:24 -!- llue has quit (Ping timeout: 264 seconds).
00:54:42 <oren> the United Kingdom of Great Britain, Northern Ireland, and Big Scotland
00:54:57 <fizzie> CSS4 did not add text-decoration: blink;. That exists in CSS1 http://www.w3.org/TR/CSS1/#text-decoration CSS2.1 http://www.w3.org/TR/CSS2/text.html#propdef-text-decoration and CSS3 https://drafts.csswg.org/css-text-decor-3/#propdef-text-decoration-line
00:57:24 <fizzie> I don't think there is any CSS level 4 module defining text-decoration, anyway. Just selectors and stuff.
00:57:25 -!- adu has quit (Quit: adu).
00:57:50 -!- mihow has quit (Quit: mihow).
01:16:04 <oren> < oerjan> but right now, that seems unlikely.
01:16:04 <oren> 20:52 < oren> boo hoo
01:21:55 <zzo38> What you cannot do in CSS is to select based on applied styles, nor can you apply sophisticated priorities. I would find these features useful.
01:22:51 <zzo38> So you can neither add "text-decoration: blink" working nor prevent it from working in any general way with user CSS.
01:23:13 <zzo38> What you can do though is to make <BLINK> tags to blink by using CSS animations.
01:23:54 <zzo38> You also cannot easily select the parent element of something
01:24:13 -!- Phantom__Hoover has joined.
01:26:21 -!- Phantom_Hoover has quit (Ping timeout: 250 seconds).
01:59:07 -!- adu has joined.
02:16:28 -!- hppavilion[1] has joined.
02:26:23 -!- MDude has changed nick to MDream.
02:27:21 -!- Phantom__Hoover has quit (Read error: Connection reset by peer).
02:40:30 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
02:53:57 -!- hppavilion[1] has joined.
03:23:19 -!- adu has quit (Quit: adu).
03:51:34 <oren> I am no using this thru cygwin
03:59:26 -!- copumpkin has joined.
04:00:12 -!- ProofTechnique has joined.
04:14:25 -!- zgrep has quit (Quit: ZNC 1.6.1 - http://znc.in).
04:22:18 <oren> there. I finally figured out how to turn off all these annoying applelike gestures
04:22:54 -!- zgrep has joined.
04:24:51 -!- mauris_ has changed nick to mauris.
04:27:34 <oren> like pinching to zoom and whatnot
04:28:50 -!- ProofTechnique has quit (Ping timeout: 240 seconds).
04:31:16 <oren> I found the setting in the control panel and turned everything off except stroking the right edge of the touchpad for scrolling.
04:33:11 <oren> I also turned off the pointer inertia, it does nothing but screw up the respoinsiveness
04:39:41 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
04:47:05 <doesthiswork> I noticed something today. If you want to find out the sorted order of 3 variables there are six possible results. However if you test the order pairwise it takes 3 tests with binary results meaning you waste an average of 41% of one of the tests. So the obvious solution is to use hexanary logic, but I'm curious if there is some more general solution.
04:50:42 <oerjan> you can drop the last test in 1/3 of the cases fwiw
04:59:32 -!- hppavilion[1] has quit (Ping timeout: 244 seconds).
05:00:59 <oren> or you can just only sort large arrays
05:01:12 <oren> stop sorting small ones dude
05:01:17 <doesthiswork> oerjan yes you can but that requires you to mix the tests together
05:01:40 <doesthiswork> bogosort doesn't work so well on the large ones
05:03:07 -!- doesthiswork has quit (Quit: Leaving.).
05:25:54 -!- aretecode has quit (Ping timeout: 255 seconds).
05:28:28 -!- Wright has quit (Ping timeout: 250 seconds).
05:39:17 -!- J_Arcane has quit (Ping timeout: 244 seconds).
05:40:19 -!- loldude has joined.
05:42:18 -!- loldude has quit (Client Quit).
05:54:45 <b_jonas> oerjan: yes, I know it's restarted, but it has still *completed*.
06:00:11 <shachaf> oerjan: what do you think of the plan to borrow vaarsuvius's soul at a tactically critical moment
06:01:45 <oerjan> well it worked once...
06:02:12 <shachaf> you won't even give me the satisfaction
06:02:15 <oerjan> and they have two more options
06:03:29 <oerjan> anyway, that moment isn't now, since e's not even present at the moot
06:04:47 <shachaf> i just wanted you to say it's fiendish
06:04:49 <oerjan> i suppose a more general question is whether the 3 fiends are working together with durkon-the-vampire or not
06:05:45 <oerjan> that's weird, before i looked at what you had written i briefly thought it would be a comment on "fiendish", and then once i read it i completely forgot
06:05:53 <oerjan> conclusion: my memory is fiendish
06:07:34 <shachaf> and it will be a fine dish
06:07:38 <HackEgo> [wiki] [[Special:Log/newusers]] create * Superkamiguru * New user account
06:08:02 <oerjan> it didn't help that i checked for a new comic to see if it was relevant
06:08:55 <oerjan> shachaf: i just checked and i'm not sure fiendish is pronounced that way.
06:09:29 <oerjan> in your defence i thought it did
06:09:42 <shachaf> i was on defence about it myself
06:09:46 <HackEgo> [wiki] [[NSFW]] N http://esolangs.org/w/index.php?oldid=43908 * Superkamiguru * (+246) Created page with "{{stub}} NSFW is an esoteric programming language created with Scala by Mihir Khatwani based on [http://esolangs.org/wiki/ArnoldC ArnoldC]. The source is available [https://g..."
06:11:34 <HackEgo> [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=43909&oldid=43902 * Superkamiguru * (+11)
06:12:30 -!- glowcoil has quit (Ping timeout: 245 seconds).
06:13:27 -!- oerjan has quit (Quit: Hörrible).
06:13:47 <mauris> https://esolangs.org/wiki/User:Maxsteele2#Languages wow all of these
06:14:45 -!- glowcoil has joined.
06:18:18 -!- x10A94 has joined.
06:49:25 <ashl> myname: i think you're just jealous.
07:01:50 <HackEgo> [wiki] [[Brainfuck]] http://esolangs.org/w/index.php?diff=43910&oldid=43430 * Rdebath * (-4) Update the "more complex variant" to my current version. Gives visual error on all known trivial interpreter bugs, works correctly on >= 7bit and unbounded interpreters, fails on fascist interpreters.
07:05:30 <ashl> i wonder how old they are
07:10:47 -!- AnotherTest has joined.
07:31:49 <ashl> at least there are no brainfuck equivalents
07:40:05 -!- Trioxin2 has changed nick to Trioxin.
07:57:29 <izabera> yay my interpreter prints "Hello world!"
08:14:02 <myname> http://esolangs.org/wiki/Puzzlang i don't get the incrementor and the first clear cell
08:26:50 <mauris> myname: those segments are all on a very tiny torus
08:27:50 <mauris> so they actually wrap https://bpaste.net/show/d860dddaced1
08:28:08 <mauris> the first X has ";; " above it etc
08:28:29 <mroman> Average BMI in Australia is around 27 o_O
08:28:58 <mroman> This can mean two things. Either they're all surprisingly fit
08:29:03 <mroman> or the opposite of that.
08:31:28 <myname> but where does it start parsing?
08:32:24 <myname> i.e. why isn't the thee surrounding ; a ]?
08:32:36 <myname> there has to be at least one x?
08:33:02 -!- Patashu has joined.
08:34:42 <mroman> :D measuring weight in adult koalas
08:35:59 -!- mauris has quit (Ping timeout: 244 seconds).
08:40:30 -!- tromp__ has joined.
08:42:10 -!- tromp_ has quit (Remote host closed the connection).
09:00:29 -!- shikhin has quit (Read error: Connection reset by peer).
09:00:48 -!- Trioxin has quit (Read error: Connection reset by peer).
09:02:06 -!- Trioxin has joined.
09:04:52 -!- shikhin has joined.
09:19:36 -!- Trioxin has quit (Quit: Leaving).
09:35:40 <Taneb> Are the single-width floats a subset of double-width floats?
09:39:24 <Taneb> Thought so, thanks
09:51:17 <fizzie> I'm not sure if the various different NaNs are "officially" considered a subset.
09:52:25 <fizzie> As in, if some group of double-precision NaNs are the "same" as single-precision NaNs. But maybe that's not a particularly interesting question.
09:53:58 <mroman> http://mroman.ch/lang1.html http://mroman.ch/lang2.html <- does anybody see something that would be impossible in those?
09:53:58 <Taneb> I don't think any NaNs are the same as themselves
09:54:09 <Slereah__> NaNs seem like such a waste of space
09:54:22 <Slereah__> How many values of floating points are NaNs?
09:54:25 <mroman> (specifically the second one)
09:54:55 <fizzie> Slereah__: 2^52-1 double-precision ones.
09:55:07 <fizzie> And 2^23-1 single-precision ones.
09:55:45 <fizzie> Sorry, add one to those; I forgot the sign bit.
09:55:46 <mroman> I have no idea what these types are called btw.
09:56:28 <fizzie> (There's one particular value for the exponent field that's used for both infinities and NaNs. If the mantissa is 0, it's +inf or -inf depending on sign; if it's anything nonzero, it's some kind of NaN.)
09:58:34 <Taneb> How many non-NaN values are there?
10:02:26 <Slereah__> Pretty small percentage but still a huge amount
10:03:06 <Taneb> Oh yeah, 2^64 - 2^52 is not 2^12
10:03:13 <Taneb> Jeez, I am not well
10:03:34 <Slereah__> Is there a floating point scheme with just one NaN value
10:04:00 <Taneb> Not in the same sort of style as IEEE
10:04:31 <Taneb> If the mantissa only has one bit...
10:04:35 <Taneb> There'd be two NaNs
10:05:03 <fizzie> I kind of think it makes sense to have a specific "special" exponent dedicated for infinities, and there's not an obvious use for the "other" bit patterns then.
10:05:44 <Taneb> There'd be two NaNs and you could only represent NaN, +-infinity, and +- powers of 2
10:07:26 <fizzie> Assuming the usual implicit 1.
10:18:11 -!- boily has joined.
10:45:55 -!- Walpurgisnacht has joined.
10:49:22 <boily> oren: ヘロレン！ 「東方」はどうですか
10:52:04 <HackEgo> [wiki] [[Hello world program in esoteric languages]] http://esolangs.org/w/index.php?diff=43911&oldid=43824 * 81.156.87.102 * (+68) Added Fourier
11:02:27 <lambdabot> PAIW 251034Z AUTO 19020G27KT 2 1/2SM -RA BR OVC004 09/09 A2963 RMK AO2 PK WND 18028/1020 PNO $
11:11:58 <Walpurgisnacht> Probably will get it wrong this time but it passes the time
11:16:52 <boily> values? hand? time???
11:17:02 <boily> you're talking about way too much abstract concepts here.
11:22:33 -!- boily has quit (Quit: COMMUNIST CHICKEN).
11:27:28 -!- Walpurgisnacht has quit (Quit: Fuck me).
11:54:01 -!- J_Arcane has joined.
12:38:43 -!- FreeFull has quit (Quit: BBS).
12:45:26 -!- FreeFull has joined.
12:51:41 -!- AnotherTest has quit (Ping timeout: 246 seconds).
12:52:38 -!- AnotherTest has joined.
13:05:08 -!- llue has joined.
13:07:27 -!- lleu has quit (Ping timeout: 260 seconds).
13:11:24 -!- Patashu has quit (Ping timeout: 244 seconds).
13:11:50 <HackEgo> [wiki] [[Special:Log/upload]] upload * Esowiki201529A * uploaded "[[File:Sesame oil sample.jpg]]"
13:19:36 -!- `^_^v has joined.
13:21:24 <izabera> http://i.imgur.com/sfGREzy.png two minutes of wikipedia
13:23:16 <Taneb> Ugh, that time again?
13:39:24 -!- copumpkin has joined.
13:55:48 -!- TieSoul has joined.
14:00:35 -!- TieSoul has quit (Ping timeout: 260 seconds).
14:01:50 -!- TieSoul has joined.
14:09:52 -!- Phantom_Hoover has joined.
14:36:35 <HackEgo> Tanebventions include D-modules, Chu spaces, automatic squirrel feeders, the torus, Stephen Wolfram, Go, the universe, weetoflakes, persistence, the reals, robots, progress, and this sentence. He never invents anything involving sex.
14:36:45 <HackEgo> Progress has been made today. It was invented by Taneb.
14:36:53 <HackEgo> Robots are deterministic finite Belgians that repeat themselves. Taneb invented them.
14:39:03 <HackEgo> The universe was invented by Taneb as an opposing force to oerjan.
14:39:18 <HackEgo> Taneb invented persistence long ago, and it's been around ever since.
14:39:27 <Taneb> Wow, I invent a lot of things
14:48:46 <HackEgo> 1146) <Taneb> I am NOT in the mood for binomial expansion
14:51:00 <FreeFull> So, you're not in the mood to expand (x+1)^(-1) ?
15:06:39 <izabera> http://www.valbot.com/arin.ga woo $10
15:08:48 <int-e> let's see whether we can push the price by asking from different domains?
15:09:28 -!- aretecode has joined.
15:10:01 <int-e> izabera: note also that the estimated monthly ad income is $20 a month - so you'd be giving it away for two weeks worth of income...
15:10:07 -!- MDream has changed nick to MDude.
15:10:08 <int-e> ...something doesn't add up.
15:12:04 <izabera> i should ask wikipedia if their campaign is working
15:12:26 <izabera> guys, please donate $2 each to arin.ga and this will be over in an hour
15:12:59 <int-e> haha. "Get the official Free Valuator Appraisal Certificate for your domain valuation."
15:13:29 <HackEgo> Wikipedia is a bit like TVTropes but in more languages.
15:13:59 <izabera> apparently i run the 8766021st most visited website worldwide
15:15:03 <izabera> beer for everyone once i get below 8 millions
15:15:34 <Taneb> I'm going to hold you to that
15:15:50 <int-e> izabera: http://www.valuegator.net/show.php?url=aron.ga is the "best price" so far
15:15:51 <Taneb> I have no idea where you live but I will turn up on your doorstep and demand beer
15:16:27 <int-e> it's amazing how many of these "domain appraisal" sites exist...
15:16:54 <Taneb> I tend to imagine everyone on the internet lives in a high-rise in an East European country
15:17:06 <Taneb> I don't know why, that is just what I picture
15:17:17 <Taneb> I've never lived in either a high-rise or an east European country
15:17:34 <int-e> Taneb: that bit about East European countries sounded like an xkcd tag line
15:19:03 <Taneb> I am, in fact, Randall Munroe
15:19:23 <J_Arcane> woo. I'm in the big time now. http://www.valuegator.net/show.php?url=hulksandhorrors.com
15:20:16 <J_Arcane> http://www.valuegator.net/show.php?url=bedroomwallpress.com
15:21:43 <Taneb> That website values taneb.uk at $30
15:21:51 <Taneb> Which is more than I paid for it, I think
15:22:47 <int-e> hmm, it puts int-e.eu at $69
15:27:16 -!- lleu has joined.
15:27:16 -!- lleu has quit (Changing host).
15:27:16 -!- lleu has joined.
15:30:24 -!- llue has quit (Ping timeout: 264 seconds).
15:34:36 -!- AnotherTest has quit (Ping timeout: 272 seconds).
15:54:04 -!- Wright has joined.
16:05:21 -!- Wright has quit (Ping timeout: 255 seconds).
16:07:35 -!- APic has quit (Ping timeout: 244 seconds).
16:08:10 -!- Phantom_Hoover has quit (Ping timeout: 272 seconds).
16:13:59 -!- AnotherTest has joined.
16:21:06 -!- Wright has joined.
16:36:28 -!- Phantom_Hoover has joined.
16:40:22 -!- Wright has quit (Ping timeout: 246 seconds).
17:11:50 -!- AnotherTest has quit (Ping timeout: 240 seconds).
17:14:15 -!- AnotherTest has joined.
17:30:00 -!- mauris has joined.
17:30:00 -!- mauris has quit (Changing host).
17:30:00 -!- mauris has joined.
17:40:59 -!- mihow has joined.
17:42:59 -!- mihow has quit (Client Quit).
17:44:28 -!- mihow has joined.
17:49:23 -!- Wright has joined.
18:00:25 -!- mauris_ has joined.
18:00:25 -!- mauris_ has quit (Changing host).
18:00:25 -!- mauris_ has joined.
18:03:36 -!- APic has joined.
18:03:53 -!- mauris has quit (Ping timeout: 246 seconds).
19:01:27 -!- evalj has joined.
19:02:40 <b_jonas> stupid javascripted website
19:02:57 -!- nycs has joined.
19:03:40 <zzo38> Yes, they are all being stupid (mostly)
19:04:05 <b_jonas> this one uses javascript to replace ordinary select boxes with some javascripted widget that doesn't work properly
19:04:26 <zzo38> Yes, I don't like that either. Turn off scripts if you can I suppose
19:04:40 <b_jonas> I can, but many pages just refuse to work that way
19:04:59 -!- `^_^v has quit (Ping timeout: 250 seconds).
19:05:10 <zzo38> Some webpages will work fine without scripts if you override the CSS
19:05:45 <zzo38> Maybe you could also try to use a GreaseMonkey script to change them back how it was before
19:06:19 <int-e> . o O ( tested with IE 4 and Opera 3.0 )
19:11:34 <zzo38> There doesn't seem to be extensions to enable/disable/override individual scripts; I would think it would be good idea
19:15:12 -!- nycs has quit (Quit: This computer has gone to sleep).
19:15:22 -!- nycs has joined.
19:32:41 -!- AnotherTest has quit (Ping timeout: 244 seconds).
19:35:22 -!- AnotherTest has joined.
19:49:06 -!- TieSoul has quit (Remote host closed the connection).
19:54:09 -!- bb010g has joined.
19:55:13 -!- x10A94 has quit (Read error: Connection reset by peer).
20:06:26 -!- FreeFull has quit (Quit: BBS).
20:11:06 -!- FreeFull has joined.
20:13:07 -!- evalj has quit (Remote host closed the connection).
21:03:01 -!- Patashu has joined.
21:18:30 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
21:25:36 -!- nycs has quit (Quit: This computer has gone to sleep).
21:33:11 -!- oerjan has joined.
21:42:34 -!- Patashu has quit (Ping timeout: 260 seconds).
22:00:45 <tswett> I wonder if anyone's ever come up with a list of words or phrases that refer to specific other words or phrases.
22:00:58 <tswett> Like "tetragrammaton" and "F-word".
22:01:19 <izabera> how would you call such a list?
22:02:15 <myname> what the hell is tetragrammaton?
22:02:53 -!- mauris_ has changed nick to mauris.
22:02:56 <tswett> The tetragrammaton is the word יהוה.
22:05:06 <oerjan> bit of a germanic/romance difference there, i think
22:06:29 <oerjan> or wait, no, german is also on the romance side
22:07:10 -!- ais523 has joined.
22:32:13 -!- ghettofatso has joined.
22:35:18 <ghettofatso> so you actualy dont talk about iluminati here
22:36:21 <ais523> this channel's about intentionally bad programming languages
22:36:21 <HackEgo> ghettofatso: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
22:36:46 -!- ghettofatso has left.
22:37:23 <ais523> I wonder if the EFent or DALnet channels are active yet
22:37:34 <ais523> we've sent enough people there, after all
22:38:00 <shachaf> The DALnet channel was empty last I checked, I think.
22:38:30 <shachaf> Looks like there are some people in the EFnet channel.
22:49:45 <oren> tswett: That showed up perfectly in my font!
22:50:06 <oren> (that is, the characters were in the right order)
22:51:28 <oren> so apparently cygwin's terminal has RTL support
22:59:04 <oerjan> i added the EFnet because someone said it was more active than the DALnet one, last we checked
23:17:48 <oren> hey oerjan, whaich unicode characters are important to you?
23:18:06 <oren> The new version which I'm about to upload has the snowman
23:18:35 <izabera> did you type all of that in 4s?
23:18:50 <oren> no, I was about to mention it
23:19:13 <oren> because someone, possibly you, mentioned the snowman
23:19:32 <izabera> what makes you think it was me
23:20:08 <oren> then maybe... oh yeah i think it was zzo38 who mentioned a snowman
23:22:55 <oren> anyway it has the snowman and all the math characters
23:23:37 <izabera> i'd never use a font without q
23:25:16 <shachaf> I don't really know how to write q.
23:25:21 <shachaf> When I handwrite it it always looks like 9.
23:25:26 <shachaf> I don't really know how to handwrite.
23:25:32 <oren> it is like a backward p
23:25:47 <ais523> shachaf: when handwriting q I was taught to make a sharp diagonal line up and to the right from the base
23:25:47 <oren> or at least that is how i write a little q
23:26:03 <ais523> whereas with a 9 you're curling the defender to the left
23:26:37 <shachaf> I don't curl anything to the left when writing 9.
23:27:23 <oerjan> shachaf: clearly the problem is that your 9s look like qs hth
23:27:46 <shachaf> Oh, descender makes more sense.
23:27:55 <shachaf> I assumed it was an obscure typographical term I didn't know.
23:27:59 <oerjan> when in doubt, you could always add a cross to the descender...
23:28:31 <shachaf> oerjan: i'm still on defence about that hth
23:28:52 <oren> 9 looks exactly like a g
23:28:57 <oerjan> hm do i do that or not, i'm not sure
23:29:06 <ais523> 9 and g are very similar, yes
23:29:30 <ais523> the way to distinguish them that I was taught is that the vertical line on the right of a g goes up slightly higher than the loop
23:31:27 <oerjan> hm i'm pretty sure i avoid having any vertical line up on my 9s
23:31:55 <oerjan> i _think_ i draw it clockwise, which makes that easier
23:32:06 <oerjan> while i draw g counterclockwise
23:32:23 <ais523> apparently drawing a 9 clockwise is some sort of horrendous offence against typography but I don't really see why
23:32:43 <oren> I draw it clockwise
23:32:47 * oerjan being efficient by not knowing about rules
23:33:30 <oerjan> d counterclockwise, p clockwise
23:33:33 <shachaf> clockwise but time-foolish
23:34:09 <oren> no, W I draw in three strokes
23:34:13 <shachaf> google has a thing where they have clocks that give them an open interval of possible current times, rather than a single point
23:34:39 <shachaf> they have a guarantee that the interval applies to every clock they have in the world
23:34:51 <shachaf> seems much more reasonable than pretending that time is a single point
23:34:57 <izabera> i can't even imagine how you draw that
23:35:10 <oerjan> i have this sort of sliding scale between "my letters look typed" and "my letters have loops and flourish" that depends on situation.
23:35:32 <oren> first draw an L, then draw two vertical strokes on top of the baseline
23:37:33 <oren> my letters look very much like my font
23:37:51 <oren> except less perfectly rounded/straight
23:38:10 <oren> I can't actually draw an o as a perfect circle
23:39:55 <oerjan> if i'm particularly nervous or fixing up errors when solving crosswords, i may even add serifs
23:41:28 <oerjan> solving crosswords probably accounts for 90% of my handwritten letters these days.
23:41:42 <oren> the new version of my font is up
23:42:08 <oren> the demo is not yet updated, but you can see I fixed the Ŵ
23:44:08 <izabera> let's take the set of all strings with a certain alphabet
23:44:24 <izabera> let's define a distance over this set
23:45:21 <oerjan> @tell mroman <mroman> This can mean two things. Either they're all surprisingly fit <-- when first seeing that in the log, part of the window was hidden so i read that as "they're all surfing" hth
23:46:09 <izabera> d(a,b) = 1 if a is b minus 1 char, or b is a minus 1 char, or b can be produced by swapping two adjacent characters in a, or a and b differ for only one character
23:46:21 <izabera> d(a,b) = 2 in any other case
23:47:14 <izabera> let's extend all the things i said about 1 to n
23:48:07 <oerjan> izabera: https://en.wikipedia.org/wiki/Damerau%E2%80%93Levenshtein_distance hth
23:48:09 <izabera> it's not a distance anymore
23:48:37 <izabera> i was trying to correct typos
23:49:06 <oerjan> "Damerau not only distinguished these four edit operations but also stated that they correspond to more than 80% of all human misspellings."
23:52:51 <oerjan> apparently it also applies pretty well to DNA mutations
23:55:17 <izabera> ok, when trying to fix a mispelled word, how far would you search?
23:57:08 <oerjan> i suspect that depends on the writer
23:58:10 <izabera> how far would *you* search?
23:58:12 <oerjan> but there's probably some point at which the number of options starts becoming too large
23:58:38 <oerjan> i wouldn't, i alwase spel corectly
23:59:27 * oerjan is reminded about a comic