Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 769 770 771 772 773 774 775 776 777 778 779 .. 18021
— 1,802,059 events total
2021-07-03 18:08:15 → favonia joins (~favonia@user/favonia)
2021-07-03 18:08:35 → cheater1__ joins (~Username@user/cheater)
2021-07-03 18:08:52 × cheater quits (~Username@user/cheater) (Ping timeout: 272 seconds)
2021-07-03 18:08:52 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2021-07-03 18:08:57 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-03 18:08:57 cheater1__ is now known as cheater
2021-07-03 18:09:39 → oxide joins (~lambda@user/oxide)
2021-07-03 18:10:43 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-07-03 18:11:50 × azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 252 seconds)
2021-07-03 18:12:10 → azeem joins (~azeem@176.200.221.91)
2021-07-03 18:12:13 × Guest9 quits (~Guest9@103.249.233.78) (Quit: Connection closed)
2021-07-03 18:12:58 × xwx quits (~george@user/george) (Ping timeout: 256 seconds)
2021-07-03 18:14:48 × dyeplexer quits (~dyeplexer@user/dyeplexer) (Remote host closed the connection)
2021-07-03 18:15:30 × mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 252 seconds)
2021-07-03 18:18:38 × Hanicef quits (~gustaf@81-229-9-108-no92.tbcn.telia.com) (Quit: leaving)
2021-07-03 18:19:00 × cheater quits (~Username@user/cheater) (Ping timeout: 272 seconds)
2021-07-03 18:19:04 → cheater1__ joins (~Username@user/cheater)
2021-07-03 18:19:06 cheater1__ is now known as cheater
2021-07-03 18:20:20 → stevenxl_ joins (~stevenlei@68.235.43.93)
2021-07-03 18:22:06 × fabfianda quits (~fabfianda@mob-5-90-246-95.net.vodafone.it) (Ping timeout: 252 seconds)
2021-07-03 18:22:27 × Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
2021-07-03 18:22:28 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-07-03 18:22:43 → fabfianda joins (~fabfianda@37.183.255.57)
2021-07-03 18:22:48 × stevenxl quits (~stevenlei@68.235.43.165) (Ping timeout: 272 seconds)
2021-07-03 18:22:49 × yauhsien quits (~yauhsien@61-231-45-160.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-07-03 18:24:26 → mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-07-03 18:26:02 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-07-03 18:27:38 → nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-03 18:27:40 <zzz> what is the best way to store a 2d array for fast lookup and update?
2021-07-03 18:27:55 <zzz> int indexed
2021-07-03 18:29:19 → geekosaur joins (~geekosaur@xmonad/geekosaur)
2021-07-03 18:29:29 <Franciman> zzz: in an immutable setting?
2021-07-03 18:29:54 <Franciman> I would use an IntMap from containers
2021-07-03 18:30:01 <Franciman> or a Data.Sequence
2021-07-03 18:30:10 × dunkeln quits (~dunkeln@188.70.10.165) (Ping timeout: 252 seconds)
2021-07-03 18:30:10 <Franciman> it uses fingertrees
2021-07-03 18:30:15 <Franciman> underneath
2021-07-03 18:30:23 <Franciman> Data.Sequence is in containers too
2021-07-03 18:30:56 → xwx joins (~george@user/george)
2021-07-03 18:31:12 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-03 18:33:00 <c_wraith> If you really need it, there's nothing wrong with using mutability, either.
2021-07-03 18:33:22 <Franciman> tru
2021-07-03 18:33:28 <Franciman> also zzz what I am hinting here
2021-07-03 18:33:32 <Franciman> is encoding a 2d array in a 1d array
2021-07-03 18:33:41 <Franciman> i think it is good both in a mutable and an immutable setting
2021-07-03 18:33:42 <zzz> i have used unboxed vectors in the past
2021-07-03 18:33:49 <c_wraith> Also, sometimes laziness can be all the mutability you need, and immutable arrays can do the job. This is especially true for dynamic programming types of problems
2021-07-03 18:35:30 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-07-03 18:35:49 <zzz> i want something that allows me to conveniently and efficiently sort items
2021-07-03 18:36:19 <zzz> | 8 {- part2
2021-07-03 18:36:22 <zzz> | 7 turns out there are exactly 4 possible corners, 10*4 possible edges and 10^2 possible inner til
2021-07-03 18:36:25 <zzz> | 6 (with exactly 2, 3 and 4 edges respectively)
2021-07-03 18:36:28 <zzz> | 5
2021-07-03 18:36:31 <zzz> | 4 sortSize :: M.IntMap (S.Set Int) -> [(Int,Int)]
2021-07-03 18:36:34 <zzz> | 3 sortSize = sortBy (comparing snd) . M.toList . M.map S.size -}
2021-07-03 18:36:37 <zzz> | 2
2021-07-03 18:36:40 <zzz> | 1 poss :: M.IntMap Tile -> M.IntMap Tile -- (tilen,tile) -> (pos,[flipped and rotated tile])
2021-07-03 18:36:42 × nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-07-03 18:36:43 <zzz> |65 poss m = go m mempty
2021-07-03 18:36:44 <c_wraith> be careful with the paste button. :P
2021-07-03 18:36:46 <zzz> | 1 where
2021-07-03 18:36:49 <zzz> | 2 go :: M.IntMap Tile -> M.IntMap Tile -> M.IntMap Tile
2021-07-03 18:36:52 <zzz> | 3 go p m'·
2021-07-03 18:36:55 <zzz> | 4 | null m' = p
2021-07-03 18:36:58 <zzz> | 5 | new_match·
2021-07-03 18:37:01 <zzz> | 6 | otherwise = go (M.insert new_match p) ()
2021-07-03 18:37:04 <zzz> | 7 where
2021-07-03 18:37:07 <zzz> | 8 new_match
2021-07-03 18:37:10 <zzz> | 9 | px ∈ [0,pred side] && py ∈ [0,pred side] =·
2021-07-03 18:37:13 <zzz> | 10 | px ∈ [0,pred side] || py ∈ [0,pred side] =·
2021-07-03 18:37:16 <zzz> oh no im so sorry
2021-07-03 18:37:19 <zzz> what the hell
2021-07-03 18:37:25 <Clint> tsk, tsk
2021-07-03 18:38:19 <zzz> welp
2021-07-03 18:38:28 <farn> we'll live
2021-07-03 18:38:57 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-03 18:42:58 → LukeHoersten joins (~LukeHoers@user/lukehoersten)
2021-07-03 18:46:52 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2021-07-03 18:49:09 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-07-03 18:49:13 → Sgeo joins (~Sgeo@user/sgeo)
2021-07-03 18:50:42 × cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds)
2021-07-03 18:51:03 → cheater joins (~Username@user/cheater)
2021-07-03 18:51:45 → neceve joins (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f)
2021-07-03 18:53:07 → beka joins (~beka@104.193.170-244.PUBLIC.monkeybrains.net)
2021-07-03 18:54:34 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-07-03 18:54:35 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-03 18:54:38 → dunkeln joins (~dunkeln@188.70.10.165)
2021-07-03 18:58:25 → nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-03 18:59:07 × stevenxl_ quits (~stevenlei@68.235.43.93) (Ping timeout: 268 seconds)
2021-07-03 18:59:15 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 265 seconds)
2021-07-03 18:59:30 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-07-03 19:02:07 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-03 19:03:14 × nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2021-07-03 19:03:27 tomsmeding learned today that multiple consecutive spaces are collapsed on https://ircbrowse.tomsmeding.com/day/lchaskell/2021/07/03?id=77299#trid77299
2021-07-03 19:03:51 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:5061:15ea:118b:e58d)
2021-07-03 19:04:36 <geekosaur> not that surprising, absent <pre> or equivalent
2021-07-03 19:04:41 <tomsmeding> yeah
2021-07-03 19:04:59 <tomsmeding> don't think I'm going to do anything about that
2021-07-03 19:05:33 <tomsmeding> zzz: tmux copy? :p
2021-07-03 19:07:46 × turlando quits (~turlando@user/turlando) (Ping timeout: 272 seconds)
←Prev  Next→
Page 1 .. 769 770 771 772 773 774 775 776 777 778 779 .. 18021

All times are in UTC.