Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 .. 18038
— 1,803,745 events total
2021-07-28 18:49:30 → fossdd joins (~fossdd@sourcehut/user/fossdd)
2021-07-28 18:50:21 → bruceleewees joins (~bruceleew@83.24.236.64.ipv4.supernova.orange.pl)
2021-07-28 18:51:29 × ukari quits (~ukari@user/ukari) (Remote host closed the connection)
2021-07-28 18:52:04 → ukari joins (~ukari@user/ukari)
2021-07-28 18:53:54 × lbseale quits (~lbseale@user/ep1ctetus) (Quit: Client closed)
2021-07-28 18:53:57 <zyklotomic> what is a good data structure for a stack
2021-07-28 18:54:35 <pavonia> [a]
2021-07-28 18:54:36 <zyklotomic> i was considering lists, but it is in a strict State monad
2021-07-28 18:54:47 <zyklotomic> that ruins it slightly right
2021-07-28 18:54:59 <dolio> How?
2021-07-28 18:55:23 <zyklotomic> everytime i append, that would be O(n) if i understand correctly
2021-07-28 18:55:37 <zyklotomic> but if it is lazy, i can defer the appending into one go
2021-07-28 18:55:43 <dolio> You don't append to a stack.
2021-07-28 18:55:51 × epolanski quits (uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity)
2021-07-28 18:56:01 <zyklotomic> oh... you put it in the front
2021-07-28 18:56:03 <zyklotomic> ?
2021-07-28 18:56:09 <pavonia> Yes
2021-07-28 18:56:22 <zyklotomic> lol..... ohhhh
2021-07-28 18:56:42 <zyklotomic> thanks dolio, pavonia
2021-07-28 18:56:58 × fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds)
2021-07-28 18:57:25 <boxscape> Hm I was thinking making a few CPP macros would be faster than writing template haskell, but I'm starting to regret that
2021-07-28 18:57:25 → fossdd joins (~fossdd@sourcehut/user/fossdd)
2021-07-28 18:57:46 <boxscape> apparently having an apostrophe or not in front of a macro (inside a macro) changing whether that macro is expanded or not
2021-07-28 19:00:09 → epolanski joins (uid312403@id-312403.brockwell.irccloud.com)
2021-07-28 19:00:25 × peterhil quits (~peterhil@mobile-access-5d6aaf-196.dhcp.inet.fi) (Ping timeout: 268 seconds)
2021-07-28 19:01:27 × royo quits (~royo@user/royo) (Remote host closed the connection)
2021-07-28 19:01:46 × fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds)
2021-07-28 19:02:08 <pavonia> It probably treats that as char literal
2021-07-28 19:02:25 → fossdd joins (~fossdd@sourcehut/user/fossdd)
2021-07-28 19:02:55 × jess quits (~jess@libera/staff/jess) ()
2021-07-28 19:04:13 × chris_ quits (~chris@81.96.113.213) (Remote host closed the connection)
2021-07-28 19:04:40 <boxscape> hmm perhaps, I wouldn't expect that a priori since it's part of a name (Lens')
2021-07-28 19:07:52 × fef quits (~thedawn@user/thedawn) (Quit: Leaving)
2021-07-28 19:08:04 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-07-28 19:08:38 → peterhil joins (~peterhil@mobile-access-5d6aaf-196.dhcp.inet.fi)
2021-07-28 19:16:22 × cfricke quits (~cfricke@user/cfricke) (Ping timeout: 245 seconds)
2021-07-28 19:16:58 × fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds)
2021-07-28 19:17:01 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 258 seconds)
2021-07-28 19:18:00 → fossdd joins (~fossdd@sourcehut/user/fossdd)
2021-07-28 19:18:58 → chris_ joins (~chris@81.96.113.213)
2021-07-28 19:19:58 × curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 272 seconds)
2021-07-28 19:21:11 × ukari quits (~ukari@user/ukari) (Remote host closed the connection)
2021-07-28 19:21:22 × jippiedoe quits (~david@2a02-a448-48bd-1-3852-3dc5-540b-b540.fixed6.kpn.net) (Ping timeout: 240 seconds)
2021-07-28 19:21:33 × thaumavorio quits (~thaumavor@thaumavor.io) (Quit: ZNC 1.8.2 - https://znc.in)
2021-07-28 19:22:03 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-07-28 19:22:05 × fluffyballoon quits (~fluffybal@pat-verona-h.epic.com) (Quit: Client closed)
2021-07-28 19:22:19 → ukari joins (~ukari@user/ukari)
2021-07-28 19:22:52 → fluffyballoon joins (~fluffybal@pat-verona-h.epic.com)
2021-07-28 19:24:21 → thaumavorio joins (~thaumavor@thaumavor.io)
2021-07-28 19:24:54 × neceve quits (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 256 seconds)
2021-07-28 19:26:06 → burnsidesLlama joins (~burnsides@client-8-91.eduroam.oxuni.org.uk)
2021-07-28 19:26:19 × derelict_ quits (~derelict@user/derelict) (Quit: WeeChat 3.2)
2021-07-28 19:29:38 → roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:6cf9:3f96:8a8a:f813)
2021-07-28 19:30:50 × bitmapper quits (uid464869@id-464869.tooting.irccloud.com) (Quit: Connection closed for inactivity)
2021-07-28 19:33:01 → lavaman joins (~lavaman@98.38.249.169)
2021-07-28 19:35:26 → OscarH joins (~Thunderbi@2a02:c7f:a0da:ae00:d96f:f976:65fc:546d)
2021-07-28 19:37:42 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds)
2021-07-28 19:40:53 × Null_A quits (~null_a@2601:645:8700:2290:7921:180d:4519:92d1) (Remote host closed the connection)
2021-07-28 19:41:22 × dschrempf quits (~dominik@mobiledyn-185-69-244-184.mrsn.at) (Quit: WeeChat 3.2)
2021-07-28 19:42:05 → dschrempf joins (~dominik@mobiledyn-185-69-244-184.mrsn.at)
2021-07-28 19:45:14 → Null_A joins (~null_a@2601:645:8700:2290:7921:180d:4519:92d1)
2021-07-28 19:45:47 × FragByte quits (~christian@user/fragbyte) (Ping timeout: 252 seconds)
2021-07-28 19:46:15 × sander quits (~sander@user/sander) (Ping timeout: 265 seconds)
2021-07-28 19:47:04 → FragByte joins (~christian@user/fragbyte)
2021-07-28 19:47:34 → obs\ joins (~obscur1ty@user/obs/x-5924898)
2021-07-28 19:47:47 × dschrempf quits (~dominik@mobiledyn-185-69-244-184.mrsn.at) (Quit: WeeChat 3.2)
2021-07-28 19:48:10 × fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds)
2021-07-28 19:48:14 → sander joins (~sander@user/sander)
2021-07-28 19:48:28 → doyougnu joins (~user@c-73-25-202-122.hsd1.or.comcast.net)
2021-07-28 19:48:57 → fossdd joins (~fossdd@sourcehut/user/fossdd)
2021-07-28 19:49:44 → dschrempf joins (~dominik@mobiledyn-185-69-244-184.mrsn.at)
2021-07-28 19:49:51 × Guest9 quits (~Guest9@43.241.144.38) (Quit: Connection closed)
2021-07-28 19:52:10 × fluffyballoon quits (~fluffybal@pat-verona-h.epic.com) (Quit: Client closed)
2021-07-28 19:52:37 × chris_ quits (~chris@81.96.113.213) (Remote host closed the connection)
2021-07-28 19:52:52 → chris_ joins (~chris@81.96.113.213)
2021-07-28 19:53:02 → fluffyballoon joins (~fluffybal@pat-verona-h.epic.com)
2021-07-28 19:55:32 × thyriaen quits (~thyriaen@x4db77ea2.dyn.telefonica.de) (Remote host closed the connection)
2021-07-28 19:55:54 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-07-28 19:55:54 → allbery_b joins (~geekosaur@xmonad/geekosaur)
2021-07-28 19:55:57 allbery_b is now known as geekosaur
2021-07-28 19:57:47 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-07-28 19:57:47 → allbery_b joins (~geekosaur@xmonad/geekosaur)
2021-07-28 19:57:51 allbery_b is now known as geekosaur
2021-07-28 20:05:20 AlexNoo_ is now known as AlexNoo
2021-07-28 20:09:29 ← OscarH parts (~Thunderbi@2a02:c7f:a0da:ae00:d96f:f976:65fc:546d) ()
2021-07-28 20:10:59 × gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 244 seconds)
2021-07-28 20:12:58 × fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds)
2021-07-28 20:13:30 → gehmehgeh joins (~user@user/gehmehgeh)
2021-07-28 20:13:59 → fossdd joins (~fossdd@sourcehut/user/fossdd)
2021-07-28 20:19:53 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-07-28 20:20:04 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-28 20:20:46 × qbt quits (~edun@user/edun) (Ping timeout: 272 seconds)
2021-07-28 20:20:58 × fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds)
2021-07-28 20:21:11 → royo joins (~royo@user/royo)
2021-07-28 20:22:04 → fossdd joins (~fossdd@sourcehut/user/fossdd)
2021-07-28 20:22:23 × norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Quit: Leaving)
2021-07-28 20:25:10 × burnsidesLlama quits (~burnsides@client-8-91.eduroam.oxuni.org.uk) (Remote host closed the connection)
2021-07-28 20:27:56 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2021-07-28 20:28:22 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 256 seconds)
2021-07-28 20:29:50 × xff0x quits (~xff0x@2001:1a81:52b7:d000:c86c:6df3:856d:396a) (Ping timeout: 268 seconds)
←Prev  Next→
Page 1 .. 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 .. 18038

All times are in UTC.