←2019-03-05 2019-03-06 2019-03-07→ ↑2019 ↑all
00:01:41 -!- copumpkin has quit (Read error: Connection reset by peer).
00:02:30 -!- copumpkin has joined.
00:09:12 -!- sprocklem has quit (Ping timeout: 245 seconds).
00:09:27 -!- sprocklem has joined.
00:09:36 -!- Phantom_Hoover has quit (Remote host closed the connection).
00:16:30 -!- FreeFull has quit (Quit: Rebooting again..).
00:17:52 -!- FreeFull has joined.
00:23:23 -!- b_jonas has quit (Quit: leaving).
00:23:32 -!- Lord_of_Life_ has joined.
00:26:07 -!- Lord_of_Life has quit (Ping timeout: 240 seconds).
00:26:07 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
00:50:56 -!- oerjan has joined.
00:51:46 -!- tromp has quit (Remote host closed the connection).
00:55:35 <oerjan> <wob_jonas> oerjan: re rationals, see https://www.perlmonks.com/?node_id=424519 for example <-- i know, but my function takes care to find the unique best in an open interval (barring floating point errors)
00:58:13 <oerjan> istr you can maybe find those from the continued fractions too, except you sometimes need to increment the last number
00:58:51 <oerjan> > rationalize (pi-0.01, pi+0.01)
00:58:53 <lambdabot> 22 % 7
00:59:10 <shachaf> :t rationalize
00:59:11 <lambdabot> (Double, Double) -> Rational
00:59:16 <oerjan> > 22/7
00:59:18 <lambdabot> 3.142857142857143
00:59:25 <oerjan> > rationalize (pi-0.01, pi+0.001)
00:59:27 <lambdabot> 47 % 15
00:59:37 <shachaf> > rationalize (exp 1 - 0.01, exp 1 + 0.01)
00:59:39 <lambdabot> 19 % 7
00:59:44 <oerjan> i don't think that is in the continued fraction
00:59:58 <shachaf> @where pi_10
00:59:58 <lambdabot> (!!3)<$>transpose[show$foldr(\k a->2*10^2^n+a*k`div`(2*k+1))0[1..2^n]|n<-[0..]]
01:00:03 <oerjan> > rationalize (pi-0.001, pi+0.001)
01:00:06 <lambdabot> 201 % 64
01:00:07 <shachaf> > (!!3)<$>transpose[show$foldr(\k a->2*10^2^n+a*k`div`(2*k+1))0[1..2^n]|n<-[0..]]
01:00:10 <lambdabot> "314159265358979323846264338327950288419716939937510582097494459230781640628...
01:00:25 <shachaf> imo that's p. good golfing
01:00:56 <oerjan> . o O ( did i really use "barring" instead of "modulo" up there? i may have to hand in my mathematician card )
01:04:24 <oerjan> > let cf x | let f()=fromInteger(floor x) = [f(),f()+1] ++ map((f()+).recip) (cf (1/(x-f()))) :: Rational
01:04:26 <lambdabot> <no location info>: error:
01:04:26 <lambdabot> not an expression: ‘let cf x | let f()=fromInteger(floor x) = [f(),f()+1...
01:04:37 <oerjan> @let cf x | let f()=fromInteger(floor x) = [f(),f()+1] ++ map((f()+).recip) (cf (1/(x-f()))) :: Rational
01:04:38 <lambdabot> .L.hs:161:1: error:
01:04:38 <lambdabot> • Couldn't match type ‘Ratio Integer’ with ‘[t]’
01:04:38 <lambdabot> Expected type: t -> [t]
01:04:47 <oerjan> @let cf x | let f()=fromInteger(floor x) = [f(),f()+1] ++ map((f()+).recip) (cf (1/(x-f()))) :: [Rational]
01:04:49 <lambdabot> Defined.
01:04:52 <oerjan> > cf pi
01:04:54 <lambdabot> error:
01:04:54 <lambdabot> • No instance for (Floating (Ratio Integer))
01:04:54 <lambdabot> arising from a use of ‘pi’
01:05:02 <oerjan> fff
01:05:52 <oerjan> i though adding () should make it polymorphic enough
01:07:13 <oerjan> > let cf x | let f()=fromInteger(floor x) = [f(),f()+1] ++ map((f()+).recip) (cf (1/(x-f()))) :: [Rational] in cf pi
01:07:15 <lambdabot> error:
01:07:15 <lambdabot> • No instance for (Floating (Ratio Integer))
01:07:15 <lambdabot> arising from a use of ‘pi’
01:07:48 <oerjan> > let cf x | let f::Integral a => ()->a; f()=fromInteger(floor x) = [f(),f()+1] ++ map((f()+).recip) (cf (1/(x-f()))) :: [Rational] in cf pi
01:07:50 <lambdabot> error:
01:07:50 <lambdabot> • Could not deduce (Integral Rational) arising from a use of ‘f’
01:07:50 <lambdabot> from the context: (RealFrac t, Integral t)
01:08:33 <oerjan> > let cf :: Double -> [Rational]; cf x | let f()=fromInteger(floor x) = [f(),f()+1] ++ map((f()+).recip) (cf (1/(x-f()))) :: [Rational] in cf pi
01:08:35 <lambdabot> error:
01:08:35 <lambdabot> • Couldn't match type ‘Double’ with ‘Ratio Integer’
01:08:35 <lambdabot> Expected type: [Rational]
01:10:42 <oerjan> argh it must be MonoLocalBinds because it works in ghci
01:11:43 <oerjan> > let cf :: Double -> [Rational]; cf x | let f::a => Num a; f=fromInteger(floor x) = [f,f+1] ++ map((f+).recip) (cf (1/(x-f))) :: [Rational] in cf pi
01:11:45 <lambdabot> error:
01:11:45 <lambdabot> • Expected a type, but ‘Num a’ has kind ‘Constraint’
01:11:45 <lambdabot> • In the type signature: f :: a => Num a
01:12:11 <oerjan> > let cf :: Double -> [Rational]; cf x | let f::Num a => a; f=fromInteger(floor x) = [f,f+1] ++ map((f+).recip) (cf (1/(x-f))) :: [Rational] in cf pi
01:12:13 <lambdabot> [3 % 1,4 % 1,22 % 7,25 % 8,333 % 106,355 % 113,355 % 113,688 % 219,103993 % ...
01:12:27 <oerjan> wut
01:12:58 <oerjan> > rationalize (pi-0.001, pi+0.001)
01:13:00 <lambdabot> 201 % 64
01:13:09 <oerjan> definitely not in there
01:13:56 <oerjan> > (pi-22/7, pi-25/8, pi-333/106, pi-355/113)
01:13:58 <lambdabot> (-1.2644892673496777e-3,1.6592653589793116e-2,8.32196275291075e-5,-2.6676418...
01:15:07 <oerjan> @where rationalize
01:15:07 <lambdabot> I know nothing about rationalize.
01:17:30 <oerjan> @where+ rationalize @let rationalize :: (Double, Double) -> Rational; rationalize (a,b) | b <= 0 = -rationalize(-b,-a) | a < 0 = 0 | b <= 1 = 1/rationalize(1/b,1/abs a) | let a'::RealFrac x=>x;a'=max 1(fromInteger (floor a))=a' + rationalize (a-a',b-a')
01:17:30 <lambdabot> Done.
01:17:36 <oerjan> @where rationalize
01:17:36 <lambdabot> @let rationalize :: (Double, Double) -> Rational; rationalize (a,b) | b <= 0 = -rationalize(-b,-a) | a < 0 = 0 | b <= 1 = 1/rationalize(1/b,1/abs a) | let a'::RealFrac x=>x;a'=max 1(fromInteger (
01:17:36 <lambdabot> floor a))=a' + rationalize (a-a',b-a')
01:25:05 -!- tromp has joined.
01:29:35 -!- tromp has quit (Ping timeout: 255 seconds).
02:21:05 <esowiki> [[ALLSCII]] https://esolangs.org/w/index.php?diff=60287&oldid=60286 * Cortex * (+56)
02:22:08 <esowiki> [[Truth-machine]] https://esolangs.org/w/index.php?diff=60288&oldid=60103 * Cortex * (+50)
03:13:42 -!- tromp has joined.
03:18:02 -!- tromp has quit (Ping timeout: 255 seconds).
03:34:39 -!- adu has joined.
03:52:26 <oerjan> i wonder if next freefall will show sam having severe stomach trouble :P
03:54:05 <oerjan> or some other unexpected side effect
04:16:25 -!- S_Gautam has joined.
04:16:36 -!- FreeFull has quit.
05:01:54 -!- tromp has joined.
05:06:42 -!- tromp has quit (Ping timeout: 245 seconds).
05:22:53 -!- moony_ has quit (Read error: Connection reset by peer).
05:22:59 -!- moony__ has joined.
05:32:51 <oerjan> in girl genius, thinks get even weirder than i expected.
05:37:06 <oerjan> *things
06:19:17 -!- adu has quit (Quit: adu).
06:42:28 <esowiki> [[Truth-machine]] M https://esolangs.org/w/index.php?diff=60289&oldid=60288 * Arcorann * (+0) /* ALLSCII */
06:58:27 <esowiki> [[Truth-machine]] M https://esolangs.org/w/index.php?diff=60290&oldid=60289 * Oerjan * (+1) Dummy edit (aka "what, no one has messed up the sorting?")
07:08:37 <esowiki> [[Programming Language]] M https://esolangs.org/w/index.php?diff=60291&oldid=58391 * Oerjan * (-3) This page needs manual updating (alas redirects cannot use templates)
07:10:22 <esowiki> [[Special:Log/delete]] delete * Oerjan * deleted "[[A programming language is a formal language, which comprises a set of instructions used to produce various kinds of output.]]": Renamed again
07:26:38 -!- hakatashi2 has quit (Remote host closed the connection).
07:26:56 -!- hakatashi has joined.
07:44:41 -!- tromp has joined.
07:52:24 -!- LKoen has joined.
07:52:52 -!- LKoen has quit (Read error: Connection reset by peer).
08:06:07 -!- S_Gautam has quit (Quit: Connection closed for inactivity).
08:40:31 -!- oerjan has quit (Quit: Nite).
08:56:17 -!- arseniiv has joined.
09:03:31 -!- adu has joined.
09:08:35 -!- orbitaldecay has joined.
09:11:18 -!- orbitaldecay__ has quit (Ping timeout: 252 seconds).
09:33:49 <rain1> https://tools.ietf.org/html/rfc865
09:38:00 <adu> https://tools.ietf.org/html/rfc2324
09:40:39 -!- adu has left.
09:40:57 <Taneb> Outlandish GG theory: this is Violetta
09:41:56 -!- AnotherTest has joined.
09:46:11 <esowiki> [[Esolang:Featured languages/Candidates]] https://esolangs.org/w/index.php?diff=60292&oldid=60278 * A * (-4) /* List of candidates */
09:50:43 <esowiki> [[Esolang:Featured languages/Candidates]] https://esolangs.org/w/index.php?diff=60293&oldid=60292 * A * (+46) /* List of candidates */
09:51:46 <Taneb> I think nominating your own language to be featured is rather poor form
09:53:03 <esowiki> [[Bitch]] https://esolangs.org/w/index.php?diff=60294&oldid=60277 * A * (-6) Remove what I commented
10:00:40 <shachaf> I nominate Real Fast Nora's Hair Salon 3: Shear Disaster Download for the best-named esolang
10:28:47 -!- cochain has joined.
10:28:54 -!- cochain has left.
10:51:27 -!- nfd has quit (Read error: Connection reset by peer).
10:53:20 -!- nfd9001 has joined.
11:27:58 -!- feeb has changed nick to dog_star.
12:24:45 -!- Lord_of_Life_ has joined.
12:26:58 -!- Lord_of_Life has quit (Ping timeout: 250 seconds).
12:26:59 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
12:30:30 <orbitaldecay> 7\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\rgft=v cfvgggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggg
12:33:11 <orin> https://i.redd.it/hc4zvr0obck21.png
12:55:52 -!- Essadon has joined.
12:56:23 -!- Essadon has quit (Max SendQ exceeded).
12:56:48 -!- Essadon has joined.
13:14:43 <int-e> orin: child or cat?
13:38:45 <orin> hmm?
13:42:35 <int-e> ... tab completion
13:42:43 <int-e> orbitaldecay: child or cat?
13:42:49 <int-e> orbitaldecay: sorry
13:42:51 <int-e> ...
13:42:53 <int-e> orin: sorry
13:55:15 -!- dog_star has changed nick to dogstar.
13:56:09 -!- dogstar has changed nick to dog_star.
14:32:02 <esowiki> [[Bitch]] https://esolangs.org/w/index.php?diff=60295&oldid=60294 * A * (+110) /* Continuation on the above by User:Helen (Implementing arithematic operations) */
14:40:03 <esowiki> [[Bitch]] https://esolangs.org/w/index.php?diff=60296&oldid=60295 * A * (-429) /* Language Overview */
14:49:22 <esowiki> [[Bitch]] https://esolangs.org/w/index.php?diff=60297&oldid=60296 * A * (+151) /* Continuation on the above by User:Helen (Implementing arithematic operations) */
14:57:49 <esowiki> [[Bitch]] https://esolangs.org/w/index.php?diff=60298&oldid=60297 * A * (+173) /* Common Algorithms */
15:00:38 <esowiki> [[Bitch]] https://esolangs.org/w/index.php?diff=60299&oldid=60298 * A * (+127) /* Continuation on the above by User:Helen (Implementing arithematic operations) */
15:00:45 -!- orbitaldecay_ has joined.
15:01:38 <esowiki> [[Bitch]] https://esolangs.org/w/index.php?diff=60300&oldid=60299 * A * (+93) /* Incrementing */
15:04:29 -!- orbitaldecay has quit (Ping timeout: 244 seconds).
15:05:53 -!- orbitaldecay_ has quit (Ping timeout: 245 seconds).
15:10:05 <esowiki> [[User talk:Helen]] N https://esolangs.org/w/index.php?oldid=60301 * A * (+126) Request help from User:Helen
15:13:22 <esowiki> [[Bitch]] https://esolangs.org/w/index.php?diff=60302&oldid=60300 * A * (+67) /* Continuation on the above by User:Helen (Implementing arithematic operations) */
15:22:34 <orin> int-e: lol tabs
15:25:03 <esowiki> [[User talk:A]] https://esolangs.org/w/index.php?diff=60303&oldid=60279 * A * (-3)
15:53:02 <orin> bah we are movig ofices soon and i have to organize
16:04:57 -!- orbitaldecay has joined.
16:06:18 -!- orbitaldecay_ has joined.
16:09:07 -!- orbitaldecay has quit (Ping timeout: 240 seconds).
16:14:37 -!- orbitaldecay has joined.
16:16:27 <orin> 𝔗𝔥𝔢 𝔑𝔢𝔴 𝔜𝔬𝔯𝔨 𝔗𝔦𝔪𝔢𝔰 doesn't use fraktur, they use a more readable blackletter font, does anyone know which one?
16:16:44 -!- orbitaldecay__ has joined.
16:18:27 -!- orbitaldecay_ has quit (Ping timeout: 240 seconds).
16:19:47 -!- orbitaldecay has quit (Ping timeout: 240 seconds).
16:20:38 -!- S_Gautam has joined.
16:22:27 -!- orbitaldecay_ has joined.
16:24:47 -!- orbitaldecay__ has quit (Ping timeout: 240 seconds).
16:28:28 -!- orbitaldecay_ has quit (Ping timeout: 246 seconds).
17:05:36 -!- AnotherTest has quit (Ping timeout: 250 seconds).
17:21:02 -!- LKoen has joined.
17:35:23 -!- AnotherTest has joined.
18:02:14 -!- LKoen has quit (Remote host closed the connection).
18:04:39 -!- LKoen has joined.
18:24:34 <orin> thing : thing.c
18:25:06 <kmc> perhaps bonghits will fix my makefile
18:25:43 <orin> kmc: it turned out the make accidentally impossible to succeed
18:26:10 -!- LKoen has quit (Remote host closed the connection).
18:26:31 <orin> because, the perl script passed it the wrong arguments
18:26:58 <orin> because, the makefile that calls the perl script, had the wrong variable definitions
18:27:47 <orin> because, the shell script that calls the makefile was written wrong
18:27:49 -!- Phantom_Hoover has joined.
18:27:53 <orin> and it's my fault
18:28:10 <kmc> d'oh
18:28:19 <kmc> you should add more scripts
18:28:59 <orin> kmc: i am considering how a makefile can possibly check its arguments
18:30:18 -!- S_Gautam has quit (Quit: Connection closed for inactivity).
18:30:53 <orin> AHA
18:38:19 <orin> i can put a bunch of ifdefs
18:40:38 <orin> and then set a variable like FAKE_VARIABLE = $(shell touch foo)
18:41:20 <orin> and then have foo as a prequisite for my rules, making the thing fail immediately instead of after 2 hours
18:57:57 -!- LKoen has joined.
19:09:12 <orin> https://www.unicode.org/mail-arch/unicode-ml/y2019-m03/0002.html
19:09:35 <orin> ^ guy seems somewhat pompous
19:09:43 -!- orbitaldecay_wor has joined.
19:09:56 <esowiki> [[Zahlen]] N https://esolangs.org/w/index.php?oldid=60304 * Orby * (+6997) Introducing Zahlen. Documenting binary operators.
19:19:05 <orin> hmm, how would one extract individual bits from a integer, individual integers from a list or set?
19:24:02 <orbitaldecay_wor> orin: many operations are yet undocumented. casting a logical to a list will create a bit vector
19:24:21 <orbitaldecay_wor> and there will be an explode operator for sets and lists
19:24:29 <orbitaldecay_wor> still working on the unary operators
19:25:57 <orbitaldecay_wor> I have it written out in a text file, but it's going to take some time to prettify it for the wiki
19:26:01 -!- orbitaldecay_wor has changed nick to orby_work.
19:26:28 <orby_work> wiki tables are cumbersome :(
19:26:52 -!- FreeFull has joined.
19:29:39 <esowiki> [[Zahlen]] M https://esolangs.org/w/index.php?diff=60305&oldid=60304 * Orby * (+47)
19:36:47 <esowiki> [[Zahlen]] https://esolangs.org/w/index.php?diff=60306&oldid=60305 * Orby * (+372) Expanding introduction. Adding more subsections.
19:40:28 <orby_work> It's actually quite interesting to think about the various ways one can usefully cast between a logical, integer, list, and set. A logical most obviously casts to a bit list, but when casting to a set you can think of a logical as an inclusion mask for the set (i.e. if bit i is set, then integer i is in S).
19:41:02 <orby_work> While an integer might just cast to a singleton set.
19:44:06 -!- MDude has quit (Read error: Connection reset by peer).
19:50:24 <esowiki> [[Works in progress]] https://esolangs.org/w/index.php?diff=60307&oldid=60230 * Orby * (+57)
19:53:38 -!- MDude has joined.
19:54:39 <esowiki> [[User:Orby]] M https://esolangs.org/w/index.php?diff=60308&oldid=60171 * Orby * (+92) Adding Zahlen to my language list
19:55:42 -!- orby_work has quit (Quit: Page closed).
19:57:55 -!- LKoen has quit (Remote host closed the connection).
20:12:28 <int-e> heh, oerjan was right in 2012
20:48:11 -!- ais523 has joined.
20:48:43 <ais523> could someone tell me if there's currently an Internet backbone dispute going on? many websites work fine for me, but many connections on port 80 get a "connected", followed by no response from the other end until the connection times out
20:48:55 <ais523> and all the websites I normally check to see if there's an ongoing backbone dispute are in the latter group
20:49:23 <ais523> so either something's gone badly wrong at my ISP, or else there's a rift in the Internet again, and I'm trying to determine which
20:52:55 <ais523> @messages?
20:52:55 <lambdabot> Sorry, no messages today.
20:53:57 -!- b_jonas has joined.
21:00:42 <ais523> hi b_jonas
21:01:05 <b_jonas> hi
21:01:52 <ais523> currently struggling with a malfunctioning Internet connection, a sizeable minority of websites are failing (if I connect to them on port 80, the connection is accepted but the website never sends anything), I'm wondering if it's a backbone dispute or whether it's something at my ISP
21:02:32 <orin> the internet is working fine for me
21:02:52 <ais523> oh, hmm, it just fixed itself
21:03:06 <orin> maybe a DNS crapout
21:03:08 <orin> ?
21:03:30 <int-e> it could be some "transparent" HTTP proxy
21:04:00 <ais523> orin: definitely not DNS, that's the first thing I checked
21:04:13 <ais523> but it'll be hard to diagnose now that it's stopped
21:04:28 <ais523> I was busy connecting to sites using telnet to port 80 to see what happened
21:06:01 <orin> https://www.youtube.com/watch?v=W_EfDSnToKY
21:08:54 <ais523> and the failing sites just sent no response, even though the connection wasn't refused
21:10:47 <b_jonas> orin: have you managed to implement a check for characters that look identical, or even for ones that look too similar?
21:17:01 <orin> b_jonas: not yet
21:18:28 <orin> b_jonas: I did manage to do it by simply dumping the characters and running sort over them
21:18:42 <orin> but an actual C++ olution would be better
21:19:08 <b_jonas> orin: you can sort in C++ too, the library has a sort function
21:19:55 <shachaf> `olist 1158
21:19:55 <HackEso> olist 1158: shachaf oerjan Sgeo FireFly boily nortti b_jonas
21:20:17 <b_jonas> o
21:27:47 -!- ais523 has quit (Ping timeout: 240 seconds).
21:46:18 <orin> intaanet-tobu shingusu!
22:20:02 -!- ais523 has joined.
22:30:53 -!- AnotherTest has quit (Ping timeout: 245 seconds).
22:42:33 <FreeFull> ais523: Maybe packets were just being dropped hard en-route?
22:42:45 <FreeFull> And TCP had to keep retrying?
22:42:53 <ais523> FreeFull: yes, it's consistent with the packets being hard-dropped
22:43:04 <ais523> although, would TCP report "connection established" before a single inbound packet was received?
22:43:16 <FreeFull> ais523: Next time it happens, try pinging some IP and seeing how long the responses take, and how many get dropped
22:43:41 <FreeFull> A connection definitely requires a bit of back and forth to be established
22:43:50 <FreeFull> But it's possible the first few packets were always getting through for some reason
22:56:29 <esowiki> [[ALLSCII]] https://esolangs.org/w/index.php?diff=60309&oldid=60287 * Cortex * (+763)
22:57:30 <esowiki> [[Truth-machine]] https://esolangs.org/w/index.php?diff=60310&oldid=60290 * Cortex * (+63)
23:06:25 <orin> https://twitter.com/sokane1/status/1103421841505505280
23:06:40 <orin> Trump called him "Tim Apple"
23:07:01 <orin> Tim Apple, and his friends Satya Microsoft and Sundar Google
23:07:46 <shachaf> orin: hellorin
23:08:01 <shachaf> have you considered putting all your c++ files into one compilation unit to make the build faster hth
23:08:12 <shachaf> itim translation unit
23:10:10 <orin> shachaf: we can't even fit the list of c++ files into a single command line
23:10:40 <orin> I don't thing even a tenth of it would fit in memory at once
23:11:21 <shachaf> imo make your builds fast
23:11:25 <shachaf> then you'll be less miserable
23:13:27 <fizzie> Have all your developers sync to last green of a CI build, then you can cache compilation artifacts.
23:14:10 <shachaf> continuous integration is the worst name
23:14:24 <shachaf> integration already sounds like the math
23:14:37 <shachaf> and the word "continuous" seems to settle the matter unambiguously
23:14:44 <j4cbo> d e v o p s
23:28:32 <orin> fizzie: lol compilation artefacts
23:28:50 <orin> fizzie: this thing compiles the same files multiple times for some reason
23:29:28 <shachaf> orin's build system is just a disaster, is the background behind all this
23:29:45 <shachaf> and orin inc. would rather have builds take 12 hours than fix it
23:30:51 <fizzie> On the other hand, "orin inc." sounds pretty snappy. Financial, maybe.
23:32:57 -!- LKoen_ has joined.
23:37:06 -!- xkapastel has joined.
23:51:56 -!- arseniiv has quit (Ping timeout: 255 seconds).
23:53:04 -!- Phantom_Hoover has quit (Remote host closed the connection).
←2019-03-05 2019-03-06 2019-03-07→ ↑2019 ↑all