Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1476 1477 1478 1479 1480 1481 1482 1483 1484 1485 1486 .. 18042
— 1,804,148 events total
2021-08-20 14:09:35 → reumeth joins (~reumeth@user/reumeth)
2021-08-20 14:10:40 × jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.2)
2021-08-20 14:17:36 × dschrempf quits (~dominik@92-249-159-252.pool.digikabel.hu) (Ping timeout: 250 seconds)
2021-08-20 14:19:00 → vpan joins (~vilius@212.117.1.172)
2021-08-20 14:19:08 × lortabac quits (~lortabac@151.53.218.126) (Quit: WeeChat 2.8)
2021-08-20 14:20:21 → Sgeo joins (~Sgeo@user/sgeo)
2021-08-20 14:23:15 × vpan quits (~vilius@212.117.1.172) (Client Quit)
2021-08-20 14:25:56 × xaltsc quits (~xaltsc@user/xaltsc) (Read error: Connection reset by peer)
2021-08-20 14:31:53 × favonia quits (~favonia@user/favonia) (Ping timeout: 258 seconds)
2021-08-20 14:32:13 × burnsidesLlama quits (~burnsides@client-8-89.eduroam.oxuni.org.uk) (Remote host closed the connection)
2021-08-20 14:32:46 × hannessteffenhag quits (~hannesste@ip4d14fff3.dynamic.kabel-deutschland.de) (Ping timeout: 250 seconds)
2021-08-20 14:32:53 <polyphem> Plans for the weekend yet ? => https://github.com/langjam/langjam
2021-08-20 14:37:17 × PinealGlandOptic quits (~PinealGla@37.115.210.35) (Quit: leaving)
2021-08-20 14:38:31 × martin02 quits (silas@hund.fs.lmu.de) (Quit: WeeChat 2.3)
2021-08-20 14:41:12 × Matthias1 quits (~Matthias1@casewireless11.CWRU.Edu) (Remote host closed the connection)
2021-08-20 14:41:41 → shriekingnoise joins (~shrieking@186.137.144.80)
2021-08-20 14:42:24 × d0ku quits (~d0ku@178.43.198.70.ipv4.supernova.orange.pl) (Remote host closed the connection)
2021-08-20 14:43:16 → hannessteffenhag joins (~hannesste@ip4d14fff3.dynamic.kabel-deutschland.de)
2021-08-20 14:45:03 → favonia joins (~favonia@user/favonia)
2021-08-20 14:46:04 → hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com)
2021-08-20 14:46:23 → burnsidesLlama joins (~burnsides@client-8-89.eduroam.oxuni.org.uk)
2021-08-20 14:47:30 × hannessteffenhag quits (~hannesste@ip4d14fff3.dynamic.kabel-deutschland.de) (Ping timeout: 250 seconds)
2021-08-20 14:48:12 × burnsidesLlama quits (~burnsides@client-8-89.eduroam.oxuni.org.uk) (Remote host closed the connection)
2021-08-20 14:51:25 → Matthias1 joins (~Matthias1@casewireless11.CWRU.Edu)
2021-08-20 14:53:12 → burnsidesLlama joins (~burnsides@client-8-89.eduroam.oxuni.org.uk)
2021-08-20 14:55:30 × polyphem quits (~polyphem@2a02:810d:640:776c:bd0c:a594:ef4e:c3f3) (Read error: Connection reset by peer)
2021-08-20 14:55:48 × burnsidesLlama quits (~burnsides@client-8-89.eduroam.oxuni.org.uk) (Remote host closed the connection)
2021-08-20 14:56:06 → polyphem joins (~polyphem@2a00:20:c049:6b62:beab:3bdc:3d18:f786)
2021-08-20 14:56:17 × Ranhir quits (~Ranhir@157.97.53.139) (Ping timeout: 245 seconds)
2021-08-20 14:56:47 × polyphem quits (~polyphem@2a00:20:c049:6b62:beab:3bdc:3d18:f786) (Read error: Connection reset by peer)
2021-08-20 14:57:18 → polyphem joins (~polyphem@ip5f5ac3ae.dynamic.kabel-deutschland.de)
2021-08-20 14:58:06 → p0lyph3m joins (~polyphem@2a00:20:c049:6b62:beab:3bdc:3d18:f786)
2021-08-20 14:59:25 p0lyph3m is now known as Core2947
2021-08-20 15:01:42 → martin02 joins (~silas@141.84.69.76)
2021-08-20 15:01:48 × polyphem quits (~polyphem@ip5f5ac3ae.dynamic.kabel-deutschland.de) (Ping timeout: 250 seconds)
2021-08-20 15:02:15 → Ranhir joins (~Ranhir@157.97.53.139)
2021-08-20 15:03:10 → burnsidesLlama joins (~burnsides@client-8-89.eduroam.oxuni.org.uk)
2021-08-20 15:05:21 Core2947 is now known as polyphem
2021-08-20 15:06:37 × burnsidesLlama quits (~burnsides@client-8-89.eduroam.oxuni.org.uk) (Remote host closed the connection)
2021-08-20 15:07:08 → burnsidesLlama joins (~burnsides@client-8-89.eduroam.oxuni.org.uk)
2021-08-20 15:08:19 → zebrag joins (~chris@user/zebrag)
2021-08-20 15:09:07 × burnsidesLlama quits (~burnsides@client-8-89.eduroam.oxuni.org.uk) (Remote host closed the connection)
2021-08-20 15:09:21 × lbseale_ quits (~lbseale@user/ep1ctetus) (Ping timeout: 248 seconds)
2021-08-20 15:10:05 → burnsidesLlama joins (~burnsides@client-8-89.eduroam.oxuni.org.uk)
2021-08-20 15:11:47 × burnsidesLlama quits (~burnsides@client-8-89.eduroam.oxuni.org.uk) (Remote host closed the connection)
2021-08-20 15:12:10 × Maya29 quits (~Maya@p4ffdb725.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2021-08-20 15:12:15 × sweater quits (~sweater@206.81.18.26) (Quit: WeeChat 2.8)
2021-08-20 15:13:47 → burnsidesLlama joins (~burnsides@client-8-89.eduroam.oxuni.org.uk)
2021-08-20 15:19:16 × burnsidesLlama quits (~burnsides@client-8-89.eduroam.oxuni.org.uk) (Remote host closed the connection)
2021-08-20 15:21:06 × aman quits (~aman@user/aman) (Quit: aman)
2021-08-20 15:24:28 → burnsidesLlama joins (~burnsides@client-8-89.eduroam.oxuni.org.uk)
2021-08-20 15:25:24 × bin_ quits (~bin@user/bin/x-1583188) (Quit: ZNC - https://znc.in)
2021-08-20 15:25:54 → _bin joins (~bin@user/bin/x-1583188)
2021-08-20 15:26:22 × stevenxl quits (uid133530@highgate.irccloud.com) (Ping timeout: 245 seconds)
2021-08-20 15:26:24 × etrepum quits (sid763@id-763.highgate.irccloud.com) (Read error: Connection reset by peer)
2021-08-20 15:26:28 × burnsidesLlama quits (~burnsides@client-8-89.eduroam.oxuni.org.uk) (Remote host closed the connection)
2021-08-20 15:26:29 × totbwf__ quits (sid402332@id-402332.highgate.irccloud.com) (Read error: Connection reset by peer)
2021-08-20 15:26:43 × davetapley quits (sid666@highgate.irccloud.com) (Read error: Connection reset by peer)
2021-08-20 15:26:47 × vito quits (sid1962@user/vito) (Ping timeout: 245 seconds)
2021-08-20 15:26:52 × alanz quits (sid110616@id-110616.highgate.irccloud.com) (Ping timeout: 256 seconds)
2021-08-20 15:26:52 × obviyus quits (sid415299@user/obviyus) (Ping timeout: 256 seconds)
2021-08-20 15:26:57 × bradparker quits (sid262931@id-262931.highgate.irccloud.com) (Read error: Connection reset by peer)
2021-08-20 15:27:03 × b20n quits (sid115913@id-115913.highgate.irccloud.com) (Read error: Connection reset by peer)
2021-08-20 15:27:03 × T_S_ quits (sid501726@id-501726.highgate.irccloud.com) (Read error: Connection reset by peer)
2021-08-20 15:27:10 × aarchi quits (sid486183@highgate.irccloud.com) (Read error: Connection reset by peer)
2021-08-20 15:27:29 × SrPx quits (sid108780@highgate.irccloud.com) (Ping timeout: 248 seconds)
2021-08-20 15:28:47 → burnsidesLlama joins (~burnsides@client-8-89.eduroam.oxuni.org.uk)
2021-08-20 15:29:10 × burnsidesLlama quits (~burnsides@client-8-89.eduroam.oxuni.org.uk) (Remote host closed the connection)
2021-08-20 15:29:14 × systemfault quits (sid267009@highgate.irccloud.com) (Ping timeout: 268 seconds)
2021-08-20 15:31:06 → bradparker joins (sid262931@id-262931.highgate.irccloud.com)
2021-08-20 15:31:14 → etrepum joins (sid763@highgate.irccloud.com)
2021-08-20 15:31:45 → totbwf__ joins (sid402332@id-402332.highgate.irccloud.com)
2021-08-20 15:31:57 → T_S_ joins (sid501726@highgate.irccloud.com)
2021-08-20 15:32:05 → davetapley joins (sid666@id-666.highgate.irccloud.com)
2021-08-20 15:32:09 → stevenxl joins (uid133530@highgate.irccloud.com)
2021-08-20 15:32:10 → SrPx joins (sid108780@highgate.irccloud.com)
2021-08-20 15:32:15 → b20n joins (sid115913@id-115913.highgate.irccloud.com)
2021-08-20 15:32:28 → aarchi joins (sid486183@id-486183.highgate.irccloud.com)
2021-08-20 15:32:34 → systemfault joins (sid267009@id-267009.highgate.irccloud.com)
2021-08-20 15:32:34 → vito joins (sid1962@user/vito)
2021-08-20 15:33:03 → obviyus joins (sid415299@user/obviyus)
2021-08-20 15:33:07 → alanz joins (sid110616@highgate.irccloud.com)
2021-08-20 15:34:29 → chris joins (~chris@81.96.113.213)
2021-08-20 15:34:32 chris is now known as Guest8144
2021-08-20 15:34:35 → mei joins (~mei@user/mei)
2021-08-20 15:37:17 → ananthakumaran joins (~ananthaku@49.207.194.59)
2021-08-20 15:38:11 × _bin quits (~bin@user/bin/x-1583188) (Quit: ZNC - https://znc.in)
2021-08-20 15:38:40 → _bin joins (~bin@user/bin/x-1583188)
2021-08-20 15:39:13 → notzmv joins (~zmv@user/notzmv)
2021-08-20 15:39:20 → doyougnu joins (~user@c-73-25-202-122.hsd1.or.comcast.net)
2021-08-20 15:39:25 → p0lyph3m joins (~polyphem@2a02:810d:640:776c:bd0c:a594:ef4e:c3f3)
2021-08-20 15:41:43 × polyphem quits (~polyphem@2a00:20:c049:6b62:beab:3bdc:3d18:f786) (Remote host closed the connection)
2021-08-20 15:43:02 <_bin> Opinions on Megaparsec vs Earley vs uu-parsinglib
2021-08-20 15:44:37 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-08-20 15:44:47 × fef quits (~thedawn@user/thedawn) (Ping timeout: 244 seconds)
2021-08-20 15:45:06 → sweater joins (~sweater@206.81.18.26)
2021-08-20 15:45:09 → fef joins (~thedawn@user/thedawn)
2021-08-20 15:46:26 <c_wraith> megaparsec will be the fastest of those three, if you're handling huge documents. Earley is the easiest (for me) to use, but it is also the most limited - it only supports context-free grammars, where the other two support context-sensitive. uu-parsinglib does really neat stuff with error correction, but performance can get really bad if your grammar allows ambiguity
2021-08-20 15:47:09 <dsal> Does anyone have any references to opinions on `let` vs. `where` when they're otherwise equivalent? `where` seems to produce cleaner looking code that's easier for me to understand, but I've seen an argument from someone who likes seeing definitions ahead. Searches point me to technical differences, which don't seem to be helpful.
2021-08-20 15:47:36 <c_wraith> in cases where they're equivalent I almost always go with where.
←Prev  Next→
Page 1 .. 1476 1477 1478 1479 1480 1481 1482 1483 1484 1485 1486 .. 18042

All times are in UTC.