Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 684 685 686 687 688 689 690 691 692 693 694 .. 5022
— 502,152 events total
2020-10-16 22:13:58 <pjb> Yes, you can try.
2020-10-16 22:14:01 <frdg> ok that makes sense.
2020-10-16 22:14:31 <pjb> But often you need to keep the old hardware too, and here is the problem. Hardware breaks. Virtual machines bit-rot.
2020-10-16 22:14:40 <pjb> It's a full-time job.
2020-10-16 22:15:21 → son0p joins (~son0p@181.136.122.143)
2020-10-16 22:15:25 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:7144:6660:b16:ebff)
2020-10-16 22:15:31 <monochrom> We do demand our governments and corporate overlords of "more jobs, and they have to be full-time jobs", no? :)
2020-10-16 22:16:01 <dibblego> I use av sim software that only runs on windows-xp
2020-10-16 22:16:32 <gentauro> 00:02 < frdg> why would somebody search for functions on stackage instead of hoogle?
2020-10-16 22:16:45 <gentauro> frdg: I wouldn't. Hoogle is pretty fast and `stackage` not so much …
2020-10-16 22:17:41 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 256 seconds)
2020-10-16 22:19:38 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-16 22:20:48 × elliott__ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
2020-10-16 22:21:25 <johnw> I have an app that only works on xp too
2020-10-16 22:22:07 <johnw> I have a VM where that app has been running for the last 20 years, only ever being suspended, never exited, because I wouldn't be able to restart it now
2020-10-16 22:24:16 → conal joins (~conal@64.71.133.70)
2020-10-16 22:27:14 × fendor quits (~fendor@046124068105.public.t-mobile.at) (Remote host closed the connection)
2020-10-16 22:28:23 × jneira_ quits (~jneira@80.30.100.250) (Ping timeout: 260 seconds)
2020-10-16 22:28:45 → jneira_ joins (~jneira@80.30.100.250)
2020-10-16 22:30:15 <dibblego> heh, yeah I use vbox for winxp — aviation is stuck in the 1960s
2020-10-16 22:30:38 → netsoundW1 joins (~netsoundW@84.39.116.180)
2020-10-16 22:31:16 <hpc> sometimes it seems like it should stay there
2020-10-16 22:31:23 × nados quits (~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-10-16 22:31:32 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-16 22:31:42 → GyroW joins (~GyroW@d54C03E98.access.telenet.be)
2020-10-16 22:31:43 × GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-16 22:31:43 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-16 22:32:00 → nados joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-16 22:35:04 × Ariakenom quits (~Ariakenom@h-98-128-228-53.NA.cust.bahnhof.se) (Quit: Leaving)
2020-10-16 22:35:19 × slack1256 quits (~slack1256@181.203.95.77) (Ping timeout: 265 seconds)
2020-10-16 22:35:29 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:7144:6660:b16:ebff) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-16 22:35:40 <dibblego> today I have 4 flights totalling ~6 hours. It is going to be a 18 hour day
2020-10-16 22:40:33 → Ohg joins (~ohg@5.80.254.148)
2020-10-16 22:40:57 <monochrom> I once booked my flight from Munich to Toronto too late. The booking was very late, pretty last minute (OK, last week), it was also summer, so availability sucked. Therefore...
2020-10-16 22:40:58 hackage churros 0.1.3.0 - Channel/Arrow based streaming computation library. https://hackage.haskell.org/package/churros-0.1.3.0 (LyndonMaydwell)
2020-10-16 22:42:08 <monochrom> it consisted of Munich -> London -> Halifax and St. John (no need to leave plane) -> Montreal -> Toronto
2020-10-16 22:42:21 <monochrom> It spanned 24 hours.
2020-10-16 22:43:13 <monochrom> (no need to leave plane between Halifax and St. John. I forgot which order.)
2020-10-16 22:43:17 <dibblego> I am doing 4 flights today, in command, totalling 6 hours. Since aviation is stuck in the 1960s, I anticipate an additional 12 hours of error-prone, manual administration work
2020-10-16 22:43:36 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-10-16 22:43:43 <hpc> oh wow, that kind of "have 4 flights"
2020-10-16 22:44:21 <dibblego> I may have added that up incorrectly. Standby while I find my pen.
2020-10-16 22:45:14 × frdg quits (47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net) (Remote host closed the connection)
2020-10-16 22:45:31 <int-e> . o O ( time flies )
2020-10-16 22:45:35 <hpc> although, apparently newer gulfstreams are modern in a pretty nice way
2020-10-16 22:45:54 → chris joins (~chris@81.96.113.213)
2020-10-16 22:45:56 <hpc> (source, https://www.code7700.com/ which has some pretty interesting blog posts)
2020-10-16 22:46:16 chris is now known as Guest62583
2020-10-16 22:47:26 <monochrom> I guess software project delays and flight delays have a lot in common.
2020-10-16 22:47:57 hackage webby 1.0.1 - A super-simple web server framework https://hackage.haskell.org/package/webby-1.0.1 (AdityaManthramurthy)
2020-10-16 22:48:00 <monochrom> Or "delays" because perhaps we simply always underestimate schedules.
2020-10-16 22:48:24 <hpc> monochrom: you should read that link, it's shocking how much is the same
2020-10-16 22:48:40 <dibblego> my first one is 0030Z-0200Z want to time it?
2020-10-16 22:50:38 <dibblego> that website is very US-oriented and generalises inaccurately in places
2020-10-16 22:50:39 × mimi_vx quits (mimi1vx@nat/suse/x-rrcxinfwcsbojhcp) (Ping timeout: 258 seconds)
2020-10-16 22:50:57 <hpc> exactly like programming!
2020-10-16 22:51:14 <dibblego> :)
2020-10-16 22:51:40 × Guest62583 quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-16 22:52:37 <dibblego> better go
2020-10-16 22:54:43 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-16 22:55:34 → Alleria_ joins (~AllahuAkb@2604:2000:1484:26:dcad:5cf5:9c19:447f)
2020-10-16 22:55:39 × ystael quits (~ystael@209.6.50.55) (Ping timeout: 256 seconds)
2020-10-16 22:59:09 → geowiesnot joins (~user@87-89-181-157.abo.bbox.fr)
2020-10-16 23:00:25 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-10-16 23:01:57 <justsomeguy> This is kind of a shot in the dark, but ... Where did the idea of pattern matching come from? I'm somewhat interested in what the original motivation was for creating the feature.
2020-10-16 23:02:08 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2020-10-16 23:02:54 <justsomeguy> I guess I should probably start by looking searching for things related ML or CLU.
2020-10-16 23:04:27 <monochrom> I know pretty little, but ML is the earliest I know of.
2020-10-16 23:05:00 <dminuoso> justsomeguy: ALGOL 68 seems to be the earliest language that supports it
2020-10-16 23:05:29 <monochrom> But did Algol 68 have algebraic data types?
2020-10-16 23:05:32 × Codaraxis__ quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Quit: Leaving)
2020-10-16 23:05:32 <dminuoso> At least that's what a little bit of wiki warrioring reveals
2020-10-16 23:05:40 <hpc> if it had a mathematical inspiration, it would probably be definition by parts
2020-10-16 23:05:53 <dminuoso> monochrom: well you had union types, at least.
2020-10-16 23:06:03 <monochrom> OK that counts.
2020-10-16 23:06:17 <dolio> https://www.cs.cmu.edu/~crary/819-f09/Landin66.pdf
2020-10-16 23:06:51 <dolio> Might be earlier than 66, too, though.
2020-10-16 23:06:54 → DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-16 23:06:56 → Codaraxis joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2020-10-16 23:07:16 <justsomeguy> Funny; Half the time I ask where a PL feature originates from, it leads to Algol 68.
2020-10-16 23:10:14 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-10-16 23:12:29 <dolio> Hah, the ISWIM paper is already using the phrase "purely functional" in 1966.
2020-10-16 23:13:21 × Ohg quits (~ohg@5.80.254.148) (Remote host closed the connection)
2020-10-16 23:16:49 × avn quits (~avn@78-56-108-78.static.zebra.lt) (Read error: Connection reset by peer)
2020-10-16 23:18:20 <ski> (Peano) recursive definition of operations on naturals is older
2020-10-16 23:19:34 ski . o O ( <https://plato.stanford.edu/entries/recursive-functions/> )
2020-10-16 23:20:01 × geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 256 seconds)
2020-10-16 23:22:40 × johnw quits (~johnw@haskell/developer/johnw) (Quit: ZNC - http://znc.in)
2020-10-16 23:23:34 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:f977:bb39:9180:7f9c)
2020-10-16 23:23:50 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-16 23:25:27 → conal joins (~conal@64.71.133.70)
2020-10-16 23:26:12 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-10-16 23:28:03 → earldouglas joins (~james@unaffiliated/jamestastic)
2020-10-16 23:28:11 × Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2020-10-16 23:28:22 <earldouglas> Is there a way to pattern match on a newtype constructor that's in a hidden module?
2020-10-16 23:29:22 <hpc> somehow or another, the data constructor needs to be in scope in order to match on it
2020-10-16 23:30:21 <L29Ah> earldouglas: can't you coerce instead?
2020-10-16 23:31:01 × Alleria_ quits (~AllahuAkb@2604:2000:1484:26:dcad:5cf5:9c19:447f) (Quit: Textual IRC Client: www.textualapp.com)
2020-10-16 23:32:25 × whatisRT quits (~whatisRT@2002:5b41:6a33:0:d585:23a3:86e4:f2b4) (Ping timeout: 240 seconds)
2020-10-16 23:34:52 → anik joins (~anik@103.23.207.151)
←Prev  Next→
Page 1 .. 684 685 686 687 688 689 690 691 692 693 694 .. 5022

All times are in UTC.